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


In jüngerer Zeit fanden vom 8. bis 12. Juli zwei bedeutende Ereignisse gleichzeitig statt - die Hydra- Konferenz und die SPTDC- Schule. In diesem Beitrag möchte ich einige Funktionen erwähnen, die wir während der Konferenz bemerkt haben.


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


  • Drei Gewinner des Dijkstra-Preises : Leslie Lamport, Maurice Herlihy und Michael Scott. Und Maurice hat es bis zu zweimal bekommen. Leslie Lampport erhielt außerdem den Turing Award - den renommiertesten ACM-Preis in der Informatik.
  • Der Ersteller 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 bei Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda und Vladislav Kuznetsov);
  • Und viele andere berühmte Personen: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C ++ - Speichermodell), Pedro Ramalhete (wartungsfreie Datenstrukturen), Alexey Zinoviev (ML), Dmitry Bugaychenko (Diagrammanalyse).

Und das ist die Schule :


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


Theorie und Praxis, Wissenschaft und Produktion


Ich möchte Sie daran erinnern, dass die SPTDC School eine kleine Veranstaltung für eineinhalbhundert Menschen ist, an der sich erstklassige Persönlichkeiten versammeln und über moderne Themen im Bereich des verteilten Rechnens sprechen. Hydra ist eine zweitägige Konferenz für verteiltes Rechnen, die parallel abgehalten wird. Bei Hydra liegt der Schwerpunkt mehr auf Ingenieurwesen und an der Schule auf mehr Wissenschaft.


Eines der Ziele der Hydra-Konferenz ist die Kombination von Wissenschaft und Technik. Dies wird einerseits durch die Auswahl von Berichten im Programm erreicht: Neben Lamport, Herliha und Scott gibt es viel mehr angewandte Berichte von Alex Petrov, der zu Cassandra beiträgt, oder Roman Elizarov von JetBrains. Es gibt Martin Kleppman, der früher Startups hergestellt und verkauft hat und jetzt CRDT an der Universität Cambridge studiert. Der Trick ist jedoch, dass Hydra und SPTDC Seite an Seite gehen - sie haben unterschiedliche Berichte, aber einen gemeinsamen Ort für die Kommunikation.



Eintauchen


Fünf aufeinanderfolgende Schultage sind eine sehr große Veranstaltung und eine große Belastung für Teilnehmer und Organisatoren. Nicht alle haben die letzten Tage erreicht. Es gab diejenigen, die zur gleichen Zeit zur Hydra und zur Schule gingen, und für sie waren die letzten Tage die ereignisreichsten. All diese Aufregung wird durch einen unglaublich tiefen Tauchgang ausgeglichen. Dies liegt nicht nur am Volumen, sondern auch an der Qualität des Materials. Alle Berichte und Vorträge bei beiden Veranstaltungen waren nicht als Einführung gedacht. Wo immer Sie hingehen, tauchen Sie sofort weit und tief und werden erst am Ende losgelassen.


Natürlich hängt vieles von der anfänglichen Vorbereitung des Teilnehmers ab. Es gab einen lustigen Moment, in dem zwei Gruppen von Menschen im Korridor unabhängig voneinander über Heidi Howards Bericht diskutierten: Eine schien ganz normal zu sein, während die andere im Gegenteil über das Leben nachdachte. Es ist interessant, dass laut Aussage (die anonym bleiben wollte) der Teilnehmer der Programmkomitees die Berichte von Hydra und die Vorlesungen der Schule bei ihren Veranstaltungen überqualifiziert werden könnten. Wenn beispielsweise ein PHP-Junior zu einer PHP-Konferenz kam, um zu studieren, ist es ein wenig rücksichtslos anzunehmen, dass er über fundierte Kenntnisse der Zend Engine-Interna verfügt. Hier fütterten die Redner den Jones nicht mit dem Löffel, sondern implizierten sofort ein gewisses Maß an Wissen und Verständnis. Tatsächlich haben die Teilnehmer, die verteilte Systeme betreiben und Laufzeitkerne schreiben, ein sehr hohes Niveau. Dies ist logisch. Gemessen an der Reaktion der Teilnehmer war es recht einfach, einen Bericht über die Ebene und das Thema auszuwählen.


