Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

Mees onlangs, van 8 tot 12 Julie, het twee belangrike gebeurtenisse gelyktydig plaasgevind - die konferensie Hydra en skool SPTDC. In hierdie pos wil ek verskeie kenmerke uitlig wat ons tydens die konferensie opgemerk het.

Die grootste trots van Hydra en die Skool is die sprekers.

  • Drie pryswenners Dijkstra-pryse: Leslie Lamport, Maurice Herlihy en Michael Scott. Boonop het Maurice dit twee keer ontvang. Leslie Lamport ook ontvang Turing-toekenning — die mees gesogte ACM-toekenning in rekenaarwetenskap;
  • Die skepper van die Java JIT-samesteller is Cliff Click;
  • Corutin-ontwikkelaars - Roman Elizarov (elizarov) en Nikita Koval (ndkoval) vir Kotlin, en Dmitri Vyukov vir Go;
  • Bydraers tot Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex-databasis (Semyon Checherinda en Vladislav Kuznetsov);
  • En baie ander bekende mense: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ geheuemodel), Pedro Ramalhete (wagvrye datastrukture), Alexey Zinoviev (ML), Dmitri Bugaichenko (grafiekontleding).

En dit is reeds Skool:

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

Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

Teorie en praktyk, wetenskap en produksie

Laat ek jou daaraan herinner dat die SPTDC Skool 'n klein geleentheid vir een en 'n half honderd mense is; wêreldklas-helde kom daar bymekaar en praat oor moderne kwessies op die gebied van verspreide rekenaars. Hydra is 'n tweedaagse verspreide rekenaarkonferensie wat parallel gehou word. Hydra het 'n meer ingenieursfokus, terwyl die Skool 'n meer wetenskaplike fokus het.

Een van die doelwitte van die Hydra-konferensie is om wetenskaplike en ingenieursbeginsels te kombineer. Aan die een kant word dit bereik deur die keuse van verslae in die program: saam met Lamport, Herlihy en Scott is daar baie meer toegepaste verslae deur Alex Petrov, wat bydra tot Cassandra, of Roman Elizarov van JetBrains. Daar is Martin Kleppman, wat vroeër nuwe ondernemings gebou en verkoop het en nou CRDT aan die Universiteit van Cambridge studeer. Maar die cool ding is dat Hydra en SPTDC langs mekaar gehou word - hulle het verskillende verslae, maar 'n gemeenskaplike plek vir kommunikasie.

Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

Onderdompeling

Vyf dae agtereenvolgens van die Skool is 'n baie groot gebeurtenis en baie werklading, beide vir die deelnemers en die organiseerders. Nie almal het die laaste dae deurgekom nie. Daar was diegene wat terselfdertyd Hydra en Skool toe gegaan het, en vir hulle was die laaste dae die mees gebeurtenisvolle. Al hierdie ophef word geneutraliseer deur 'n ongelooflike diep onderdompeling. Dit is nie net te danke aan die volume nie, maar ook aan die kwaliteit van die materiaal. Al die verslae en lesings by albei geleenthede was nie beplan om inleidend te wees nie, so waar jy ook al gaan, duik jy dadelik ver en diep, en jy word nie tot die einde laat gaan nie.

Baie hang natuurlik af van die aanvanklike voorbereiding van die deelnemer. Daar was 'n snaakse oomblik toe twee groepe mense in die gang onafhanklik Heidi Howard se verslag bespreek het: vir sommige het dit heeltemal gewoon gelyk, terwyl ander, inteendeel, diep oor die lewe gedink het. Dit is interessant dat volgens die deelnemers van die programkomitees (wat anoniem wil bly), Hydra se verslae en die Skool se lesings by hul geleenthede oorgekwalifiseer kan word. Byvoorbeeld, as 'n PHP-junior na 'n PHP-konferensie kom om die lewe te leer, sal dit 'n bietjie oorhaastig wees om aan te neem dat hy diepgaande kennis het oor die internals van Zend Engine. Hier het die sprekers nie die juniors met ’n lepel gevoer nie, maar dadelik ’n sekere vlak van kennis en begrip geïmpliseer. Wel, inderdaad, die vlak van deelnemers wat verspreide stelsels bedryf en runtime-kerne skryf, is baie hoog, dit is logies. Te oordeel aan die reaksie van die deelnemers, was dit redelik maklik om 'n verslag op grond van die vlak en onderwerp te kies.

