Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Labing bag-o, gikan sa Hulyo 8 hangtod 12, duha ka hinungdanon nga mga panghitabo ang dungan nga nahitabo - ang komperensya Hydra ug eskwelahan SPTDC. Sa kini nga post gusto nako nga i-highlight ang daghang mga bahin nga among namatikdan sa panahon sa komperensya.

Ang pinakadako nga garbo sa Hydra ug sa School mao ang mga mamumulong.

  • Tulo ka mananaog Mga premyo sa Dijkstra: Leslie Lamport, Maurice Herlihy ug Michael Scott. Dugang pa, si Maurice nakadawat niini kaduha. Nakadawat usab si Leslie Lamport Turing Award - ang labing inila nga ACM award sa computer science;
  • Ang tiglalang sa Java JIT compiler mao si Cliff Click;
  • Corutin developers - Roman Elizarov (elizarov) ug Nikita Koval (ndkoval) alang sa Kotlin, ug Dmitry Vyukov alang sa Go;
  • Mga kontribyutor sa Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda ug Vladislav Kuznetsov);
  • Ug daghan pang bantog nga mga tawo: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ memory model), Pedro Ramalhete (wait-free data structures), Alexey Zinoviev (ML), Dmitry Bugaichenko (graph analysis).

Ug kini mao na ang School:

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

Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Teorya ug praktis, siyensya ug produksiyon

Tugoti ko nga pahinumdoman ka nga ang SPTDC School usa ka gamay nga kalihokan alang sa usa ug tunga ka gatos ka mga tawo; ang mga klase sa kalibutan nga mga suga nagpundok didto ug naghisgot bahin sa mga modernong isyu sa natad sa gipang-apod-apod nga kompyuter. Ang Hydra usa ka duha ka adlaw nga gipang-apod-apod nga komperensya sa kompyuter nga gihimo nga managsama. Ang Hydra adunay mas pokus sa inhenyero, samtang ang Tunghaan adunay labi ka pokus sa syensya.

Usa sa mga katuyoan sa komperensya sa Hydra mao ang paghiusa sa mga prinsipyo sa siyensya ug engineering. Sa usa ka bahin, kini makab-ot pinaagi sa pagpili sa mga taho sa programa: kauban si Lamport, Herlihy ug Scott, adunay daghan pa nga gipadapat nga mga taho ni Alex Petrov, nga nag-amot sa Cassandra, o Roman Elizarov gikan sa JetBrains. Anaa si Martin Kleppman, nga kaniadto nagtukod ug nagbaligya sa mga startup ug karon nagtuon sa CRDT sa Cambridge University. Apan ang cool nga butang mao nga ang Hydra ug SPTDC gihuptan nga magkauban - lahi sila nga mga taho, apan usa ka sagad nga lugar alang sa komunikasyon.

Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Pagpaunlod

Ang lima ka adlaw nga sunud-sunod nga Eskwelahan usa ka dako kaayo nga kalihokan ug daghang trabaho, alang sa mga partisipante ug sa mga organizer. Dili tanan nakaabot sa kataposang mga adlaw. Adunay mga nagdungan sa pag-adto sa Hydra ug School, ug alang kanila ang katapusan nga mga adlaw nahimo’g labing hinungdanon. Kining tanan nga kaguliyang gibalibaran sa usa ka hilabihan ka lawom nga pagpaunlod. Kini tungod dili lamang sa gidaghanon, kondili usab sa kalidad sa materyal. Ang tanan nga mga taho ug mga lektyur sa duha ka mga panghitabo wala giplano nga mahimong pasiuna, busa bisan asa ka moadto, mosalom dayon ka sa layo ug lawom, ug dili ka buhian hangtod sa katapusan.