In Bezug auf bestimmte Berichte waren alle gut in ihrer Art. Nach dem zu urteilen, was die Leute sagen und was auf dem Feedback-Formular zu sehen ist, erwiesen sich die nicht blockierenden Datenstrukturen von Michael Scott als einer der coolsten Berichte. Er riss einfach alle auf und hatte eine anomale Bewertung von 4,9.



Metakonferenz


Lange vor dem Start von Hydra und der Schule ging Ruslan ARG89 davon aus, dass es sich um eine Art „Metakonferenz“ handeln würde - eine Konferenz von Konferenzen, bei der sich alle Top-Teilnehmer anderer Veranstaltungen automatisch wie ein Schwarzes Loch hineinziehen würden. Und so geschah es! Unter den Schülern der Schule wurde beispielsweise Ruslan Cheremin von der Deutschen Bank , ein bekannter Multithreading-Spezialist, bemerkt.



Unter den Hydra-Teilnehmern wurden Vadim Tsesko ( Inkubos ) und Andrey Pangin ( Apangin ) aus Odnoklassniki gesichtet. (Gleichzeitig half uns Vadim auch dabei, zwei hervorragende Interviews mit Martin Kleppman zu führen - eines für Habr und das andere für die Zuschauer einer Online-Sendung). Es gab Mitglieder des DotNext-Programmkomitees , berühmte Redner Anatoly Kulakov und Igor Labutin. Unter den Javisten waren Dmitri Alexandrow und Wladimir Iwanow . Normalerweise sieht man diese Leute an ganz anderen Orten - Partner bei DotNext, Javists bei Joker und so weiter. Und jetzt sitzen sie Seite an Seite in Hydras Berichten und diskutieren gemeinsam Probleme auf dem Boden. Wenn diese leicht künstliche Unterteilung in Programmiersprachen und -technologien verschwindet, werden die Merkmale des Themenbereichs deutlich: Dynamische Laufzeitspezialisten kommunizieren mit anderen Runtimern, Forscher in der Theorie des verteilten Rechnens streiten sich heftig mit anderen Forschern, Ingenieure von Datenbank-Engines drängen sich auf der Markierungstafel und so weiter.


OpenJDK-Entwickler standen an der Spitze des C ++ - Speichermodellberichts (zumindest kenne ich sie vom Sehen, aber es gibt keine Pythonisten, vielleicht waren auch die Pythonisten dort). Tatsächlich hat Shipilev etwas an diesem Bericht ... Ori sagt nicht genau dasselbe, aber ein sorgfältiger Blick kann Parallelen aufdecken. Selbst nach allem, was in den neuesten C ++ - Standards passiert ist, wurden Probleme wie Werte außerhalb der Luft nicht repariert. Sie können also in einem solchen Bericht nachlesen, wie Menschen „auf der anderen Seite der Barrikade“ versuchen, diese Probleme zu beheben. Wie sie argumentierten, konnte man von den Ansätzen für die gefundene Lösung beeindruckt sein (Ori hat eine der Korrekturen).


Es gab viele Teilnehmer an Programmkomitees und Community-Engines. Alle lösten ihre interreligiösen Probleme, bauten Brücken, die mit Bindungen bewachsen waren. Ich habe dies verwendet, wo ich konnte, und wir haben uns beispielsweise mit Alexander Borgardt von der Moskauer C ++ - Benutzergruppe darauf geeinigt, gemeinsam einen vollwertigen Artikel über Schauspieler und Asynchronität in C ++ zu schreiben.



Auf dem Foto: Leonid Talalayev ( ltalal , links) und Oleg Anastasiev ( m0nstermind , rechts), führende Entwickler bei Odnoklassniki


Feurige Diskussionszonen und Bofs


Bei Konferenzen gibt es immer Teilnehmer, die das Thema zusammen mit den Rednern kennen (und manchmal besser als die Redner - zum Beispiel, wenn unter den Teilnehmern ein Entwickler des Kerns einer Technologie amüsiert war). Es gab viele so erfahrene Teilnehmer bei Hydra. Zum Beispiel bildeten sich irgendwann um Alex Petrov, der über Cassandra sprach, so viele Menschen, dass er nicht jedem antworten konnte. Irgendwann wurde Alex sanft zur Seite geschoben und begann Fragen auseinander zu reißen, aber die fallende Flagge wurde von Tyler Neely, der in den Kreisen der Rust-Entwickler bekannt war, aufgegriffen und balancierte die Last perfekt aus. Als ich Tyler um Hilfe bei einem Online-Interview bat, fragte er nur: "Wann fangen wir an?"



