Das Leslie Lamport — der Autor grundlegender Arbeiten in verteilten Systemen. Vielleicht kennen Sie ihn auch von dem Buchstaben La im Wort LaTeX — „Lamport TeX“. Er führte erstmals 1979 das Konzept ein, sequentiellen Konsistenzein, und sein Artikel «How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs» das den Dijkstra-Preis erhielt (genauer gesagt, wurde der Preis im Jahr 2000 noch unter dem alten Namen „PODC Influential Paper Award“ vergeben). Es gibt einen Artikel über ihn auf Wikipedia,wo Sie noch einige interessante Links finden können. Wenn Sie begeistert sind von der Lösung von Problemen wie happens-before oder den Problemen der byzantinischen Generäle (BFT), sollten Sie verstehen, dass hinter alldem Lamport steckt.

Und er wird bald zu unserer neuen Konferenz über verteilte Systeme – Hydra – kommen, die am 11. und 12. Juli in St. Petersburg stattfinden wird. Lassen Sie uns sehen, was das für ein Tier ist.

Hydra 2019

Thema wie Multithreading gehören zu den bekanntesten auf unseren Konferenzen und waren immer schon so. Gerade war dieser Saal leer, und jetzt tritt jemand auf die Bühne, der über das Speichermodell, happens-before oder Multithreaded Garbage Collection spricht – und boom! Bereits fast tausend Personen füllen den gesamten Platz, um zuzuhören. Was ist das Geheimnis dieses Erfolgs? Vielleicht, weil jeder von uns irgendeine Hardware hat, die verteiltes Rechnen ermöglicht? Oder weil wir unbewusst unsere Unfähigkeit erkennen, sie vollständig zu nutzen? Es gibt eine wahre Geschichte eines Quants aus St. Petersburg (also eines finanziellen quantitativen Analysten und Entwicklers), der über einen Rechencluster verfügt, dessen volle Leistung nur er selbst nutzen kann. Was würden Sie tun, wenn Sie über riesige Ressourcen verfügen könnten, um Ihre Aufgaben zu bewältigen?

Dank dieser Popularität verbreitet sich das Thema Leistung und effiziente Berechnungen in den Konferenzprogrammen. Wie viel kann man in zwei Tagen über Performance sprechen – ein Drittel, zwei Drittel? An manchen Stellen gibt es künstliche Einschränkungen, die dieses Wachstum begrenzen: neben der Performance muss auch Platz für neue Web-Frameworks, für DevOps oder architektonische Herausforderungen bleiben. Nein, Performance, du wirst uns nicht alle auf einmal verschlingen!

Oder man kann den entgegengesetzten Weg gehen, aufgeben und eine Konferenz ganz zu den verteilten Berechnungen zu machen – nur über dieses Thema. Und hier ist sie, die Hydra.

Lassen Sie uns ehrlich zugeben, dass heutzutage alle Berechnungen irgendwie verteilt sind. Sei es auf einer Mehrkernmaschine, einem Rechencluster oder einem groß angelegten verteilten Dienst – überall gibt es zahlreiche Prozesse, die parallel unabhängige Berechnungen durchführen und sich gegenseitig synchronisieren. Der Theorie und den praktischen Anwendungen diesem Themas wird Hydra gewidmet sein.

Konferenzprogramm

Das Programm wird derzeit erstellt. Es sollen Beiträge von Pionieren der Theorien verteilter Systeme sowie von Ingenieuren, die in der Produktion mit diesen arbeiten, berücksichtigt werden.

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

Maurice Herlihy — ein sehr bekannter und respektierter Professor für Informatik, über den auch eine Wikipedia-Seite existiert, auf der Sie durch Links und Arbeiten stöbern können. Dort finden Sie sogar zwei Dijkstra-Preise: den ersten für seine Arbeit über „Wait-Free Synchronization“, und den zweiten, aktuelleren — „Transactional Memory: Architectural Support for Lock-Free Data Structures“. Übrigens führen die Links nicht einmal zu SciHub, sondern zur Brown University und Virginia Tech University, Sie können sie öffnen und lesen.

Maurice wird eine Keynote mit dem Titel „Blockchains aus der Perspektive der verteilten Informatik“ halten. Wenn es interessiert, können Sie sich die Aufzeichnung von Maurices Vortrag beim St. Petersburger JUG anschauen. Beurteilen Sie, wie klar und verständlich er das Thema vermittelt.

Die zweite Keynote mit dem Titel „Dual Data Structures“ wird gehalten von Michael Scott von der University of Rochester. Und raten Sie mal, er hat auch eine Wikipedia-Seite.. In Wisconsin ist er bekannt für seine Tätigkeit als Dekan an der Universität Wisconsin-Madison. Zudem ist er derjenige, der zusammen mit Doug Lea die nicht-blockierenden Algorithmen und synchronen Warteschlangen entwickelt hat, auf denen die Java-Bibliotheken basieren. Er erhielt seinen Dijkstra-Preis 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 deren Themen werden wir berichten, während das Programm präziser wird und wir uns Juli nähern.