Siyempre, daghan ang nagdepende sa inisyal nga pagpangandam sa partisipante. Adunay usa ka kataw-anan nga higayon sa diha nga ang duha ka grupo sa mga tawo sa koridor independente nga naghisgot sa taho ni Heidi Howard: sa pipila kini ingon og ordinaryo, samtang ang uban, sa sukwahi, naghunahuna pag-ayo bahin sa kinabuhi. Makapainteres nga sumala sa mga partisipante sa mga komite sa programa (nga gusto nga magpabilin nga dili mailhan), ang mga taho ni Hydra ug ang mga lektyur sa Tunghaan sa ilang mga kalihokan mahimong sobra nga kwalipikado. Pananglitan, kung ang usa ka PHP junior miadto sa usa ka PHP nga komperensya aron makakat-on sa kinabuhi, kini usa ka gamay nga dali nga maghunahuna nga siya adunay lawom nga kahibalo bahin sa mga internal sa Zend Engine. Dinhi, wala gipakaon sa mga mamumulong ang mga junior, apan gipasabut dayon ang usa ka lebel sa kahibalo ug pagsabut. Aw, sa tinuud, ang lebel sa mga partisipante nga nag-operate sa mga gipang-apod-apod nga mga sistema ug nagsulat sa mga runtime kernel taas kaayo, makatarunganon kini. Sa paghukom sa reaksyon sa mga partisipante, sayon ​​​​ra ang pagpili sa usa ka report base sa lebel ug hilisgutan.

Kung maghisgot kita bahin sa piho nga mga taho, silang tanan maayo sa ilang kaugalingon nga paagi. Sa paghukom sa kung unsa ang gisulti sa mga tawo ug kung unsa ang makita gikan sa porma sa feedback, usa sa labing cool nga mga taho sa Eskwelahan mao ang "Dili pag-block sa mga istruktura sa datos" Si Michael Scott, gikuniskunis ra niya ang tanan, naa siyay abnormal nga rating nga mga 4.9.

Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Metaconference

Sa wala pa magsugod ang Hydra ug ang School, Ruslan ARG89 Nagtuo nga adunay usa ka matang sa "meta-conference" - usa ka komperensya sa mga komperensya, diin ang tanan nga nanguna nga mga partisipante sa ubang mga panghitabo awtomatiko nga masuyop niini, ingon sa usa ka itom nga lungag. Ug mao kini ang nahitabo! Pananglitan, sa mga estudyante sa Tunghaan kini namatikdan Ruslan Cheremin gikan sa DeutscheBank, usa ka iladong espesyalista sa multithreading.

Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Ug sa mga sakop sa Hydra ang namatikdan Vadim Tsesko (incubi) ug Andrey Pangin (apan) gikan sa Odnoklassniki nga kompanya. (Sa parehas nga oras, gitabangan usab kami ni Vadim sa paghimo og duha ka maayo nga mga interbyu uban ni Martin Kleppman - usa alang kang Habr, ug ang uban pa alang sa mga tumatan-aw sa online nga sibya). Adunay mga miyembro Komite sa Programa sa DotNext, bantog nga mga mamumulong Anatoly Kulakov ug Igor Labutin. Sa mga Javist diha Dmitry Alexandrov ΠΈ Vladimir Ivanov. Kasagaran makita nimo kini nga mga tawo sa lahi nga mga lugar - mga dotnetist sa DotNext, mga javaist sa Joker, ug uban pa. Ug mao nga naglingkod sila tapad sa mga taho sa Hydra ug dungan nga naghisgot sa mga problema sa mga buff. Kung kini nga medyo artipisyal nga dibisyon sa mga programming language ug teknolohiya mawala, ang mga bahin sa hilisgutan nga lugar mitungha: ang mga dinamikong runtime nga mga espesyalista nakigsulti sa ubang mga runtimer, gipang-apod-apod nga teorya sa computing ang mga tigdukiduki nakiglalis sa ubang mga tigdukiduki, ang mga inhenyero sa database engine nagpuno sa whiteboard, ug uban pa .

Sa report sumala sa C++ memory model ang mga nag-develop sa OpenJDK naglingkod sa atubangan nga laray (labing menos nahibal-an ko sila pinaagi sa panan-aw, apan dili ang mga Pythonist, tingali ang mga Pythonist didto usab). Sa tinuud, adunay usa ka butang nga Shipilevsky sa kini nga taho ... Si Ori wala magsulti sa parehas nga butang, apan ang usa ka mabinantayon nga pagtan-aw makamatikod sa mga parallel. Bisan kung pagkahuman sa tanan nga nahitabo sa labing bag-o nga mga sumbanan sa C ++, ang mga problema sama sa mga kantidad nga wala’y manipis nga hangin wala gihapon naayo, ug aron makaadto ka sa ingon nga taho ug maminaw kung giunsa ang mga tawo "sa pikas nga bahin sa barikada" naningkamot sa pag-ayo niini nga mga problema, Sa ilang pangatarungan, ang usa mahimong makadayeg sa mga pamaagi sa solusyon nga nakit-an (Ori adunay usa sa mga kapilian sa pag-ayo).

