Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Hivi karibuni, kutoka Julai 8 hadi 12, matukio mawili muhimu yalifanyika wakati huo huo - mkutano Hydra na shule SPTDC. Katika chapisho hili ningependa kuangazia vipengele kadhaa ambavyo tuliona wakati wa mkutano.

Fahari kubwa ya Hydra na Shule ni wazungumzaji.

  • Washindi watatu Zawadi za Dijkstra: Leslie Lamport, Maurice Herlihy na Michael Scott. Zaidi ya hayo, Maurice aliipokea mara mbili. Leslie Lamport pia alipokea Tuzo ya Turing - tuzo ya kifahari zaidi ya ACM katika sayansi ya kompyuta;
  • Muundaji wa mkusanyaji wa Java JIT ni Cliff Click;
  • Watengenezaji wa Corutin - Kirumi Elizarov (elizarov) na Nikita Koval (ndkoval) kwa Kotlin, na Dmitry Vyukov kwa Go;
  • Wachangiaji wa Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda na Vladislav Kuznetsov);
  • Na watu wengine wengi maarufu: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (mfano wa kumbukumbu ya C ++), Pedro Ramalhete (miundo ya data isiyo na kusubiri), Alexey Zinoviev (ML), Dmitry Bugaichenko (uchambuzi wa grafu).

Na hii tayari ni Shule:

  • Chuo Kikuu cha Brown (Maurice Herlihy),
  • Chuo Kikuu cha Rochester (Michael Scott),
  • Chuo Kikuu cha Waterloo (Trevor Brown),
  • Chuo Kikuu cha Nantes (Achour Mostefaoui),
  • Chuo Kikuu cha David Ben-Gurion cha Negev (Danny Hendler),
  • Chuo Kikuu cha California huko Los Angeles (Eli Gafni),
  • Taasisi ya polytechnique de Paris (Petr Kuznetsov),
  • Utafiti wa Microsoft (Leslie Lamport),
  • Utafiti wa VMware (Ittai Abraham).

Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Nadharia na mazoezi, sayansi na uzalishaji

Acha nikukumbushe kwamba Shule ya SPTDC ni tukio dogo kwa watu mia moja na nusu; vinara wa kiwango cha kimataifa hukusanyika hapo na kuzungumza juu ya maswala ya kisasa katika uwanja wa kompyuta iliyosambazwa. Hydra ni mkutano wa siku mbili wa kompyuta uliosambazwa unaofanyika sambamba. Hydra ina mwelekeo zaidi wa uhandisi, wakati Shule ina mwelekeo zaidi wa kisayansi.

Moja ya malengo ya mkutano wa Hydra ni kuchanganya kanuni za kisayansi na uhandisi. Kwa upande mmoja, hii inafanikiwa kwa uteuzi wa ripoti katika programu: pamoja na Lamport, Herlihy na Scott, kuna ripoti nyingi zaidi zilizotumiwa na Alex Petrov, ambaye anachangia Cassandra, au Roman Elizarov kutoka JetBrains. Kuna Martin Kleppman, ambaye alikuwa akijenga na kuuza vituo vya kuanzia na sasa anasoma CRDT katika Chuo Kikuu cha Cambridge. Lakini jambo la kupendeza ni kwamba Hydra na SPTDC wanashikiliwa bega kwa bega - wana ripoti tofauti, lakini mahali pa kawaida pa mawasiliano.

Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Kuzamishwa

Siku tano za Shule mfululizo ni tukio kubwa sana na mzigo mkubwa wa kazi, kwa washiriki na waandaaji. Sio kila mtu alifika siku za mwisho. Kulikuwa na wale ambao walienda Hydra na Shule kwa wakati mmoja, na kwao siku za mwisho ziligeuka kuwa za matukio zaidi. Mzozo huu wote unatatuliwa na kuzamishwa kwa kina kirefu sana. Hii ni kutokana na si tu kwa kiasi, lakini pia kwa ubora wa nyenzo. Ripoti zote na mihadhara katika hafla zote mbili hazikupangwa kuwa utangulizi, kwa hivyo popote unapoenda, mara moja unapiga mbizi mbali na kina, na haujaachiliwa hadi mwisho.

