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

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

Plus récemment, du 8 au 12 juillet, deux événements importants ont eu lieu simultanément : la conférence Hydra et l'école SPTDC. Dans cet article, je voudrais souligner plusieurs fonctionnalités que nous avons remarquées lors de la conférence.

La plus grande fierté d’Hydra et de l’École, ce sont les enceintes.

  • Trois lauréats Prix ​​Dijkstra: Leslie Lamport, Maurice Herlihy et Michael Scott. D'ailleurs, Maurice l'a reçu deux fois. Leslie Lamport a également reçu Prix ​​Turing — le prix ACM le plus prestigieux en informatique ;
  • Le créateur du compilateur Java JIT est Cliff Click ;
  • Développeurs Corutin - Roman Elizarov (Élisarov) et Nikita Koval (ndkoval) pour Kotlin et Dmitry Vyukov pour Go ;
  • Contributeurs à Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda et Vladislav Kuznetsov) ;
  • Et bien d'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 sans attente), Alexey Zinoviev (ML), Dmitry Bugaichenko (analyse de graphiques).

Et c'est déjà l'école:

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

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

Théorie et pratique, science et production

Permettez-moi de vous rappeler que l'école SPTDC est un petit événement pour une centaine de personnes : des sommités de classe mondiale s'y rassemblent et parlent des problèmes modernes dans le domaine de l'informatique distribuée. Hydra est une conférence sur l'informatique distribuée de deux jours organisée en parallèle. Hydra est davantage axée sur l'ingénierie, tandis que l'École est davantage axée sur la science.

L'un des objectifs de la conférence Hydra est de combiner les principes scientifiques et techniques. D'une part, cela est réalisé grâce à la sélection des rapports dans le programme : outre Lamport, Herlihy et Scott, il existe des rapports beaucoup plus appliqués d'Alex Petrov, qui contribue à Cassandra, ou de Roman Elizarov de JetBrains. Il y a Martin Kleppman, qui créait et vendait des startups et qui étudie actuellement le CRDT à l'Université de Cambridge. Mais ce qui est cool, c'est qu'Hydra et le SPTDC sont tenus côte à côte - ils ont des rapports différents, mais un lieu de communication commun.

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

Immersion

Cinq jours d'école consécutifs représentent un très grand événement et beaucoup de travail, tant pour les participants que pour les organisateurs. Tout le monde n’a pas survécu aux derniers jours. Il y avait ceux qui allaient à Hydra et à l'école en même temps, et pour eux les derniers jours se sont avérés les plus mouvementés. Tout ce tapage est compensé par une immersion incroyablement profonde. Cela est dû non seulement au volume, mais aussi à la qualité du matériau. Tous les rapports et conférences des deux événements n'étaient pas prévus pour être introductifs, donc partout où vous allez, vous plongez immédiatement loin et en profondeur, et vous n'êtes pas lâché jusqu'à la toute fin.

Bien entendu, cela dépend beaucoup de la préparation initiale du participant. Il y a eu un moment amusant où deux groupes de personnes dans le couloir ont discuté indépendamment du rapport d'Heidi Howard : pour certains, cela semblait tout à fait ordinaire, tandis que d'autres, au contraire, réfléchissaient profondément à la vie. Il est intéressant de noter que, selon les participants aux comités de programme (qui ont souhaité rester anonymes), les rapports d’Hydra et les conférences de l’École lors de leurs événements pourraient être surqualifiés. Par exemple, si un junior PHP venait à une conférence PHP pour apprendre la vie, il serait un peu téméraire de supposer qu'il possède une connaissance approfondie des composants internes de Zend Engine. Ici, les intervenants ne nourrissaient pas les juniors à la cuillère, mais impliquaient immédiatement un certain niveau de connaissance et de compréhension. Eh bien, en effet, le niveau de participants qui exploitent des systèmes distribués et écrivent des noyaux d'exécution est très élevé, c'est logique. A en juger par la réaction des participants, il a été assez simple de choisir un rapport en fonction du niveau et du sujet.