Adunay daghang mga partisipante sa mga komite sa programa ug mga makina sa komunidad. Gisulbad sa matag usa ang ilang mga problema sa interfaith, nagtukod ug mga taytayan, ug nakabaton ug mga koneksyon. Gigamit nako kini bisan asa nako, ug, pananglitan, miuyon kami ni Alexander Borgardt gikan Grupo sa Gumagamit sa C++ sa Moscow dungan sa pagsulat og usa ka bug-os nga artikulo bahin sa mga aktor ug asynchrony sa C++.

Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Sa litrato: Leonid Talalaev (ltalal, wala) ug Oleg Anastasyev (m0nstermind, tuo), nanguna nga mga developer sa Odnoklassniki

Mga dapit sa diskusyon sa sunog ug mga buff

Sa mga komperensya adunay kanunay nga mga partisipante nga nahibal-an ang hilisgutan ingon man ang mga mamumulong (ug usahay mas maayo pa kaysa sa mga mamumulong - pananglitan, kung ang usa ka developer sa kinauyokan sa pipila nga teknolohiya usa sa mga partisipante). Adunay daghang mga eksperto kaayo nga mga partisipante sa Hydra. Pananglitan, sa usa ka punto sa palibot Alex Petrov nagsulti bahin ni Cassandra, daghan kaayong tawo ang naporma nga dili niya matubag ang tanan. Sa usa ka punto, si Alex hinay nga giduso sa kilid ug nagsugod nga gisi sa mga pangutana, apan ang nahulog nga bandila gikuha sa usa ka iladong Rust developer sa mga bilog. Tyler Neely ug hingpit nga balanse ang luwan. Sa dihang nangayo ko og tabang ni Tyler sa online nga interbyu, ang iyang gipangutana mao lang, β€œKanus-a ta magsugod?”

Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Usahay, ang espiritu sa diskusyon milusot pa sa mga taho: Si Nikita Koval nag-organisar ug kalit nga sesyon sa Q&A, nga nagbahin sa taho sa daghang mga seksyon.

Ug vice versa, sa BOF alang sa multi-threading nahinumduman nila ang bahin sa non-volatile memory, nadani sila niini nga bof Pedro Ramalhete isip chief specialist, ug iyang gipatin-aw ang tanan sa tanan (sa laktud, ang non-volatile memory dili hulga kanato sa umaabot nga panahon). Usa sa mga host niini nga bof, sa dalan, mao Vladimir Sitnikov, nga nag-alagad sa mga komite sa programa sa pipila ka buang nga gidaghanon sa mga komperensya... daw lima sa usa ka higayon karon. Sa sunod nga buff bahin sa "Moderno nga CS sa tinuud nga kalibutan" gihisgutan usab nila ang NVM ug nahuman kini sa ilang kaugalingon.

Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Makapaambit ko og super-insight nga bisan kadtong direktang nalambigit sa istorya tingali wala makamatikod. Si Eli Gafni nagpasundayag sa gabii sa unang adlaw sa Tunghaan, ug sa sunod nga adlaw siya nagpabilin ug nagsugod sa pag-trolling sa Lamport, ug gikan sa gawas daw kini dula ug si Eli dili igo. Nga kini usa ka matang sa troll nga nagsugod sa pagkuha sa utok ni Leslie. Sa pagkatinuod, ang kamatuoran mao nga sila halos labing suod nga mga higala, sila managhigala sa daghang mga tuig, ug kini usa lamang ka mahigalaon nga pagbiaybiay. Kana mao, ang komedya nagtrabaho - ang tanan nga mga tawo sa palibot nahulog niini, gikuha kini sa kantidad sa nawong.

Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Gilain, gusto nakong timan-an kung unsa ka dako ang gugma ug paningkamot nga gihatag sa mga mamumulong niini. Adunay nagbarug sa lugar sa panaghisgot hangtod sa katapusang minuto, hapit sa daghang oras. Ang pahulay natapos sa dugay na nga panahon, ang taho nagsugod, natapos, ang sunod nga pahulay nagsugod - ug Dmitry Vyukov nagpadayon sa pagtubag sa mga pangutana. Usa ka makapaikag nga istorya ang nahitabo usab kanako - nga nakuha ang Cliff Click sa katingala, nakadawat ako dili lamang usa ka tin-aw ug makatarunganon nga pagpasabut sa kana nga makapukaw nga panaghisgot bahin sa kakulang sa mga pagsulay alang sa pipila ka mga butang sa H2O, apan nakakuha usab usa ka bug-os nga pagsusi niini bag-ong pinulongan AA. Wala gyud ko nangutana niini: Nangutana lang ko kung unsa ang imong mabasa bahin sa AA (mao nga maminaw ka podcast), ug sa baylo si Cliff migugol ug tunga sa oras nga nag-estorya bahin sa pinulongan ug nagsusi nga ang iyang gisulti nasabtan sa husto. Kahibulongan. Kinahanglan namong magsulat ug habrapost bahin sa AA. Ang laing talagsaon nga kasinatian mao ang pagtan-aw sa proseso sa pagrepaso sa hangyo sa pull sa Kotlin. Kini usa ka talagsaon nga pagbati kung maglakaw ka sa lainlaing mga grupo sa diskusyon, lainlaing mga mamumulong, ug nahulog sa usa ka bag-ong kalibutan. Kini usa ka butang sa lebel "Didto, Didto" ni Radiohead.

Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Iningles nga pinulongan

