Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

Ostatnio, w dniach 8-12 lipca, miały miejsce jednocześnie dwa znaczące wydarzenia - konferencja Hydra i szkoła SPTDC. W tym poście chciałbym podkreślić kilka cech, które zauważyliśmy podczas konferencji.

Największą dumą Hydry i Szkoły są głośniki.

  • Trzej laureaci Nagrody Dijkstry: Leslie Lamport, Maurice Herlihy i Michael Scott. Co więcej, Maurice otrzymał go dwukrotnie. Otrzymała także Leslie Lamport Nagroda Turinga — najbardziej prestiżowa nagroda ACM w dziedzinie informatyki;
  • Twórcą kompilatora Java JIT jest Cliff Click;
  • Twórcy Corutina - Roman Elizarov (Elizarow) i Nikita Koval (ndkowal) dla Kotlina i Dmitrij Vyukov dla Go;
  • Współpracownicy Cassandra (Alex Petrov), CosmosDB (Denis Rystsov), Yandex Database (Siemion Checherinda i Vladislav Kuznetsov);
  • I wiele innych znanych osób: Martin Kleppmann (CRDT), Heidi Howard (Paxos), Ori Lahav (model pamięci w C++), Pedro Ramalhete (struktury danych bez oczekiwania), Alexey Zinowiev (ML), Dmitry Bugaichenko (analiza grafów).

A to już Szkoła:

  • Uniwersytet Browna (Maurice Herlihy),
  • Uniwersytet w Rochester (Michael Scott),
  • Uniwersytet Waterloo (Trevor Brown),
  • Uniwersytet w Nantes (Achour Mostefaoui),
  • Uniwersytet Davida Ben-Guriona w Negewie (Danny Hendler),
  • Uniwersytet Kalifornijski w Los Angeles (Eli Gafni),
  • Instytut Politechniczny w Paryżu (Petr Kuznetsov),
  • Badania Microsoftu (Leslie Lamport),
  • Badania VMware (Ittai Abraham).

Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

Teoria i praktyka, nauka i produkcja

Przypomnę, że Szkoła SPTDC to kameralne wydarzenie na półtora tysiąca osób, gromadzą się w niej światowej klasy luminarze, którzy rozmawiają o współczesnych zagadnieniach z zakresu przetwarzania rozproszonego. Hydra to dwudniowa konferencja poświęcona przetwarzaniu rozproszonemu, odbywająca się równolegle. Hydra skupia się bardziej na inżynierii, podczas gdy Szkoła skupia się bardziej na nauce.

Jednym z celów konferencji Hydra jest połączenie zasad naukowych i inżynieryjnych. Z jednej strony osiąga się to poprzez selekcję raportów w programie: obok Lamporta, Herlihy'ego i Scotta znacznie więcej jest raportów stosowanych autorstwa Alexa Petrova, który współpracuje z Cassandrą, czy Romana Elizarowa z JetBrains. Jest Martin Kleppman, który kiedyś budował i sprzedawał startupy, a obecnie studiuje CRDT na Uniwersytecie Cambridge. Ale fajne jest to, że Hydra i SPTDC są trzymane obok siebie - mają różne raporty, ale wspólne miejsce komunikacji.

Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

Zanurzenie

Pięć dni Szkoły z rzędu to bardzo duże wydarzenie i mnóstwo pracy, zarówno dla uczestników, jak i organizatorów. Nie wszystkim udało się dożyć ostatnich dni. Byli tacy, którzy chodzili do Hydry i Szkoły jednocześnie i dla nich ostatnie dni okazały się najbardziej bogate w wydarzenia. Całe to zamieszanie rekompensuje niesamowicie głęboka immersja. Wynika to nie tylko z objętości, ale także z jakości materiału. Wszystkie reportaże i wykłady na obu wydarzeniach nie miały mieć charakteru wprowadzającego, dlatego gdziekolwiek się udasz, od razu nurkujesz daleko i głęboko i nie puszczasz się aż do samego końca.

Oczywiście wiele zależy od wstępnego przygotowania uczestnika. Doszło do zabawnego momentu, gdy dwie grupy ludzi na korytarzu niezależnie omawiały raport Heidi Howard: niektórym wydawał się on zupełnie zwyczajny, inni wręcz przeciwnie, głęboko zastanawiali się nad życiem. Co ciekawe, zdaniem uczestników komitetów programowych (chcących zachować anonimowość) raporty Hydry i wykłady Szkoły na ich wydarzeniach mogły być zawyżone. Na przykład, jeśli junior PHP przyszedł na konferencję PHP, aby nauczyć się życia, pochopnym byłoby założyć, że ma głęboką wiedzę na temat wewnętrznych elementów Zend Engine. Tutaj mówcy nie karmili juniorów łyżką, ale od razu sugerowali pewien poziom wiedzy i zrozumienia. Rzeczywiście, poziom uczestników obsługujących systemy rozproszone i piszących jądra wykonawcze jest bardzo wysoki, jest to logiczne. Sądząc po reakcjach uczestników, wybór raportu na podstawie poziomu i tematu był dość łatwy.