Es stellt sich generell die Frage – warum veranstalten wir Hydra im Sommer? Schließlich ist das eine tote Saison, Urlaubszeit. Das Problem ist, dass unter den Referenten Universitätsdozenten sind und zu jeder anderen Zeit beschäftigt sind. Wir konnten einfach keine anderen Termine wählen.

Diskussionszonen

Auf anderen Konferenzen kommt es vor, dass der Referent seinen Vortrag hält und sofort wieder verschwindet. Die Teilnehmer haben nicht einmal Zeit, ihn zu suchen – denn kaum gibt es eine Pause, beginnt schon der nächste Vortrag. Das ist äußerst frustrierend, besonders wenn so wichtige Persönlichkeiten wie Lamport, Curly und Scott anwesend sind, und man eigentlich zur Konferenz kommt, um sie zu treffen und etwas zu diskutieren.

Bei uns ist dieses Problem gelöst. Direkt nach seinem Vortrag geht der Referent in einen speziellen Diskussionsbereich, der mindestens mit einem Whiteboard ausgestattet ist, und Sie haben genügend Zeit zur Verfügung. Formell verspricht der Referent, dort mindestens die gesamte Pausenzeit zwischen den Vorträgen zu sein. In der Realität können diese Diskussionsbereiche „testen“ sich stundenlang hinziehen (je nach Wunsch und Ausdauer des Referenten).

Was Lamport betrifft, so möchte er, wenn ich es richtig verstanden habe, so viele Leute wie möglich überzeugen, dass TLA+ das eine gute Sache ist. (Der Artikel über TLA+ auf Wikipedia). Es könnte eine gute Gelegenheit für Ingenieure sein, etwas Neues und Nützliches zu lernen. Leslie schlägt vor, dass Interessierte seine früheren Vorträge ansehen und mit Fragen kommen. Das bedeutet, dass anstelle eines Keynotes eine spezialisierte Q&A-Session stattfinden könnte, gefolgt von einer Diskussionszone. Ich habe ein wenig gegoogelt und einen ausgezeichneten gefunden Kurs über TLA+ (offiziell dupliziert in einer Playlist auf YouTube) und einen einstündigen Vortrag „Thinking Above the Code“ auf dem Microsoft Faculty Summit.

Wenn Sie all diese Leute als in Granit gemeißelte Namen aus Wikipedia und auf Buchcovern wahrgenommen haben, ist jetzt die Zeit, sie persönlich zu treffen! Interagieren Sie und stellen Sie Fragen, auf die die Seiten wissenschaftlicher Artikel keine Antworten geben, aber deren Autoren gerne zur Verfügung stehen.

Call for Papers

Es ist kein Geheimnis, dass viele von denen, die diesen Artikel gerade lesen, selbst etwas Interessantes zu erzählen haben. Sei es aus ingenieurtechnischer Sicht, aus wissenschaftlicher — von allem. Verteilte Berechnungen sind ein sehr breites und tiefgehendes Thema, wo es Platz für alle gibt.

Wenn du neben Lamport präsentieren möchtest, ist das durchaus möglich. Um Referent zu werden, musst du Bitte folgen Sie dem Link, alles sorgfältig durchlesen und den Anweisungen entsprechend handeln.

Seien Sie unbesorgt, sobald Sie den Prozess in Gang gesetzt haben, wird Ihnen geholfen. Das Programmkomitee verfügt über die nötigen Ressourcen, um bei dem Bericht, seiner Struktur und Präsentation zu unterstützen. Der Koordinator hilft Ihnen auch bei organisatorischen Fragen und mehr.

Achten Sie besonders auf das Bild mit den Daten. Juli ist ein recht entferntes Datum für die Teilnehmer, während der Referent schon jetzt aktiv werden sollte.

SPTDC Schule

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

Sommerakademie zur Praxis und Theorie des verteilten Rechnens (SPTDC) — eine Schule, die eine breite Palette an Kursen zu praktischen und theoretischen Aspekten verteilter Systeme anbietet, geleitet von anerkannten Fachleuten auf dem jeweiligen Gebiet.

Die Schule wird in englischer Sprache stattfinden, hier ist eine Übersicht der behandelten Themen:

• Konkurrente 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.

Folgende Referenten werden sprechen:

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

Playlist Die Aufzeichnungen der vorherigen Schule sind auf YouTube verfügbar:

Die nächsten Schritte

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

Wenn Sie wirklich an der Konferenz interessiert sind (oder von dem speziellen Startpreis, dem sogenannten „Early Bird“, profitieren möchten) — besuchen Sie die Webseite und kaufen Sie Tickets.

Wir sehen uns auf der Hydra!

Quelle: habr.com