Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Duela gutxi, uztailaren 8tik 12ra, bi ekitaldi esanguratsu egin ziren aldi berean: hitzaldia Hydra eta eskola SPTDC. Post honetan hitzaldian zehar nabaritu ditugun hainbat ezaugarri nabarmendu nahi ditut.

Hydra eta Eskolaren harrotasun handiena hizlariak dira.

  • Hiru saridun Dijkstra Sariak: Leslie Lampport, Maurice Herlihy eta Michael Scott. Gainera, Mauricek bi aldiz jaso zuen. Leslie Lampportek ere jaso zuen Turing saria β€” informatikako ACM saririk ospetsuena;
  • Java JIT konpilatzailearen sortzailea Cliff Click da;
  • Corutin garatzaileak - Roman Elizarov (elizarov) eta Nikita Koval (ndkoval) Kotlinentzat, eta Dmitry Vyukov Gorentzat;
  • Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda eta Vladislav Kuznetsov) kolaboratzaileak;
  • Eta beste pertsona ospetsu asko: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ memoria eredua), Pedro Ramalhete (itxaron gabeko datu-egiturak), Alexey Zinoviev (ML), Dmitry Bugaichenko (grafikoen analisia).

Eta hau jada Eskola da:

  • Brown Unibertsitatea (Maurice Herlihy),
  • Rochester-eko Unibertsitatea (Michael Scott),
  • Waterlooko Unibertsitatea (Trevor Brown),
  • Nanteseko Unibertsitatea (Achour Mostefaoui),
  • David Ben-Gurion Negeveko Unibertsitatea (Danny Hendler),
  • Los Angeleseko Kaliforniako Unibertsitatea (Eli Gafni),
  • Pariseko Institut Polytechnique (Petr Kuznetsov),
  • Microsoft Research (Leslie Lampport),
  • VMware Research (Ittai Abraham).

Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Teoria eta praktika, zientzia eta ekoizpena

Gogorarazten dizut SPTDC Eskola ehun eta erdi lagunentzako ekitaldi txiki bat dela; mundu mailako argiak biltzen dira bertan eta informatika banatuaren alorreko gai modernoei buruz hitz egiten dute. Hydra paraleloki egiten den bi eguneko informatika banatuko konferentzia bat da. Hydrak ingeniaritza ikuspegi handiagoa du, eta Eskolak, berriz, ikuspegi zientifikoagoa du.

Hydra kongresuaren helburuetako bat printzipio zientifikoak eta ingeniaritzak uztartzea da. Alde batetik, programako txostenak hautatzean lortzen da hori: Lamport, Herlihy eta Scottekin batera, Cassandra-ri laguntzen dion Alex Petrov-en edo JetBrains-eko Roman Elizarov-en txosten askoz aplikatuagoak daude. Martin Kleppman dago, lehen startup-ak eraiki eta saltzen zituena eta orain CRDT ikasten ari da Cambridgeko Unibertsitatean. Baina gauza polita da Hydra eta SPTDC elkarren ondoan mantentzen direla - txosten desberdinak dituzte, baina komunikaziorako leku komuna.

Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Murgiltzea

Eskolako bost egun jarraian oso ekitaldi handia eta lan karga handia da, bai parte-hartzaileentzat, bai antolatzaileentzat. Denek ez zuten azken egunetara iritsi. Baziren Hydra eta Eskolara aldi berean joaten zirenak, eta haientzat azken egunak izan ziren gorabeheratsuenak. Nahasmendu hori guztia murgiltze izugarri sakon batekin konpentsatzen da. Hau bolumenari ez ezik, materialaren kalitateari ere eragiten dio. Bi ekitaldietako txosten eta hitzaldi guztiak ez ziren sarrerakoak izateko aurreikusi, beraz, edonora zoazela, berehala murgiltzen zara urrun eta sakonean, eta ez zaituzte uzten amaierara arte.

Jakina, asko parte-hartzailearen hasierako prestaketaren araberakoa da. Momentu dibertigarri bat izan zen korridorean zeuden bi taldek Heidi Howarden txostena modu independentean eztabaidatu zutenean: batzuei guztiz arrunta iruditu zitzaien, beste batzuei, aitzitik, bizitzari buruzko gogoeta sakona. Interesgarria da programa-batzordeetako parte-hartzaileen arabera (anonimoa mantendu nahi zutenak), Hydra-ren txostenak eta Eskolaren hitzaldiak euren ekitaldietan gainkualifikatzea. Esate baterako, PHP junior bat PHP konferentzia batera bizitza ikasteko etorriko balitz, zentzugabekeria bat izango litzateke Zend Engine-ren barneko ezagutza sakona duela pentsatzea. Hemen, hizlariek ez zieten gazteei koilararik ematen, baina berehala jakintza eta ulermen maila bat inplikatzen zuten. Beno, benetan, sistema banatuak erabiltzen dituzten eta exekuzio-kernelak idazten dituzten parte-hartzaileen maila oso altua da, hau logikoa da. Parte-hartzaileen erreakzioa ikusita, nahiko erraza izan da erreportaje bat aukeratzea mailaren eta gaiaren arabera.

