Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Zuletzt fanden vom 8. bis 12. Juli zwei bedeutende Ereignisse gleichzeitig statt – die Konferenz Hydra und Schule SPTDC. In diesem Beitrag möchte ich einige Besonderheiten hervorheben, die uns während der Konferenz aufgefallen sind.

Der größte Stolz von Hydra und der Schule sind die Redner.

  • Drei Preisträger Dijkstra-Preis: Leslie Lamport, Maurice Herlihy und Michael Scott. Darüber hinaus erhielt Maurice es zweimal. Leslie Lamport erhielt ebenfalls Turing-Preis — der prestigeträchtigste ACM-Preis in der Informatik;
  • Der Erfinder des Java JIT-Compilers ist Cliff Click;
  • Corutin-Entwickler - Roman Elizarov (Elizarov) und Nikita Koval (ndkoval) für Kotlin und Dmitry Vyukov für Go;
  • Mitwirkende an Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda und Vladislav Kuznetsov);
  • Und viele andere berühmte Persönlichkeiten: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++-Speichermodell), Pedro Ramalhete (wartefreie Datenstrukturen), Alexey Zinoviev (ML), Dmitry Bugaichenko (Graphanalyse).

Und das ist schon Schule:

  • Brown University (Maurice Herlihy),
  • Universität Rochester (Michael Scott),
  • Universität von Waterloo (Trevor Brown),
  • Universität Nantes (Achour Mostefaoui),
  • David Ben-Gurion-Universität des Negev (Danny Hendler),
  • University of California in Los Angeles (Eli Gafni),
  • Institut Polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Research (Leslie Lamport),
  • VMware Research (Ittai Abraham).

Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Theorie und Praxis, Wissenschaft und Produktion

Ich möchte Sie daran erinnern, dass die SPTDC School eine kleine Veranstaltung für eineinhalbhundert Personen ist; dort versammeln sich Weltklasse-Koryphäen und sprechen über moderne Themen im Bereich des verteilten Rechnens. Hydra ist eine zweitägige Distributed-Computing-Konferenz, die parallel stattfindet. Hydra hat einen eher ingenieurwissenschaftlichen Schwerpunkt, während die Schule einen eher wissenschaftlichen Schwerpunkt hat.

Eines der Ziele der Hydra-Konferenz ist die Kombination wissenschaftlicher und technischer Prinzipien. Dies wird zum einen durch die Auswahl der Reportagen im Programm erreicht: Neben Lamport, Herlihy und Scott gibt es viel mehr angewandte Reportagen von Alex Petrov, der bei Cassandra mitwirkt, oder Roman Elizarov von JetBrains. Da ist Martin Kleppman, der früher Startups aufgebaut und verkauft hat und jetzt CRDT an der Universität Cambridge studiert. Aber das Coole ist, dass Hydra und SPTDC nebeneinander stattfinden – sie haben unterschiedliche Berichte, aber einen gemeinsamen Ort für die Kommunikation.

Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Eintauchen

Fünf Schultage hintereinander sind eine sehr große Veranstaltung und eine Menge Arbeitsbelastung, sowohl für die Teilnehmer als auch für die Organisatoren. Nicht jeder hat es bis in die letzten Tage geschafft. Es gab diejenigen, die gleichzeitig nach Hydra und zur Schule gingen, und für sie waren die letzten Tage die ereignisreichsten. All diese Aufregung wird durch ein unglaublich tiefes Eintauchen ausgeglichen. Das liegt nicht nur an der Lautstärke, sondern auch an der Qualität des Materials. Alle Berichte und Vorträge beider Veranstaltungen waren nicht als Einführung gedacht, so dass man, wohin man auch geht, sofort weit und tief taucht und bis zum Schluss nicht mehr losgelassen wird.

Natürlich hängt viel von der anfänglichen Vorbereitung des Teilnehmers ab. Es gab einen lustigen Moment, als zwei Gruppen von Menschen auf dem Flur unabhängig voneinander über Heidi Howards Bericht diskutierten: Einigen kam es völlig normal vor, während andere im Gegenteil intensiv über das Leben nachdachten. Interessant ist, dass nach Ansicht der Teilnehmer der Programmausschüsse (die anonym bleiben wollten) die Berichte von Hydra und die Vorträge der Schule bei ihren Veranstaltungen überqualifiziert sein könnten. Wenn beispielsweise ein PHP-Junior zu einer PHP-Konferenz kommt, um das Leben kennenzulernen, wäre es etwas voreilig anzunehmen, dass er über umfassende Kenntnisse über die Interna von Zend Engine verfügt. Hier haben die Referenten die Junioren nicht beschimpft, sondern sofort ein gewisses Maß an Wissen und Verständnis vermittelt. Nun ja, der Anteil der Teilnehmer, die verteilte Systeme betreiben und Laufzeitkerne schreiben, ist sehr hoch, das ist logisch. Der Reaktion der Teilnehmer nach zu urteilen, war es recht einfach, einen Bericht basierend auf Niveau und Thema auszuwählen.

