Dies ist Leslie Lampport - der Autor der grundlegenden Arbeiten im Bereich des verteilten Rechnens, und Sie können ihn auch an den Buchstaben La im Wort La TeX - „Lamport TeX“ erkennen. Dies war das erste Mal, dass er 1979 das Konzept der konsistenten Konsistenz einführte, und sein Artikel „Wie man einen Multiprozessor-Computer herstellt, der Multiprozess-Programme korrekt ausführt“ gewann den Dijkstra-Preis (genauer gesagt, im Jahr 2000 wurde der Preis auf die alte Weise genannt: „PODC Influential Paper Award "). Auf Wikipedia gibt es einen Artikel über ihn, in dem Sie weitere interessante Links finden. Wenn Sie begeistert sind von der Lösung von Problemen bei Vorfällen oder den Problemen der byzantinischen Generäle (BFT), sollten Sie verstehen, dass Lamport hinter all dem steckt.

Er wird auch zu unserer neuen Konferenz über verteiltes Rechnen kommen - Hydra, die vom 11. bis 12. Juli in St. Petersburg stattfinden wird. Mal sehen, was für ein Biest das ist.

Hydra 2019

Themen wie Multithreading gehören zu den beliebtesten auf unseren Konferenzen, das war schon immer so. Es war gerade verlassen in diesem Raum, aber hier erscheint ein Mann auf der Bühne, der über das Speichermodell, die Vorab-Sammlung oder die Müllsammlung mit mehreren Threads spricht und - boom! - Bereits unter tausend Menschen nehmen den gesamten verfügbaren Platz ein, um sich hinzusetzen und aufmerksam zuzuhören. Was ist die Essenz dieses Erfolgs? Vielleicht in der Tatsache, dass wir alle eine Art Hardware zur Hand haben, die verteiltes Computing organisieren kann? Oder verstehen wir unbewusst unsere Unfähigkeit, es auf seinen wahren Wert zu laden? Es gibt eine reale Geschichte eines St. Petersburger Quantums (dh eines quantitativen Finanzanalysten und -entwicklers), in dessen Händen sich ein Computercluster befand, dessen volle Leistung nur er allein nutzen kann. Und was würden Sie tun, wenn Sie die Macht hätten, Ihre Aufgaben um ein Vielfaches größer als jetzt zu erfüllen?

Aufgrund dieser Beliebtheit verbreitet sich das Thema Leistung und effizientes Rechnen im gesamten Konferenzprogramm. Wie viele der zwei Präsentationstage können über die Leistung durchgeführt werden - ein Drittel, zwei Drittel? An einigen Stellen gibt es künstliche Einschränkungen, die dieses Wachstum begrenzen: Zusätzlich zur Leistung muss noch Platz für neue Web-Frameworks vorhanden sein, für eine Art Devoop oder architektonische Astronautik. Keine Aufführung, du wirst uns nicht alle essen!

Oder Sie können den umgekehrten Weg gehen, aufgeben und ehrlich eine Konferenz abhalten, bei der es ausschließlich um verteiltes Computing geht und nur um sie. Und hier ist sie, Hydra.

Lassen Sie uns ehrlich zugeben, dass heute alle Berechnungen irgendwie verteilt sind. Ob es sich um eine Multi-Core-Maschine, einen Computercluster oder einen verteilten Großdienst handelt - überall gibt es viele Prozesse, die gleichzeitig unabhängige Berechnungen durchführen und miteinander synchronisieren. Hydra wird sich der theoretischen Anordnung und Funktionsweise dieser Praxis widmen.

Konferenzprogramm

Das Programm befindet sich derzeit in der Ausbildung. Es sollte Berichte der Begründer von Theorien verteilter Systeme und der Ingenieure enthalten, die mit ihnen an dem Produkt arbeiten.

Zum Beispiel ist jetzt über die Teilnahme von Leslie Lamport von Microsoft Research und Maurice Herlihy von der Brown University bekannt.

Maurice Herlichi ist ein sehr berühmter und angesehener Professor für Informatik. Über ihn gibt es auch eine Wikipedia-Seite, auf der Sie die Links und Werke durchgehen können. Dort können Sie bis zu zwei Dijkstra-Preise sehen, den ersten für die wartungsfreie Synchronisierung und den zweiten, neueren Transaktionsspeicher: Architekturunterstützung für sperrenfreie Datenstrukturen . Links führen übrigens nicht einmal zu SciHub, sondern zu Brown University und Virginia Tech University, die Sie öffnen und lesen können.

Maurice hält eine Keynote mit dem Titel "Blockchains aus verteilter Computerperspektive". Bei Interesse können Sie sich die Aufzeichnung von Maurice 'Bericht aus St. Petersburg JUG ansehen. Bewerten Sie, wie klar und deutlich er das Thema vermittelt.

Die zweite Keynote mit dem Titel „Dual Data Structures“ wird von Michael Scott von der University of Rochester gelesen. Und raten Sie mal - er hat auch eine eigene Wikipedia-Seite . In Wisconsin ist er für seine Arbeit als Dekan an der Wisconsin-Madison University bekannt und in der Welt ist er derjenige, der zusammen mit Doug Lea diese nicht blockierenden Algorithmen und synchronen Warteschlangen entwickelt hat, in denen Java-Bibliotheken ausgeführt werden. Drei Jahre nach Herliha erhielt er seinen Dijkstra-Preis für seine Arbeit „Algorithmen zur skalierbaren Synchronisation auf Multiprozessoren mit gemeinsamem Speicher“ (wie es sein sollte, offen in der Online-Bibliothek der Universität von Rochester).

Bis Mitte Juli bleibt noch viel Zeit. Wir werden über den Rest der Redner und ihre Themen sprechen, wenn das Programm geklärt ist und sich dem Juli nähert.

Im Allgemeinen stellt sich die Frage: Warum machen wir Hydra im Sommer? Immerhin ist dies eine tote Jahreszeit, Feiertage. Das Problem ist, dass es unter den Rednern Universitätslehrer gibt und ihnen jede andere Zeit genommen wird. Wir konnten einfach keine anderen Daten auswählen.

Diskussionsbereiche

Bei anderen Konferenzen kommt es vor, dass der Redner liest, was benötigt wird, und sofort geht. Die Teilnehmer haben nicht einmal Zeit, ihn zu suchen - schließlich beginnt ohne Lücke der nächste Bericht. Dies ist sehr schmerzhaft, insbesondere wenn so wichtige Personen wie Lamport, Herlichi und Scott anwesend sind und Sie in der Regel nur zur Konferenz gehen, um sich mit ihnen zu treffen und etwas zu besprechen.

Wir haben dieses Problem gelöst. Unmittelbar nach seinem Bericht geht der Redner zu einem speziellen Diskussionsbereich, der mindestens mit einem Whiteboard mit einem Marker ausgestattet ist, und Sie haben einen ziemlich großen Zeitrahmen. Formal verspricht der Redner, mindestens die gesamte Zeit zwischen den Berichten dort zu sein. In der Realität können sich diese Diskussionszonen stundenlang erstrecken (abhängig vom Wunsch und der Ausdauer des Sprechers).

Wenn ich Lamport richtig verstanden habe, möchte er so viele Menschen wie möglich davon überzeugen, dass TLA + eine gute Sache ist. ( Wikipedia-Artikel zu TLA + ). Vielleicht ist dies eine gute Gelegenheit für Ingenieure, etwas Neues und Nützliches zu lernen. Leslie bietet diese Option an - jeder, der interessiert ist, kann seine früheren Vorträge sehen und Fragen stellen. Das heißt, anstelle einer Keynote kann es eine spezielle Q & A-Sitzung und dann eine Diskussionszone geben. Ich habe ein bisschen gegoogelt und einen exzellenten TLA + -Kurs (offiziell von einer YouTube-Wiedergabeliste kopiert) und eine einstündige Vorlesung „Thinking Above the Code“ mit dem Microsoft Faculty Summit gefunden.

Wenn Sie all diese Menschen in Wikipedia und auf den Titelseiten von in Granit gegossenen Büchern als Besetzungsnamen wahrgenommen haben, ist es Zeit, sie live zu treffen! Kommunizieren Sie und stellen Sie Fragen, die auf den Seiten wissenschaftlicher Artikel nicht beantwortet werden, deren Autoren sich jedoch gerne an sie wenden.

Ruf nach Papieren

Es ist kein Geheimnis, dass viele derjenigen, die den Artikel lesen, nicht abgeneigt sind, etwas Interessantes zu erzählen. Aus technischer Sicht, aus wissenschaftlicher Sicht - aus jeder Sicht. Distributed Computing ist ein sehr breites und tiefgreifendes Thema, in dem Platz für alle ist.

Wenn Sie neben Lamport auftreten möchten, ist dies durchaus möglich. Um Redner zu werden, müssen Sie dem Link folgen , dort alles sorgfältig lesen und es gemäß den Anweisungen tun.

Seien Sie ruhig, sobald Sie sich dem Prozess anschließen, werden sie Ihnen helfen. Das Programmkomitee hat die Fähigkeit, mit dem Bericht selbst, seinem Wesen und seiner Gestaltung zu helfen. Der Koordinator hilft bei der Bewältigung organisatorischer Probleme und so weiter.

Besondere Aufmerksamkeit auf das Bild mit den Daten. Der Juli ist für den Teilnehmer ein ziemlich fernes Datum, und der Redner muss jetzt anfangen zu handeln.

Schule SPTDC

Die Konferenz findet am selben Ort wie die SPTDC-Schule statt. Für alle, die ein Ticket für die Schule kaufen, sind Konferenztickets erhältlich - mit einem Rabatt von 20% .

Die Summer School für Praxis und Theorie des verteilten Rechnens (SPTDC) bietet eine breite Palette von Kursen zu praktischen und theoretischen Aspekten verteilter Systeme an, die von anerkannten Fachleuten auf dem betreffenden Gebiet unterrichtet werden.

Die Schule wird in englischer Sprache abgehalten. So sieht die Liste der behandelten Themen aus:

• Gleichzeitige Datenstrukturen: Korrektheit und Effizienz;
• Algorithmen für nichtflüchtigen Speicher;
• Verteilte Berechenbarkeit
• Verteiltes maschinelles Lernen;
• State-Machine-Replikation und Paxos;
• Byzantinische Fehlertoleranz;
• Algorithmische Grundlagen von Blockchains.

Die folgenden Redner werden sprechen:

• Leslie Lamport (Microsoft);
• Maurice Herlihy (Brown University);
• Michael Scott (Universität von Rochester);
• Dan Alistarh (IST Österreich);
• Trevor Brown (Universität von Waterloo);
• Eli Gafni (UCLA);
• Danny Hendler (Ben Gurion Universität);
• Achour Mostefaoui (Universität von Nantes).

Sie können die Wiedergabeliste früherer Schulberichte auf YouTube frei ansehen:

Nächste Schritte

Das Konferenzprogramm wird noch gebildet. Folgen Sie den Nachrichten auf Habré oder in sozialen Netzwerken ( fb , vk , twitter ).

Wenn Sie wirklich an die Konferenz glauben (oder den speziellen Startpreis wie "Early Bird" verwenden möchten), können Sie auf die Website gehen und Tickets kaufen .

Triff mich bei Hydra!