Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

Kamakailan lamang, mula Hulyo 8 hanggang 12, dalawang makabuluhang kaganapan ang ginanap nang sabay-sabay - isang kumperensya Haydra at paaralan SPTDC. Sa post na ito, nais kong i-highlight ang ilang mga tampok na napansin namin sa panahon ng kumperensya.

Ang pinakamalaking pagmamalaki ng Hydra at ng Paaralan ay mga nagsasalita.

  • Tatlong mananalo Mga Premyo ng Dijkstra: Leslie Lamport, Maurice Herlihy at Michael Scott. Bukod dito, natanggap ito ni Maurice ng dalawang beses. Nakatanggap din si Leslie Lampor Turing award - ang pinakaprestihiyosong ACM award sa computer science;
  • Ang lumikha ng Java JIT compiler ay Cliff Click;
  • Mga developer ng Korutin - Roman Elizarov (elizarov) at Nikita Koval (ndkoval) para kay Kotlin, at Dmitry Vyukov para sa Go;
  • Mga nag-aambag kay Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda at Vladislav Kuznetsov);
  • At marami pang iba pang sikat na tao: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ memory model), Pedro Ramalhete (wait-free data structures), Alexey Zinoviev (ML), Dmitry Bugaichenko (graph analysis).

At ito ang paaralan:

  • Brown University (Maurice Herlihy),
  • Unibersidad ng Rochester (Michael Scott),
  • Unibersidad ng Waterloo (Trevor Brown),
  • Unibersidad ng Nantes (Achour Mostefaoui),
  • David Ben-Gurion University of the Negev (Danny Hendler),
  • UCLA (Eli Gafni),
  • Institut polytechnique de Paris (Petr Kuznetsov),
  • Microsoft Research (Leslie Lamport),
  • VMware Research (Ittai Abraham).

Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

Teorya at kasanayan, agham at produksyon

Paalalahanan ko kayo na ang SPTDC School ay isang maliit na kaganapan para sa isa at kalahating daang tao, ang mga world-class na luminaries ay nagtitipon dito at pinag-uusapan ang mga modernong isyu sa larangan ng distributed computing. Ang Hydra ay isang dalawang araw na distributed computing conference na tumatakbo nang magkatulad. Ang Hydra ay may pokus sa engineering, habang ang Paaralan ay may pang-agham na pokus.

Isa sa mga layunin ng kumperensya ng Hydra ay pagsamahin ang agham at engineering. Sa isang banda, ito ay nakakamit sa pamamagitan ng pagpili ng mga ulat sa programa: kasama sina Lamport, Herlihy at Scott, marami pang inilapat na ulat ni Alex Petrov, na nag-aambag kay Cassandra, o Roman Elizarov mula sa JetBrains. Nariyan si Martin Kleppman, na dating gumagawa at nagbebenta ng mga startup, at ngayon ay nag-aaral ng CRDT sa University of Cambridge. Ngunit ang pinakamagandang bagay ay ang Hydra at SPTDC ay magkatabi - mayroon silang iba't ibang mga ulat, ngunit isang karaniwang lugar para sa komunikasyon.

Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

Paglulubog

Ang limang araw na magkakasunod na Paaralan ay isang napakalaking kaganapan at isang malaking pasanin para sa parehong mga kalahok at organizer. Hindi lahat sila ay nakarating sa mga huling araw. May mga sabay na pumunta sa Hydra at sa School, at para sa kanila ang mga huling araw ay naging pinaka-kaganapan. Ang lahat ng kaguluhang ito ay nabayaran ng hindi kapani-paniwalang malalim na paglulubog. Ito ay dahil hindi lamang sa lakas ng tunog, kundi pati na rin sa kalidad ng materyal. Ang lahat ng mga ulat at lektura sa parehong mga kaganapan ay hindi binalak na maging panimula, kaya kahit saan ka pumunta, agad kang sumisid sa malayo at malalim, at hindi ka pakakawalan hanggang sa huli.

