Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

Yaqinda, 8-12 iyul kunlari bir vaqtning o'zida ikkita muhim voqea - konferentsiya bo'lib o'tdi Gidra va maktab SPTDC. Ushbu postda men konferentsiya davomida biz ko'rgan bir nechta xususiyatlarni ta'kidlamoqchiman.

Hydra va maktabning eng katta g'ururi - bu ma'ruzachilar.

  • Uchta laureat Dijkstra mukofoti: Lesli Lamport, Maurice Herlihy va Maykl Skott. Bundan tashqari, Moris uni ikki marta oldi. Lesli Lemport ham qabul qildi Turing mukofoti — informatika sohasidagi eng nufuzli ACM mukofoti;
  • Java JIT kompilyatorining yaratuvchisi Cliff Click;
  • Korutin ishlab chiquvchilari - Roman Elizarov (elizarov) va Nikita Koval (ndkoval) Kotlin uchun va Dmitriy Vyukov Go uchun;
  • Kassandra (Aleks Petrov), CosmosDB (Denis Rystsov), Yandex ma'lumotlar bazasiga (Semyon Checherinda va Vladislav Kuznetsov) hissa qo'shuvchilar;
  • Va boshqa ko'plab mashhur odamlar: Martin Kleppmann (CRDT), Xeydi Xovard (Paxos), Ori Lahav (C++ xotira modeli), Pedro Ramalhete (kutishsiz ma'lumotlar tuzilmalari), Aleksey Zinoviev (ML), Dmitriy Bugaichenko (grafik tahlili).

Va bu allaqachon Maktab:

  • Braun universiteti (Moris Xerlixi),
  • Rochester universiteti (Maykl Skott),
  • Vaterlo universiteti (Trevor Braun),
  • Nant universiteti (Achour Mostefaoui),
  • Devid Ben-Gurion Negev universiteti (Denni Xendler),
  • Los-Anjelesdagi Kaliforniya universiteti (Eli Gafni),
  • Parij politexnika instituti (Petr Kuznetsov),
  • Microsoft Research (Leslie Lamport),
  • VMware Research (Ittai Abraham).

Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

Nazariya va amaliyot, fan va ishlab chiqarish

Eslatib o‘tamiz, SPTDC maktabi bir yarim yuz kishi uchun kichik tadbir bo‘lib, u yerda jahon miqyosidagi nuroniylar yig‘ilib, taqsimlangan hisoblash sohasidagi zamonaviy masalalar haqida suhbatlashadilar. Hydra - parallel ravishda o'tkaziladigan ikki kunlik taqsimlangan hisoblash konferentsiyasi. Hydra ko'proq muhandislik yo'nalishiga ega, maktab esa ko'proq ilmiy yo'nalishga ega.

Hydra konferentsiyasining maqsadlaridan biri ilmiy va muhandislik tamoyillarini uyg'unlashtirishdir. Bir tomondan, bunga dasturda hisobotlarni tanlash orqali erishiladi: Lamport, Xerlixi va Skott bilan bir qatorda, Kassandraga hissa qo'shadigan Aleks Petrov yoki JetBrains-dan Roman Elizarov tomonidan ko'proq amaliy hisobotlar mavjud. Martin Kleppman bor, u ilgari startaplarni qurish va sotish bilan shug'ullangan va hozirda Kembrij universitetida CRDT bo'yicha tahsil olmoqda. Ammo ajoyib narsa shundaki, Hydra va SPTDC yonma-yon tutiladi - ular turli xil hisobotlarga ega, ammo aloqa uchun umumiy joy.

Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

Pogrujenie

Ketma-ket besh kunlik Maktab - bu juda katta voqea va ishtirokchilar uchun ham, tashkilotchilar uchun ham katta yuk. Hamma ham oxirgi kunlarga etib boravermadi. Bir vaqtning o'zida Gidra va maktabga borganlar bor edi va ular uchun oxirgi kunlar eng voqealarga boy bo'ldi. Bu shov-shuvning barchasi nihoyatda chuqur suvga cho'mish bilan qoplanadi. Bu nafaqat hajmga, balki materialning sifatiga ham bog'liq. Ikkala tadbirdagi barcha ma'ruzalar va ma'ruzalar kirish bo'lishi rejalashtirilmagan, shuning uchun qaerga borsangiz, darhol uzoq va chuqur sho'ng'iysiz va sizni oxirigacha qo'yib yuborishmaydi.

