Es Leslie Lamport - der Autor grundlegender Werke zum verteilten Rechnen, und Sie können ihn auch an den Buchstaben La im Wort erkennen LaTeX – „Lamport TeX“. Er war es, der das Konzept 1979 erstmals vorstellte , und sein Artikel erhielt den Dijkstra Award (genauer gesagt hieß der Preis im Jahr 2000 noch alt: „PODC Influential Paper Award“). Da geht es um ihn , wo Sie weitere interessante Links finden. Wenn Sie daran interessiert sind, Probleme zu lösen, geschieht dies vorher oder (BFT), sie müssen verstehen, dass Lamport dahinter steckt.
Und er wird bald zu unserer neuen Konferenz zum Thema verteiltes Rechnen kommen – Hydra, die vom 11. bis 12. Juli in St. Petersburg stattfinden wird. Mal sehen, um was für ein Tier es sich handelt.
Hydra 2019
Themen wie Multithreading gehören schon immer zu den heißesten Themen auf unseren Konferenzen. Es war gerade menschenleer in diesem Saal, aber dann erscheint eine Person auf der Bühne, die über das Speichermodell, Happens-before oder Multi-Threaded Garbage Collection spricht und – bumm! - bereits weniger als tausend Menschen nehmen den gesamten verfügbaren Raum ein, um sich hinzusetzen und aufmerksam zuzuhören. Was ist die Essenz dieses Erfolgs? Vielleicht die Tatsache, dass wir alle über eine Art Hardware verfügen, die in der Lage ist, verteiltes Rechnen zu organisieren? Oder verstehen wir unbewusst, dass wir es nicht in vollem Umfang nutzen können? Es gibt eine wahre Geschichte eines Quanten aus St. Petersburg (d. h. eines quantitativen Finanzanalysten und Entwicklers), der schließlich einen Computercluster in den Händen hielt, dessen volle Leistung nur von ihm allein genutzt werden kann. Und was würden Sie tun, wenn Sie Ihre Aufgaben mit um ein Vielfaches größeren Kapazitäten als jetzt erledigen müssten?
Aufgrund dieser Beliebtheit verbreitet sich das Thema Leistung und effizientes Rechnen tendenziell im gesamten Konferenzprogramm. Wie viele der zweitägigen Leistungsberichte können gemacht werden – ein Drittel, zwei Drittel? An manchen Stellen gibt es künstliche Einschränkungen, die dieses Wachstum begrenzen: Neben der Leistung muss noch Platz für neue Web-Frameworks, für irgendeine Art von Devops oder Architektur-Astronautik sein. Nein, Leistung, du wirst uns nicht alle auffressen!
Oder Sie können den umgekehrten Weg gehen, aufgeben und ehrlich eine Konferenz veranstalten, bei der es ausschließlich um verteiltes Rechnen geht und nur darum. Und hier ist es, Hydra.
Geben wir ehrlich zu, dass heute die gesamte Datenverarbeitung auf die eine oder andere Weise verteilt ist. Ob es sich um eine Maschine mit mehreren Kernen, einen Computercluster oder einen großen verteilten Dienst handelt, überall gibt es viele Prozesse, die unabhängige Berechnungen parallel und miteinander synchronisierend durchführen. Wie es in der Theorie funktioniert und wie es in der Praxis funktioniert, wird der Schwerpunkt von Hydra sein.
Konferenzprogramm
Das Programm befindet sich derzeit in der Entwicklung. Es sollte Berichte der Begründer der Theorien verteilter Systeme und Ingenieure enthalten, die mit ihnen in der Produktion arbeiten.
Wir wissen beispielsweise bereits von der Teilnahme von Leslie Lamport von Microsoft Research und Maurice Herlihy von der Brown University.
Maurice Herlihy - ein sehr berühmter und angesehener Professor der Informatik, über ihn gibt es auch eine Geschichte , wo Sie die Links und Werke durchsehen können. Dort sind gleich zwei Dijkstra-Auszeichnungen zu sehen, der erste für die Arbeit daran , und das zweite, neuere - . Die Links führen übrigens nicht einmal zu SciHub, sondern zur Brown University und der Virginia Tech University, die Sie öffnen und lesen können.
Maurice wird eine Keynote mit dem Titel „Blockchains from a Distributed Computing Perspective“ halten. Bei Interesse können Sie sich die Aufzeichnung von Maurices Bericht aus dem St. Petersburg JUG ansehen. Bewerten Sie, wie klar und verständlich er das Thema vermittelt.
Die zweite Keynote mit dem Titel „Dual Data Structures“ lautet: Michael Scott von der Universität Rochester. Und wissen Sie was – er hat auch sein eigenes . Zu Hause in Wisconsin ist er für seine Arbeit als Dekan der University of Wisconsin-Madison bekannt, und in der Welt ist er der Mann, der zusammen mit Doug Lea die nicht blockierenden Algorithmen und synchronen Warteschlangen entwickelt hat, auf denen Java-Bibliotheken laufen . Drei Jahre nach Herlihy erhielt er seinen Dijkstra-Preis für seine Arbeit „Algorithmen für skalierbare Synchronisation auf Shared-Memory-Multiprozessoren“ (wie erwartet, in der Online-Bibliothek der University of Rochester).
Bis Mitte Juli ist noch viel Zeit. Wir werden Sie über andere Redner und deren Themen informieren, während wir das Programm verfeinern und uns dem Juli nähern.
Generell stellt sich die Frage: Warum machen wir Hydra im Sommer? Schließlich ist dies Nebensaison, Feiertage. Das Problem ist, dass sich unter den Rednern auch Universitätsprofessoren befinden und jede andere Zeit für sie überlastet ist. Wir konnten einfach keine anderen Termine wählen.
Diskussionszonen
Bei anderen Konferenzen kommt es vor, dass der Redner das Notwendige vorliest und sofort wieder geht. Die Teilnehmer haben nicht einmal Zeit, danach zu suchen – schließlich beginnt der nächste Bericht fast lückenlos. Es tut sehr weh, besonders wenn wichtige Leute wie Lamport, Herlihy und Scott anwesend sind und man eigentlich nur zur Konferenz geht, um sie zu treffen und über etwas zu reden.
Wir haben dieses Problem gelöst. Unmittelbar nach seinem Vortrag geht der Redner in einen speziellen Diskussionsbereich, der mindestens mit einem Whiteboard mit Marker ausgestattet ist, und Sie haben ziemlich viel Zeit. Formal verspricht der Redner, zumindest in der Pause zwischen den Vorträgen anwesend zu sein. In Wirklichkeit sind diese Diskussionsbereiche können Dehnen Sie sich stundenlang (je nach Lust und Ausdauer des Sprechers).
Was Lamport betrifft, wenn ich das richtig verstehe, möchte er so viele Menschen wie möglich davon überzeugen - das ist eine gute Sache. (). Vielleicht ist dies eine gute Gelegenheit für Ingenieure, etwas Neues und Nützliches zu lernen. Leslie bietet diese Möglichkeit – wer Interesse hat, kann sich seine vergangenen Vorträge ansehen und mit Fragen vorbeikommen. Das heißt, anstelle einer Keynote kann es sozusagen eine spezielle Frage-und-Antwort-Runde und anschließend eine weitere Diskussionszone geben. Ich habe ein bisschen gegoogelt und ein tolles gefunden (offiziell synchronisiert ) und eine einstündige Vorlesung mit Microsoft Faculty Summit.
Wenn Sie sich all diese Menschen als in Granit gemeißelte Namen aus Wikipedia und auf Buchcovern vorgestellt haben, ist es an der Zeit, sie live zu treffen! Chatten Sie und stellen Sie Fragen, die auf den Seiten wissenschaftlicher Artikel nicht beantwortet werden, deren Autoren aber gerne Kontakt aufnehmen.
Call for Papers
Es ist kein Geheimnis, dass viele derjenigen, die den Artikel jetzt lesen, nicht abgeneigt sind, selbst etwas Interessantes zu erzählen. Aus technischer Sicht, aus wissenschaftlicher Sicht, aus jeder beliebigen Perspektive. Verteiltes Rechnen ist ein sehr breites und tiefgreifendes Thema, bei dem für jeden ein Platz ist.
Wenn Sie an der Seite von Lamport spielen möchten, ist das durchaus möglich. Um Redner zu werden, brauchen Sie , lesen Sie dort alles sorgfältig durch und befolgen Sie die Anweisungen.
Seien Sie ruhig, sobald Sie sich mit dem Prozess verbinden, wird Ihnen geholfen. Der Programmausschuss verfügt über ausreichende Ressourcen, um bei der Erstellung des Berichts selbst, seinem Inhalt und seiner Gestaltung behilflich zu sein. Der Koordinator hilft Ihnen bei der Bewältigung organisatorischer Fragen usw.
Achten Sie besonders auf das Bild mit den Daten. Der Juli ist für den Teilnehmer ein ziemlich fernes Datum und der Redner muss jetzt mit der Schauspielerei beginnen.
SPTDC-Schule
Die Konferenz findet am selben Ort wie die SPTDC-Schule statt. Für alle, die eine Eintrittskarte für die Schule kaufen, gibt es also Konferenzkarten – mit einem Rabatt von 20%.
- eine Schule, die ein breites Spektrum an Kursen zu den praktischen und theoretischen Aspekten verteilter Systeme anbietet, die von anerkannten Experten auf dem jeweiligen Gebiet unterrichtet werden.
Der Unterricht findet auf Englisch statt, daher finden Sie hier die Liste der behandelten Themen:
- Gleichzeitige Datenstrukturen: Korrektheit und Effizienz;
- Algorithmen für nichtflüchtige Speicher;
- Verteilte Berechenbarkeit;
- verteiltes maschinelles Lernen;
- State-Machine-Replikation und Paxos;
- Byzantinische Fehlertoleranz;
- Algorithmische Grundlagen von Blockchains.
Folgende Referenten werden sprechen:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Brown University);
- Michael Scott (Universität Rochester);
- Dan Alistarh (IST Austria);
- Trevor Brown (Universität Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Ben-Gurion-Universität);
- Achour Mostefaoui (Universität Nantes).
mit den Berichten der bisherigen Schule kann auf YouTube frei angesehen werden:
Nächste Schritte
Das Konferenzprogramm wird noch zusammengestellt. Verfolgen Sie die Nachrichten auf Habré oder in sozialen Netzwerken (, , ).
Wenn Sie wirklich an die Konferenz glauben (oder den besonderen Startpreis, wie man sagt, „Early Bird“) nutzen möchten, können Sie auf die Website gehen und .
Wir sehen uns bei Hydra!
Source: habr.com