Jeśli mówimy o konkretnych raportach, wszystkie były dobre na swój sposób. Sądząc po tym, co mówią ludzie i co widać z formularza opinii, jednym z najfajniejszych raportów w Szkole był „Nieblokujące struktury danych” Michael Scott, po prostu wszystkich rozszarpał, ma nienormalną ocenę w okolicach 4.9.

Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

Metakonferencja

Na długo przed rozpoczęciem „Hydra i szkoła”, Rusłan ARG89 zakładano, że odbędzie się swego rodzaju „metakonferencja” – konferencja konferencji, w którą wszyscy czołowi uczestnicy innych wydarzeń zostaną automatycznie wciągnięci, jak w czarną dziurę. I tak się stało! Zauważono to na przykład wśród uczniów Szkoły Rusłan Czeremin od DeutscheBank, znanego specjalisty w dziedzinie wielowątkowości.

Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

I członkowie Hydry zostali zauważeni Wadim Cesko (inkuby) I Andriej Pangin (apangin) od firmy Odnoklassniki. (W tym samym czasie Vadim pomógł nam także w przeprowadzeniu dwóch znakomitych wywiadów z Martinem Kleppmanem - jeden dla Habra, a drugi dla widzów transmisji on-line). Byli członkowie Komitet Programowy DotNext, znani mówcy Anatolij Kułakow i Igor Labutin. Byli wśród Jawistów Dmitrij Aleksandrow и Władimir Iwanow. Zwykle widzisz tych ludzi w zupełnie innych miejscach – dotnetistów w DotNext, javaistów w Jokerze i tak dalej. I tak siedzą obok siebie przy raportach Hydry i wspólnie omawiają problemy dotyczące wzmocnień. Kiedy zniknie ten nieco sztuczny podział na języki programowania i technologie, wyłaniają się cechy obszaru tematycznego: specjaliści ds. dynamicznego środowiska wykonawczego komunikują się z innymi programistami wykonawczymi, badacze teorii obliczeń rozproszonych zawzięcie kłócą się z innymi badaczami, inżynierowie silników baz danych tłoczą się na tablicy i tak dalej .

Na raporcie zgodnie z modelem pamięci C++ programiści OpenJDK siedzieli w pierwszym rzędzie (przynajmniej znam ich z widzenia, ale nie Pythonistów, może Pythoniści też tam byli). Rzeczywiście jest coś w tym raporcie Shipilevsky'ego... Ori nie mówi dokładnie tego samego, ale uważne spojrzenie pozwala wykryć podobieństwa. Nawet po tym wszystkim, co wydarzyło się w najnowszych standardach C++, nadal nie zostały naprawione problemy takie jak wartości z powietrza, więc można było udać się do takiego raportu i posłuchać, jak radzą sobie ludzie „po drugiej stronie barykady” próbując rozwiązać te problemy, jak twierdzą, można być pod wrażeniem podejścia do znalezionego rozwiązania (Ori ma jedną z opcji naprawy).

Było wielu uczestników w komitetach programowych i silnikach społecznościowych. Wszyscy rozwiązali swoje problemy międzywyznaniowe, zbudowali mosty i nabyli kontakty. Korzystałem z tego, gdzie tylko mogłem i na przykład zgodziliśmy się z Alexandrem Borgardtem z Moskiewska Grupa Użytkowników C++ wspólnie napiszcie obszerny artykuł na temat aktorów i asynchronii w C++.

Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

na zdjęciu: Leonid Talałajew (talal, po lewej) i Oleg Anastasiew (umysł, po prawej), czołowi programiści w Odnoklassnikach

Ogień strefy dyskusji i wzmocnienia

Na konferencjach zawsze są uczestnicy, którzy znają temat tak samo jak prelegenci (a czasem nawet lepiej niż prelegenci – np. gdy wśród uczestników jest twórca rdzenia jakiejś technologii). Na Hydrze było wielu tak doświadczonych uczestników. Na przykład w pewnym momencie Alex Petrov opowiada o Cassandrze, utworzyło się tak wiele osób, że nie był w stanie odpowiedzieć każdemu. W pewnym momencie Alex został płynnie zepchnięty na bok i zaczął być targany pytaniami, jednak spadającą flagę podchwycił znany w kręgach deweloper Rusta Tylera Neely’ego i doskonale zrównoważył ładunek. Kiedy poprosiłem Tylera o pomoc w rozmowie kwalifikacyjnej online, jedyne, co zapytał, to: „Kiedy zaczynamy?”

Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