Wenn wir über bestimmte Berichte sprechen, waren sie alle auf ihre Art gut. Gemessen an dem, was die Leute sagen und was aus dem Feedback-Formular hervorgeht, war das einer der coolsten Berichte an der Schule „Nicht blockierende Datenstrukturen“ Michael Scott, er hat einfach alle auseinandergerissen, er hat eine ungewöhnliche Bewertung von etwa 4.9.

Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Metakonferenz

Lange vor Beginn von Hydra und der Schule, Ruslan ARG89 ging davon aus, dass es eine Art „Meta-Konferenz“ geben würde – eine Konferenz von Konferenzen, in die alle Top-Teilnehmer anderer Veranstaltungen automatisch hineingezogen würden, wie in ein schwarzes Loch. Und so geschah es! Beispielsweise wurde es unter den Schülern der Schule bemerkt Ruslan Cheremin von der DeutschenBank, einem bekannten Spezialisten für Multithreading.

Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Und von den Hydra-Mitgliedern wurde aufgefallen Vadim Tsesko (Inkubi) Und Andrey Pangin (Apangin) von der Firma Odnoklassniki. (Gleichzeitig half uns Vadim auch bei zwei hervorragenden Interviews mit Martin Kleppman – eine für Habrund der andere für Zuschauer der Online-Übertragung). Es gab Mitglieder DotNext-Programmausschuss, berühmte Redner Anatoly Kulakov und Igor Labutin. Von den Javisten gab es Dmitry Aleksandrov и Vladimir Ivanov. Normalerweise sieht man diese Leute an völlig unterschiedlichen Orten – Dotnetisten auf DotNext, Javaisten auf Joker und so weiter. Und so sitzen sie Seite an Seite bei Hydra-Berichten und besprechen gemeinsam Probleme mit den Buffs. Wenn diese leicht künstliche Unterteilung nach Programmiersprachen und -technologien verschwindet, treten die Merkmale des Fachgebiets hervor: Spezialisten für dynamische Laufzeiten kommunizieren mit anderen Laufzeitgebern, Forscher der Theorie des verteilten Rechnens streiten heftig mit anderen Forschern, Ingenieure von Datenbank-Engines drängen sich auf dem Whiteboard und so weiter .

Beim Bericht nach dem C++-Speichermodell Die OpenJDK-Entwickler saßen in der ersten Reihe (zumindest kenne ich sie vom Sehen, aber nicht die Pythonisten, vielleicht waren die Pythonisten auch da). Tatsächlich gibt es in diesem Bericht so etwas wie Shipilevsky ... Ori erzählt nicht genau das Gleiche, aber ein genauer Blick kann Parallelen erkennen. Selbst nach allem, was in den neuesten C++-Standards passiert ist, wurden Probleme wie aus der Luft gegriffene Werte immer noch nicht behoben, und so konnte man zu einem solchen Bericht gehen und sich anhören, wie es den Leuten „auf der anderen Seite der Barrikade“ geht Beim Versuch, diese Probleme zu beheben, könnte man, so argumentieren sie, von den gefundenen Lösungsansätzen beeindruckt sein (Ori hat eine der Lösungsoptionen).

Es gab viele Teilnehmer in Programmausschüssen und Community-Motoren. Jeder löste seine interreligiösen Probleme, baute Brücken und knüpfte Kontakte. Ich habe dies genutzt, wo immer ich konnte, und wir waren uns zum Beispiel mit Alexander Borgardt einig Moskauer C++-Benutzergruppe Schreiben Sie gemeinsam einen ausführlichen Artikel über Akteure und Asynchronität in C++.

Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Auf dem Foto: Leonid Talalaev (ltalal, links) und Oleg Anastasyev (Monstermind, rechts), führende Entwickler bei Odnoklassniki

Feuerdiskussionszonen und Buffs

Auf Konferenzen gibt es immer Teilnehmer, die sich mit der Thematik genauso gut auskennen wie die Redner (und manchmal sogar besser als die Redner – zum Beispiel, wenn ein Entwickler des Kerns einer Technologie unter den Teilnehmern ist). Auf Hydra gab es viele hochqualifizierte Teilnehmer. Zum Beispiel irgendwann um Alex Petrov herumzuerzählen über CassandraEs bildeten sich so viele Menschen, dass er nicht jedem antworten konnte. Irgendwann wurde Alex sanft zur Seite gedrängt und begann mit Fragen hin- und hergerissen zu werden, aber die fallende Flagge wurde von einem in den Kreisen bekannten Rust-Entwickler aufgegriffen Tyler Neely und die Ladung perfekt ausbalanciert. Als ich Tyler um Hilfe bei einem Online-Interview bat, fragte er nur: „Wann fangen wir an?“

Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Zeitweise brach der Diskussionsgeist sogar in die Berichte ein: Nikita Koval organisierte plötzlich eine Frage-und-Antwort-Runde und unterteilte den Bericht in mehrere Abschnitte.