Albatta, ko'p narsa ishtirokchining dastlabki tayyorgarligiga bog'liq. Yo‘lakdagi ikki guruh odamlar Xeydi Xovardning hisobotini mustaqil muhokama qilganda kulgili bir lahza bo‘ldi: kimdir uchun bu mutlaqo oddiy bo‘lib tuyuldi, boshqalari esa, aksincha, hayot haqida chuqur o‘ylashdi. Qizig'i shundaki, dastur qo'mitalarining ishtirokchilariga ko'ra (anonim qolishni istaganlar), Hydraning ma'ruzalari va maktabning o'z tadbirlaridagi ma'ruzalari ortiqcha bo'lishi mumkin. Misol uchun, agar PHP o'quvchisi hayotni o'rganish uchun PHP konferentsiyasiga kelgan bo'lsa, u Zend Engine ichki qismlari haqida chuqur bilimga ega deb taxmin qilish biroz shoshqaloqlik bo'lardi. Bu erda ma'ruzachilar o'smirlarni qoshiq bilan ovqatlantirmadilar, balki darhol ma'lum darajadagi bilim va tushunishni nazarda tutdilar. Darhaqiqat, taqsimlangan tizimlarni boshqaradigan va ish vaqti yadrolarini yozadigan ishtirokchilarning darajasi juda yuqori, bu mantiqan to'g'ri. Ishtirokchilarning munosabatiga ko'ra, daraja va mavzuga qarab ma'ruza tanlash juda oson edi.

Agar aniq hisobotlar haqida gapiradigan bo'lsak, ularning barchasi o'ziga xos tarzda yaxshi edi. Odamlarning aytganlari va fikr-mulohaza shaklidan nimani ko'rish mumkin bo'lsa, maktabdagi eng zo'r hisobotlardan biri bo'ldi "Bloklanmagan ma'lumotlar tuzilmalari" Maykl Skott, u shunchaki hammani yirtib tashladi, u 4.9 atrofida g'ayritabiiy reytingga ega.

Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

Metakonferentsiya

Gidra va maktab boshlanishidan ancha oldin, Ruslan ARG89 qandaydir "meta-konferentsiya" - konferentsiyalar konferentsiyasi bo'ladi, deb taxmin qilishdi, unda boshqa tadbirlarning barcha eng yaxshi ishtirokchilari xuddi qora tuynuk ichiga avtomatik ravishda so'riladi. Va shunday bo'ldi! Masalan, Maktab o'quvchilari orasida buni sezishdi Ruslan Cheremin multithreading bo'yicha taniqli mutaxassis DeutscheBank'dan.

Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

Va Gidra a'zolariga e'tibor qaratildi Vadim Tsesko (inkublar) va Andrey Pangin (apangin) Odnoklassniki kompaniyasidan. (Shu bilan birga, Vadim bizga Martin Kleppman bilan ikkita ajoyib intervyu berishga yordam berdi - biri Habr uchun, ikkinchisi esa onlayn translyatsiya tomoshabinlari uchun). A'zolar bor edi DotNext Dastur qo'mitasi, mashhur ma'ruzachilar Anatoliy Kulakov va Igor Labutin. Javistlar ham bor edi Dmitriy Aleksandrov и Vladimir Ivanov. Odatda siz bu odamlarni butunlay boshqa joylarda ko'rasiz - DotNext-da dotnetistlar, Joker-da javaistlar va hokazo. Va shuning uchun ular Hydra hisobotlarida yonma-yon o'tirishadi va birgalikda bufflardagi muammolarni muhokama qilishadi. Dasturlash tillari va texnologiyalariga biroz sun'iy bo'linish yo'qolganda, mavzu sohasining xususiyatlari paydo bo'ladi: dinamik ish vaqti bo'yicha mutaxassislar boshqa ish taymerlari bilan aloqa qiladilar, taqsimlangan hisoblash nazariyasi tadqiqotchilari boshqa tadqiqotchilar bilan qizg'in bahslashadilar, ma'lumotlar bazasi muhandislari doskani to'ldirishadi va hokazo. .