Czasami duch dyskusji przenikał nawet do raportów: Nikita Koval organizował nagłą sesję pytań i odpowiedzi, dzieląc raport na kilka części.

I odwrotnie, na BOF dla wielowątkowości pamiętali o pamięci nieulotnej, przyciągnęło ich to bof Pedro Ramalhete jako główny specjalista i on wszystko wszystkim wyjaśnił (krótko mówiąc, pamięć nieulotna nie stanowi dla nas zagrożenia w najbliższej przyszłości). Nawiasem mówiąc, jednym z gospodarzy tego bofa był Włodzimierz Sitnikow, który zasiada w komitetach programowych jakiejś szalonej liczby konferencji... obecnie wydaje się, że jest ich pięć na raz. Przy kolejnym buffie na temat „Nowoczesnego CS w prawdziwym świecie” omówili także NVM i doszli do tego zupełnie sami.

Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

Mogę podzielić się super spostrzeżeniem, którego nawet osoby bezpośrednio zaangażowane w tę historię mogły nie zauważyć. Eli Gafni wystąpił wieczorem pierwszego dnia Szkoły, a następnego dnia został i zaczął trollować Lamporta, a z zewnątrz wydawało się, że to była zabawa, a Eli był nieodpowiedni. Że to jakiś troll, który postanowił wyjąć mózg Leslie. Tak naprawdę faktem jest, że są prawie najlepszymi przyjaciółmi, przyjaźnią się od wielu lat i to jest właśnie takie przyjacielskie przekomarzanie się. Oznacza to, że żart zadziałał - wszyscy ludzie wokół dali się nabrać, przyjęli go za dobrą monetę.

Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

Osobno chciałbym zwrócić uwagę, ile serca i wysiłku włożyli w to głośniki. Ktoś stał w miejscu dyskusji do ostatniej chwili, niemal godzinami. Przerwa skończyła się dawno temu, raport się zaczął, skończył, zaczęła się następna przerwa - i Dmitrij Wiukow nadal odpowiadał na pytania. Mnie też przydarzyła się ciekawa historia - zaskoczywszy Cliff Click, otrzymałem nie tylko jasne i rozsądne wyjaśnienie tej prowokacyjnej dyskusji na temat braku testów dla pewnych rzeczy w H2O, ale także otrzymałem jego pełną recenzję nowy język AA. Nigdy o to nie prosiłem: pytałem tylko, co możesz przeczytać o AA (okazało się, że możesz słuchać podcast), a zamiast tego Cliff spędził pół godziny na rozmowach o języku i sprawdzaniu, czy to, co mówi, zostało poprawnie zrozumiane. Cudowny. Musimy napisać habrapost o AA. Kolejnym niezwykłym doświadczeniem było obserwowanie procesu przeglądu żądania ściągnięcia w Kotlinie. To naprawdę magiczne uczucie, kiedy wchodzisz do różnych grup dyskusyjnych, do różnych mówców i zanurzasz się w zupełnie nowy świat. To jest coś na poziomie „Tam, tam” Radiohead.

Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

Język angielski

Hydra 2019 to nasza pierwsza konferencja, na której głównym językiem jest język angielski. Niesie to ze sobą zarówno zalety, jak i wyzwania. Oczywistą zaletą jest to, że na konferencję przyjeżdżają ludzie nie tylko z Rosji, dlatego wśród uczestników można spotkać inżynierów z Europy i naukowców z Anglii. Prelegenci przyprowadzają swoich uczniów. Generalnie ważni prelegenci mają znacznie większą motywację do wyjazdu na taką konferencję. Wyobraź sobie, że jesteś prelegentem na całkowicie rosyjskojęzycznej konferencji: złożyłeś raport, broniłeś obszaru dyskusji i co dalej? Podróżować po mieście i zobaczyć atrakcje turystyczne? Tak naprawdę naprawdę popularni mówcy widzieli już wystarczająco dużo wszystkiego na świecie, nie chcą oglądać lwów i mostów zwodzonych, nudzą się. Jeśli wszystkie raporty są w języku angielskim, mogą oni ogólnie uczestniczyć w konferencji, dobrze się bawić, dołączać do obszarów dyskusyjnych i tak dalej. Atmosfera jest dość przyjazna dla prelegentów.

Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