Bila shaka, mengi inategemea maandalizi ya awali ya mshiriki. Kulikuwa na wakati wa kuchekesha wakati vikundi viwili vya watu kwenye ukanda vilijadili kwa uhuru ripoti ya Heidi Howard: kwa wengine ilionekana kuwa ya kawaida kabisa, wakati wengine, kinyume chake, walifikiria sana juu ya maisha. Inafurahisha kwamba kulingana na washiriki wa kamati za programu (ambao walitaka kubaki bila majina), ripoti za Hydra na mihadhara ya Shule kwenye hafla zao zinaweza kuhitimu zaidi. Kwa mfano, kama PHP junior alikuja kwenye mkutano wa PHP kujifunza maisha, itakuwa ni upele kidogo kudhani kwamba ana ujuzi wa kina kuhusu mambo ya ndani ya Zend Engine. Hapa, wasemaji hawakuwa na kijiko-kulisha vijana, lakini mara moja walisema kiwango fulani cha ujuzi na uelewa. Kweli, kiwango cha washiriki wanaoendesha mifumo iliyosambazwa na kuandika kernels za wakati wa kukimbia ni kubwa sana, hii ni ya kimantiki. Kwa kuzingatia majibu ya washiriki, ilikuwa rahisi sana kuchagua ripoti kulingana na kiwango na mada.

Ikiwa tunazungumza juu ya ripoti maalum, zote zilikuwa nzuri kwa njia yao wenyewe. Kwa kuzingatia kile watu wanasema na kile kinachoweza kuonekana kutoka kwa fomu ya maoni, mojawapo ya ripoti nzuri zaidi katika Shule ilikuwa "Miundo ya data isiyozuia" Michael Scott, alirarua kila mtu, ana ukadiriaji usio wa kawaida wa karibu 4.9.

Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Metaconference

Muda mrefu kabla ya kuanza kwa Hydra na Shule, Ruslan 89 kudhani kuwa kutakuwa na aina fulani ya "mkutano wa meta" - mkutano wa mikutano, ambapo washiriki wote wakuu wa hafla zingine wataingizwa kiotomatiki, kana kwamba kwenye shimo nyeusi. Na hivyo ikawa! Kwa mfano, kati ya wanafunzi wa Shule iligunduliwa Ruslan Cheremin kutoka kwa DeutscheBank, mtaalamu mashuhuri katika uandishi wa maandishi mengi.

Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Na washiriki wa Hydra waligunduliwa Vadim Tsesko (incubus) na Andrey Pangin (apangin) kutoka kampuni ya Odnoklassniki. (Wakati huo huo, Vadim pia alitusaidia kufanya mahojiano mawili bora na Martin Kleppman - moja kwa Habr, na nyingine kwa watazamaji wa matangazo ya mtandaoni). Kulikuwa na wanachama Kamati ya Programu ya DotNext, wasemaji maarufu Anatoly Kulakov na Igor Labutin. Ya Javist walikuwepo Dmitry Alexandrov ΠΈ Vladimir Ivanov. Kawaida huwaona watu hawa katika sehemu tofauti kabisa - dotnetists kwenye DotNext, javaists kwenye Joker, na kadhalika. Na kwa hivyo wanakaa bega kwa bega kwenye ripoti za Hydra na kwa pamoja kujadili shida kwenye buffs. Wakati mgawanyiko huu wa bandia wa lugha na teknolojia za programu hupotea, sifa za eneo la somo huibuka: wataalam wenye nguvu wa wakati wa kukimbia huwasiliana na waendeshaji wengine, watafiti wa nadharia ya kompyuta iliyosambazwa wanabishana vikali na watafiti wengine, wahandisi wa hifadhidata hukusanya ubao mweupe, na kadhalika. .

