Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Së fundmi, nga 8 deri më 12 korrik, dy ngjarje të rëndësishme u zhvilluan njëkohësisht - konferenca Hidra dhe shkolla SPTDC. Në këtë postim do të doja të theksoja disa veçori që vumë re gjatë konferencës.

Krenaria më e madhe e Hidrës dhe e Shkollës janë folësit.

  • Tre laureatë Çmimet Dijkstra: Leslie Lamport, Maurice Herlihy dhe Michael Scott. Për më tepër, Maurice e mori atë dy herë. Leslie Lamport gjithashtu mori Çmimi Turing — çmimi më prestigjioz ACM në shkencat kompjuterike;
  • Krijuesi i përpiluesit Java JIT është Cliff Click;
  • Zhvilluesit Corutin - Roman Elizarov (elizarov) dhe Nikita Koval (ndkoval) për Kotlin, dhe Dmitry Vyukov për Go;
  • Kontribues në Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Database Yandex (Semyon Checherinda dhe Vladislav Kuznetsov);
  • Dhe shumë njerëz të tjerë të famshëm: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (modeli i memories C++), Pedro Ramalhete (strukturat e të dhënave pa pritje), Alexey Zinoviev (ML), Dmitry Bugaichenko (analizë grafiku).

Dhe kjo tashmë është Shkollë:

  • Universiteti Brown (Maurice Herlihy),
  • Universiteti i Roçesterit (Michael Scott),
  • Universiteti i Waterloo (Trevor Brown),
  • Universiteti i Nantes (Achour Mostefaoui),
  • Universiteti David Ben-Gurion i Negevit (Danny Hendler),
  • Universiteti i Kalifornisë në Los Anxhelos (Eli Gafni),
  • Instituti Politeknik i Parisit (Petr Kuznetsov),
  • Microsoft Research (Leslie Lamport),
  • VMware Research (Ittai Abraham).

Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Teoria dhe praktika, shkenca dhe prodhimi

Më lejoni t'ju kujtoj se Shkolla SPTDC është një ngjarje e vogël për njëqind e gjysmë njerëz; ndriçues të klasit botëror mblidhen atje dhe flasin për çështje moderne në fushën e informatikës së shpërndarë. Hydra është një konferencë kompjuterike e shpërndarë dy-ditore e mbajtur paralelisht. Hidra ka një fokus më shumë inxhinierik, ndërsa Shkolla ka një fokus më shkencor.

Një nga qëllimet e konferencës Hidra është kombinimi i parimeve shkencore dhe inxhinierike. Nga njëra anë, kjo arrihet me përzgjedhjen e raporteve në program: së bashku me Lamport, Herlihy dhe Scott, ka shumë më tepër raporte të aplikuara nga Alex Petrov, i cili kontribuon në Cassandra, ose Roman Elizarov nga JetBrains. Është Martin Kleppman, i cili dikur ndërtonte dhe shiste startup dhe tani po studion CRDT në Universitetin e Kembrixhit. Por gjëja interesante është se Hydra dhe SPTDC mbahen krah për krah - ata kanë raporte të ndryshme, por një vend të përbashkët për komunikim.

Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Zhytja

Pesë ditët e shkollës me radhë janë një ngjarje shumë e madhe dhe me shumë ngarkesë, si për pjesëmarrësit ashtu edhe për organizatorët. Jo të gjithë arritën deri në ditët e fundit. Kishte nga ata që shkonin njëkohësisht në Hidër dhe në shkollë dhe për ta ditët e fundit rezultuan të ishin më plot ngjarje. E gjithë kjo bujë kompensohet nga një zhytje tepër e thellë. Kjo është për shkak jo vetëm të vëllimit, por edhe të cilësisë së materialit. Të gjitha raportet dhe ligjëratat në të dyja ngjarjet nuk ishin planifikuar të ishin prezantuese, kështu që kudo që të shkoni, menjëherë zhyteni larg e thellë dhe nuk të lëshojnë deri në fund.