Txosten zehatzei buruz hitz egiten badugu, guztiak ziren onak bere erara. Jendeak esaten duena eta iritzi-orritik ikus daitekeenaren arabera, Eskolako txostenik politenetako bat izan zen. "Blokeatu gabeko datu-egiturak" Michael Scott, denak hautsi ditu, 4.9 inguruko balorazio anormala du.

Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Metakonferentzia

Hydra eta Eskola hasi baino askoz lehenago, Ruslan ARG89 "meta-konferentzia" moduko bat egongo zela suposatu zuen: konferentzia-konferentzia bat, non beste ekitaldietako parte-hartzaile nagusi guztiak automatikoki bertara zurrupatzen diren, zulo beltz batean bezala. Eta hala gertatu zen! Adibidez, Eskolako ikasleen artean nabaritu zen Ruslan Cheremin DeutscheBank-ena, multithreading-en espezialista ezaguna.

Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Eta Hydrako kideak nabaritu ziren Vadim Tsesko (inkubi) Eta Andrey Pangin (apangin) Odnoklassniki konpainiarena. (Aldi berean, Vadimek Martin Kleppman-i bi elkarrizketa bikain egiten ere lagundu zigun - bat Habr, eta bestea sareko emisioaren ikusleentzat). Baziren kideak DotNext Programa Batzordea, Anatoly Kulakov eta Igor Labutin hizlari ospetsuak. Javistekoak zeuden Dmitri Alexandrov ΠΈ Vladimir Ivanov. Normalean pertsona hauek leku guztiz desberdinetan ikusten dituzu: DotNext-en dotnetists, Joker-en javais, etab. Beraz, elkarren ondoan esertzen dira Hydra txostenetan eta elkarrekin eztabaidatzen dituzte zaleen arazoak. Programazio-lengoai eta teknologien arteko zatiketa apur bat artifizial hori desagertzen denean, gaiaren ezaugarriak azaleratzen dira: exekuzio-denbora dinamikoko espezialistak beste exekutibo batzuekin komunikatzen dira, konputazio banatuaren teoriaren ikertzaileek gogor eztabaidatzen dute beste ikertzaile batzuekin, datu-baseen ingeniariek arbela betetzen dute, eta abar. .

Txostenean C++ memoria ereduaren arabera OpenJDK-ko garatzaileak lehen lerroan eserita zeuden (nik behintzat bistaz ezagutzen ditut, baina ez Pythonists, agian Pythonists ere hor zeuden). Izan ere, bada zerbait Shipilevsky erreportaje honetan... Orik ez du gauza bera kontatzen, baina arretaz begirada batek paralelismoak antzeman ditzake. Azken C++ estandarretan gertatu den guztiaren ondoren ere, oraindik ez ziren konpondu gabeko arazoak bezalako arazoak, eta, beraz, txosten batera joan eta "barrikadaren beste aldean" jendea nola dagoen entzun dezakezu. arazo hauek konpondu nahian, Arrazoitzen dutenez, aurkitutako konponbidearen planteamenduek harritu egin liteke (Ori du konponketa aukeretako bat).

Parte-hartzaile asko izan ziren programa-batzordeetan eta komunitate-motorretan. Bakoitzak bere erlijioen arteko arazoak konpondu, zubiak eraiki eta konexioak lortu. Ahal nuen guztietan erabili nuen hau, eta, adibidez, Alexander Borgardt-ekin bat egin genuen Moskuko C++ erabiltzaile taldea elkarrekin idatzi C++-ko aktoreei eta asinkroniari buruzko artikulu oso bat.

Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Argazkian: Leonid Talalaev (ltalal, ezkerrean) eta Oleg Anastasyev (m0nstermind, eskuinera), Odnoklassnikiko garatzaile nagusiak

Suaren eztabaida guneak eta zaleak