Siyempre, marami ang nakasalalay sa paunang paghahanda ng kalahok. Nagkaroon ng isang nakakatawang sandali nang ang dalawang grupo ng mga tao sa koridor ay independiyenteng tinatalakay ang ulat ni Heidi Howard: ang isa ay tila ganap na karaniwan, habang ang isa, sa kabaligtaran, ay nag-iisip nang mabuti tungkol sa buhay. Kapansin-pansin, ayon sa (na gustong manatiling hindi nagpapakilalang) miyembro ng mga komite ng programa, ang mga ulat at lektura ni Hydra ng Paaralan sa kanilang mga kaganapan ay maaaring maging sobrang kwalipikado. Halimbawa, kung ang isang PHP junior ay dumalo sa isang PHP conference upang matuto tungkol sa buhay, ito ay isang maliit na walang ingat na ipalagay na siya ay may malalim na kaalaman sa mga internals ng Zend Engine. Dito, ang mga tagapagsalita ay hindi nagpakain sa mga juniors, ngunit agad na nagpahiwatig ng isang tiyak na antas ng kaalaman at pag-unawa. Sa katunayan, ang antas ng mga kalahok na nagpapatakbo ng mga distributed system at nagsusulat ng mga runtime kernel ay napakataas, ito ay lohikal. Sa paghusga sa reaksyon ng mga kalahok, napakadaling pumili ng ulat ayon sa antas at paksa.

Kung pag-uusapan natin ang tungkol sa mga partikular na ulat, lahat sila ay mahusay sa kanilang sariling paraan. Sa paghusga sa kung ano ang sinasabi ng mga tao at kung ano ang makikita mula sa form ng feedback, isa sa mga pinakaastig na ulat sa Paaralan ay "Nonblocking data structures" Si Michael Scott, sinira lang niya lahat, may abnormal rating siya sa region na 4.9.

Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

Metaconference

Matagal bago magsimula ang Hydra at ang Paaralan, Ruslan ARG89 Ipinapalagay na ang isang uri ng "meta-conference" ay lalabas - isang kumperensya ng mga kumperensya, kung saan ang lahat ng nangungunang kalahok sa iba pang mga kaganapan ay awtomatikong, tulad ng sa isang black hole, ay iguguhit. At nangyari nga! Halimbawa, sa mga mag-aaral ng Paaralan ay napansin Ruslan Cheremin mula sa DeutscheBank, isang kilalang eksperto sa multithreading.

Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

At sa mga miyembro ng Hydra ay nakita Vadim Tsesko (incubi) At Andrey Pangin (appangin) mula sa Odnoklassniki. (Kasabay nito, tinulungan din kami ni Vadim na gumawa ng dalawang mahusay na panayam kay Martin Kleppman - isa para kay Habr, at ang isa pa para sa mga manonood ng online na broadcast). May mga miyembro komite ng programa DotNext, mga kilalang tagapagsalita na sina Anatoly Kulakov at Igor Labutin. Ng mga Javist ay Dmitry Alexandrov ΠΈ Vladimir Ivanov. Kadalasan makikita mo ang mga taong ito sa ganap na magkakaibang mga lugar - dot netters sa DotNext, javist sa Joker, at iba pa. At narito sila, magkatabi, nakaupo sa mga ulat ni Hydra at pinag-uusapan ang mga problema nang magkasama sa mga bof. Kapag nawala ang bahagyang artipisyal na paghahati sa mga wika at teknolohiya ng programming, lumilitaw ang mga tampok ng lugar ng paksa: nakikipag-usap ang mga dynamic na runtime na espesyalista sa iba pang mga runtimer, ang mga mananaliksik sa teorya ng distributed computing ay mainit na nakikipagtalo sa iba pang mga mananaliksik, ang mga inhinyero ng database engine ay nagsisiksikan sa whiteboard, at iba pa.

Sa ulat ayon sa modelo ng memorya ng C++ ang mga developer ng OpenJDK ay nakaupo sa unahan (kahit hindi ko sila kilala sa paningin, ngunit hindi ang mga pythonist, marahil ang mga pythonist ay naroon din). Sa katunayan, mayroong isang bagay kaya Shipilev sa ulat na ito... Ori ay hindi nagsasabi nang eksakto ang parehong bagay, ngunit isang maingat na pagtingin ay maaaring magbunyag ng mga parallel. Kahit na matapos ang lahat ng nangyari sa pinakabagong mga pamantayan ng C++, ang mga problema tulad ng out of thin air values ​​ay hindi pa naaayos, at ngayon ay maaari kang pumunta sa ganoong usapan at makinig sa kung paano ang mga tao "sa kabilang panig ng barikada" sinusubukang ayusin ang mga problemang ito, habang nagtatalo sila, ang isa ay maaaring humanga sa mga diskarte sa solusyon na natagpuan (Ang Ori ay may isa sa mga opsyon sa pag-aayos).

