Das ist Leslie Lamport — Autor grundlegender Arbeiten im Bereich der verteilten Berechnungen, und vielleicht kennen Sie ihn auch von den Buchstaben La in dem Wort LaTeX — „Lamport TeX“. Er führte erstmals, bereits 1979, das Konzept der sequentiellen Konsistenzein, und sein Artikel „How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs“ erhielt den Dijkstra-Preis (genauer gesagt, wurde der Preis im Jahr 2000 noch so genannt: „PODC Influential Paper Award“). Es gibt eine Wikipedia-Seite über ihn, wo Sie noch einige interessante Links finden können. Wenn Sie begeistert sind von der Lösung der Probleme mit happens-before oder den byzantinischen Generälen (BFT), sollten Sie verstehen, dass hinter all dem Lamport steckt.

Und er wird bald zu unserer neuen Konferenz über verteilte Berechnungen — Hydra, die am 11.-12. Juli in Sankt Petersburg stattfindet, kommen. Lassen Sie uns sehen, was das für ein Tier ist.

Hydra 2019

Themen wie Multithreading gehören zu den beliebtesten auf unseren Konferenzen und waren es schon immer. Gerade war dieser Saal leer, aber plötzlich erscheint ein Mensch auf der Bühne, der über das Speichermodell, happens-before oder multithreaded Garbage Collection spricht und — bumm! — schon füllen fast tausend Menschen den gesamten verfügbaren Raum, um zuzuhören. Was ist das Geheimnis dieses Erfolgs? Vielleicht, weil wir alle irgendeine Hardware besitzen, die in der Lage ist, verteilte Berechnungen durchzuführen? Oder weil wir unterbewusst unsere Unfähigkeit erkennen, sie angemessen auszulasten? Es gibt eine echte Geschichte von einem Petersburger Quants (also einem finanziellen quantitativen Analysten und Entwickler), der einen Rechencluster zur Verfügung hat, dessen volle Kapazität nur er alleine nutzen kann. Was würden Sie tun, wenn Sie über Kräfte verfügen würden, die um ein Vielfaches größer sind als die, die Sie derzeit haben?

Aufgrund dieser Beliebtheit hat das Thema Leistungsfähigkeit und effiziente Berechnungen die Eigenschaft, sich durch das Konferenzprogramm zu verbreiten. Wie viel von den zwei Tagen Vorträgen kann über Performance gesprochen werden - ein Drittel, zwei Drittel? An einigen Stellen gibt es künstliche Einschränkungen, die dieses Wachstum limitiert: Neben der Performance sollte unbedingt auch Platz für neue Web-Frameworks, für DevOps oder architektonische Astronautik bleiben. Nein, Performance, du wirst uns nicht alle ganz verschlingen!

Oder man könnte den entgegengesetzten Weg einschlagen, aufgeben und ehrlich eine Konferenz veranstalten, die sich ausschließlich mit verteilten Berechnungen beschäftigt. Und hier ist sie, die Hydra.

Lassen Sie uns ehrlich zugeben, dass heutzutage alle Berechnungen mehr oder weniger verteilt sind. Sei es eine Mehrkernmaschine, ein Rechencluster oder ein groß angelegter verteilter Service - überall gibt es zahlreiche Prozesse, die unabhängig parallel Berechnungen ausführen und sich untereinander synchronisieren. Der Theorie, wie dies organisiert ist, und der Praxis, wie es funktioniert, wird sich die Hydra widmen.

Konferenzprogramm

Das Programm befindet sich derzeit in der Entstehungsphase. Es werden Vorträge von den Pionieren der Theorien verteilter Systeme und Ingenieuren, die in der Produktion mit ihnen arbeiten, enthalten sein.

Zum Beispiel ist bereits bekannt, dass Leslie Lamport von Microsoft Research und Maurice Herlihy von der Brown University teilnehmen werden.

Maurice Herlihy ist ein sehr bekannter und respektierter Professor für Informatik, über den es auch eine Wikipedia-Seite, auf der man sich durch die Links und Arbeiten klicken kann. Dort können Sie gleich zwei Dijkstra-Preise bemerken, der erste für die Arbeit über »Wait-Free Synchronization«, und der zweite, neuere - »Transactional Memory: Architectural Support for Lock-Free Data Structures«. Übrigens führen die Links nicht einmal zu SciHub, sondern zur Brown University und zur Virginia Tech University, man kann sie öffnen und lesen.

Maurice wird einen Keynote-Vortrag mit dem Titel „Blockchains from a distributed computing perspective“ halten. Wenn es interessiert, kann man sich die Aufzeichnung von Maurices Vortrag beim St. Petersburger JUG ansehen. Schätzen Sie ein, wie klar und verständlich er das Thema vermittelt.

Der zweite Keynote mit dem Titel „Dual Data Structures“ wird Michael Scott von der University of Rochester halten. Und erraten Sie was - auch er hat seine Wikipedia-Seite. In Wisconsin ist er durch seine Tätigkeit als Dekan an der Universität Wisconsin-Madison bekannt, und in der Fachwelt ist er eine Person, die zusammen mit Doug Lea die nicht blockierenden Algorithmen und synchronen Warteschlangen entwickelt hat, auf denen die Java-Bibliotheken basieren. Seinen Dijkstra-Preis erhielt er drei Jahre nach Herlihy für die Arbeit „Algorithms for scalable synchronization on shared-memory multiprocessors“ (wie es sich gehört, liegt sie offen in der Online-Bibliothek der Universität Rochester).