As ons oor spesifieke verslae praat, was hulle almal goed op hul eie manier. Te oordeel aan wat mense sê en wat uit die terugvoervorm gesien kan word, was een van die coolste berigte by die Skool "Nie-blokkerende datastrukture" Michael Scott, hy het net almal uitmekaar geskeur, hy het 'n abnormale gradering van ongeveer 4.9.

Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

Metakonferensie

Lank voor die begin van Hydra and the School, Ruslan ARG89 het aanvaar dat daar 'n soort "meta-konferensie" sou wees - 'n konferensie van konferensies, waar al die topdeelnemers van ander geleenthede outomaties daarin ingesuig sou word, asof in 'n swart gat. En so het dit gebeur! Byvoorbeeld, onder die studente van die Skool is dit opgemerk Roeslan Cheremin van DeutscheBank, 'n bekende spesialis in multithreading.

Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

En van die Hydra lede is opgemerk Vadim Tsesko (broeikas) En Andrey Pangin (apangin) van die Odnoklassniki-maatskappy. (Terselfdertyd het Vadim ons ook gehelp om twee uitstekende onderhoude met Martin Kleppman te doen - een vir Habr, en die ander vir kykers van die aanlyn uitsending). Daar was lede DotNext-programkomitee, bekende sprekers Anatoly Kulakov en Igor Labutin. Van die Javist was daar Dmitri Alexandrov и Vladimir Ivanov. Gewoonlik sien jy hierdie mense op heeltemal verskillende plekke - dotnetiste op DotNext, javaists op Joker, ensovoorts. En so sit hulle langs mekaar by Hydra-verslae en bespreek saam probleme op die buffs. Wanneer hierdie ietwat kunsmatige verdeling in programmeertale en tegnologieë verdwyn, kom die kenmerke van die vakgebied na vore: dinamiese runtime-spesialiste kommunikeer met ander runtimers, verspreide rekenaarteorie-navorsers argumenteer heftig met ander navorsers, databasis-enjiningenieurs druk die witbord op, ensovoorts .

By die verslag volgens die C++ geheue model die OpenJDK-ontwikkelaars het in die voorste ry gesit (ek ken hulle ten minste van sig, maar nie die Pythonists nie, miskien was die Pythonists ook daar). Trouens, daar is iets so Shipilevsky in hierdie verslag ... Ori vertel nie presies dieselfde ding nie, maar 'n versigtige kyk kan parallelle bespeur. Selfs na alles wat in die jongste C++-standaarde gebeur het, was probleme soos uit die dun lug-waardes steeds nie reggestel nie, en dus kon jy na so 'n verslag gaan en luister hoe mense "aan die ander kant van die barrikade" is probeer om hierdie probleme op te los, Soos hulle redeneer, kan 'n mens beïndruk word deur die benaderings tot die oplossing wat gevind is (Ori het een van die oplossingsopsies).

Daar was baie deelnemers aan programkomitees en gemeenskapsenjins. Almal het hul intergeloofsprobleme opgelos, brûe gebou en verbindings verkry. Ek het dit gebruik waar ek kon, en ons het byvoorbeeld met Alexander Borgardt van ooreengekom Moskou C++ Gebruikersgroep skryf saam 'n volskaalse artikel oor akteurs en asinchronie in C++.

Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

Op die foto: Leonid Talalaev (ltalal, links) en Oleg Anastasyev (m0nstermind, regs), toonaangewende ontwikkelaars by Odnoklassniki

Vuur besprekingsones en buffs