Zuweilen brach der umstrittene Geist sogar in Berichte ein: Nikita Koval arrangierte eine plötzliche Fragerunde und teilte den Bericht in mehrere Abschnitte auf.


Und umgekehrt, bei den BOFs haben wir uns an Multithreading über nichtflüchtiges Gedächtnis erinnert, Pedro Ramalhete als Hauptspezialisten zu diesem Bof gezogen und er hat allen alles erklärt (kurz gesagt, nichtflüchtiges Gedächtnis bedroht uns in naher Zukunft nicht). Übrigens war Vladimir Sitnikov , der an den Programmkomitees einer wahnsinnigen Anzahl von Konferenzen teilnimmt, einer der Leiter dieses Bof ... es scheint, dass dies jetzt jeweils fünf Stücke sind. An einem nahe gelegenen Stand über „Modern CS in der realen Welt“ wurde auch NVM besprochen und kam völlig unabhängig dazu.



Ich kann einen Super-Insider teilen, den selbst direkte Teilnehmer der Geschichte nicht bemerken konnten. Eli Gafni trat am Abend des ersten Schultages auf, und am nächsten Tag blieb er und fing an, Lamport zu trollen, und von der Seite schien es, dass dies ein Spiel war und Eli unangemessen war. Dass dies eine Art Troll ist, der darum gebeten hat, Leslie das Gehirn herauszunehmen. Tatsächlich ist die Tatsache, dass sie fast die besten Freunde sind, seit vielen Jahren Freunde, und das sind einfach so freundliche Witze. Das heißt, der Witz hat funktioniert - die ganzen Leute um ihn herum haben ihn genommen, zum Nennwert genommen.



Ich möchte auch erwähnen, wie viel Liebe und Energie die Sprecher in sie gesteckt haben. Jemand stand bis zuletzt fast stundenlang im Diskussionsbereich. Die Pause ist lange vorbei, der Bericht begann, endete, die nächste Pause begann - und Dmitry Vyukov beantwortete weiterhin Fragen. Mir ist auch eine interessante Geschichte passiert - Cliff Click überrascht zu bekommen, ich erhielt nicht nur eine klare und vernünftige Erklärung für diese provokative Diskussion über das Fehlen von Tests für bestimmte Dinge in H2O , sondern ich bekam auch einen vollständigen Überblick über seine neue AA-Sprache . Ich habe nie danach gefragt: Ich habe nur gefragt, was Sie über AA lesen können (es stellte sich heraus, dass Sie den Podcast anhören können), und stattdessen hat Cliff eine halbe Stunde damit verbracht, über die Sprache zu sprechen und zu überprüfen, ob das Gesagte richtig verstanden wird. Erstaunlich Es ist notwendig, über AA zu schreiben. Eine weitere ungewöhnliche Erfahrung ist die Beobachtung des Überprüfungsprozesses für Pull-Anfragen in Kotlin. Dies ist wirklich ein magisches Gefühl - wenn Sie zu verschiedenen Diskussionsgruppen, zu verschiedenen Rednern gehen und in eine ganz neue Welt eintauchen. Dies ist etwas von der "There, There" -Ebene von Radiohead .



Englische Sprache


Hydra 2019 ist unsere erste Konferenz, bei der die Hauptsprache Englisch ist. Dies bringt sowohl seine Vorteile als auch seine Schwierigkeiten mit sich. Ein offensichtliches Plus ist, dass nicht nur Menschen aus Russland zur Konferenz kommen, so dass Sie unter den Teilnehmern Ingenieure aus Europa und Wissenschaftler aus England treffen können. Referenten bringen ihre Schüler mit. Im Allgemeinen haben wichtige Redner viel mehr Motivation, an einer solchen Konferenz teilzunehmen. Stellen Sie sich vor, Sie sprechen auf einer vollständig russischsprachigen Konferenz: Hier haben Sie Ihren Bericht gehalten, den Diskussionsbereich verteidigt und was dann? Durch die Stadt fahren und Touristenorte beobachten? Tatsächlich haben die wirklich beliebten Redner bereits genug von allem auf der Welt gesehen, sie wollen nicht zu den Löwen und Zugbrücken gehen, sie sind gelangweilt. Wenn alle Berichte in englischer Sprache verfasst sind, können sie gemeinsam an der Konferenz teilnehmen, Spaß haben, Diskussionszonen beitreten usw. Die Atmosphäre ist sehr freundlich zu den Lautsprechern.



