Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

Bu yaxınlarda, iyulun 8-dən 12-dək eyni vaxtda iki əlamətdar hadisə baş verdi - konfrans Hydra və məktəb SPTDC. Bu yazıda konfrans zamanı müşahidə etdiyimiz bir neçə xüsusiyyəti vurğulamaq istərdim.

Hydra və Məktəbin ən böyük qüruru natiqlərdir.

  • Üç laureat Dijkstra Mükafatları: Leslie Lamport, Maurice Herlihy və Michael Scott. Üstəlik, Maurice iki dəfə aldı. Leslie Lamport da aldı Turinq Mükafatı — kompüter elmində ən nüfuzlu ACM mükafatı;
  • Java JIT kompilyatorunun yaradıcısı Cliff Click-dir;
  • Corutin tərtibatçıları - Roman Elizarov (elizarov) və Nikita Koval (ndkoval) Kotlin üçün və Dmitri Vyukov Go üçün;
  • Cassandra (Aleks Petrov), CosmosDB (Denis Rystsov), Yandex Database (Semyon Checherinda və Vladislav Kuznetsov) üçün töhfə verənlər;
  • Və bir çox digər məşhur insanlar: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (C++ yaddaş modeli), Pedro Ramalhete (gözləməsiz məlumat strukturları), Aleksey Zinovyev (ML), Dmitri Buqayçenko (qrafik analiz).

Və bu artıq Məktəbdir:

  • Brown Universiteti (Maurice Herlihy),
  • Rochester Universiteti (Michael Scott),
  • Waterloo Universiteti (Trevor Brown),
  • Nantes Universiteti (Achour Mostefaoui),
  • David Ben-Qurion Negev Universiteti (Danny Hendler),
  • Los Ancelesdəki Kaliforniya Universiteti (Eli Gafni),
  • Paris Politexnik İnstitutu (Petr Kuznetsov),
  • Microsoft Araşdırma (Leslie Lamport),
  • VMware Araşdırması (Ittai Abraham).

Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

Nəzəriyyə və təcrübə, elm və istehsalat

Nəzərinizə çatdırım ki, SPTDC Məktəbi yüz yarım insan üçün kiçik bir tədbirdir, dünya səviyyəli korifeylər oraya toplaşır və paylanmış hesablamalar sahəsində müasir məsələlərdən danışırlar. Hydra paralel olaraq keçirilən iki günlük paylanmış hesablama konfransıdır. Hydra daha çox mühəndislik, Məktəbdə isə daha çox elmi diqqət var.

Hydra konfransının məqsədlərindən biri elmi və mühəndislik prinsiplərini birləşdirməkdir. Bir tərəfdən, buna proqramda hesabatların seçilməsi ilə nail olunur: Lamport, Herlihy və Scott ilə yanaşı, Cassandra-ya töhfə verən Aleks Petrov və ya JetBrains-dən Roman Elizarov tərəfindən daha çox tətbiq olunan hesabatlar var. Əvvəllər startaplar qurub satan və indi Kembric Universitetində CRDT üzrə təhsil alan Martin Kleppman var. Ancaq maraqlısı odur ki, Hydra və SPTDC yan-yana keçirilir - onların fərqli hesabatları var, lakin ünsiyyət üçün ümumi yerdir.

Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

Daldırma

Ardıcıl beş gün Məktəb çox böyük hadisədir və həm iştirakçılar, həm də təşkilatçılar üçün çox iş yüküdür. Hər kəs son günlərə çata bilmədi. Hydra və Məktəbə eyni vaxtda gedənlər var idi və onlar üçün son günlər ən hadisəli oldu. Bütün bu təlaş inanılmaz dərəcədə dərin bir daldırma ilə əvəzlənir. Bu, yalnız həcmlə deyil, həm də materialın keyfiyyəti ilə bağlıdır. Hər iki tədbirdə bütün məruzə və mühazirələrin giriş xarakteri nəzərdə tutulmamışdı, ona görə də hara getsən, dərhal uzaqlara və dərinliyə dalırsan və səni sona qədər buraxmırlar.