Hisobotda C++ xotira modeliga muvofiq OpenJDK ishlab chiquvchilari oldingi qatorda o'tirishgan (hech bo'lmaganda men ularni ko'rishdan bilaman, lekin Pythonists emas, balki Pitonistlar ham u erda bo'lgan). Darhaqiqat, Shipilevskiy bu hisobotda shunday narsa borki... Ori aynan bir xil narsani aytmaydi, lekin diqqat bilan qarash parallelliklarni aniqlashi mumkin. Eng so'nggi C++ standartlarida sodir bo'lgan hamma narsadan keyin ham, havodan tashqari qiymatlar kabi muammolar hali ham hal qilinmadi va shuning uchun siz bunday hisobotga borib, "barrikadaning narigi tomonidagi" odamlarning qandayligini tinglashingiz mumkin edi. bu muammolarni tuzatishga urinayotganda, ular o'ylagandek, topilgan yechimga bo'lgan yondashuvlardan taassurot qoldirishi mumkin (Ori tuzatish variantlaridan biriga ega).

Dastur qo'mitalari va jamoat dvigatellarida juda ko'p ishtirokchilar bor edi. Har kim o'zining dinlararo muammolarini hal qildi, ko'priklar qurdi va aloqalarga ega bo'ldi. Men buni imkoni boricha ishlatganman va, masalan, biz Aleksandr Borgardt bilan kelishib oldik Moskva C++ foydalanuvchilar guruhi birgalikda C++ da aktyorlar va asinxroniya haqida toʻliq miqyosli maqola yozing.

Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