By konferensies is daar altyd deelnemers wat die onderwerp so goed ken as die sprekers (en soms selfs beter as die sprekers – byvoorbeeld wanneer 'n ontwikkelaar van die kern van een of ander tegnologie onder die deelnemers is). Daar was baie sulke hoogs kundige deelnemers op Hydra. Byvoorbeeld, op 'n sekere punt rondom Alex Petrov vertel oor Cassandra, so baie mense het gevorm dat hy nie almal kon antwoord nie. Op 'n stadium is Alex glad eenkant toe gestoot en begin verskeur word met vrae, maar die vallende vlag is opgetel deur 'n bekende Rust-ontwikkelaar in die kringe Tyler Neely en het die vrag perfek gebalanseer. Toe ek Tyler gevra het vir hulp met 'n aanlyn onderhoud, was al wat hy gevra het: "Wanneer begin ons?"

Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

Soms het die gees van bespreking selfs in die verslae deurgebreek: Nikita Koval het 'n skielike V&A-sessie gereël en die verslag in verskeie afdelings verdeel.

En omgekeerd, op BOF vir multi-threading het hulle onthou van nie-vlugtige geheue, hulle was aangetrokke tot hierdie bof Pedro Ramalhete as die hoofspesialis, en hy het alles aan almal verduidelik (kortom, nie-vlugtige geheue is nie 'n bedreiging vir ons in die nabye toekoms nie). Een van die gashere van hierdie bof, terloops, was Vladimir Sitnikov, wat op die programkomitees van een of ander mal aantal konferensies dien... dit lyk nou soos vyf op 'n slag. By die volgende buff oor "Modern CS in real world" het hulle ook NVM bespreek en heeltemal op hul eie hiertoe gekom.

Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

Ek kan 'n super-insig deel wat selfs diegene wat direk by die storie betrokke is, dalk nie opgemerk het nie. Eli Gafni het die aand van die eerste dag van die Skool opgetree, en die volgende dag het hy gebly en Lamport begin trol, en van buite het dit gelyk of dit wild was en Eli was onvoldoende. Dat dit 'n soort trol is wat daarop uit is om Leslie se brein uit te haal. Trouens, die feit is dat hulle amper beste vriende is, hulle is al baie jare vriende, en dit is net sulke vriendelike geskerts. Dit wil sê, die grap het gewerk - al die mense rondom het daarvoor geval, dit op sigwaarde geneem.

Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

Afsonderlik wil ek daarop let hoeveel liefde en moeite die sprekers hierin ingesit het. Iemand het tot op die laaste minuut in die besprekingsarea gestaan, amper vir ure. Die pouse het lank gelede geëindig, die berig het begin, geëindig, die volgende pouse het begin - en Dmitri Vyukov aangehou om vrae te beantwoord. 'n Interessante storie het ook met my gebeur - nadat ek Cliff Click verras het, het ek nie net 'n duidelike en redelike verduideliking van daardie uitdagende bespreking oor die gebrek aan toetse gekry nie vir sekere dinge in H2O, maar het ook 'n volledige resensie daarvan gekry nuwe taal AA. Ek het nooit hiervoor gevra nie: ek het net gevra wat jy oor AA kan lees (dit het geblyk jy kan luister podcast), en in plaas daarvan het Cliff 'n halfuur spandeer om oor die taal te praat en te kyk dat wat hy sê reg verstaan ​​word. Wonderlike. Ons moet 'n habrapos oor AA skryf. Nog 'n ongewone ervaring was om na die hersieningsproses vir trekversoeke in Kotlin te kyk. Dit is werklik 'n magiese gevoel wanneer jy by verskillende besprekingsgroepe, verskillende sprekers instap en in 'n hele nuwe wêreld gedompel word. Dit is iets op die vlak "Daar, daar" deur Radiohead.

Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

Engels

Hydra 2019 is ons eerste konferensie waar die hooftaal Engels is. Dit bring beide sy voordele en sy uitdagings mee. ’n Voor die hand liggende voordeel is dat mense nie net uit Rusland na die konferensie kom nie, so onder die deelnemers kan jy ingenieurs van Europa en wetenskaplikes van Engeland ontmoet. Sprekers bring hul studente. Oor die algemeen het belangrike sprekers baie meer motivering om na so 'n konferensie te gaan. Stel jou voor dat jy 'n spreker by 'n heeltemal Russiestalige konferensie is: jy het jou verslag gegee, die besprekingsarea verdedig, en wat dan? Reis deur die stad en sien toeristeplekke? Om die waarheid te sê, werklik gewilde sprekers het al genoeg van alles in die wêreld gesien, hulle wil nie leeus en ophaalbrûe gaan kyk nie, hulle is verveeld. As al die verslae in Engels is, kan hulle op 'n algemene basis aan die konferensie deelneem, pret hê, by besprekingsareas aansluit, ensovoorts. Die atmosfeer is redelik vriendelik teenoor die sprekers.

Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

Die ooglopende nadeel is dat nie almal gemaklik is om in Engels te kommunikeer nie. Baie verstaan ​​goed, maar praat swak. Oor die algemeen, gewone dinge wat op verskillende maniere opgelos is. Sommige besprekingsareas het byvoorbeeld in Russies begin, maar het dadelik na Engels oorgeskakel toe die eerste Engelssprekende deelnemer verskyn het.

Ek moes self die opening en sluiting van die aanlyn-uitsending uitsluitlik in Engels doen en aan 'n paar onderhoude op rekord met kundiges deelneem. En dit was vir my 'n ware uitdaging wat nie gou vergeet sal word nie. Op 'n stadium Oleg Anastasyev (m0nstermind) het bloot vir my gesê om tydens die onderhoud by hulle te bly sit, en ek was te stadig om te verstaan ​​wat dit beteken.

Aan die ander kant was dit baie aangenaam dat mense met 'n knal vrae by die berigte gevra het. Nie net moedertaalsprekers nie, maar almal in die algemeen, dit het goed gewerk. By ander konferensies word dikwels gesien dat mense skaam is om vrae uit die gehoor in gebroke Engels te vra, en net iets in die besprekingsarea kan uitdruk. Dit was heeltemal anders hier. Relatief gesproke het sommige Cliff Click sy verslae 'n bietjie vroeër klaargemaak, en daarna het die vrae in 'n aaneenlopende volgorde gevolg, die gesprek het in die besprekingsone inbeweeg - sonder ongemaklike pouses of onderbrekings. Dieselfde geld vir Leslie Lamport se V&A-sessie; die aanbieder hoef feitlik nie sy vrae te vra nie, die deelnemers het met alles vorendag gekom.

Daar was allerhande klein dingetjies wat min mense raaksien, maar hulle bestaan. As gevolg van die feit dat die konferensie in Engels is, is die ontwerp van dinge soos pamflette en kaarte ligter en meer bondig. Dit is nie nodig om tale te dupliseer en die ontwerp deurmekaar te maak nie.

Borge en uitstalling

Ons borge het ons baie gehelp om die konferensie te skep. Danksy hulle was daar altyd iets om te doen tydens pouses.

By die staanplek Deutsche Bank TechCenter jy kan met ingenieurs van multi-draadstelsels gesels, hul probleme uit jou kop oplos, onvergeetlike pryse wen en net 'n goeie tyd hê.

Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

By die staanplek Kontoer ons kan praat oor hul eie stelsels, beide oop en oopbron: 'n verspreide in-geheue databasis, 'n verspreide binêre log, 'n mikrodiens orkestrasie stelsel, 'n universele vervoer vir telemetrie, ensovoorts. En natuurlik raaisels en kompetisies, plakkers met ’n binêre kat en die Lydende Middeleeue, geskenke soos Martin Kleppmann se boek en LEGO-figure.

Neem asseblief kennis dat die ontleding van Kontur-probleme reeds is gepubliseer op Habré. Goeie ontleding, die moeite werd om te kyk.

Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

Diegene wat wou, kon allerhande boeke aankoop en dit met kollegas bespreek. 'n Hele skare het saamgedrom vir die handtekeningsessie!

Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

Resultate van

Die Hydra-konferensie en SPTDC-skool is baie belangrike geleenthede vir ons as die organiserende maatskappy en vir die hele gemeenskap. Dit is 'n kans om na ons toekoms te kyk, 'n verenigde konseptuele raamwerk te ontwikkel om moderne probleme te bespreek, en interessante rigtings van nader te bekyk. Multithreading bestaan ​​al baie lank, maar dit het 'n hele dekade geneem nadat die eerste werklike multi-kern verwerker verskyn het vir die verskynsel om wydverspreid te word. Wat ons hierdie week by die berigte gehoor het, is nie vlietende nuus nie, maar die pad na 'n blink toekoms wat ons in die komende jare sal volg. Daar sal geen bederf vir die volgende Hydra in hierdie plasing wees nie, maar jy kan hoop vir die beste. As jy belangstel in kwessies soos hierdie, wil jy dalk na ons ander geleenthede kyk, soos harde konferensiepraatjies Joker 2019 of DotNext 2019 Moskou. Sien jou by die volgende konferensies!

Drie wenners van die Dijkstra-prys: hoe Hydra 2019 en SPTDC 2019 verloop het

Bron: will.com

Voeg 'n opmerking