Si nous parlons de rapports spécifiques, ils étaient tous bons à leur manière. À en juger par ce que disent les gens et ce qui ressort du formulaire de commentaires, l'un des rapports les plus intéressants de l'école était "Structures de données non bloquantes" Michael Scott, il a juste déchiré tout le monde, il a une note anormale d'environ 4.9.

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

Métaconférence

Bien avant le début d'Hydra et de l'École, Ruslan ARG89 J'ai supposé qu'il y aurait une sorte de « méta-conférence » - une conférence de conférences, dans laquelle tous les principaux participants d'autres événements seraient automatiquement aspirés, comme dans un trou noir. Et c’est arrivé ! Par exemple, parmi les étudiants de l'École, on a remarqué Rouslan Cheremin de DeutscheBank, spécialiste bien connu du multithreading.

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

Et des membres d'Hydra ont été remarqués Vadim Tsesko (incubes) Et Andreï Panguine (apangine) de la société Odnoklassniki. (En parallèle, Vadim nous a également aidé à réaliser deux excellentes interviews avec Martin Kleppman - un pour Habr, et l'autre pour les téléspectateurs de la diffusion en ligne). Il y avait des membres Comité du programme DotNext, les célèbres orateurs Anatoly Koulakov et Igor Labutin. Parmi les Javistes, il y avait Dmitri Aleksandrov и Vladimir Ivanov. Habituellement, vous voyez ces personnes dans des endroits complètement différents – des dotnetistes sur DotNext, des javaistes sur Joker, etc. Ils s'assoient donc côte à côte lors des rapports Hydra et discutent ensemble des problèmes liés aux buffs. Lorsque cette division légèrement artificielle entre langages de programmation et technologies disparaît, les caractéristiques du domaine émergent : les spécialistes du runtime dynamique communiquent avec d'autres runtimers, les chercheurs en théorie de l'informatique distribuée discutent avec véhémence avec d'autres chercheurs, les ingénieurs des moteurs de bases de données se pressent sur le tableau blanc, etc. .