Suratda: Leonid Talalaev (ltalal, chap) va Oleg Anastasyev (m0nstermind, o'ngda), Odnoklassniki-ning etakchi ishlab chiquvchilari

Yong'in muhokamasi zonalari va bufflar

Konferentsiyalarda har doim ma'ruzachilar kabi mavzuni yaxshi biladigan ishtirokchilar (va ba'zida ma'ruzachilardan ham yaxshiroq - masalan, ba'zi texnologiyaning yadrosini ishlab chiquvchi ishtirokchilar orasida bo'lsa) bo'ladi. Hydra bo'yicha bunday yuqori malakali ishtirokchilar juda ko'p edi. Misol uchun, Aleks Petrov atrofida bir nuqtada aytib Kassandra haqida, shunchalik ko'p odamlar shakllandiki, u hammaga javob bera olmadi. Bir vaqtning o'zida Aleks sekin yon tomonga itarib yuborildi va savollar bilan yirtila boshladi, ammo qulab tushgan bayroqni davralarda taniqli Rust ishlab chiqaruvchisi ko'tarib oldi. Tayler Nili va yukni mukammal darajada muvozanatlashtirdi. Men Taylerdan onlayn intervyuda yordam so'raganimda, u faqat "qachon boshlaymiz?"

Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

Ba'zida munozara ruhi hatto hisobotlarga ham kirib bordi: Nikita Koval to'satdan savol-javob sessiyasini tashkil qilib, hisobotni bir necha bo'limga ajratdi.

Va aksincha, ko'p tarmoqli uchun BOFda ular o'zgarmas xotira haqida eslashdi, ular bu bofga jalb qilindi. Pedro Ramalhete bosh mutaxassis sifatida va u hammaga hammasini tushuntirib berdi (qisqasi, o'zgarmas xotira biz uchun yaqin kelajakda xavf tug'dirmaydi). Aytgancha, bu bofning mezbonlaridan biri edi Vladimir Sitnikov, ba'zi aqldan ozgan konferentsiyalarning dastur qo'mitalarida xizmat qiladigan ... hozir bir vaqtning o'zida beshtaga o'xshaydi. "Haqiqiy dunyoda zamonaviy CS" haqidagi navbatdagi buffda ular NVMni ham muhokama qilishdi va bunga o'zlari kelishdi.

Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

Men hatto voqeaga bevosita aloqador bo'lganlar ham buni payqamagan bo'lishi mumkin bo'lgan super tushunchani baham ko'rishim mumkin. Eli Gafni maktabning birinchi kuni kechqurun kontsert berdi va ertasi kuni u qoldi va Lemportni trollay boshladi va tashqaridan bu o'yin va Eli etarli emasdek tuyuldi. Bu Leslining miyasini olib tashlashga kirishgan qandaydir troll ekanligini. Aslida, ular deyarli eng yaxshi do'stlar, ular ko'p yillar davomida do'st bo'lib kelishgan va bu shunchaki do'stona hazil. Ya'ni, hazil ishladi - atrofdagilarning hammasi unga tushdi, uni nominal sifatida qabul qilishdi.

Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

Alohida ta'kidlab o'tmoqchimanki, ma'ruzachilar bunga qanchalik mehr va kuch sarflagan. Kimdir so'nggi daqiqagacha, deyarli soatlab muhokama maydonida turdi. Tanaffus uzoq vaqt oldin tugadi, hisobot boshlandi, tugadi, keyingi tanaffus boshlandi - va Dmitriy Vyukov savollarga javob berishda davom etdi. Men bilan ham qiziqarli voqea sodir bo'ldi - Cliff Click-ni hayratda qoldirib, men nafaqat sinovlarning yo'qligi haqidagi provokatsion munozaraning aniq va asosli izohini oldim. H2O dagi ba'zi narsalar uchun, lekin u ham to'liq ko'rib chiqildi yangi til AA. Men buni hech qachon so'ramaganman: men shunchaki AA haqida nima o'qishingiz mumkinligini so'radim (ma'lum bo'ldiki, siz tinglashingiz mumkin podcast) va buning o'rniga Kliff yarim soat davomida til haqida gapirdi va u gapirayotgan narsa to'g'ri tushunilganligini tekshirdi. Ajoyib. Biz AA haqida habrapost yozishimiz kerak. Yana bir g'ayrioddiy tajriba, Kotlindagi so'rovni ko'rib chiqish jarayonini kuzatish edi. Turli munozara guruhlari, turli ma'ruzachilarga kirganingizda va butunlay yangi dunyoga sho'ng'iganingizda, bu haqiqatan ham sehrli tuyg'u. Bu darajadagi narsa Radiohead tomonidan "U erda, u erda".

Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

Ingliz tili

Hydra 2019 - bu asosiy til ingliz tili bo'lgan birinchi konferentsiyamiz. Bu uning afzalliklarini ham, qiyinchiliklarini ham olib keladi. Aniq afzallik shundaki, odamlar konferentsiyaga nafaqat Rossiyadan kelishadi, shuning uchun ishtirokchilar orasida siz Evropadan muhandislarni va Angliya olimlarini uchratishingiz mumkin. Ma'ruzachilar o'z talabalarini olib kelishadi. Umuman olganda, muhim ma'ruzachilar bunday konferentsiyaga borish uchun ko'proq motivatsiyaga ega. Tasavvur qiling-a, siz butunlay rus tilidagi konferentsiyada ma'ruzachisiz: siz o'z hisobotingizni berdingiz, muhokama maydonini himoya qildingiz, keyin nima? Shahar bo'ylab sayohat qilib, sayyohlik joylarini ko'rasizmi? Darhaqiqat, haqiqatan ham mashhur ma'ruzachilar dunyodagi hamma narsani etarlicha ko'rgan, ular sherlar va ko'priklarni ko'rishni xohlamaydilar, ular zerikishgan. Agar barcha ma'ruzalar ingliz tilida bo'lsa, ular konferentsiyada umumiy asosda ishtirok etishlari, zavqlanishlari, muhokama maydonlariga qo'shilishlari va hokazo. Atmosfera ma'ruzachilarga nisbatan juda do'stona.

Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

Aniq kamchilik shundaki, hamma ham ingliz tilida muloqot qilish uchun qulay emas. Ko'pchilik yaxshi tushunadi, lekin yomon gapiradi. Umuman olganda, turli yo'llar bilan hal qilingan oddiy narsalar. Misol uchun, ba'zi munozaralar rus tilida boshlandi, lekin birinchi ingliz tilida so'zlashuvchi ishtirokchi paydo bo'lganda darhol ingliz tiliga o'tdi.

Men o'zim faqat ingliz tilida onlayn translyatsiyaning ochilish va yopilish qo'shimchalarini bajarishim va mutaxassislar bilan bir nechta rekord suhbatlarda qatnashishim kerak edi. Va bu men uchun yaqinda unutilmaydigan haqiqiy sinov edi. Bir payt Oleg Anastasyev (m0nstermind) shunchaki suhbat davomida ular bilan o'tirishimni aytdi va men bu nimani anglatishini tushunishga juda sekin edim.

Boshqa tomondan, ma'ruzalarda odamlarning savol-javob bilan chiqishlari juda yoqimli edi. Nafaqat ona tilida so'zlashuvchilar, balki hamma ham yaxshi ishladi. Boshqa konferentsiyalarda ko'pincha odamlar tinglovchilardan buzilgan ingliz tilida savol berishdan uyaladilar va faqat muhokama maydonida nimanidir siqib chiqarishlari mumkin. Bu erda bu butunlay boshqacha edi. Nisbatan aytadigan bo'lsak, ba'zi Cliff Click o'z hisobotlarini biroz oldinroq tugatdi va shundan so'ng savollar uzluksiz ketma-ketlikda davom etdi, suhbat noqulay pauzalar va uzilishlarsiz muhokama zonasiga o'tdi. Xuddi shu narsa Lesli Lemportning savol-javob sessiyasiga ham tegishli; taqdimotchi deyarli o'z savollarini berishi shart emas edi, ishtirokchilar hamma narsani o'ylab topishdi.

Har qanday mayda-chuyda narsalar bor edi, ular kamdan-kam odam sezadi, lekin ular mavjud. Konferensiya ingliz tilida bo‘lgani uchun varaqalar, xaritalar kabi narsalarning dizayni engilroq va ixchamroq. Tillarni takrorlash va dizaynni chalkashtirishning hojati yo'q.

Homiylar va ko'rgazma

Konferensiyani tashkil etishda homiylarimiz bizga katta yordam berishdi. Ularga rahmat, tanaffus paytida har doim nimadir qilish kerak edi.

Stendda Deutsche Bank TechCenter Siz ko'p tarmoqli tizim muhandislari bilan suhbatlashishingiz, ularning muammolarini o'zingiz hal qilishingiz, esdalik sovg'alarini yutib olishingiz va vaqtni yaxshi o'tkazishingiz mumkin.

Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

Stendda Kontur biz ularning ochiq va ochiq manbali tizimlari haqida gapirishimiz mumkin: xotirada taqsimlangan ma'lumotlar bazasi, taqsimlangan ikkilik jurnal, mikroservis orkestrlash tizimi, telemetriya uchun universal transport va boshqalar. Va, albatta, jumboqlar va musobaqalar, ikkilik mushuk va Azobli o'rta asrlar bilan stikerlar, Martin Kleppmanning kitobi va LEGO figuralari kabi sovg'alar.

E'tibor bering, Kontur muammolari allaqachon tahlil qilingan Habré-da nashr etilgan. Yaxshi tahlil, ko'rib chiqishga arziydi.

Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

Xohlaganlar har xil kitoblarni xarid qilib, hamkasblari bilan muhokama qilishlari mumkin edi. Avtograf sessiyasiga butun olomon yig'ildi!

Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

natijalar

Hydra konferensiyasi va SPTDC maktabi biz uchun tashkilotchi kompaniya va butun jamiyat uchun juda muhim voqealardir. Bu bizning kelajagimizga qarash, zamonaviy muammolarni muhokama qilish uchun yagona kontseptual asosni ishlab chiqish va qiziqarli yo'nalishlarni yaqindan ko'rib chiqish imkoniyatidir. Multithreading juda uzoq vaqtdan beri mavjud, biroq bu hodisa keng tarqalishi uchun birinchi haqiqiy ko'p yadroli protsessor paydo bo'lganidan keyin butun o'n yil kerak bo'ldi. Bu haftagi ma'ruzalarda eshitganimiz o'tkinchi yangiliklar emas, balki kelgusi yillarda biz davom etadigan yorqin kelajak sari yo'ldir. Ushbu postda keyingi Hydra uchun hech qanday spoylerlar bo'lmaydi, lekin siz eng yaxshisiga umid qilishingiz mumkin. Agar siz shu kabi masalalarga qiziqsangiz, qattiq konferentsiya suhbatlari kabi boshqa tadbirlarimizni ko'rib chiqishingiz mumkin Joker 2019 yoki DotNext 2019 Moskva. Keyingi anjumanlarda ko'rishguncha!

Uchta Dijkstra mukofoti g'oliblari: Hydra 2019 va SPTDC 2019 qanday o'tdi

Manba: www.habr.com

a Izoh qo'shish