Ang Hydra 2019 mao ang among una nga komperensya diin ang panguna nga sinultian mao ang English. Nagdala kini sa mga bentaha ug mga hagit niini. Ang usa ka dayag nga bentaha mao nga ang mga tawo dili lamang moanhi sa komperensya gikan sa Russia, mao nga taliwala sa mga partisipante mahimo nimong mahimamat ang mga inhenyero gikan sa Europe ug mga siyentipiko gikan sa England. Gidala sa mga mamumulong ang ilang mga estudyante. Sa kinatibuk-an, ang importante nga mga mamumulong adunay labaw nga kadasig sa pag-adto sa maong komperensya. Hunahunaa nga ikaw usa ka mamumulong sa usa ka hingpit nga komperensya sa pinulongang Ruso: imong gihatag ang imong report, gidepensahan ang lugar sa panaghisgot, ug unya unsa? Paglibot sa siyudad ug tan-awa ang mga tourist spot? Sa pagkatinuod, ang tinuod nga sikat nga mga mamumulong nakakita na og igo sa tanang butang sa kalibutan, dili sila gusto nga moadto sa pagtan-aw sa mga leon ug mga drawbridges, sila gikapoy. Kon ang tanang mga report kay English, mahimo silang moapil sa komperensya sa kinatibuk-an, maglingaw-lingaw, moapil sa mga diskusyon, ug uban pa. Ang atmospera medyo mahigalaon ngadto sa mga mamumulong.

Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Ang klaro nga disbentaha mao nga dili tanan komportable nga makigsulti sa English. Daghan ang nakasabut pag-ayo, apan dili maayo ang pagsulti. Sa kinatibuk-an, ordinaryo nga mga butang nga nasulbad sa lain-laing mga paagi. Pananglitan, ang pipila ka mga dapit sa diskusyon nagsugod sa Russian, apan diha-diha dayon mibalhin ngadto sa English sa diha nga ang unang English-speaking partisipante mitungha.

Ako sa akong kaugalingon kinahanglan nga buhaton ang pag-abli ug pagsira nga mga paglakip sa online nga sibya nga eksklusibo sa English ug pag-apil sa usa ka pares nga na-record nga mga interbyu sa mga eksperto. Ug kini usa ka tinuod nga hagit alang kanako nga dili makalimtan sa dili madugay. Sa usa ka punto si Oleg Anastasyev (m0nstermind) igo lang akong giingnan nga magpabiling maglingkod uban nila atol sa interbyu, ug hinay kaayo ko nga masabtan kon unsay gipasabot niana.