Mayroong maraming mga kalahok sa mga komite ng programa at mga makina ng komunidad. Nalutas ng lahat ang kanilang mga problema sa inter-confessional, nagtayo ng mga tulay, nakakuha ng mga koneksyon. Ginamit ko ito kung saan ko kaya, at, halimbawa, sumang-ayon kami kay Alexander Borgardt mula sa Grupo ng Gumagamit ng Moscow C++ magkasama upang magsulat ng isang buong-haba na artikulo tungkol sa mga aktor at asynchrony sa C ++.

Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

Sa larawan: Leonid Talalaev (ltalal, kaliwa) at Oleg Anastasiev (m0nstermind, kanan), nangungunang mga developer sa Odnoklassniki

Mga lugar ng talakayan sa sunog at mga bof

Sa mga kumperensya, palaging may mga kalahok na alam ang paksa sa pantay na katayuan sa mga nagsasalita (at kung minsan ay mas mahusay pa kaysa sa mga nagsasalita - halimbawa, kapag ang pangunahing developer ng ilang teknolohiya ay kabilang sa mga kalahok). Mayroong napakaraming napakadalubhasang kalahok sa Hydra. Halimbawa, sa ilang mga punto sa paligid ng Alex Petrov, na nagsasabi tungkol kay Cassandra, napakaraming tao ang nabuo na hindi niya masagot ang lahat. Sa ilang mga punto, si Alex ay maayos na itinulak sa gilid at nagsimulang mapunit ng mga tanong, ngunit ang bumabagsak na bandila ay kinuha ng mga kilalang-kilala sa Rust developer circles. Tyler Neely at perpektong balanse ang pagkarga. Nang hilingin ko kay Tyler na tumulong sa online na panayam, ang tanging naitanong niya ay "Kailan tayo magsisimula?"

Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

Ang mapag-debatehang diwa ay minsan ay pumutok pa sa mga ulat: Si Nikita Koval ay nag-ayos ng isang biglaang sesyon ng Q&A, na hinati ang ulat sa ilang mga seksyon.

At kabaliktaran, sa BOF, sa mga tuntunin ng multithreading, naalala nila ang tungkol sa hindi pabagu-bagong memorya, kinaladkad ito sa bof na ito Pedro Ramalhete bilang punong espesyalista, at ipinaliwanag niya ang lahat sa lahat (sa madaling salita, ang hindi pabagu-bagong memorya ay hindi nagbabanta sa amin sa malapit na hinaharap). Isa nga pala sa nangunguna sa bof na ito ay Vladimir Sitnikov, na nakaupo sa mga komite ng programa para sa hindi kapani-paniwalang bilang ng mga kumperensya... parang limang sabay-sabay ngayon. Napag-usapan din ang NVM sa kalapit na bof tungkol sa "Modern CS in real world" at ganap na nakarating dito nang nakapag-iisa.

Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

Maaari akong magbahagi ng isang super-insider na kahit ang mga direktang kalahok sa kuwento ay maaaring hindi napansin. Si Eli Gafni ay gumanap sa gabi ng unang araw ng Paaralan, at sa susunod na araw ay nanatili siya at nagsimulang troll kay Lamport, at mula sa labas ay tila ito ay isang laro at si Eli ay hindi sapat. Na ito ay isang uri ng troll na gustong alisin ang utak ni Leslie. Sa katunayan, ang katotohanan ay halos matalik silang magkaibigan, naging magkaibigan sa loob ng maraming taon, at ito ay mga kagiliw-giliw na biro. Iyon ay, ang biro ay gumana - lahat ng mga tao sa paligid ay nahulog para dito, kinuha ito sa halaga ng mukha.

Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