Kwenye ripoti kulingana na mfano wa kumbukumbu ya C++ watengenezaji wa OpenJDK walikuwa wamekaa kwenye safu ya mbele (angalau ninawajua kwa kuona, lakini sio Pythonists, labda Pythonists walikuwepo pia). Kwa kweli, kuna kitu hivyo Shipilevsky katika ripoti hii ... Ori haisemi sawa sawa, lakini kuangalia kwa makini kunaweza kuchunguza kufanana. Hata baada ya kila kitu kilichotokea katika viwango vya hivi karibuni vya C ++, shida kama vile viwango vya hewa nyembamba bado hazijarekebishwa, na kwa hivyo unaweza kwenda kwenye ripoti kama hiyo na kusikiliza jinsi watu "upande wa pili wa kizuizi" kujaribu kurekebisha shida hizi, Wanapofikiria, mtu anaweza kuvutiwa na njia za suluhisho linalopatikana (Ori ina moja ya chaguzi za kurekebisha).

Kulikuwa na washiriki wengi katika kamati za programu na injini za jumuiya. Kila mtu alisuluhisha matatizo yao ya dini tofauti, akajenga madaraja, na akapata miunganisho. Nilitumia hii popote nilipoweza, na, kwa mfano, tulikubaliana na Alexander Borgardt kutoka Kikundi cha Watumiaji cha C++ cha Moscow kwa pamoja andika makala kamili kuhusu waigizaji na asynchrony katika C++.

Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Katika picha: Leonid Talalaev (mwisho, kushoto) na Oleg Anastasyev (m0nstermind, kulia), watengenezaji wakuu katika Odnoklassniki

Kanda za majadiliano ya moto na buffs

Katika mikutano daima kuna washiriki wanaojua somo pamoja na wasemaji (na wakati mwingine hata bora zaidi kuliko wasemaji - kwa mfano, wakati msanidi wa msingi wa teknolojia fulani ni kati ya washiriki). Kulikuwa na washiriki wengi waliobobea sana kwenye Hydra. Kwa mfano, wakati fulani karibu na Alex Petrov akiwaambia Kuhusu Cassandra, watu wengi sana walijiunda hivi kwamba hakuweza kujibu kila mtu. Wakati fulani, Alex alisukumwa vizuri kando na kuanza kuchanwa na maswali, lakini bendera inayoanguka ilichukuliwa na mtengenezaji maarufu wa Rust kwenye miduara. Tyler Neely na kusawazisha mzigo kikamilifu. Nilipomuuliza Tyler msaada wa mahojiano ya mtandaoni, alichouliza tu ni, "Tutaanza lini?"

Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Wakati fulani, ari ya majadiliano hata ilipenya kwenye ripoti: Nikita Koval alipanga kipindi cha Maswali na Majibu cha ghafla, akigawanya ripoti katika sehemu kadhaa.