Sigurisht, shumë varet nga përgatitja fillestare e pjesëmarrësit. Kishte një moment qesharak kur dy grupe njerëzish në korridor diskutuan në mënyrë të pavarur raportin e Heidi Howard: disave iu duk krejtësisht i zakonshëm, ndërsa të tjerëve, përkundrazi, mendonin thellë për jetën. Është interesante se sipas pjesëmarrësve të komiteteve të programit (të cilët donin të mbeteshin anonimë), raportet e Hidrës dhe ligjëratat e Shkollës në ngjarjet e tyre mund të mbikualifikoheshin. Për shembull, nëse një i ri i PHP vjen në një konferencë PHP për të mësuar jetën, do të ishte pak e nxituar të supozohej se ai ka njohuri të thella për brendësinë e Zend Engine. Këtu, folësit nuk i ushqenin me lugë të rinjtë, por menjëherë nënkuptuan një nivel të caktuar njohurie dhe mirëkuptimi. Epo, me të vërtetë, niveli i pjesëmarrësve që operojnë sisteme të shpërndara dhe shkruajnë kernelet e ekzekutimit është shumë i lartë, kjo është logjike. Duke gjykuar nga reagimi i pjesëmarrësve, ishte mjaft e lehtë për të zgjedhur një raport në bazë të nivelit dhe temës.

Nëse flasim për raporte specifike, të gjitha ishin të mira në mënyrën e tyre. Duke gjykuar nga ajo që thonë njerëzit dhe çfarë mund të shihet nga formulari i komenteve, një nga raportet më interesante në shkollë ishte "Strukturat e të dhënave pa bllokim" Michael Scott, ai sapo i ndau të gjithë, ai ka një vlerësim jonormal prej rreth 4.9.

Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Metakonferencë

Shumë kohë përpara fillimit të Hidrës dhe Shkollës, Ruslan ARG89 supozoi se do të kishte një lloj "meta-konferencë" - një konferencë konferencash, ku të gjithë pjesëmarrësit kryesorë të ngjarjeve të tjera do të thitheshin automatikisht në të, sikur në një vrimë të zezë. Dhe kështu ndodhi! Për shembull, tek nxënësit e Shkollës u vu re Ruslan Cheremin nga DeutscheBank, një specialist i njohur në multithreading.

Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Dhe nga anëtarët Hidra u vunë re Vadim Tsesko (inkubo) Dhe Andrey Pangin (apangin) nga kompania Odnoklassniki. (Në të njëjtën kohë, Vadim gjithashtu na ndihmoi të bënim dy intervista të shkëlqyera me Martin Kleppman - një për Habrin, dhe tjetra për shikuesit e transmetimit online). Kishte anëtarë Komiteti i Programit DotNext, folës të famshëm Anatoli Kulakov dhe Igor Labutin. Nga Javistë kishte Dmitry Alexandrov и Vladimir Ivanov. Zakonisht i shihni këta njerëz në vende krejtësisht të ndryshme - dotnetistët në DotNext, javaistët në Joker, etj. Dhe kështu ata ulen krah për krah në raportet e Hydra dhe së bashku diskutojnë problemet e të apasionuarve. Kur kjo ndarje paksa artificiale sipas gjuhëve dhe teknologjive të programimit zhduket, shfaqen veçoritë e fushës së lëndës: specialistë dinamikë të ekzekutimit komunikojnë me ekzekutues të tjerë, studiuesit e teorisë së llogaritjes së shpërndarë debatojnë ashpër me studiues të tjerë, inxhinierët e motorëve të bazës së të dhënave grumbullojnë tabelën e bardhë, etj. .