Jardunaldietan beti egoten dira gaia hizlariak bezain ondo ezagutzen duten parte-hartzaileak (eta batzuetan hizlariak baino hobeto ere -adibidez, teknologia batzuen muina garatzaile bat parte-hartzaileen artean dagoenean). Halako parte-hartzaile aditu asko zeuden Hydran. Adibidez, Alex Petrov-en inguruan noizbait kontatzen Cassandreri buruz, hainbeste jende eratu zenez ezin izan zien guztiei erantzun. Noizbait, Alex leunki albo batera bultzatu eta galderekin urratzen hasi zen, baina erortzen ari den bandera zirkuluetako Rust garatzaile ezagun batek jaso zuen. Tyler Neely eta karga ezin hobeto orekatu zuen. Tyler-i lineako elkarrizketa baterako laguntza eskatu nionean, galdetu zuen guztia: "Noiz hasiko gara?"

Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Batzuetan, eztabaidarako espiritua txosnetan ere zabaldu zen: Nikita Kovalek bat-bateko galdera-erantzun saioa antolatu zuen, txostena hainbat ataletan banatuz.

Eta alderantziz, hari anitzeko BOF-en memoria ez-hegazkorraz gogoratu zuten, bof honetara erakarri zuten Pedro Ramalhete espezialista nagusi gisa, eta denei azaldu zien (labur esanda, memoria ez-hegazkorra ez da mehatxu bat guretzat etorkizun hurbilean). Bof honen ostalarietako bat, bide batez, zen Vladimir Sitnikov, hitzaldi kopuru zoro batzuen programa-batzordeetan aritzen dena... aldi berean bost dirudite oraintxe bertan. "Mundu errealeko CS modernoa"-ri buruzko hurrengo abenturan NVM-n ere eztabaidatu zuten eta horretara beren kabuz iritsi ziren.

Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Istorioan zuzenean parte hartzen dutenek ere konturatu ez zutena parteka dezaket. Eskolako lehen eguneko arratsaldean Eli Gafni aritu zen, eta biharamunean geratu eta Lamport trolean hasi zen, eta kanpotik bazirudien hori jokoa zela eta Eli desegokia zela. Hau Leslieren garuna ateratzera abiatu zen troll moduko bat dela. Izan ere, kontua da ia lagun onenak direla, urte asko daramatzate lagunak, eta hau lagunarteko txantxa besterik ez da. Hau da, txantxak funtzionatu zuen: inguruko jende guztia erori egin zen, hutsunean hartu zuten.

Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Bereiz, adierazi nahi nuke hizlariek zenbateko maitasuna eta ahalegina jarri duten honetan. Norbait eztabaida eremuan egon zen azken unera arte, ia orduz. Aspaldi amaitu zen atsedenaldia, hasi zen erreportajea, amaitu, hurrengo atsedenaldia hasi zen-eta Dmitri Vyukov galderei erantzuten jarraitu zuen. Istorio interesgarri bat ere gertatu zitzaidan: Cliff Click ezustean hartu nuenez, azterketa ezaren inguruko eztabaida zirikatzaile horren azalpen argi eta arrazoizkoa ez ezik, jaso nuen. H2Oko zenbait gauzatarako, baina berrikuspen osoa ere jaso zuen hizkuntza berria AA. Inoiz ez nuen hau eskatu: AAri buruz zer irakur dezakezun galdetu nion (entzun dezakezula atera zen podcasta), eta, horren ordez, Cliffek ordu erdi eman zuen hizkuntzari buruz hitz egiten eta esaten zuena ondo ulertzen zela egiaztatzen. Zoragarria. AAri buruzko habrapost bat idatzi behar dugu. Ezohiko beste esperientzia bat Kotlinen tiraketa eskaera berrikusteko prozesua ikustea izan zen. Benetan sentimendu magikoa da eztabaida talde ezberdinetan, hizlari ezberdinetan sartu eta mundu berri batean murgiltzen zarenean. Hau mailan dagoen zerbait da "There, There" Radiohead-en eskutik.

Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Ingelesa

Hydra 2019 gure lehen hitzaldia da, non hizkuntza nagusia ingelesa den. Horrek bere abantailak eta erronkak ekartzen ditu. Abantaila nabaria da jendea ez dela bakarrik etortzen konferentziara Errusiatik, beraz, parte-hartzaileen artean Europako ingeniariak eta Ingalaterrako zientzialariak ezagutu ditzakezu. Hizlariek beren ikasleak ekartzen dituzte. Orokorrean, hizlari garrantzitsuek askoz motibazio handiagoa dute horrelako hitzaldi batera joateko. Imajinatu guztiz errusierazko hitzaldi batean hizlari zarela: zure txostena eman duzu, eztabaida eremua defendatu, eta gero zer? Hirian zehar bidaiatu eta leku turistikoak ikusi? Izan ere, oso ezagunak diren hiztunek dagoeneko nahikoa ikusi dute munduan dagoen guztia, ez dute lehoiak eta zubi altxagarriak ikustera joan nahi, aspertuta daude. Txosten guztiak ingelesez badaude, hitzaldian orokorrean parte har dezakete, ondo pasa, eztabaida guneetan sartu eta abar. Giroa nahiko atsegina da hizlariekin.

Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Desabantaila nabaria da denak ez daudela eroso ingelesez komunikatzeko. Askok ondo ulertzen dute, baina gaizki hitz egiten dute. Oro har, modu ezberdinetan ebatzitako gauza arruntak. Esaterako, eztabaida gune batzuk errusieraz hasi ziren, baina berehala ingelesera aldatu ziren ingelesez hitz egiten zuen lehen parte-hartzailea agertu zenean.