Au rapport selon le modèle de mémoire C++ les développeurs OpenJDK étaient assis au premier rang (au moins je les connais de vue, mais pas les Pythonistes, peut-être que les Pythonistes étaient là aussi). En fait, il y a quelque chose de très Shipilevsky dans ce rapport... Ori ne dit pas exactement la même chose, mais un examen attentif permet de déceler 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 sorties de nulle part n'ont toujours pas été résolus, et vous pouvez donc consulter un tel rapport et écouter comment les gens « de l'autre côté de la barricade » sont en essayant de résoudre ces problèmes, au fur et à mesure de leur raisonnement, on pourrait être impressionné par les approches de la solution trouvée (Ori a l'une des options de correction).

Il y avait beaucoup de participants aux comités de programme et aux moteurs communautaires. Tout le monde a résolu ses problèmes interconfessionnels, construit des ponts et noué des liens. Je l'ai utilisé partout où je le pouvais et, par exemple, nous nous sommes mis d'accord avec Alexander Borgardt de Groupe d'utilisateurs C++ de Moscou écrivez ensemble un article complet sur les acteurs et l'asynchronie en C++.

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

Sur la photo : Léonid Talalaev (ltalal, à gauche) et Oleg Anastasyev (esprit mental, à droite), principaux développeurs d'Odnoklassniki

Zones de discussion et buffs sur le feu

Lors des conférences, il y a toujours des participants qui connaissent le sujet aussi bien que les orateurs (et parfois même mieux que les orateurs - par exemple, lorsqu'un développeur du cœur d'une technologie fait partie des participants). Il y avait beaucoup de participants hautement experts sur Hydra. Par exemple, à un moment donné, Alex Petrov racontait à propos de Cassandre, il y avait tellement de monde qu'il ne pouvait pas répondre à tout le monde. À un moment donné, Alex a été doucement poussé sur le côté et a commencé à être déchiré par des questions, mais le drapeau qui tombait a été repris par un développeur Rust bien connu dans les cercles. Tyler Neely et équilibré parfaitement la charge. Lorsque j'ai demandé à Tyler de l'aide pour l'entretien en ligne, tout ce qu'il m'a demandé, c'est : « Quand commençons-nous ?

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

Parfois, l’esprit de discussion s’est même propagé dans les rapports : Nikita Koval a organisé une soudaine séance de questions-réponses, divisant le rapport en plusieurs sections.

Et vice versa, sur BOF pour le multi-threading, ils se sont souvenus de la mémoire non volatile, ils ont été attirés par ce bof Pedro Ramalhete en tant que spécialiste en chef, et il a tout expliqué à tout le monde (bref, la mémoire non volatile n'est pas une menace pour nous dans un futur proche). D'ailleurs, l'un des hôtes de ce bof était Vladimir Sitnikov, qui siège aux comités de programme d'un nombre fou de conférences... cela semble être cinq à la fois en ce moment. Lors du prochain buff sur « Modern CS in Real World », ils ont également discuté de NVM et y sont parvenus tout seuls.

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

Je peux partager une super idée que même ceux directement impliqués dans l’histoire n’auraient peut-être pas remarqué. Eli Gafni s'est produit le soir du premier jour de l'école, et le lendemain, il est resté et a commencé à troller Lamport, et de l'extérieur, il semblait que c'était un jeu et qu'Eli était inadéquat. Que c’est une sorte de troll qui a décidé d’extraire le cerveau de Leslie. En fait, le fait est qu'ils sont presque les meilleurs amis, ils sont amis depuis de nombreuses années, et ce sont des plaisanteries tellement amicales. Autrement dit, la blague a fonctionné - tous les gens autour sont tombés dans le piège, l'ont pris au pied de la lettre.

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

Par ailleurs, je voudrais souligner combien d'amour et d'efforts les orateurs y ont consacré. Quelqu'un est resté dans la zone de discussion jusqu'à la dernière minute, presque pendant des heures. La pause s'est terminée il y a longtemps, le rapport a commencé, s'est terminé, la pause suivante a commencé - et Dmitri Vioukov a continué à répondre aux questions. Une histoire intéressante m'est également arrivée - après avoir pris Cliff Click par surprise, j'ai reçu non seulement une explication claire et raisonnable de cette discussion provocatrice sur le manque de tests pour certaines choses dans H2O, mais j'en ai également eu un examen complet nouvelle langue AA. Je n'ai jamais demandé ça : j'ai simplement demandé ce que vous pouviez lire sur les AA (il s'est avéré que vous pouvez écouter Podcast), et Cliff a passé une demi-heure à parler de la langue et à vérifier que ce qu'il disait était bien compris. Merveilleux. Nous devons écrire un Habrapost sur les AA. Une autre expérience inhabituelle a été d’observer le processus d’examen des demandes de tirage à Kotlin. C'est vraiment un sentiment magique lorsque vous entrez dans différents groupes de discussion, différents intervenants et que vous êtes plongé dans un tout nouveau monde. C'est quelque chose au niveau "Là, là" de Radiohead.

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

Anglais

Hydra 2019 est notre première conférence où la langue principale est l'anglais. Cela présente à la fois ses avantages et ses défis. Un avantage évident est que les gens ne viennent pas seulement de Russie à la conférence, vous pourrez donc rencontrer parmi les participants des ingénieurs d'Europe et des scientifiques d'Angleterre. Les conférenciers amènent leurs étudiants. En général, les orateurs importants sont beaucoup plus motivés pour se rendre à une telle conférence. Imaginez que vous soyez l'orateur d'une conférence entièrement en langue russe : vous avez présenté votre rapport, défendu le domaine de discussion, et puis quoi ? Voyager en ville et voir des sites touristiques ? En fait, les orateurs très populaires ont déjà assez vu tout dans le monde, ils ne veulent pas aller voir des lions et des ponts-levis, ils s’ennuient. Si tous les rapports sont en anglais, ils peuvent participer à la conférence de manière générale, s'amuser, rejoindre des espaces de discussion, etc. L'ambiance est plutôt conviviale envers les intervenants.

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

L’inconvénient évident est que tout le monde n’est pas à l’aise pour communiquer en anglais. Beaucoup comprennent bien, mais parlent mal. En général, des choses ordinaires qui ont été résolues de différentes manières. Par exemple, certaines zones de discussion ont commencé en russe, mais sont immédiatement passées à l'anglais dès l'apparition du premier participant anglophone.

J'ai moi-même dû faire les inclusions d'ouverture et de clôture de la diffusion en ligne exclusivement en anglais et participer à quelques entretiens enregistrés avec des experts. Et cela a été pour moi un véritable défi qui ne sera pas oublié de sitôt. À un moment donné, Oleg Anastasyev (esprit mental) m'a simplement dit de rester assis avec eux pendant l'entretien, et j'ai été trop lent à comprendre ce que cela signifiait.

D'un autre côté, il était très agréable que les gens posent des questions avec fracas lors des reportages. Pas seulement les locuteurs natifs, mais tout le monde en général, cela a bien fonctionné. Lors d'autres conférences, on constate souvent que les gens sont gênés de poser des questions au public dans un anglais approximatif et ne peuvent exprimer quelque chose que dans la zone de discussion. C'était complètement différent ici. Relativement parlant, certains Cliff Click ont ​​terminé leurs rapports un peu plus tôt, et après cela, les questions se sont succédées dans une séquence continue, la conversation est passée à la zone de discussion - sans pauses ni interruptions gênantes. Il en va de même pour la séance de questions-réponses de Leslie Lamport : le présentateur n’a pratiquement pas eu à poser ses questions, les participants ont tout inventé.

Il y avait toutes sortes de petites choses que peu de gens remarquent, mais qui existent. Étant donné que la conférence se déroule en anglais, la conception des éléments tels que les dépliants et les cartes est plus légère et plus concise. Il n'est pas nécessaire de dupliquer les langues et d'encombrer le design.

Sponsors et exposition

Nos sponsors nous ont beaucoup aidés dans la création de la conférence. Grâce à eux, il y avait toujours quelque chose à faire pendant les récréations.

Au stand Centre technique de la Deutsche Bank vous pourriez discuter avec des ingénieurs de systèmes multithread, résoudre leurs problèmes de manière mentale, gagner des prix mémorables et simplement passer un bon moment.

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

Au stand Contour nous pourrions parler de leurs propres systèmes, à la fois open et open source : une base de données distribuée en mémoire, un journal binaire distribué, un système d'orchestration de microservices, un transport universel pour la télémétrie, etc. Et bien sûr, des puzzles et des concours, des autocollants avec un chat binaire et le Moyen Âge souffrant, des cadeaux comme le livre de Martin Kleppmann et des figurines LEGO.

Veuillez noter que l'analyse des problèmes de Kontur est déjà publié sur Habré. Bonne analyse, ça vaut le détour.

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

Ceux qui le souhaitaient pouvaient acheter toutes sortes de livres et en discuter avec des collègues. Toute une foule s'est rassemblée pour la séance d'autographes !

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

Les résultats de

La Conférence Hydra et l'École SPTDC sont des événements très importants pour nous en tant qu'entreprise organisatrice et pour l'ensemble de la communauté. C'est l'occasion d'envisager notre avenir, de développer un cadre conceptuel unifié pour discuter des problèmes modernes et d'examiner de plus près les orientations intéressantes. Le multithreading existe depuis très longtemps, mais il a fallu une décennie entière après l’apparition du premier processeur véritablement multicœur pour que le phénomène se généralise. Ce que nous avons entendu dans les rapports de cette semaine n’est pas une nouvelle éphémère, mais le chemin vers un avenir radieux que nous suivrons dans les années à venir. Il n'y aura pas de spoilers sur la prochaine Hydra dans cet article, mais vous pouvez espérer le meilleur. Si des questions comme celles-ci vous intéressent, vous pouvez consulter nos autres événements, comme les conférences hardcore. Joker 2019 ou DotNext 2019 Moscou. Rendez-vous aux prochaines conférences !

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

Source: habr.com

Ajouter un commentaire