Und umgekehrt erinnerten sie sich bei BOF für Multithreading an den nichtflüchtigen Speicher und wurden von diesem Bof angezogen Pedro Ramalhete als Chefspezialist, und er hat allen alles erklärt (kurz gesagt, der nichtflüchtige Speicher stellt in naher Zukunft keine Bedrohung für uns dar). Einer der Gastgeber dieses Bof war übrigens Wladimir Sitnikow, der in den Programmausschüssen einer wahnsinnigen Anzahl von Konferenzen sitzt ... im Moment kommt es mir so vor, als wären es fünf auf einmal. Beim nächsten Buff zum Thema „Modern CS in der realen Welt“ diskutierten sie auch über NVM und kamen ganz alleine darauf.

Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Ich kann eine Super-Erkenntnis weitergeben, die selbst diejenigen, die direkt an der Geschichte beteiligt waren, vielleicht nicht bemerkt haben. Eli Gafni trat am Abend des ersten Schultages auf, und am nächsten Tag blieb er und begann, Lamport zu trollen, und von außen schien es, dass dies ein Spiel war und Eli unzulänglich war. Dass es sich um eine Art Troll handelt, der sich vorgenommen hat, Leslie das Gehirn herauszunehmen. Tatsache ist, dass sie fast beste Freunde sind, sie sind schon seit vielen Jahren befreundet, und das ist einfach so ein freundlicher Scherz. Das heißt, der Witz funktionierte – alle Leute um ihn herum fielen darauf herein und nahmen ihn für bare Münze.

Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Unabhängig davon möchte ich erwähnen, wie viel Liebe und Mühe die Redner in diese Sache gesteckt haben. Bis zur letzten Minute, fast stundenlang, stand jemand im Diskussionsbereich. Die Pause ist längst zu Ende, der Bericht begann, endete, die nächste Pause begann – und Dmitri Wjukow beantwortete weiterhin Fragen. Mir ist auch eine interessante Geschichte passiert: Nachdem ich Cliff Click überrascht hatte, erhielt ich nicht nur eine klare und vernünftige Erklärung für die provokante Diskussion über das Fehlen von Tests für bestimmte Dinge in H2O, habe aber auch eine vollständige Rezension dazu erhalten neue Sprache AA. Ich habe nie danach gefragt: Ich habe nur gefragt, was Sie über AA lesen können (es stellte sich heraus, dass Sie zuhören können). Podcast), und stattdessen verbrachte Cliff eine halbe Stunde damit, über die Sprache zu sprechen und zu überprüfen, ob das, was er sagte, richtig verstanden wurde. Fabelhaft. Wir müssen einen Habrapost über AA schreiben. Ein weiteres ungewöhnliches Erlebnis war die Beobachtung des Pull-Request-Überprüfungsprozesses in Kotlin. Es ist wirklich ein magisches Gefühl, wenn man verschiedene Diskussionsgruppen und verschiedene Redner betritt und in eine völlig neue Welt eintaucht. Das ist etwas auf der Ebene „There, There“ von Radiohead.

Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Englisch

Hydra 2019 ist unsere erste Konferenz, bei der die Hauptsprache Englisch ist. Dies bringt sowohl Vorteile als auch Herausforderungen mit sich. Ein offensichtlicher Vorteil besteht darin, dass nicht nur Menschen aus Russland zur Konferenz kommen, sondern dass man unter den Teilnehmern auch Ingenieure aus Europa und Wissenschaftler aus England treffen kann. Die Referenten bringen ihre Studierenden mit. Im Allgemeinen haben wichtige Redner eine viel größere Motivation, zu einer solchen Konferenz zu gehen. Stellen Sie sich vor, Sie sind Redner auf einer komplett russischsprachigen Konferenz: Sie haben Ihren Bericht gehalten, den Diskussionsbereich verteidigt und was dann? Durch die Stadt reisen und Sehenswürdigkeiten besichtigen? Tatsächlich haben wirklich populäre Redner schon genug von allem auf der Welt gesehen, sie wollen keine Löwen und Zugbrücken sehen, sie sind gelangweilt. Wenn alle Berichte auf Englisch vorliegen, können sie allgemein an der Konferenz teilnehmen, Spaß haben, an Diskussionsrunden teilnehmen und so weiter. Die Atmosphäre ist den Rednern gegenüber recht freundlich.

Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Der offensichtliche Nachteil besteht darin, dass nicht jeder problemlos auf Englisch kommunizieren kann. Viele verstehen gut, sprechen aber schlecht. Im Allgemeinen gewöhnliche Dinge, die auf unterschiedliche Weise gelöst wurden. Beispielsweise begannen einige Diskussionsbereiche auf Russisch, wechselten aber sofort auf Englisch, als der erste englischsprachige Teilnehmer erschien.