Təbii ki, iştirakçının ilkin hazırlığından çox şey asılıdır. Dəhlizdə iki qrup insan Haydi Hovardın hesabatını müstəqil şəkildə müzakirə edərkən gülməli bir məqam yaşandı: bəzilərinə bu, tamamilə adi göründü, digərləri isə əksinə, həyat haqqında dərindən düşündülər. Maraqlıdır ki, proqram komitələrinin iştirakçılarına (anonim qalmaq istəyənlər) görə, Hydranın məruzələri və Məktəbin öz tədbirlərində mühazirələri həddindən artıq keyfiyyətli ola bilər. Məsələn, bir PHP gənci həyatı öyrənmək üçün PHP konfransına gəlsəydi, onun Zend Engine-in daxili hissələri haqqında dərin biliyə malik olduğunu düşünmək bir az tələsik olardı. Burada natiqlər yeniyetmələrə qaşıq yemədilər, dərhal müəyyən bilik və anlayış səviyyəsini nəzərdə tuturdular. Doğrudan da, paylanmış sistemləri idarə edən və iş vaxtı nüvələrini yazan iştirakçıların səviyyəsi çox yüksəkdir, bu məntiqlidir. İştirakçıların reaksiyasına əsasən, səviyyə və mövzu əsasında hesabat seçmək kifayət qədər asan idi.

Konkret hesabatlardan danışsaq, onların hamısı özünəməxsus şəkildə yaxşı idi. İnsanların dediklərinə və rəy formasından görünənlərə əsasən, Məktəbdəki ən maraqlı hesabatlardan biri idi "Bloklanmayan məlumat strukturları" Michael Scott, o, sadəcə hər kəsi parçaladı, onun 4.9 civarında anormal reytinqi var.

Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

Metakonfrans

Hydra və Məktəb başlamazdan çox əvvəl Ruslan ARG89 bir növ "meta-konfransın" olacağını güman edirdilər - konfranslar konfransı, burada digər tədbirlərin bütün ən yaxşı iştirakçıları avtomatik olaraq qara dəliyə daxil olacaqlar. Və belə oldu! Məsələn, Məktəbin tələbələri arasında diqqət çəkdi Ruslan Cheremin multithreading üzrə tanınmış mütəxəssis DeutscheBank-dan.

Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

Və Hydra üzvləri fərq edildi Vadim Tsesko (inkubus) Və Andrey Pangin (apangin) Odnoklassniki şirkətindən. (Eyni zamanda, Vadim də bizə Martin Kleppmanla iki əla müsahibə verməyə kömək etdi - biri Habr üçün, digəri isə onlayn yayımı izləyənlər üçün). Üzvləri var idi DotNext Proqram Komitəsi, məşhur natiqlər Anatoli Kulakov və İqor Labutin. Cavistlər var idi Dmitri Aleksandrov и Vladimir İvanov. Adətən siz bu insanları tamamilə fərqli yerlərdə görürsünüz - DotNext-də dotnetistlər, Joker-də javaistlər və s. Beləliklə, onlar Hydra hesabatlarında yan-yana otururlar və birlikdə həvəskarlardakı problemləri müzakirə edirlər. Proqramlaşdırma dilləri və texnologiyaları üzrə bu bir qədər süni bölgü aradan qalxdıqda, mövzu sahəsinin xüsusiyyətləri ortaya çıxır: dinamik iş vaxtı mütəxəssisləri digər runtaymerlərlə əlaqə qurur, paylanmış hesablama nəzəriyyəsi tədqiqatçıları digər tədqiqatçılarla qızğın mübahisə edirlər, verilənlər bazası mühərriki mühəndisləri lövhəni sıxışdırırlar və s. .