Në raport sipas modelit të memories C++ zhvilluesit e OpenJDK ishin ulur në rreshtin e parë (të paktën unë i njoh me shikim, por jo pitonistët, ndoshta edhe pitonistët ishin aty). Në fakt, ka diçka kaq Shipilevsky në këtë raport... Ori nuk tregon saktësisht të njëjtën gjë, por një vështrim i kujdesshëm mund të zbulojë paralele. Edhe pas gjithçkaje që ndodhi në standardet më të fundit të C++, probleme të tilla si vlerat e pakta të ajrit nuk u zgjidhën ende, dhe kështu mund të shkoni në një raport të tillë dhe të dëgjoni se si janë njerëzit "në anën tjetër të barrikadës". duke u përpjekur për të rregulluar këto probleme, siç arsyetojnë ata, mund të impresionohet nga qasjet ndaj zgjidhjes së gjetur (Ori ka një nga opsionet e rregullimit).

Kishte shumë pjesëmarrës në komitetet e programit dhe motorët e komunitetit. Të gjithë zgjidhën problemet e tyre ndërfetare, ndërtuan ura dhe fituan lidhje. E përdora këtë kudo që munda, dhe, për shembull, u pajtuam me Alexander Borgardt nga Grupi i përdoruesve i Moskës C++ së bashku shkruajnë një artikull në shkallë të plotë rreth aktorëve dhe asinkronisë në C++.

Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Në foto: Leonid Talalaev (ltalal, majtas) dhe Oleg Anastasyev (m0nstermind, djathtas), zhvilluesit kryesorë në Odnoklassniki

Zonat e diskutimit të zjarrit dhe adhuruesit

Në konferenca ka gjithmonë pjesëmarrës që e njohin temën si dhe folësit (dhe ndonjëherë edhe më mirë se folësit - për shembull, kur një zhvillues i bërthamës së disa teknologjive është midis pjesëmarrësve). Kishte shumë pjesëmarrës të tillë shumë ekspertë në Hidra. Për shembull, në një moment rreth Alex Petrov duke treguar rreth Kasandrës, u formuan aq shumë njerëz sa ai nuk mund t'i përgjigjej të gjithëve. Në një moment, Alex u shty pa probleme në anën dhe filloi të shqyehej me pyetje, por flamuri që binte u kap nga një zhvillues i njohur Rust në qarqe Tyler Neely dhe balancoi në mënyrë të përsosur ngarkesën. Kur i kërkova Tyler për ndihmë me intervistën në internet, gjithçka që ai pyeti ishte: "Kur të fillojmë?"

Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Nganjëherë, fryma e diskutimit depërtoi edhe në raporte: Nikita Koval organizoi një sesion të papritur pyetjesh dhe përgjigjesh, duke e ndarë raportin në disa seksione.