Ich selbst musste den Eröffnungs- und Schlusseintrag der Online-Übertragung ausschließlich auf Englisch halten und an einigen aufgezeichneten Interviews mit Experten teilnehmen. Und das war für mich eine echte Herausforderung, die ich so schnell nicht vergessen werde. Irgendwann Oleg Anastasyev (Monstermind) sagte mir einfach, ich solle während des Interviews bei ihnen sitzen, und ich war zu langsam, um zu verstehen, was das bedeutete.

Andererseits war es sehr erfreulich, dass die Leute bei den Berichten mit einem Knall Fragen stellten. Nicht nur Muttersprachler, sondern alle im Allgemeinen, es hat gut funktioniert. Auf anderen Konferenzen sieht man oft, dass es den Leuten peinlich ist, in gebrochenem Englisch Fragen an das Publikum zu stellen, und dass sie im Diskussionsbereich nur etwas herausquetschen können. Das war hier völlig anders. Relativ gesehen beendete mancher Cliff Click seine Berichte etwas früher, und danach folgten die Fragen in fortlaufender Reihenfolge, das Gespräch gelangte in die Diskussionszone – ohne unangenehme Pausen oder Unterbrechungen. Gleiches gilt für die Frage-und-Antwort-Runde von Leslie Lamport: Der Moderator musste seine Fragen praktisch nicht stellen, die Teilnehmer haben sich alles ausgedacht.

Es gab allerlei Kleinigkeiten, die kaum jemand bemerkt, aber es gibt sie. Aufgrund der Tatsache, dass die Konferenz auf Englisch stattfindet, ist die Gestaltung von Broschüren und Karten einfacher und prägnanter. Es besteht keine Notwendigkeit, Sprachen zu duplizieren und das Design zu überladen.

Sponsoren und Ausstellung

Unsere Sponsoren haben uns bei der Organisation der Konferenz sehr geholfen. Dank ihnen gab es in den Pausen immer etwas zu tun.

Am Stand Deutsche Bank TechCenter Sie könnten mit Ingenieuren von Multithread-Systemen chatten, ihre Probleme aus dem Kopf lösen, unvergessliche Preise gewinnen und einfach eine gute Zeit haben.

Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Am Stand Kontur Wir könnten über ihre eigenen Systeme sprechen, sowohl Open- als auch Open-Source-Systeme: eine verteilte In-Memory-Datenbank, ein verteiltes Binärprotokoll, ein Microservice-Orchestrierungssystem, einen universellen Transport für Telemetrie und so weiter. Und natürlich Rätsel und Wettbewerbe, Aufkleber mit Binärkatze und dem leidenden Mittelalter, Geschenke wie das Buch von Martin Kleppmann und LEGO-Figuren.

Bitte beachten Sie, dass die Analyse von Konturproblemen bereits erfolgt veröffentlicht auf Habré. Gute Analyse, einen Blick wert.

Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Wer wollte, konnte Bücher aller Art erwerben und mit Kollegen darüber diskutieren. Eine ganze Menschenmenge versammelte sich zur Autogrammstunde!

Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Ergebnisse

Die Hydra-Konferenz und die SPTDC-Schule sind für uns als organisierendes Unternehmen und für die gesamte Community sehr wichtige Veranstaltungen. Dies ist eine Gelegenheit, in unsere Zukunft zu blicken, einen einheitlichen konzeptionellen Rahmen für die Diskussion moderner Probleme zu entwickeln und interessante Richtungen genauer zu betrachten. Multithreading gibt es schon seit sehr langer Zeit, doch nach dem Erscheinen des ersten echten Multi-Core-Prozessors dauerte es noch ein ganzes Jahrzehnt, bis sich das Phänomen verbreitete. Was wir diese Woche in den Berichten gehört haben, sind keine flüchtigen Nachrichten, sondern der Weg in eine glänzende Zukunft, den wir in den kommenden Jahren beschreiten werden. In diesem Beitrag wird es keine Spoiler für die nächste Hydra geben, aber Sie können auf das Beste hoffen. Wenn Sie an Themen wie diesen interessiert sind, sollten Sie sich unsere anderen Veranstaltungen ansehen, beispielsweise Hardcore-Konferenzvorträge Joker 2019 oder DotNext 2019 Moskau. Wir sehen uns bei den nächsten Konferenzen!

Drei Gewinner des Dijkstra-Preises: Wie Hydra 2019 und SPTDC 2019 verliefen

Source: habr.com

Kommentar hinzufügen