Hiwalay, gusto kong tandaan kung gaano kalaki ang pagmamahal at pagsisikap ng mga tagapagsalita dito. May nakatayo sa lugar ng talakayan hanggang sa huli, halos ilang oras. Matagal nang natapos ang pahinga, nagsimula ang ulat, natapos, nagsimula ang susunod na pahinga - at Dmitry Vyukov nagpatuloy sa pagsagot sa mga tanong. Isang kawili-wiling kwento din ang nangyari sa akin - nagulat si Cliff Klick, nakatanggap ako hindi lamang ng malinaw at makatwirang paliwanag ng nakakapukaw na talakayan tungkol sa kakulangan ng mga pagsubok sa ilang mga bagay sa H2Ongunit nakakuha din ng buong pagsusuri nito bagong wika ng AA. I never asked for this: Tinanong ko lang kung ano ang mababasa mo sa AA (nakikinig pala podcast), at sa halip ay gumugol ng kalahating oras si Cliff sa pakikipag-usap tungkol sa wika at tinitiyak na nakuha niya ito ng tama. Kahanga-hanga. Kailangang magsulat ng habrapost tungkol sa AA. Ang isa pang hindi pangkaraniwang karanasan ay ang panonood ng proseso ng pagsusuri ng kahilingan sa paghila sa Kotlin. Ito ay talagang isang mahiwagang pakiramdam kapag pumunta ka sa iba't ibang mga grupo ng talakayan, sa iba't ibang mga nagsasalita at plunge sa isang buong bagong mundo. Ito ay isang bagay ng isang antas "Ayan, Ayan" ng Radiohead.

Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

Wikang Ingles

Ang Hydra 2019 ay ang aming unang kumperensya kung saan ang pangunahing wika ay Ingles. Dala nito ang mga pakinabang at hamon nito. Ang isang malinaw na plus ay ang mga tao hindi lamang mula sa Russia ang pumupunta sa kumperensya, kaya kabilang sa mga kalahok ay maaari mong matugunan ang mga inhinyero mula sa Europa at mga siyentipiko mula sa England. Dinadala ng mga tagapagsalita ang kanilang mga estudyante. Sa pangkalahatan, ang mahahalagang tagapagsalita ay may higit na motibasyon na pumunta sa naturang kumperensya. Isipin na ikaw ay isang tagapagsalita sa isang ganap na kumperensya sa wikang Ruso: naiulat mo ang iyong ulat, ipinagtanggol ang lugar ng talakayan, at pagkatapos ay ano? Magmaneho sa paligid ng lungsod at makita ang mga tourist spot? Sa katunayan, ang mga talagang sikat na tagapagsalita ay sapat na ang nakita sa lahat ng bagay sa mundo, ayaw nilang makita ang mga leon at drawbridge, naiinip sila. Kung ang lahat ng mga ulat ay nasa Ingles, maaari silang lumahok sa kumperensya sa pangkalahatang batayan, magsaya, maisama sa mga lugar ng talakayan, at iba pa. Ang kapaligiran ay medyo palakaibigan sa mga nagsasalita.

Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

Ang halatang kawalan ay hindi lahat ay komportable na makipag-usap sa Ingles. Maraming nakakaintindi ng mabuti, ngunit hindi maganda ang pagsasalita. Sa pangkalahatan, ang mga ordinaryong bagay na nalutas sa iba't ibang paraan. Halimbawa, nagsimula ang ilang lugar ng talakayan sa Russian, ngunit agad na lumipat sa English nang lumitaw ang unang kalahok na nagsasalita ng Ingles.

Ako mismo ay kailangang gumawa ng pagbubukas at pagsasara ng mga pagsasama ng online na broadcast na eksklusibo sa Ingles at lumahok sa ilang mga panayam sa mga eksperto sa rekord. At ito ay isang tunay na hamon para sa akin, na hindi makakalimutan sa lalong madaling panahon. Sa ilang mga punto, si Oleg Anastasiev (m0nstermind) sinabi lang sa akin na maupo ako sa kanila para sa interbyu, at napakabagal kong maunawaan kung ano ang ibig sabihin nito.