Hesabatda C++ yaddaş modelinə görə OpenJDK tərtibatçıları ön sırada oturmuşdular (heç olmasa mən onları görmədən tanıyıram, amma Pitonçular yox, bəlkə də Pitonçular da orada idi). Əslində, Şipilevski bu hesabatda elə bir şey var ki... Ori tam olaraq eyni şeyi demir, amma diqqətli baxmaq paralelləri aşkar edə bilər. Ən son C++ standartlarında baş verən hər şeydən sonra belə, açıq hava dəyərləri kimi problemlər hələ də həll edilməmişdir və belə bir hesabata girib "barrikadanın digər tərəfindəki" insanların necə olduğunu dinləyə bilərsiniz. Bu problemləri həll etməyə çalışarkən, onlar düşündükləri kimi, tapılan həllə yanaşmalardan heyran ola bilərsiniz (Ori'nin həll variantlarından biri var).

Proqram komitələrində və icma motorlarında çoxlu iştirakçı var idi. Hər kəs öz dinlərarası problemlərini həll etdi, körpülər qurdu, əlaqələr əldə etdi. Mən bunu bacardığım yerdə istifadə etdim və məsələn, Alexander Borgardt ilə razılaşdıq Moskva C++ İstifadəçi Qrupu birlikdə C++ dilində aktyorlar və asinxroniya haqqında tam miqyaslı məqalə yazın.

Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

Fotoda: Leonid Talalaev (ltalal, sol) və Oleq Anastasyev (m0nstermind, sağda), Odnoklassniki-də aparıcı tərtibatçılar

Yanğın müzakirə zonaları və həvəskarları

Konfranslarda həmişə məruzəçilərlə yanaşı, mövzunu da bilən iştirakçılar olur (bəzən hətta natiqlərdən daha yaxşı - məsələn, iştirakçılar arasında hansısa texnologiyanın nüvəsini yaradan şəxs olduqda). Hydra-da belə yüksək ekspert iştirakçılar çox idi. Məsələn, bir anda Alex Petrov ətrafında danışır Cassandra haqqında, o qədər insan formalaşmışdı ki, hamıya cavab verə bilmədi. Bir anda Aleks rəvan şəkildə yan tərəfə itələndi və suallarla yırtılmağa başladı, lakin düşən bayraq dairələrdə tanınmış Rust tərtibatçısı tərəfindən götürüldü. Tayler Nili və yükü mükəmməl balanslaşdırdı. Mən Taylerdən onlayn müsahibə ilə bağlı kömək istədikdə o, yalnız “Nə vaxt başlayacağıq?” oldu.

Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

Bəzən müzakirə ruhu hətta hesabatlara da çatırdı: Nikita Koval hesabatı bir neçə bölməyə bölərək qəfil sual-cavab sessiyası təşkil etdi.

Və əksinə, çox iş parçacığı üçün BOF-da qeyri-sabit yaddaş haqqında xatırladılar, bu bof-a cəlb olundular. Pedro Ramalhete baş mütəxəssis kimi hər şeyi hamıya başa saldı (bir sözlə, qeyri-sabit yaddaş yaxın gələcəkdə bizim üçün təhlükə deyil). Yeri gəlmişkən, bu bofun aparıcılarından biri idi Vladimir Sitnikov, bəzi çılğın sayda konfransların proqram komitələrində xidmət edən ... indi bir anda beş kimi görünür. “Real dünyada müasir CS” haqqında növbəti buffda onlar NVM-i də müzakirə etdilər və buna tamamilə özbaşına gəldilər.

Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

Hekayədə birbaşa iştirak edənlərin belə fərqinə varmadığı bir super fikir paylaşa bilərəm. Eli Qafni Məktəbin ilk günü axşam çıxış etdi və ertəsi gün qalıb Lamportu troll etməyə başladı və kənardan görünürdü ki, bu oyundur və Eli qeyri-adekvatdır. Bu, Leslie'nin beynini çıxarmaq üçün yola çıxan bir növ troldur. Əslində, fakt budur ki, onlar demək olar ki, ən yaxşı dostdurlar, uzun illərdir dostdurlar və bu, sadəcə belə bir dostluq zarafatıdır. Yəni zarafat işə yaradı - ətrafdakıların hamısı buna düşdü, onu nominal olaraq qəbul etdilər.

Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

Natiqlərin buna nə qədər məhəbbət və səy göstərdiklərini ayrıca qeyd etmək istərdim. Kimsə son dəqiqəyə qədər, demək olar ki, saatlarla müzakirə meydanında dayandı. Fasilə çoxdan bitdi, hesabat başladı, bitdi, növbəti fasilə başladı - və Dmitri Vyukov suallara cavab verməyə davam etdi. Maraqlı bir hekayə də mənim başıma gəldi - Cliff Click-i təəccübləndirərək, testlərin olmaması ilə bağlı bu təxribatçı müzakirənin nəinki aydın və əsaslı izahını aldım. H2O-da müəyyən şeylər üçün, həm də tam nəzərdən keçirdim yeni dil AA. Bunu heç vaxt istəməmişəm: AA haqqında nə oxuya biləcəyinizi soruşdum (məlum oldu ki, dinləyə bilərsiniz podcast) və bunun əvəzinə Kliff yarım saat dil haqqında danışmağa və dediklərinin düzgün başa düşüldüyünü yoxlamağa sərf etdi. Möhtəşəm. AA haqqında bir habrapost yazmalıyıq. Başqa bir qeyri-adi təcrübə Kotlin-də çəkmə sorğusunun nəzərdən keçirilməsi prosesini izləmək idi. Fərqli müzakirə qruplarına, fərqli natiqlərə daxil olanda və tamamilə yeni bir dünyaya qərq olanda bu, həqiqətən sehrli bir hissdir. Bu səviyyədə bir şeydir Radiohead tərəfindən "Orada, Orada".

Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

İngilis dili

Hydra 2019 əsas dilin ingilis dili olduğu ilk konfransımızdır. Bu, həm üstünlüklərini, həm də çətinliklərini gətirir. Aşkar bir üstünlük ondan ibarətdir ki, insanlar konfransa təkcə Rusiyadan gəlmirlər, ona görə də iştirakçılar arasında Avropadan mühəndislərə və İngiltərədən olan alimlərə rast gəlmək olar. Natiqlər tələbələrini gətirirlər. Ümumiyyətlə, mühüm məruzəçilərin belə bir konfransa getməyə daha çox motivasiyası var. Təsəvvür edin ki, siz tamamilə rusdilli konfransda məruzəçisiniz: məruzəni vermisiniz, müzakirə sahəsini müdafiə etmisiniz, sonra nə? Şəhər ətrafında səyahət və turistik yerləri görmək? Əslində, həqiqətən məşhur natiqlər artıq dünyada hər şeyi kifayət qədər görmüşlər, aslanları və körpüləri görmək istəmirlər, cansıxıcıdırlar. Əgər bütün məruzələr ingilis dilindədirsə, onlar ümumi əsaslarla konfransda iştirak edə, əylənə, müzakirə sahələrinə qoşula və s. Atmosfer natiqlərə qarşı olduqca mehribandır.

Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

Aşkar çatışmazlıq odur ki, hər kəs ingilis dilində rahat ünsiyyət qura bilmir. Çoxları yaxşı başa düşür, amma pis danışır. Ümumiyyətlə, müxtəlif yollarla həll olunan adi şeylər. Məsələn, bəzi müzakirə sahələri rus dilində başladı, lakin ilk ingilisdilli iştirakçı peyda olanda dərhal ingilis dilinə keçdi.

Mən özüm onlayn yayımın açılış və yekun əlavələrini yalnız ingilis dilində etməli və ekspertlərlə bir neçə rekord müsahibədə iştirak etməli idim. Və bu mənim üçün tezliklə unudulmayacaq əsl sınaq idi. Bir anda Oleq Anastasyev (m0nstermind) sadəcə müsahibə zamanı onlarla oturmağımı söylədi və bunun nə demək olduğunu başa düşmək üçün çox yavaşdım.

Digər tərəfdən, reportajlarda insanların səs-küylü suallar verməsi çox xoş idi. Təkcə ana dili olanlar deyil, ümumiyyətlə hamı yaxşı işləyirdi. Digər konfranslarda tez-tez müşahidə olunur ki, insanlar sınmış ingilis dilində auditoriyadan sual verməkdən utanırlar və yalnız müzakirə meydanında nəyisə sıxışdıra bilirlər. Burada bu tamam başqa idi. Nisbətən desək, bəzi Cliff Click hesabatlarını bir az əvvəl bitirdi və bundan sonra suallar davamlı ardıcıllıqla davam etdi, söhbət müzakirə zonasına keçdi - yöndəmsiz fasilələr və fasilələr olmadan. Eyni şey Leslie Lamport-un sual-cavab sessiyasına da aiddir; aparıcı praktiki olaraq suallarını verməli deyildi, iştirakçılar hər şeyi tapdılar.

Az adamın fərqinə vardığı hər cür xırda şeylər var idi, lakin onlar mövcuddur. Konfrans ingilis dilində olduğu üçün vərəqə və xəritə kimi əşyaların dizaynı daha yüngül və yığcamdır. Dilləri təkrarlamağa və dizaynı qarışdırmağa ehtiyac yoxdur.

Sponsorlar və sərgi

Konfransın yaradılmasında sponsorlarımız bizə çox kömək etdilər. Onların sayəsində fasilələrdə həmişə görüləsi iş olurdu.

Stenddə Deutsche Bank TechCenter çox yivli sistemlərin mühəndisləri ilə söhbət edə, onların problemlərini öz başınızdan həll edə, yaddaqalan hədiyyələr qazana və sadəcə yaxşı vaxt keçirə bilərsiniz.

Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

Stenddə Kontur onların həm açıq, həm də açıq mənbə sistemləri haqqında danışa bilərik: paylanmış yaddaşdaxili verilənlər bazası, paylanmış ikili jurnal, mikroservis orkestrasiya sistemi, telemetriya üçün universal nəqliyyat və s. Və təbii ki, tapmacalar və yarışmalar, ikili pişik və Əzab çəkən Orta əsrlər ilə stikerlər, Martin Kleppmannın kitabı və LEGO fiqurları kimi hədiyyələr.

Nəzərə alın ki, Kontur problemlərinin təhlili artıq aparılır Habré-də dərc edilmişdir. Yaxşı təhlil, baxmağa dəyər.

Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

Arzu edənlər hər cür kitabları alıb həmkarları ilə müzakirə edə bilərlər. Avtoqraf seansına bütöv bir izdiham toplandı!

Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

Nəticələri

Hydra Konfransı və SPTDC Məktəbi təşkilatçı şirkət olaraq bizim üçün və bütün cəmiyyət üçün çox mühüm hadisələrdir. Bu, gələcəyimizə baxmaq, müasir problemlərin müzakirəsi üçün vahid konseptual çərçivə hazırlamaq və maraqlı istiqamətlərə daha yaxından baxmaq şansıdır. Multithreading çox uzun müddətdir mövcud idi, lakin bu fenomenin geniş yayılması üçün ilk həqiqətən çox nüvəli prosessorun ortaya çıxmasından sonra tam on il çəkdi. Bu həftəki hesabatlarda eşitdiklərimiz keçici xəbərlər deyil, gələcək illərdə izləyəcəyimiz parlaq gələcəyə aparan yoldur. Bu yazıda növbəti Hydra üçün heç bir spoyler olmayacaq, ancaq ən yaxşısına ümid edə bilərsiniz. Əgər bu kimi məsələlərlə maraqlanırsınızsa, sərt konfrans danışıqları kimi digər tədbirlərimizə baxa bilərsiniz Joker 2019 və ya DotNext 2019 Moskva. Növbəti konfranslarda görüşənədək!

Dijkstra Mükafatının üç qalibi: Hydra 2019 və SPTDC 2019 necə keçdi

Mənbə: www.habr.com

Добавить комментарий