Nik neuk sareko emisioaren hasierako eta amaierako inklusioak ingelesez soilik egin behar izan ditut eta adituekin grabatutako elkarrizketa pare batean parte hartu. Eta hau laster ahaztuko ez den benetako erronka izan zen niretzat. Noizbait Oleg Anastasyev (m0nstermind) elkarrizketan eurekin eserita egoteko esan zidan besterik gabe, eta motelegi ibili nintzen horrek zer esan nahi zuen ulertzeko.

Bestalde, oso atsegina izan zen jendeak txosnetan galderak kolpeka egitea. Jatorrizko hiztunak ez ezik, oro har, ondo funtzionatu zuen. Beste biltzar batzuetan, askotan ikusten da jendeari lotsa ematen zaiola entzuleei galderak ingeles hautsian egiteak, eta eztabaida eremuan zerbait bakarrik estutu dezakeela. Hau guztiz ezberdina zen hemen. Erlatiboki esanda, Cliff Click batzuek bere txostenak apur bat lehenago amaitu zituzten, eta galderak sekuentzia jarraituan jarraitu ondoren, elkarrizketa eztabaida gunera joan zen, etenaldi edo etenik baldarrik gabe. Gauza bera gertatzen da Leslie Lamport-en galdera-erantzun saioan; aurkezleak ia ez zuen bere galderarik egin behar izan, parte-hartzaileek dena asmatu zuten.

Jende gutxik ohartzen diren gauza txikiak zeuden, baina existitzen dira. Hitzaldia ingelesez denez, liburuxkak eta mapak bezalako gauzen diseinua arinagoa eta zehatzagoa da. Ez dago hizkuntzak bikoiztu eta diseinua nahastu beharrik.

Babesleak eta erakusketa

Gure babesleek asko lagundu ziguten hitzaldia sortzen. Haiei esker, atsedenaldietan beti zegoen zer egiteko.

Standean Deutsche Bank TechCenter Hari anitzeko sistemen ingeniariekin hitz egin dezakezu, haien arazoak burutik konpondu, sari gogoangarriak irabazi eta ondo pasa.

Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Standean Ingerada beren sistemei buruz hitz egin genezake, irekiak zein kode irekiak: banatutako memoria barneko datu-base bat, banatutako erregistro bitar bat, mikrozerbitzuen orkestrazio sistema bat, telemetriarako garraio unibertsala, etab. Eta nola ez, puzzleak eta lehiaketak, katu bitar batekin eta Sufrimenduaren Erdi Aroarekin pegatinak, Martin Kleppmannen liburua eta LEGO irudiak bezalako opariak.

Kontuan izan Kontur arazoen analisia dagoeneko dagoela HabrΓ©-n argitaratua. Analisi ona, begirada bat merezi du.

Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Nahi zutenek era guztietako liburuak erosi eta lankideekin eztabaidatu ahal izan zituzten. Jende osoa bildu zen sinadura saioan!

Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Emaitzak

Hydra Conference eta SPTDC School oso ekitaldi garrantzitsuak dira guretzat enpresa antolatzaile gisa eta komunitate osoarentzat. Hau gure etorkizunari begiratzeko aukera bat da, arazo modernoak eztabaidatzeko esparru kontzeptual bateratua garatzeko eta norabide interesgarriak gertutik aztertzeko. Multithreading aspalditik dago, baina benetako nukleo anitzeko lehen prozesadorea agertu ondoren, hamarkada oso bat behar izan zuen fenomenoa hedatzeko. Aste honetan txosnetan entzun duguna ez da albiste iheskorra, datozen urteetan jarraituko dugun etorkizun oparorako bidea baizik. Post honetan ez da hurrengo Hydrarako spoilerrik egongo, baina onena espero dezakezu. Horrelako gaiak interesatzen bazaizkizu, baliteke gure beste ekitaldi batzuk ikusi nahi izatea, adibidez, hitzaldi gogorrak Joker 2019 edo DotNext 2019 Mosku. Hurrengo jardunaldietan ikusiko gara!

Hiru Dijkstra sariaren irabazle: nola joan ziren Hydra 2019 eta SPTDC 2019

Iturria: www.habr.com

Gehitu iruzkin berria