Trois lauréats du prix Dijkstra : comment se sont déroulés Hydra 2019 et SPTDC 2019

Tout récemment, du 8 au 12 juillet, deux événements marquants se sont déroulés simultanément - la conférence Hydra et l'école SPTDC. Dans ce post, nous souhaitons souligner quelques particularités que nous avons remarquées au cours de la conférence.

La plus grande fierté de Hydra et de l'École - ce sont les intervenants.

• Trois lauréats du prix Dijkstra: Leslie Lamport, Maurice Herlihy et Michael Scott. À noter que Maurice l'a reçu deux fois. Leslie Lamport a également reçu le prix Turing – le prix le plus prestigieux de l'ACM en informatique ;
• Le créateur du compilateur JIT Java - Cliff Click ;
• Les développeurs de coroutines - Roman Elizarov (elizarov) et Nikita Koval (ndkoval) pour Kotlin, et Dmitry Vyukov pour Go ;
• Contributeurs à Cassandra (Alex Petrov), CosmosDB (Denis Rytsov), Yandex Database (Semen Checherinda et Vladislav Kuznetsov) ;
• Et de nombreuses autres personnes célèbres : Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (modèle de mémoire C++), Pedro Ramalhete (structures de données wait-free), Alexey Zinoviev (ML), Dmitry Bugaychenko (analyse de graphiques).

Et voici l'École:

• Université Brown (Maurice Herlihy),
• Université de Rochester (Michael Scott),
• Université de Waterloo (Trevor Brown),
• Université de Nantes (Achour Mostefaoui),
• Université Ben-Gourion du Néguev (Danny Hendler),
• Université de Californie à Los Angeles (Eli Gafni),
• Institut polytechnique de Paris (Petr Kuznetsov),
• Microsoft Research (Leslie Lamport),
• VMware Research (Ittai Abraham).

Théorie et pratique, science et industrie

Je rappelle que l'École SPTDC est un petit événement réunissant un peu plus d'une centaine de personnes, où se rassemblent des sommités de niveau mondial pour discuter des questions modernes dans le domaine du calcul distribué. Hydra - c'est une conférence de deux jours sur le calcul distribué, qui se déroule en parallèle. Hydra a une orientation plus technique, tandis que l'École est axée sur la science.

Un des objectifs de la conférence Hydra est de réunir les aspects scientifiques et techniques. D'une part, cela se réalise par la sélection des présentations dans le programme : à côté de Lamport, Herlihy et Scott, il y a des présentations beaucoup plus appliquées d'Alex Petrov, qui contribue à Cassandra, ou de Roman Elizarov de JetBrains. Il y a Martin Kleppmann, qui auparavant a créé et vendu des startups, et qui maintenant à l'Université de Cambridge étudie les CRDT. Mais le point fort est que Hydra et SPTDC se déroulent côte à côte - ils ont des présentations différentes, mais un lieu commun pour échanger.

Immersion

Cinq jours consécutifs d'école est un événement majeur et une grande charge, tant pour les participants que pour les organisateurs. Tout le monde n'a pas tenu jusqu'aux derniers jours. Il y en avait qui assistaient à la fois à Hydra et à l'école, et pour eux, les derniers jours ont été les plus chargés. Tout ce tumulte est compensé par une immersion incroyablement profonde. Cela tient non seulement au volume, mais aussi à la qualité du matériel. Toutes les présentations et conférences des deux événements n'étaient pas censées être introductives, donc peu importe où tu allais — tu plongeais immédiatement loin et profondément, et cela ne te lâchait pas jusqu'à la toute fin.

Bien sûr, beaucoup dépend de la préparation initiale du participant. Il y a eu un moment amusant où deux groupes de personnes dans le couloir discutaient de la présentation de Heidi Howard, sans se concerter : pour certains, cela semblait tout à fait ordinaire, tandis que d'autres, au contraire, se sont plongés dans des réflexions profondes sur la vie. Il est intéressant de noter que, selon des participants des comités de programme (désireux de rester anonymes), les présentations d'Hydra et les conférences de l'école auraient pu être considérées comme trop qualifiées. Par exemple, si un junior PHP assistait à une conférence sur PHP pour apprendre, il serait un peu imprudent de supposer qu'il possédait une connaissance approfondie des entrailles de Zend Engine. Ici, les intervenants ne nourrissaient pas les débutants à la cuillère, mais préconisaient immédiatement un certain niveau de connaissances et de compréhension. Et effectivement, les participants qui exploitent des systèmes distribués et écrivent des noyaux de runtime ont un niveau assez élevé, c'est logique. D'après les réactions des participants, il était relativement facile de trouver une présentation correspondant à leur niveau et à leur thème.