Dhe anasjelltas, në BOF për multi-fijesë ata kujtuan për kujtesën jo të paqëndrueshme, ata u tërhoqën nga ky bof Pedro Ramalhete si kryespecialist, dhe ai u shpjegoi të gjithëve gjithçka (shkurt, kujtesa e paqëndrueshme nuk është një kërcënim për ne në të ardhmen e afërt). Një nga mikpritësit e këtij bof, meqë ra fjala, ishte Vladimir Sitnikov, i cili shërben në komitetet e programit të disa konferencave të çmendura... duket si pesë në një kohë tani. Në adhuruesin tjetër rreth "CS Moderne në botën reale" ata diskutuan gjithashtu NVM dhe arritën në këtë plotësisht vetë.

Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Mund të ndaj një super-kuptim që edhe ata që janë të përfshirë drejtpërdrejt në histori mund të mos e kenë vënë re. Eli Gafni performoi në mbrëmjen e ditës së parë të shkollës dhe të nesërmen qëndroi dhe filloi të trolling Lamportin dhe nga jashtë dukej se kjo ishte lojë dhe Eli ishte e pamjaftueshme. Se ky është një lloj trolli që ka vendosur t'i nxjerrë trurin Leslie-t. Në fakt, fakti është se ata janë pothuajse miqtë më të mirë, ata janë miq për shumë vite, dhe kjo është vetëm një shaka miqësore. Kjo do të thotë, shakaja funksionoi - të gjithë njerëzit përreth ranë për të, e morën atë në vlerën nominale.

Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Më vete, do të doja të shënoja se sa shumë dashuri dhe përpjekje bënë folësit për këtë. Dikush qëndroi në zonën e diskutimit deri në minutën e fundit, pothuajse për orë të tëra. Pushimi mbaroi shumë kohë më parë, raporti filloi, mbaroi, filloi pushimi tjetër - dhe Dmitry Vyukov vazhdoi t'u përgjigjej pyetjeve. Edhe mua më ndodhi një histori interesante - pasi mora në befasi Cliff Click, mora jo vetëm një shpjegim të qartë dhe të arsyeshëm të atij diskutimi provokues për mungesën e testeve për disa gjëra në H2O, por gjithashtu mori një rishikim të plotë të tij gjuha e re AA. Unë kurrë nuk e kërkova këtë: Unë thjesht pyeta se çfarë mund të lexoni për AA (doli që mund të dëgjoni podcast), dhe në vend të kësaj Cliff kaloi gjysmë ore duke folur për gjuhën dhe duke kontrolluar nëse ajo që po thoshte ishte kuptuar saktë. E mrekullueshme. Duhet të shkruajmë një habrapost për AA. Një tjetër përvojë e pazakontë ishte shikimi i procesit të shqyrtimit të kërkesës për tërheqje në Kotlin. Është vërtet një ndjenjë magjike kur hyn në grupe të ndryshme diskutimi, folës të ndryshëm dhe zhytesh në një botë krejtësisht të re. Kjo është diçka në nivel "Atje, atje" nga Radiohead.

Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Anglisht

Hydra 2019 është konferenca jonë e parë ku gjuha kryesore është anglishtja. Kjo sjell si avantazhet dhe sfidat e tij. Një avantazh i dukshëm është se njerëzit vijnë në konferencë jo vetëm nga Rusia, kështu që midis pjesëmarrësve mund të takoni inxhinierë nga Evropa dhe shkencëtarë nga Anglia. Folësit sjellin studentët e tyre. Në përgjithësi, folësit e rëndësishëm kanë shumë më tepër motivim për të shkuar në një konferencë të tillë. Imagjinoni që jeni folës në një konferencë tërësisht në gjuhën ruse: keni dhënë raportin tuaj, keni mbrojtur zonën e diskutimit dhe çfarë më pas? Udhëtoni nëpër qytet dhe shikoni pika turistike? Në fakt, folësit me të vërtetë të njohur tashmë kanë parë mjaftueshëm gjithçka në botë, ata nuk duan të shkojnë të shohin luanë dhe ura të lëvizshme, janë të mërzitur. Nëse të gjitha raportet janë në anglisht, ata mund të marrin pjesë në konferencë në baza të përgjithshme, të argëtohen, të bashkohen me zonat e diskutimit, etj. Atmosfera është mjaft miqësore ndaj folësve.

Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Disavantazhi i dukshëm është se jo të gjithë janë të kënaqur të komunikojnë në anglisht. Shumë kuptojnë mirë, por flasin keq. Në përgjithësi, gjëra të zakonshme që zgjidheshin në mënyra të ndryshme. Për shembull, disa fusha diskutimi filluan në rusisht, por menjëherë kaluan në anglisht kur u shfaq pjesëmarrësi i parë anglishtfolës.

Unë vetë duhej të bëja përfshirjet hapëse dhe mbyllëse të transmetimit online ekskluzivisht në anglisht dhe të merrja pjesë në disa intervista të regjistruara me ekspertë. Dhe kjo ishte një sfidë e vërtetë për mua që nuk do të harrohet shpejt. Në një moment Oleg Anastasyev (m0nstermind) thjesht më tha të qëndroja ulur me ta gjatë intervistës dhe isha shumë i ngadaltë për të kuptuar se çfarë do të thoshte kjo.