Sa laing bahin, makapalipay kaayo nga ang mga tawo nangutana sa mga taho nga adunay bangis. Dili lang mga lumad nga mamumulong, apan ang tanan sa kinatibuk-an, kini nagtrabaho og maayo. Sa ubang mga komperensya, kanunay nga makita nga ang mga tawo maulaw sa pagpangutana sa mga mamiminaw sa guba nga English, ug mahimo ra nga magpilit sa usa ka butang sa lugar sa panaghisgot. Kini hingpit nga lahi dinhi. Sa relatibo nga pagkasulti, ang pipila ka Cliff Click nahuman sa iyang mga taho sa sayo pa, ug pagkahuman ang mga pangutana nagsunod sa usa ka padayon nga pagkasunod-sunod, ang panag-istoryahanay mibalhin sa lugar sa panaghisgot - nga wala’y awkward nga paghunong o pagkabalda. Ang parehas nga magamit sa sesyon sa Q&A ni Leslie Lamport; ang presenter halos dili kinahanglan nga mangutana sa iyang mga pangutana, ang mga partisipante nahibal-an ang tanan.

Adunay tanan nga mga matang sa gagmay nga mga butang nga pipila ka mga tawo ang nakamatikod, apan kini anaa. Tungod sa kamatuoran nga ang komperensya naa sa English, ang disenyo sa mga butang sama sa mga leaflet ug mga mapa mas gaan ug mas mubo. Dili kinahanglan nga doblehon ang mga sinultian ug gub-on ang disenyo.

Mga sponsor ug exhibition

Ang among mga sponsor nakatabang kaayo kanamo sa paghimo sa komperensya. Salamat kanila, adunay kanunay nga buhaton panahon sa mga bakasyon.

Sa baroganan Deutsche Bank TechCenter mahimo kang makig-chat sa mga inhenyero sa multi-threaded system, masulbad ang ilang mga problema gikan sa imong ulo, makadaog ug halandumon nga mga premyo ug maglingaw-lingaw lang.

Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Sa baroganan Kontur mahimo natong hisgutan ang ilang kaugalingon nga mga sistema, bukas ug bukas nga tinubdan: usa ka gipang-apod-apod nga in-memorya nga database, usa ka gipang-apod-apod nga binary log, usa ka microservice orchestration system, usa ka unibersal nga transportasyon alang sa telemetry, ug uban pa. Ug siyempre, mga puzzle ug mga kompetisyon, mga sticker nga adunay binary cat ug ang Pag-antos sa Middle Ages, mga regalo sama sa libro ni Martin Kleppmann ug mga numero sa LEGO.

Palihug timan-i nga ang pagtuki sa mga problema sa Kontur mao na gipatik sa HabrΓ©. Maayo nga pagtuki, angay tan-awon.

Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Kadtong gusto makapalit sa tanan nga mga klase sa libro ug hisgutan kini sa mga kauban. Ang tibuok panon sa katawhan nagtigom alang sa sesyon sa autograph!

Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Mga resulta

Ang Hydra Conference ug SPTDC School hinungdanon kaayo nga mga panghitabo alang kanamo ingon nga kompanya sa pag-organisar ug alang sa tibuuk nga komunidad. Kini usa ka higayon sa pagtan-aw sa atong kaugmaon, paghimo sa usa ka hiniusa nga konsepto nga balangkas alang sa paghisgot sa mga modernong problema, ug pagtan-aw pag-ayo sa makapaikag nga mga direksyon. Ang multithreading dugay na nga naglungtad, apan mikabat sa tibuok dekada human ang unang tinuod nga multi-core nga processor nagpakita aron ang panghitabo mahimong kaylap. Ang among nadungog sa mga taho karong semanaha dili ang mga balita nga lumalabay, apan ang dalan padulong sa masanag nga kaugmaon nga among subayon sa umaabot nga mga tuig. Wala’y bisan unsang mga spoiler alang sa sunod nga Hydra sa kini nga post, apan mahimo ka maglaum alang sa labing kaayo. Kung interesado ka sa mga isyu nga sama niini, mahimo nimong susihon ang among uban pang mga panghitabo, sama sa mga pakigpulong sa hardcore nga komperensya Joker 2019 o DotNext 2019 Moscow. Magkita ta sa sunod nga mga komperensya!

Tulo ka mga mananaog sa Dijkstra Prize: kung giunsa ang Hydra 2019 ug SPTDC 2019

Source: www.habr.com

Idugang sa usa ka comment