En parlant de présentations spécifiques, toutes étaient excellentes à leur manière. Selon ce que disent les gens et ce qui ressort des feedbacks, l'une des présentations les plus impressionnantes de l'école était "Structures de données non bloquantes" de Michael Scott, il a simplement impressionné tout le monde, il a un rating anormal d'environ 4.9.

Méta-conférence

Bien avant le début d'Hydra et de l'école, Ruslan ARG89 avait prévu qu'il s'agirait d'une sorte de «méta-conférence» — une conférence des conférences, où tous les meilleurs participants d'autres événements seraient automatiquement aspirés, comme dans un trou noir. C'est exactement ce qui s'est passé ! Par exemple, parmi les auditeurs de l'école se trouvait Ruslan Cheryomin de DeutscheBank, un spécialiste reconnu de la programmation multithread.

Et parmi les participants d'Hydra, on a remarqué Vadim Tsesko (incubosDeep Speech Andrey Panygin (apangin) de la société Odnoklassniki. (De plus, Vadim nous a également aidés à réaliser deux excellentes interviews avec Martin Kleppmann — une pour Habr, et l'autre — pour les spectateurs de la diffusion en direct). Il y avait des membres du comité de programme DotNext, des conférenciers renommés Anatoly Kulakov et Igor Labutin. Parmi les développeurs Java figuraient Dmitry Alexandrov et Vladimir Ivanov. D'habitude, tu vois ces gens dans des endroits complètement différents — les .NETters à DotNext, les Javaistes à Joker, et ainsi de suite. Et maintenant, ils étaient assis côte à côte lors des présentations de Hydra, discutant ensemble des problèmes lors des BOFs. Lorsque cette division quelque peu artificielle par langage de programmation et technologies disparaît, des caractéristiques du domaine apparaissent : les spécialistes des runtimes dynamiques dialoguent avec d'autres runtimers, les chercheurs en théorie des calculs distribués débattent vivement avec d'autres chercheurs, les ingénieurs des moteurs de bases de données envahissent le tableau blanc, et ainsi de suite.