Das offensichtliche Minus ist, dass nicht jeder gerne auf Englisch spricht. Viele verstehen gut, sprechen aber schlecht. Im Allgemeinen gewöhnliche Dinge, die anders entschieden wurden. Zum Beispiel begannen einige Diskussionszonen auf Russisch, wechselten jedoch sofort zu Englisch, als der erste englischsprachige Teilnehmer erschien.


Ich selbst musste die Eröffnungs- und Schlusseinschlüsse der Online-Sendung ausschließlich in englischer Sprache vornehmen und an einigen Interviews mit aufgezeichneten Experten teilnehmen. Und es war für mich eine echte Herausforderung, die nicht so schnell vergessen wird. Irgendwann sagte Oleg Anastasiev ( m0nstermind ) einfach, dass ich für ein Interview bei ihnen bleiben sollte, und ich verstand zu langsam, was dies bedeutete.


Andererseits ist es sehr angenehm, dass die Leute in den Berichten Fragen mit einem Knall stellten. Nicht nur Muttersprachler, sondern im Allgemeinen alles, es hat gut funktioniert. Bei anderen Konferenzen wird häufig festgestellt, dass es den Menschen peinlich ist, Fragen an das Publikum in gebrochenem Englisch zu stellen, und dass sie nur im Diskussionsbereich etwas aus sich herausholen können. Hier war es völlig falsch. Relativ gesehen haben einige Cliff Click die Berichte etwas früher fertiggestellt, und danach gingen die Fragen in fortlaufender Reihenfolge weiter, und das Gespräch ging in den Diskussionsbereich über - ohne unangenehme Pausen und Pausen. Gleiches gilt für die Q & A-Sitzung von Leslie Lamport, der Gastgeber musste praktisch keine Fragen stellen, die Teilnehmer hatten alles.


Es gab alle möglichen kleinen Dinge, die nur wenige Menschen bemerken, aber sie sind es. Aufgrund der Tatsache, dass die Konferenz englischsprachig ist, ist die Gestaltung von Broschüren und Karten einfacher und prägnanter. Keine Notwendigkeit, Sprachen zu duplizieren und das Design zu überladen.


Sponsoren und Ausstellung


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


Am Stand des TechCenter der Deutschen Bank konnte man mit Multithread-Systemingenieuren sprechen, ihre Probleme „vom Kopf“ lösen, unvergessliche Preise gewinnen und einfach eine gute Zeit haben.



Am Contour- Stand konnte man über ihre eigenen Open- und Open-Source-Systeme sprechen: 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 einer binären Katze und einem leidenden Mittelalter, Geschenke wie ein Buch von Martin Kleppman und LEGO Figuren.


Beachten Sie, dass die Analyse der Aufgaben der Kontur bereits auf Habré veröffentlicht wurde . Die Analyse ist gut, es ist einen Blick wert.



Interessenten konnten alle Arten von Büchern kaufen und mit Kollegen besprechen. Eine ganze Menge versammelte sich zu einer Autogrammstunde!



Zusammenfassung


Die Hydra-Konferenz und die SPTDC-Schule sind sehr wichtige Ereignisse für uns als organisierendes Unternehmen und für die gesamte Gemeinschaft. Dies ist eine Gelegenheit, in unsere Zukunft zu schauen, einen einzigen konzeptuellen Apparat zur Diskussion moderner Probleme zu entwickeln und interessante Richtungen zu erkunden. Multithreading trat vor langer Zeit auf, aber nachdem der erste echte Multi-Core-Prozessor auf den Markt kam, dauerte es ein ganzes Jahrzehnt, bis sich das Phänomen verbreitete. Was wir in den Berichten dieser Woche gehört haben, sind keine flüchtigen Nachrichten, sondern der Weg in eine bessere Zukunft, der wir in den kommenden Jahren folgen werden. Es wird keine Spoiler für die nächste Hydra in diesem Beitrag geben, aber Sie können auf das Beste hoffen. Wenn Sie an solchen Problemen interessiert sind, sollten Sie auf unsere anderen Veranstaltungen achten, z. B. auf Hardcore-Präsentationen auf den Moskauer Konferenzen Joker 2019 oder DotNext 2019 . Treffen Sie mich bei den nächsten Konferenzen!


Source: https://habr.com/ru/post/de460499/


All Articles