Oczywistą wadą jest to, że nie każdy czuje się komfortowo porozumiewając się po angielsku. Wielu rozumie dobrze, ale słabo mówi. Ogólnie rzecz biorąc, zwykłe rzeczy, które zostały rozwiązane na różne sposoby. Na przykład niektóre obszary dyskusji rozpoczynały się w języku rosyjskim, ale natychmiast przechodziły na angielski, gdy pojawił się pierwszy anglojęzyczny uczestnik.

Sam musiałem przygotować początkowe i końcowe włączenia audycji internetowej wyłącznie w języku angielskim i wziąć udział w kilku nagranych wywiadach z ekspertami. I było to dla mnie prawdziwe wyzwanie, o którym długo nie zapomnę. W pewnym momencie Oleg Anastasiew (umysł) po prostu kazał mi siedzieć z nimi podczas rozmowy, ale byłem zbyt powolny, aby zrozumieć, co to znaczy.

Natomiast bardzo miło było, że ludzie z hukiem zadawali pytania przy raportach. Nie tylko rodzimi użytkownicy języka, ale ogólnie wszyscy, poszło dobrze. Na innych konferencjach często widać, że ludzie wstydzą się zadawać pytania słuchaczom łamanym angielskim i potrafią jedynie wydusić coś w obszarze dyskusji. Tutaj było zupełnie inaczej. Relatywnie rzecz biorąc, niektórzy Cliff Click skończyli swoje raporty nieco wcześniej, a po tym, jak pytania następowały w ciągłej sekwencji, rozmowa przeniosła się do strefy dyskusji - bez niezręcznych przerw i przerw. Podobnie jest w przypadku sesji Q&A Lesliego Lamporta – prezenter praktycznie nie musiał zadawać pytań, uczestnicy wszystko wymyślili.

Było mnóstwo drobnych rzeczy, na które niewiele osób zwraca uwagę, ale one istnieją. Dzięki temu, że konferencja prowadzona jest w języku angielskim, projekt m.in. ulotek i map jest lżejszy i bardziej zwięzły. Nie ma potrzeby duplikowania języków i zaśmiecania projektu.

Sponsorzy i wystawa

W przygotowaniu konferencji bardzo pomogli nam sponsorzy. Dzięki nim podczas przerw zawsze było co robić.

Na stoisku Centrum Technologiczne Deutsche Banku można było porozmawiać z inżynierami systemów wielowątkowych, rozwiązać ich problemy w głowie, wygrać niezapomniane nagrody i po prostu dobrze się bawić.

Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

Na stoisku Kontur moglibyśmy mówić o ich własnych systemach, zarówno otwartych, jak i open source: rozproszona baza danych w pamięci, rozproszony dziennik binarny, system orkiestracji mikrousług, uniwersalny transport telemetrii i tak dalej. No i oczywiście puzzle i konkursy, naklejki z binarnym kotem i Cierpiącym Średniowieczem, prezenty w postaci książki Martina Kleppmanna i figurki LEGO.

Należy pamiętać, że analiza problemów Kontur już jest opublikowane w Habré. Dobra analiza, warto obejrzeć.

Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

Chętni mogli zakupić wszelkiego rodzaju książki i dyskutować o nich z kolegami. Na sesję autografów zebrała się cała publiczność!

Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

Wyniki

Konferencja Hydra i Szkoła SPTDC to bardzo ważne wydarzenia dla nas jako firmy organizującej i dla całej społeczności. To szansa, aby spojrzeć w naszą przyszłość, wypracować jednolite ramy koncepcyjne do omawiania współczesnych problemów i przyjrzeć się bliżej interesującym kierunkom. Wielowątkowość istnieje już od bardzo dawna, jednak minęła cała dekada od pojawienia się pierwszego prawdziwie wielordzeniowego procesora, zanim zjawisko to stało się powszechne. To, co usłyszeliśmy w tym tygodniu w raportach, to nie ulotna wiadomość, ale droga do świetlanej przyszłości, którą będziemy podążać w nadchodzących latach. W tym poście nie będzie żadnych spoilerów dotyczących następnej Hydry, ale możesz mieć nadzieję na najlepsze. Jeśli interesują Cię takie kwestie, możesz sprawdzić nasze inne wydarzenia, takie jak hardcorowe przemówienia konferencyjne Joker 2019 lub DotNext 2019 Moskwa. Do zobaczenia na kolejnych konferencjach!

Trzej zdobywcy nagrody Dijkstry: jak wypadły Hydra 2019 i SPTDC 2019

Źródło: www.habr.com

Dodaj komentarz