Bis zur Mitte Juli ist noch viel Zeit. Über die anderen Referenten und ihre Themen werden wir berichten, während wir das Programm verfeinern und uns dem Juli nähern.

Generell stellt sich die Frage - warum veranstalten wir Hydra im Sommer? Es ist schließlich Nebensaison, Urlaubszeit. Das Problem ist, dass unter den Sprechern Universitätsdozenten sind, und zu jeder anderen Zeit sind sie beschäftigt. Wir konnten einfach keine anderen Termine wählen.

Diskussionszonen

Bei anderen Konferenzen ist es oft so, dass der Referent seine Präsentation hält und sofort geht. Die Teilnehmer haben nicht einmal die Zeit, ihn zu suchen - denn fast ohne Unterbrechung beginnt der nächste Vortrag. Das ist sehr schmerzhaft, besonders wenn so wichtige Personen wie Lamport, Herlihy und Scott anwesend sind, und man eigentlich zur Konferenz kommt, nur um sie zu treffen und etwas zu besprechen.

Bei uns ist dieses Problem gelöst. Direkt nach seinem Vortrag geht der Sprecher in eine spezielle Diskussionszone, die mindestens mit einer Tafel und Markern ausgestattet ist, und ihr habt ziemlich viel Zeit zur Verfügung. Formell verspricht der Referent, dort mindestens die gesamte Zeit der Pause zwischen den Vorträgen zu bleiben. In der Realität können diese Diskussionszonen sich stundenlang hinziehen (je nach Wunsch und Ausdauer des Sprechers).

Was Lamport betrifft, wenn ich richtig verstanden habe, möchte er so viele Leute wie möglich überzeugen, dass TLA+ eine gute Sache ist. (Ein Artikel über TLA+ bei Wikipedia). Vielleicht wird es eine gute Gelegenheit für Ingenieure, etwas Neues und Nützliches zu erfahren. Leslie schlägt einen solchen Ansatz vor - interessierte können sich seine früheren Vorträge ansehen und mit Fragen kommen. Statt eines Keynotes könnte es so etwas wie eine spezialisierte Q&A-Session geben, und danach noch eine Diskussionszone. Ich habe ein wenig gegoogelt und einen tollen Kurs über TLA+ (offiziell mit einem YouTube-Playlist) und eine einstündige Vorlesung „Thinking Above the Code“ vom Microsoft Faculty Summit gefunden.

Wenn Sie all diese Menschen als in Granit gemeißelte Namen aus Wikipedia und auf Buchcovern wahrgenommen haben, ist es höchste Zeit, sie live zu treffen! Sprechen Sie mit ihnen und stellen Sie Fragen, auf die die Seiten wissenschaftlicher Artikel keine Antworten haben, aber deren Autoren werden gerne den Kontakt suchen.

Call for Papers

Es ist kein Geheimnis, dass viele von denen, die diesen Artikel jetzt lesen, selbst etwas ausreichend Interessantes erzählen möchten. Aus ingenieurtechnischer Sicht, aus wissenschaftlicher — aus jeder. Verteilte Berechnungen sind ein sehr weitreichendes und tiefes Thema, in dem es Platz für alle gibt.

Wenn Sie neben Lamport sprechen möchten, ist das durchaus möglich. Um Referent zu werden, müssen Sie dem Link folgen, alles sorgfältig lesen und die Anweisungen befolgen.

Seien Sie unbesorgt, sobald Sie in den Prozess eingebunden sind, werden Sie Unterstützung erhalten. Das Programmkomitee hat ausreichend Möglichkeiten, um beim Vortrag, dessen Inhalt und Gestaltung zu helfen. Der Koordinator wird bei organisatorischen Fragen und ähnlichem helfen.

Achten Sie besonders auf das Bild mit den Daten. Juli ist ein ziemlich weiter Zeitraum für einen Teilnehmer, während der Referent sofort handeln muss.

SPTDC Schule

Die Konferenz findet am selben Ort wie die SPTDC Schule statt, daher erhalten alle, die ein Ticket für die Schule kaufen, ein Ticket für die Konferenz — mit 20% Rabatt.

Summer School on Practice and Theory of Distributed Computing (SPTDC) ist eine Schule, die eine breite Palette von Kursen zu praktischen und theoretischen Aspekten verteilter Systeme anbietet, die von anerkannten Spezialisten auf dem jeweiligen Gebiet geleitet werden.

Die Schule wird auf Englisch durchgeführt, daher sieht die Liste der behandelten Themen folgendermaßen aus:

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

Die folgenden Sprecher werden auftreten:

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

Playlist mit Vorträgen der vorherigen Schule kann man sich auf YouTube frei ansehen:

Nächste Schritte

Das Programm der Konferenz wird noch erstellt. Bleiben Sie über die Neuigkeiten auf Habrahabr oder in sozialen Netzwerken informiert (fb, vk, twitter).

Wenn Sie wirklich an der Konferenz glauben (oder von dem speziellen Frühbucherpreis profitieren möchten) – können Sie die Website besuchen und Tickets erwerben.

Wir sehen uns bei Hydra!

Quelle: habr.com