Sa kabilang banda, napakasaya na ang mga tao sa mga ulat ay nagtanong nang malakas. Hindi lamang mga katutubong nagsasalita, ngunit lahat sa pangkalahatan, ito ay gumana nang maayos. Sa iba pang mga kumperensya, madalas na nakikita na ang mga tao ay nahihiya na magtanong mula sa madla sa basag na Ingles, at maaaring mag-ipit ng isang bagay mula sa kanilang sarili lamang sa lugar ng talakayan. Ito ay ganap na naiiba dito. Relatibong pagsasalita, natapos ng ilang Cliff Click ang mga ulat nang mas maaga, at pagkatapos noon ay nagpatuloy ang mga tanong sa tuloy-tuloy na serye, ang pag-uusap ay naging isang zone ng talakayan - nang walang awkward na mga paghinto at pahinga. Ang parehong naaangkop sa sesyon ng Q&A ni Leslie Lamport, ang host ay halos hindi na kailangang magtanong ng kanyang sariling mga katanungan, ang mga kalahok ay dumating sa lahat ng bagay.

Mayroong lahat ng uri ng maliliit na bagay na kakaunti ang napapansin ng mga tao, ngunit sila nga. Dahil sa katotohanan na ang kumperensya ay nasa Ingles, ang disenyo ng mga bagay tulad ng mga flyer at mapa ay mas magaan at mas maigsi. Hindi na kailangang duplicate ang mga wika at kalat ang disenyo.

Mga Sponsor at Exhibition

Malaki ang naitulong ng aming mga sponsor sa paggawa ng conference. Salamat sa kanila, palaging may gagawin sa mga pahinga.

Sa kinatatayuan Deutsche Bank Technical Center posible na makipag-usap sa mga inhinyero ng mga multi-threaded system, lutasin ang kanilang mga puzzle "mula sa ulo", manalo ng mga di malilimutang premyo at magkaroon ng magandang oras.

Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

Sa kinatatayuan tabas ito ay posible na pag-usapan ang tungkol sa kanilang sariling mga system, parehong bukas at open-source: isang distributed in-memory database, isang distributed binary log, isang microservices orchestration system, isang unibersal na transportasyon para sa telemetry, at iba pa. At siyempre, mga puzzle at paligsahan, mga sticker na may binary cat at ang Suffering Middle Ages, mga regalo tulad ng libro ni Martin Kleppman at LEGO figure.

Mangyaring tandaan na ang pagsusuri ng mga problema sa Kontur ay na inilathala sa HabrΓ©. Ang pagsusuri ay mabuti, sulit na tingnan.

Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

Ang mga nais makabili ng lahat ng uri ng mga libro, talakayin ang mga ito sa mga kasamahan. Napakaraming tao para sa autograph session!

Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

Mga resulta ng

Ang kumperensya ng Hydra at ang paaralan ng SPTDC ay napakahalagang mga kaganapan para sa amin bilang host company at para sa buong komunidad. Ito ay isang pagkakataon upang tingnan ang ating hinaharap, upang bumuo ng isang pinag-isang konseptuwal na kagamitan para sa pagtalakay sa mga kontemporaryong problema, upang tumingin sa mga kawili-wiling lugar. Matagal nang umiral ang multithreading, ngunit pagkatapos lumitaw ang unang tunay na multi-core na processor, tumagal ng isang buong dekada para maging mainstream ang phenomenon. Ang narinig natin ngayong linggo sa mga ulat ay hindi panandaliang balita, kundi ang daan patungo sa mas maliwanag na kinabukasan, na ating susundin sa mga susunod na taon. Walang magiging spoiler para sa susunod na Hydra sa post na ito, ngunit maaari kang umasa para sa pinakamahusay. Kung interesado ka sa mga ganitong isyu, maaaring gusto mong bigyang pansin ang aming iba pang mga kaganapan, tulad ng mga hardcore conference talks. Joker 2019 o DotNext 2019 Moscow. Magkita-kita tayo sa mga susunod na kumperensya!

Tatlong nanalo ng Dijkstra Prize: paano napunta ang Hydra 2019 at SPTDC 2019

Pinagmulan: www.habr.com

Magdagdag ng komento