Lors de la présentation sur le modèle de mémoire C++ dans les premiers rangs se trouvaient des développeurs OpenJDK (du moins, ceux-là je les connais, mais pas les Pythonistes — peut-être qu'il y en avait là aussi). En fait, cette présentation a quelque chose de Shpilev… Ori ne parle pas exactement de la même chose, mais un regard attentif peut révéler des parallèles. Même après tout ce qui s'est passé dans les dernières normes C++, des problèmes tels que les valeurs hors d'un chapeau n'ont toujours pas été résolus, et il était donc possible d'assister à une telle présentation et d'écouter comment les gens « de l'autre côté de la barricade » tentent de résoudre ces problèmes, comment ils réfléchissent, et d'être impressionné par les approches trouvées pour résoudre (Ori a un des moyens de les réparer).

Il y avait beaucoup de membres de comités de programmes et de moteurs de communautés. Tous résolvaient leurs problèmes interconfessionnels, établissaient des ponts, créaient des relations. J'ai profité de cela autant que possible, et par exemple, nous avons convenu avec Alexander Borgardt de Moscow C++ User Group de rédiger ensemble un article complet sur les acteurs et l'asynchronisme en C++.

Sur la photo : Leonid Talalaev (ltalal, à gauche) et Oleg Anastasiev (m0nstermind, à droite), développeurs principaux de la société Odnoklassniki

Zones de discussion enflammées et BOFs

Lors des conférences, il y a toujours des participants qui maîtrisent le sujet autant que les intervenants (et parfois même mieux — par exemple, lorsqu'un développeur du noyau d'une technologie se trouve parmi les participants). Sur Hydra, il y avait beaucoup de participants hautement qualifiés. Par exemple, à un moment donné, autour d'Alex Petrov, qui parlait de Cassandra, il y avait tellement de gens qu'il n'a pas pu répondre à tout le monde. À un moment donné, Alex a été doucement poussé sur le côté et a commencé à être assailli par les questions, mais le drapeau tombant a été rapidement récupéré par le célèbre développeur Rust Tyler Neely , qui a parfaitement équilibré la charge. Lorsque j'ai demandé à Tyler de m'aider avec une interview en ligne, il a simplement demandé : « Quand commençons-nous ? »

L'esprit de discussion a parfois déplacé même les présentations : Nikita Koval a organisé une séance de Q&A surprise, divisant sa présentation en plusieurs sections.

Inversement, lors du BOF sur la programmation multi-threads, ils ont évoqué la mémoire non volatile, et ont invité à ce BOF Pedro Ramalhete comme spécialiste principal, et il a tout expliqué à tout le monde (en résumé, la mémoire non volatile ne nous menace pas dans un avenir proche). D'ailleurs, l'un des animateurs de ce BOF était Vladimir Sitnikov, qui participe aux comités de programme d'un nombre incroyable de conférences… il semble qu'il en ait cinq en même temps actuellement. Lors du BOF voisin sur « CS Moderne dans le monde réel », ils ont également discuté de NVM et sont arrivés à cela de manière totalement autonome.

Je peux partager un super scoop que même les participants directs de l'histoire ont pu ne pas remarquer. Eli Gafni a présenté le soir du premier jour de l'École, et le lendemain, il est resté et a commencé à taquiner Lamport, et de l'extérieur, cela semblait être de la folie et qu'Eli n'était pas équilibré. On aurait dit un troll qui cherchait à mettre Leslie à l'épreuve. En réalité, ils sont presque meilleurs amis, ils se connaissent depuis des années, et ce sont juste des plaisanteries amicales. En d'autres termes, la blague a fonctionné — tout le monde autour a mordu à l'hameçon et l'a pris au sérieux.

Il est également important de souligner tout l'amour et l'énergie investis par les orateurs. Certains sont restés dans la zone de discussion jusqu'à la fin, pendant presque des heures. La pause était déjà finie, la présentation a commencé, s'est terminée, la prochaine pause a commencé — et Dmitry Vyoukov Je continuais à répondre aux questions. J'ai aussi vécu une histoire intéressante : en surprenant Cliff Click, j'ai obtenu non seulement une explication claire et raisonnable sur cette discussion provocante concernant l'absence de tests sur certaines choses dans H2O, mais j'ai aussi eu un aperçu complet de son nouveau langage AA. I never asked for this: j'ai simplement demandé ce que je pouvais lire sur AA (il s'est avéré qu'on pouvait écouter un podcast), et au lieu de cela, Cliff a passé une demi-heure à parler du langage et à vérifier que ce qu'il avait dit était bien compris. Étonnant. Je dois écrire un article sur Habr au sujet d'AA. Une autre expérience unique a été d'observer le processus de revue de pull request en Kotlin. C'est vraiment une sensation magique de se rendre dans différents groupes de discussion, d'écouter différents intervenants et de plonger dans un tout nouvel univers. C'est quelque chose au niveau de «There, There» de Radiohead.

L'anglais

Hydra 2019 est notre première conférence où la langue principale est l'anglais. Cela apporte à la fois ses avantages et ses complexités. Un avantage évident est que la conférence attire des personnes non seulement de Russie, donc parmi les participants, vous pouvez rencontrer des ingénieurs d'Europe et des scientifiques d'Angleterre. Les intervenants amènent leurs étudiants. En général, les intervenants importants ont beaucoup plus de motivation à venir à ce genre de conférence. Imaginez que vous êtes un intervenant à une conférence entièrement russophone : vous avez fait votre présentation, participé à la zone de discussion, et ensuite ? Parcourir la ville et voir des lieux touristiques ? En fait, les intervenants vraiment connus ont déjà vu beaucoup de choses dans le monde, ils n'ont pas envie de venir voir des lions ou des ponts levants, cela les ennuie. Cependant, si toutes les présentations sont en anglais, ils peuvent participer à la conférence sur un pied d'égalité, en prendre du plaisir, s'engager dans les zones de discussion, et ainsi de suite. L'atmosphère est assez amicale envers les intervenants.

Le principal inconvénient est que tout le monde n'est pas à l'aise pour communiquer en anglais. Beaucoup comprennent bien, mais parlent mal. En gros, des préoccupations habituelles, qui étaient résolues de diverses manières. Par exemple, certaines zones de discussion commençaient en russe, mais passaient instantanément à l'anglais à l'arrivée du premier participant anglophone.

J'ai moi-même dû effectuer des ouvertures et des fermetures pour les diffusions en direct uniquement en anglais et participer à quelques interviews avec des experts enregistrés. Cela a été un véritable défi pour moi, dont je me souviendrai longtemps. À un moment donné, Oleg Anastasyev (m0nstermind) a simplement dit que je devrais rester assis avec eux pendant l'interview, et j'ai réalisé très lentement ce que cela signifiait.

D'un autre côté, c'est très agréable de voir que le public a posé des questions avec enthousiasme lors des présentations. Non seulement les locuteurs natifs, mais en fait tout le monde, ça a bien fonctionné. Dans d'autres conférences, il est souvent visible que les gens hésitent à poser des questions en public en anglais maladroit, et peuvent seulement exprimer quelque chose dans la zone des discussions. Ici, c'était complètement différent. Par exemple, Cliff Click terminait ses présentations un peu plus tôt, et après cela, les questions affluaient sans interruption, la conversation se déplaçait vers la zone de discussions — sans pauses gênantes ni interruptions. Cela a également été le cas pour la session de questions-réponses de Leslie Lamport, où l'animateur n'a pratiquement pas eu besoin de poser ses propres questions, tout a été imaginé par les participants.

Il y avait toutes sortes de petits détails que peu de gens remarquent, mais qui existent. En raison de la nature anglophone de la conférence, le design de choses comme les brochures et les cartes est plus léger et épuré. Il n'y a pas besoin de dupliquer les langues et d'encombrer le design.

Les sponsors et l'exposition

Nos sponsors ont énormément aidé à la création de la conférence. Grâce à eux, il y avait toujours quelque chose à faire pendant les pauses.

Au stand du Tech Center de Deutsche Bank il était possible de discuter avec des ingénieurs de systèmes multi-thread, de résoudre leurs défis "de tête", de gagner des prix mémorables et de passer un bon moment.

Au stand Contour permettait de parler de leurs propres systèmes, tant ouverts qu'open source: base de données in-memory distribuée, journal binaire distribué, système d'orchestration de microservices, transport universel pour la télémétrie, etc. Et bien sûr, des défis et des concours, des autocollants avec le chat binaire et le Moyen Âge souffrant, des cadeaux comme le livre de Martin Kleppmann et des figurines LEGO.

Notez que l'analyse des défis de Contour a déjà été publiée sur Habré. C'est une bonne analyse, cela vaut le coup d'œil.

Les intéressés pouvaient acheter toutes sortes de livres et en discuter avec leurs collègues. Une véritable foule s'est rassemblée pour la séance de dédicaces !

Résultats

La conférence Hydra et l'école SPTDC sont des événements très importants pour nous en tant qu'organisateur et pour toute la communauté. C'est une occasion de se projeter dans notre avenir, de créer un vocabulaire commun pour discuter des problématiques contemporaines et d'explorer des directions intéressantes. La programmation parallèle existe depuis longtemps, mais il a fallu une décennie après l'apparition du premier processeur réellement multicœur pour que ce phénomène devienne courant. Ce que nous avons entendu cette semaine lors des présentations n'est pas une nouvelle passagère, mais un chemin vers un avenir meilleur, que nous allons emprunter dans les années à venir. Ce post ne contiendra aucun spoiler sur la prochaine Hydra, mais on peut espérer le meilleur. Si ces questions vous intéressent, il serait peut-être utile de prêter attention à nos autres événements, comme les présentations techniques lors des conférences. Joker 2019 ou DotNext 2019 Moscou. Retrouvons-nous lors des prochaines conférences !

Source : habr.com