Na kinyume chake, kwenye BOF kwa nyuzi nyingi walikumbuka juu ya kumbukumbu isiyo na tete, walivutiwa na bof hii. Pedro Ramalhete kama mtaalam mkuu, na alielezea kila kitu kwa kila mtu (kwa kifupi, kumbukumbu isiyo na tete sio tishio kwetu katika siku za usoni). Mmoja wa majeshi ya bof hii, kwa njia, alikuwa Vladimir Sitnikov, ambaye anahudumu katika kamati za programu za idadi fulani ya wazimu... inaonekana kama mitano kwa wakati mmoja hivi sasa. Katika mazungumzo yaliyofuata kuhusu "Kisasa CS katika ulimwengu wa kweli" pia walijadili NVM na walikuja kwa hili peke yao.

Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Ninaweza kushiriki maarifa ya hali ya juu ambayo hata wale waliohusika moja kwa moja katika hadithi huenda hawakugundua. Eli Gafni alitumbuiza jioni ya siku ya kwanza ya Shule, na siku iliyofuata alikaa na kuanza kukanyaga Lamport, na kutoka nje ilionekana kuwa huu ulikuwa mchezo na Eli alikuwa hatoshi. Kwamba huyu ni aina fulani ya troll ambaye aliamua kuchukua ubongo wa Leslie. Kwa kweli, ukweli ni kwamba wao ni karibu marafiki bora, wamekuwa marafiki kwa miaka mingi, na hii ni dharau kama hiyo ya kirafiki. Hiyo ni, utani ulifanya kazi - watu wote karibu walianguka kwa ajili yake, walichukua kwa thamani ya uso.

Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Kwa kando, ningependa kutambua ni upendo na bidii kiasi gani wasemaji waliweka katika hili. Mtu alisimama katika eneo la majadiliano hadi dakika ya mwisho, karibu kwa saa. Mapumziko yalimalizika muda mrefu uliopita, ripoti ilianza, ikaisha, mapumziko yaliyofuata yalianza - na Dmitry Vyukov aliendelea kujibu maswali. Hadithi ya kupendeza pia ilinitokea - baada ya kumshangaza Cliff Click, sikupokea tu maelezo ya wazi na ya busara ya mjadala huo wa uchochezi juu ya ukosefu wa vipimo. kwa vitu fulani katika H2O, lakini pia nilipata mapitio kamili yake lugha mpya AA. Sikuwahi kuuliza hii: Niliuliza tu kile unaweza kusoma juu ya AA (ilibadilika kuwa unaweza kusikiliza karibu), na badala yake Cliff alitumia nusu saa kuzungumza kuhusu lugha hiyo na kuangalia kwamba alichokuwa akisema kilieleweka kwa usahihi. Ajabu. Tunahitaji kuandika habrapost kuhusu AA. Tajiriba nyingine isiyo ya kawaida ilikuwa kutazama mchakato wa kukagua ombi la kuvuta huko Kotlin. Hakika ni hisia za kichawi unapoingia katika vikundi tofauti vya majadiliano, wazungumzaji tofauti, na kutumbukia katika ulimwengu mpya kabisa. Hiki ni kitu kwenye ngazi "Kuna, Kuna" na Radiohead.

Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Lugha ya Kiingereza

Hydra 2019 ni mkutano wetu wa kwanza ambapo lugha kuu ni Kiingereza. Hii inaleta faida zake na changamoto zake. Faida ya wazi ni kwamba watu sio tu kuja kwenye mkutano kutoka Urusi, hivyo kati ya washiriki unaweza kukutana na wahandisi kutoka Ulaya na wanasayansi kutoka Uingereza. Wazungumzaji huleta wanafunzi wao. Kwa ujumla, wasemaji muhimu wana motisha zaidi ya kwenda kwenye mkutano kama huo. Fikiria kuwa wewe ni mzungumzaji katika mkutano wa lugha ya Kirusi kabisa: umetoa ripoti yako, umetetea eneo la majadiliano, halafu nini? Usafiri kuzunguka jiji na kuona maeneo ya watalii? Kwa kweli, wasemaji maarufu tayari wameona kutosha kwa kila kitu duniani, hawataki kwenda kuona simba na madaraja, wamechoka. Ikiwa ripoti zote ziko kwa Kiingereza, wanaweza kushiriki katika mkutano kwa ujumla, kufurahiya, kujiunga na maeneo ya majadiliano, na kadhalika. Mazingira ni rafiki kabisa kwa wazungumzaji.

Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Ubaya ulio wazi ni kwamba sio kila mtu yuko vizuri kuwasiliana kwa Kiingereza. Wengi wanaelewa vizuri, lakini wanazungumza vibaya. Kwa ujumla, mambo ya kawaida ambayo yalitatuliwa kwa njia tofauti. Kwa mfano, baadhi ya maeneo ya majadiliano yalianza kwa Kirusi, lakini mara moja yalibadilishwa kwa Kiingereza wakati mshiriki wa kwanza anayezungumza Kiingereza alipotokea.

Mimi mwenyewe ilibidi nifungue na kufunga majumuisho ya matangazo ya mtandaoni kwa Kiingereza pekee na kushiriki katika mahojiano kadhaa ya rekodi na wataalam. Na hii ilikuwa changamoto kwangu ambayo haitasahaulika hivi karibuni. Wakati fulani Oleg Anastasyev (m0nstermind) aliniambia tu kukaa pamoja nao wakati wa mahojiano, na nilikuwa mwepesi sana kuelewa maana yake.

