Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

Meest recentelijk, van 8 tot 12 juli, vonden er tegelijkertijd twee belangrijke evenementen plaats: de conferentie Hydra en scholen SPTDC. In dit bericht wil ik een aantal kenmerken benadrukken die ons tijdens de conferentie zijn opgevallen.

De grootste trots van Hydra en de School zijn de sprekers.

  • Drie laureaten Dijkstra-prijzen: Leslie Lamport, Maurice Herlihy en Michael Scott. Bovendien ontving Maurice het tweemaal. Leslie Lamport ontving ook Turing-prijs — de meest prestigieuze ACM-prijs in de computerwetenschappen;
  • De maker van de Java JIT-compiler is Cliff Click;
  • Corutin-ontwikkelaars - Roman Elizarov (elizarov) en Nikita Koval (ndkoval) voor Kotlin, en Dmitry Vyukov voor Go;
  • Bijdragers aan Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda en Vladislav Kuznetsov);
  • En vele andere bekende mensen: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ geheugenmodel), Pedro Ramalhete (wachtvrije datastructuren), Alexey Zinovjev (ML), Dmitry Bugaichenko (grafiekanalyse).

En dit is al school:

  • Brown Universiteit (Maurice Herlihy),
  • Universiteit van Rochester (Michael Scott),
  • Universiteit van Waterloo (Trevor Brown),
  • Universiteit van Nantes (Achour Mostefaoui),
  • David Ben-Gurion Universiteit van de Negev (Danny Hendler),
  • Universiteit van Californië in Los Angeles (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Onderzoek (Leslie Lamport),
  • VMware-onderzoek (Ittai Abraham).

Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

Theorie en praktijk, wetenschap en productie

Ik wil u eraan herinneren dat de SPTDC School een klein evenement is voor anderhalfhonderd mensen; beroemdheden van wereldklasse komen daar samen en praten over moderne kwesties op het gebied van gedistribueerd computergebruik. Hydra is een tweedaagse gedistribueerde computerconferentie die parallel wordt gehouden. Hydra heeft een meer technische focus, terwijl de school een meer wetenschappelijke focus heeft.

Een van de doelstellingen van de Hydra-conferentie is het combineren van wetenschappelijke en technische principes. Enerzijds wordt dit bereikt door de selectie van rapporten in het programma: naast Lamport, Herlihy en Scott zijn er veel meer toegepaste rapporten van Alex Petrov, die bijdraagt ​​aan Cassandra, of Roman Elizarov van JetBrains. Er is Martin Kleppman, die startups bouwde en verkocht en nu CRDT studeert aan de universiteit van Cambridge. Maar het leuke is dat Hydra en SPTDC zij aan zij worden gehouden - ze hebben verschillende rapporten, maar een gemeenschappelijke plek voor communicatie.

Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

Onderdompeling

Vijf dagen School op rij is een heel groot evenement en veel werk, zowel voor de deelnemers als voor de organisatoren. Niet iedereen heeft de laatste dagen gehaald. Er waren mensen die tegelijkertijd naar Hydra en School gingen, en voor hen waren de laatste dagen de meest bewogen dagen. Al deze ophef wordt gecompenseerd door een ongelooflijk diepe onderdompeling. Dit komt niet alleen door het volume, maar ook door de kwaliteit van het materiaal. Alle reportages en lezingen op beide evenementen waren niet bedoeld als inleiding, dus waar je ook gaat, je duikt meteen ver en diep, en je wordt pas op het einde losgelaten.

Veel hangt natuurlijk af van de initiële voorbereiding van de deelnemer. Er was een grappig moment toen twee groepen mensen in de gang onafhankelijk van elkaar het rapport van Heidi Howard bespraken: voor sommigen leek het volkomen gewoon, terwijl anderen integendeel diep nadachten over het leven. Interessant is dat volgens de deelnemers van de programmacommissies (die anoniem wilden blijven) de rapporten van Hydra en de lezingen van de School tijdens hun evenementen overgekwalificeerd zouden kunnen zijn. Als een PHP-junior bijvoorbeeld naar een PHP-conferentie zou komen om het leven te leren kennen, zou het een beetje overhaast zijn om aan te nemen dat hij diepgaande kennis heeft over de interne werking van Zend Engine. Hier hebben de sprekers de junioren niet met de paplepel ingegoten, maar impliceerden ze meteen een bepaald niveau van kennis en begrip. Welnu, het niveau van deelnemers die gedistribueerde systemen bedienen en runtime-kernels schrijven is inderdaad erg hoog, dit is logisch. Afgaande op de reactie van de deelnemers was het vrij eenvoudig om een ​​rapport te kiezen op basis van het niveau en onderwerp.

Als we het over specifieke rapporten hebben, waren ze allemaal op hun eigen manier goed. Te oordelen naar wat mensen zeggen en wat er op het feedbackformulier te zien is, was dat een van de coolste rapporten op de school "Niet-blokkerende datastructuren" Michael Scott, hij heeft iedereen gewoon uit elkaar gehaald, hij heeft een abnormale beoordeling van ongeveer 4.9.

Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

Metaconferentie

Lang voor de start van Hydra and the School, Ruslan ARG89 aangenomen dat er een soort ‘metaconferentie’ zou zijn – een conferentie van conferenties, waar alle topdeelnemers van andere evenementen er automatisch in zouden worden gezogen, alsof ze in een zwart gat zaten. En zo gebeurde het! Het werd bijvoorbeeld opgemerkt onder de studenten van de school Ruslan Cheremin van DeutscheBank, een bekende specialist in multithreading.

Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

En van de Hydra-leden werd opgemerkt Vadim Tsesko (incubi) En Andrej Pangin (apangin) van het bedrijf Odnoklassniki. (Tegelijkertijd hielp Vadim ons ook met twee uitstekende interviews met Martin Kleppman - één voor Habren de andere voor kijkers van de online uitzending). Er waren leden DotNext Programmacommissie, beroemde sprekers Anatoly Kulakov en Igor Labutin. Van de Javisten waren er wel Dmitry Alexandrov и Vladimir Ivanov. Meestal zie je deze mensen op totaal verschillende plaatsen: dotnetisten op DotNext, javaisten op Joker, enzovoort. En dus zitten ze zij aan zij bij Hydra-rapporten en bespreken ze samen problemen met de buffs. Wanneer deze enigszins kunstmatige indeling in programmeertalen en technologieën verdwijnt, komen de kenmerken van het vakgebied naar voren: dynamische runtime-specialisten communiceren met andere runtimers, onderzoekers van de gedistribueerde computertheorie discussiëren heftig met andere onderzoekers, database-engine-ingenieurs verdringen zich op het whiteboard, enzovoort. .

Bij het rapport volgens het C++-geheugenmodel de OpenJDK-ontwikkelaars zaten op de eerste rij (ik ken ze tenminste van gezicht, maar de Pythonisten niet, misschien waren de Pythonisten er ook). In feite staat er zoiets als Shipilevsky in dit rapport... Ori vertelt niet precies hetzelfde, maar als je goed kijkt, kun je parallellen ontdekken. Zelfs na alles wat er in de nieuwste C++-standaarden gebeurde, waren problemen zoals uit het niets opgekomen waarden nog steeds niet opgelost, en dus kon je naar zo’n rapport gaan en luisteren naar hoe het met mensen ‘aan de andere kant van de barricade’ gaat proberen deze problemen op te lossen. Zoals ze redeneren, zou je onder de indruk kunnen zijn van de benaderingen van de gevonden oplossing (Ori heeft een van de oplossingsopties).

Er waren veel deelnemers in programmacommissies en communitymotoren. Iedereen loste zijn interreligieuze problemen op, bouwde bruggen en verwierf verbindingen. Ik gebruikte dit waar ik maar kon, en we spraken bijvoorbeeld af met Alexander Borgardt uit Moskou C++ gebruikersgroep schrijven samen een uitgebreid artikel over acteurs en asynchronie in C++.

Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

Op de foto: Leonid Talalaev (Totaal, links) en Oleg Anastasjev (geest van geest, rechts), toonaangevende ontwikkelaars bij Odnoklassniki

Vuur discussiezones en verbeteringen af

Op conferenties zijn er altijd deelnemers die het onderwerp net zo goed kennen als de sprekers (en soms zelfs beter dan de sprekers - bijvoorbeeld wanneer zich onder de deelnemers een ontwikkelaar van de kern van een bepaalde technologie bevindt). Er waren veel van zulke zeer deskundige deelnemers op Hydra. Op een gegeven moment vertelt Alex Petrov bijvoorbeeld over Cassandra, er vormden zich zoveel mensen dat hij niet iedereen kon antwoorden. Op een gegeven moment werd Alex soepel opzij geduwd en begon te worden verscheurd door vragen, maar de vallende vlag werd opgepikt door een bekende Rust-ontwikkelaar in de kringen Tyler Neely en bracht de lading perfect in evenwicht. Toen ik Tyler om hulp vroeg bij een online interview, vroeg hij alleen maar: "Wanneer beginnen we?"

Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

Soms brak de geest van discussie zelfs door in de rapporten: Nikita Koval organiseerde plotseling een vraag-en-antwoordsessie, waarbij het rapport in verschillende secties werd verdeeld.

En omgekeerd, op BOF voor multi-threading herinnerden ze zich het niet-vluchtige geheugen, ze werden aangetrokken door deze bof Pedro Ramalhete als hoofdspecialist, en hij legde iedereen alles uit (kortom: het niet-vluchtige geheugen vormt in de nabije toekomst geen bedreiging voor ons). Een van de gastheren van deze bof was dat trouwens Vladimir Sitnikov, die lid is van de programmacommissies van een waanzinnig aantal conferenties... het lijken er nu wel vijf tegelijk. Bij de volgende buff over “Moderne CS in de echte wereld” bespraken ze ook NVM en kwamen hier volledig zelfstandig op uit.

Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

Ik kan een superinzicht delen dat zelfs degenen die direct bij het verhaal betrokken zijn misschien niet hebben opgemerkt. Eli Gafni trad op op de avond van de eerste schooldag, en de volgende dag bleef hij en begon Lamport te trollen, en van buitenaf leek het erop dat dit spel was en dat Eli ontoereikend was. Dat dit een soort trol is die de hersenen van Leslie wil uitschakelen. Feit is dat ze bijna beste vrienden zijn, ze zijn al jaren vrienden, en dit is gewoon zo'n vriendelijk geklets. Dat wil zeggen, de grap werkte - alle mensen in de omgeving trapten erin en accepteerden het zonder meer.

Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

Los daarvan zou ik willen opmerken hoeveel liefde en moeite de sprekers hierin hebben gestoken. Iemand heeft tot het laatste moment, bijna urenlang, in de discussieruimte gestaan. De pauze eindigde lang geleden, het rapport begon, eindigde, de volgende pauze begon - en Dmitri Vjoekov bleef vragen beantwoorden. Er overkwam mij ook een interessant verhaal: nadat ik Cliff Click had verrast, kreeg ik niet alleen een duidelijke en redelijke uitleg van die provocerende discussie over het gebrek aan tests voor bepaalde dingen in H2O, maar kreeg er ook een volledige recensie van nieuwe taal AA. Ik heb hier nooit om gevraagd: ik vroeg alleen wat je over AA kunt lezen (het bleek dat je kunt luisteren одкаст), en in plaats daarvan sprak Cliff een half uur over de taal en controleerde hij of wat hij zei goed werd begrepen. Prachtig. We moeten een habrapost over AA schrijven. Een andere ongebruikelijke ervaring was het bekijken van het beoordelingsproces van pull-aanvragen in Kotlin. Het is echt een magisch gevoel als je verschillende discussiegroepen en verschillende sprekers binnenloopt en in een hele nieuwe wereld wordt ondergedompeld. Dit is iets op niveau "Daar, daar" van Radiohead.

Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

Engels

Hydra 2019 is onze eerste conferentie waarbij de voertaal Engels is. Dit brengt zowel voordelen als uitdagingen met zich mee. Een duidelijk voordeel is dat mensen niet alleen uit Rusland naar de conferentie komen, dus onder de deelnemers kun je ingenieurs uit Europa en wetenschappers uit Engeland ontmoeten. Sprekers brengen hun studenten mee. Over het algemeen hebben belangrijke sprekers veel meer motivatie om naar zo’n congres te gaan. Stel je voor dat je spreker bent op een volledig Russischtalige conferentie: je hebt je rapport uitgebracht, het discussiegebied verdedigd, en wat dan? Door de stad reizen en toeristische plekken bekijken? Eigenlijk hebben echt populaire sprekers al genoeg van alles in de wereld gezien, ze willen geen leeuwen en ophaalbruggen zien, ze vervelen zich. Als alle rapporten in het Engels zijn, kunnen ze op algemene basis aan de conferentie deelnemen, plezier hebben, deelnemen aan discussieruimtes, enzovoort. De sfeer is vrij vriendelijk tegenover de sprekers.

Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

Het voor de hand liggende nadeel is dat niet iedereen zich op zijn gemak voelt in het Engels. Velen begrijpen het goed, maar spreken slecht. Over het algemeen gewone dingen die op verschillende manieren werden opgelost. Sommige discussieonderwerpen begonnen bijvoorbeeld in het Russisch, maar schakelden meteen over naar het Engels toen de eerste Engelssprekende deelnemer verscheen.

Zelf moest ik de openings- en slotopnames van de online-uitzending uitsluitend in het Engels doen en deelnemen aan een paar opgenomen interviews met experts. En dit was voor mij een echte uitdaging die ik niet snel zal vergeten. Op een gegeven moment Oleg Anastasjev (geest van geest) zei eenvoudigweg dat ik tijdens het interview bij hen moest blijven zitten, en ik was te traag om te begrijpen wat dat betekende.

Aan de andere kant was het wel heel prettig dat mensen met een knal vragen stelden bij de reportages. Niet alleen moedertaalsprekers, maar iedereen in het algemeen werkte goed. Op andere conferenties zie je vaak dat mensen zich schamen om vragen te stellen aan het publiek in gebroken Engels, en er alleen maar iets uit kunnen persen in de discussieruimte. Dit was hier totaal anders. Relatief gezien was een zekere Cliff Click iets eerder klaar met zijn verslagen, en daarna volgden de vragen in een ononderbroken volgorde, het gesprek belandde in de discussiezone - zonder ongemakkelijke pauzes of onderbrekingen. Hetzelfde geldt voor de Q&A-sessie van Leslie Lamport; de presentator hoefde zijn vragen vrijwel niet te stellen, de deelnemers bedachten alles.

Er waren allerlei kleine dingen die maar weinig mensen opmerken, maar ze bestaan. Doordat de conferentie in het Engels plaatsvindt, is de vormgeving van onder meer folders en kaarten lichter en beknopter. Het is niet nodig om talen te dupliceren en het ontwerp onoverzichtelijk te maken.

Sponsoren en tentoonstelling

Onze sponsors hebben ons enorm geholpen bij het realiseren van de conferentie. Dankzij hen was er tijdens de pauzes altijd iets te doen.

op de stand Deutsche Bank TechCenter je kunt chatten met ingenieurs van multi-threaded systemen, hun problemen uit je hoofd oplossen, gedenkwaardige prijzen winnen en gewoon een leuke tijd hebben.

Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

op de stand Contour we zouden kunnen praten over hun eigen systemen, zowel open als open source: een gedistribueerde in-memory database, een gedistribueerd binair logbestand, een microservice-orkestratiesysteem, een universeel transport voor telemetrie, enzovoort. En natuurlijk puzzels en wedstrijden, stickers met een binaire kat en de lijdende middeleeuwen, cadeaus zoals het boek van Martin Kleppmann en LEGO-figuren.

Houd er rekening mee dat de analyse van Kontur-problemen al is gepubliceerd op Habré. Goede analyse, zeker de moeite waard om te bekijken.

Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

Wie dat wilde, kon allerlei boeken aanschaffen en met collega’s bespreken. Een hele menigte verzamelde zich voor de signeersessie!

Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

Resultaten van

De Hydra Conference en SPTDC School zijn zeer belangrijke evenementen voor ons als organiserend bedrijf en voor de hele gemeenschap. Dit is een kans om in onze toekomst te kijken, een uniform conceptueel raamwerk te ontwikkelen voor het bespreken van moderne problemen, en interessante richtingen nader te bekijken. Multithreading bestaat al heel lang, maar het duurde een heel decennium nadat de eerste echte multi-coreprocessor verscheen voordat het fenomeen wijdverspreid werd. Wat we deze week bij de reportages hoorden, is geen vluchtig nieuws, maar de weg naar een mooie toekomst die we de komende jaren zullen volgen. Er zullen geen spoilers zijn voor de volgende Hydra in dit bericht, maar je kunt er het beste van hopen. Als je geïnteresseerd bent in dit soort onderwerpen, wil je misschien ook eens een kijkje nemen bij onze andere evenementen, zoals hardcore conferentietoespraken Joker 2019 of DotNext 2019 Moskou. Tot ziens op de volgende conferenties!

Drie Dijkstra Prijswinnaars: hoe Hydra 2019 en SPTDC 2019 verliepen

Bron: www.habr.com

Voeg een reactie