Nga ana tjetër, ishte shumë e këndshme që njerëzit bënin pyetje në raporte me zhurmë. Jo vetëm folësit amtare, por të gjithë në përgjithësi, funksionoi mirë. Në konferenca të tjera, shpesh shihet se njerëzit kanë turp të bëjnë pyetje nga audienca në anglisht të thyer dhe mund të shtrydhin vetëm diçka në zonën e diskutimit. Kjo ishte krejtësisht ndryshe këtu. Relativisht, disa Cliff Click i përfunduan raportet e tij pak më herët, dhe pas kësaj pyetjet u ndoqën në një sekuencë të vazhdueshme, biseda u zhvendos në zonën e diskutimit - pa pauza ose ndërprerje të sikletshme. E njëjta gjë vlen edhe për sesionin e pyetjeve dhe përgjigjeve të Leslie Lamport; prezantuesi praktikisht nuk duhej të bënte pyetjet e tij, pjesëmarrësit dolën me gjithçka.

Kishte të gjitha llojet e gjërave të vogla që pak njerëz i vënë re, por ato ekzistojnë. Për shkak të faktit se konferenca është në anglisht, dizajni i gjërave të tilla si fletëpalosjet dhe hartat është më i lehtë dhe më konciz. Nuk ka nevojë të kopjoni gjuhët dhe të rrëmoni dizajnin.

Sponsorët dhe ekspozita

Sponsorët tanë na ndihmuan shumë në krijimin e konferencës. Falë tyre, kishte gjithmonë diçka për të bërë gjatë pushimeve.

Në tribunë Deutsche Bank TechCenter ju mund të bisedoni me inxhinierë të sistemeve me shumë fije, t'i zgjidhni problemet e tyre nga koka juaj, të fitoni çmime të paharrueshme dhe thjesht të kaloni një kohë të mirë.

Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Në tribunë Kontur ne mund të flasim për sistemet e tyre, si të hapura ashtu edhe me burim të hapur: një bazë të dhënash të shpërndarë në memorie, një regjistër binar të shpërndarë, një sistem orkestrimi mikroservice, një transport universal për telemetrinë, etj. Dhe sigurisht, enigma dhe konkurse, ngjitëse me një mace binare dhe mesjeta e vuajtur, dhurata si libri i Martin Kleppmann dhe figura LEGO.

Ju lutemi vini re se analiza e problemeve të Konturit është tashmë botuar në Habré. Analizë e mirë, ia vlen të shikohet.

Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Ata që dëshironin mund të blinin të gjitha llojet e librave dhe t'i diskutonin ato me kolegët. Një turmë e tërë u mblodh për seancën e autografit!

Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Rezultatet e

Konferenca Hydra dhe Shkolla SPTDC janë ngjarje shumë të rëndësishme për ne si kompani organizatore dhe për të gjithë komunitetin. Ky është një shans për të parë të ardhmen tonë, për të zhvilluar një kornizë të unifikuar konceptuale për diskutimin e problemeve moderne dhe për të parë nga afër drejtimet interesante. Multithreading ka ekzistuar për një kohë shumë të gjatë, por u desh një dekadë e tërë pasi u shfaq procesori i parë me të vërtetë me shumë bërthama që fenomeni të bëhej i përhapur. Ajo që dëgjuam në raportet e kësaj jave nuk është një lajm i shkurtër, por rruga drejt një të ardhmeje të ndritur që do të ndjekim në vitet e ardhshme. Nuk do të ketë asnjë spoiler për Hydra-n e radhës në këtë postim, por mund të shpresoni për më të mirën. Nëse jeni të interesuar për çështje si këto, mund të dëshironi të shikoni ngjarjet tona të tjera, si bisedimet e konferencave të forta Joker 2019 ose DotNext 2019 Moskë. Shihemi në konferencat e radhës!

Tre fitues të çmimit Dijkstra: si shkuan Hydra 2019 dhe SPTDC 2019

Burimi: www.habr.com

Shto një koment