Kwa upande mwingine, ilipendeza sana kwamba watu waliuliza maswali kwenye ripoti kwa kishindo. Sio wasemaji wa asili tu, lakini kila mtu kwa ujumla, ilifanya kazi vizuri. Katika makongamano mengine, mara nyingi inaonekana kwamba watu wanaona aibu kuuliza maswali kutoka kwa watazamaji kwa Kiingereza kilichovunjika, na wanaweza tu kufinya kitu katika eneo la majadiliano. Hii ilikuwa tofauti kabisa hapa. Kwa ulinganifu, baadhi ya Cliff Click alimaliza ripoti zake mapema kidogo, na baada ya hapo maswali yalifuata kwa mfuatano unaoendelea, mazungumzo yalihamia katika eneo la majadiliano - bila kusitishwa au kukatizwa kwa shida. Vile vile inatumika kwa kipindi cha Maswali na Majibu cha Leslie Lamport; mtangazaji hakulazimika kuuliza maswali yake, washiriki walikuja na kila kitu.

Kulikuwa na kila aina ya mambo madogo ambayo watu wachache wanaona, lakini yapo. Kwa sababu ya ukweli kwamba mkutano huo ni wa Kiingereza, muundo wa vitu kama vipeperushi na ramani ni nyepesi na mafupi zaidi. Hakuna haja ya kurudia lugha na kuchanganya muundo.

Wafadhili na maonyesho

Wafadhili wetu walitusaidia sana katika kuunda mkutano huo. Shukrani kwao, daima kulikuwa na kitu cha kufanya wakati wa mapumziko.

Katika stendi Deutsche Bank TechCenter unaweza kuzungumza na wahandisi wa mifumo yenye nyuzi nyingi, kutatua matatizo yao nje ya kichwa chako, kushinda zawadi za kukumbukwa na kuwa na wakati mzuri tu.

Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Katika stendi Contour tunaweza kuzungumza juu ya mifumo yao wenyewe, chanzo wazi na wazi: hifadhidata ya kumbukumbu iliyosambazwa, logi iliyosambazwa ya binary, mfumo wa orchestration wa huduma ndogo, usafiri wa ulimwengu kwa telemetry, na kadhalika. Na bila shaka, mafumbo na mashindano, vibandiko na paka wa binary na Enzi za Mateso, zawadi kama vile kitabu cha Martin Kleppmann na takwimu za LEGO.

Tafadhali kumbuka kuwa uchambuzi wa matatizo ya Kontur tayari uko iliyochapishwa kwenye Habre. Uchambuzi mzuri, inafaa kutazama.

Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Wale waliotaka wangeweza kununua kila aina ya vitabu na kuvijadili na wenzao. Umati mzima ulikusanyika kwa kipindi cha autograph!

Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Matokeo ya

Mkutano wa Hydra na Shule ya SPTDC ni matukio muhimu sana kwetu kama kampuni inayoandaa na kwa jamii nzima. Hii ni nafasi ya kuangalia maisha yetu ya usoni, kukuza mfumo wa dhana uliounganishwa wa kujadili matatizo ya kisasa, na kuangalia kwa karibu maelekezo ya kuvutia. Usomaji mwingi umekuwepo kwa muda mrefu sana, lakini ilichukua muongo mzima baada ya kichakataji cha kwanza cha msingi-nyingi kuonekana kwa jambo hilo kuenea. Tulichosikia kwenye ripoti za wiki hii sio habari za haraka, lakini njia ya mustakabali mzuri ambao tutafuata katika miaka ijayo. Hakutakuwa na waharibifu wowote wa Hydra inayofuata katika chapisho hili, lakini unaweza kutumaini bora. Ikiwa ungependa masuala kama haya, unaweza kutaka kuangalia matukio yetu mengine, kama vile mazungumzo magumu ya mkutano Joker 2019 au DotNext 2019 Moscow. Tukutane kwenye mikutano ijayo!

Washindi watatu wa Tuzo la Dijkstra: jinsi Hydra 2019 na SPTDC 2019 zilivyokwenda

Chanzo: mapenzi.com

Kuongeza maoni