Трима носители на наградата Dijkstra: как преминаха Hydra 2019 и SPTDC 2019

Съвсем наскоро, от 8 до 12 юли, се състояха едновременно две значими събития – конференцията хидра и училище SPTDC. В тази публикация бих искал да подчертая няколко характеристики, които забелязахме по време на конференцията.

Най-голямата гордост на Хидра и Школата са високоговорителите.

• Трима лауреати Награди Дейкстра: Лесли Лампорт, Морис Херлихи и Майкъл Скот. Освен това Морис го получи два пъти. Лесли Лампорт също получи награда на Тюринг — най-престижната награда ACM в компютърните науки;
• Създателят на Java JIT компилатора е Cliff Click;
• Разработчици на Corutin - Роман Елизаров (елизаров) и Никита Ковал (ndkoval) за Kotlin и Дмитрий Вюков за Go;
• Сътрудници на Cassandra (Алекс Петров), CosmosDB (Денис Рисцов), Yandex Database (Семьон Чечеринда и Владислав Кузнецов);
• И много други известни личности: Мартин Клепман (CRDT), Хайди Хауърд (Паксос), Ори Лахав (модел на паметта C++), Педро Рамалхете (структури от данни без изчакване), Алексей Зиновиев (ML), Дмитрий Бугайченко (анализ на графики).

И това вече е Училище:

• Университет Браун (Морис Херлихи),
• Университет на Рочестър (Майкъл Скот),
• Университет Ватерло (Тревър Браун),
• Университет на Нант (Achour Mostefaoui),
• Университет Дейвид Бен-Гурион в Негев (Дани Хендлър),
• Калифорнийски университет в Лос Анджелис (Ели Гафни),
• Политехнически институт в Париж (Петър Кузнецов),
• Microsoft Research (Лесли Лампорт),
• VMware Research (Итаи Абрахам).

Теория и практика, наука и производство

Позволете ми да ви напомня, че училището SPTDC е малко събитие за сто и половина души; там се събират светила от световна класа и говорят за съвременните проблеми в областта на разпределените изчисления. Hydra е двудневна конференция за разпределени изчисления, която се провежда паралелно. Hydra има по-скоро инженерна насоченост, докато School има по-научен фокус.

Една от целите на конференцията Hydra е да комбинира научни и инженерни принципи. От една страна, това се постига чрез подбора на доклади в програмата: наред с Лампорт, Херлихи и Скот, има много по-приложени доклади на Алекс Петров, който допринася за Касандра, или Роман Елизаров от JetBrains. Има Мартин Клепман, който създаваше и продаваше стартъпи, а сега учи CRDT в университета в Кеймбридж. Но готиното е, че Hydra и SPTDC се държат рамо до рамо - имат различни доклади, но общо място за комуникация.

Потапяне

Пет поредни дни на Училището е едно много голямо събитие и голямо натоварване, както за участниците, така и за организаторите. Не всички стигнаха до последните дни. Имаше и такива, които отидоха на Хидра и училище едновременно и за тях последните дни се оказаха най-наситени. Цялата тази суматоха се компенсира от невероятно дълбоко потапяне. Това се дължи не само на обема, но и на качеството на материала. Всички доклади и лекции и на двете събития не бяха планирани да бъдат встъпителни, така че където и да отидете, веднага се гмуркате надалеч и дълбоко и не ви пускат до самия край.

Разбира се, много зависи от първоначалната подготовка на участника. Имаше забавен момент, когато две групи хора в коридора независимо един от друг обсъждаха доклада на Хайди Хауърд: за някои той изглеждаше напълно обикновен, докато други, напротив, се замислиха дълбоко за живота. Интересно е, че според участниците в програмните комисии (пожелали анонимност) докладите на Hydra и лекциите на Школата на техните събития могат да бъдат преквалифицирани. Например, ако PHP младши дойде на PHP конференция, за да научи живота, би било малко прибързано да приемем, че той има задълбочени познания за вътрешността на Zend Engine. Тук лекторите не хранеха младшите с лъжичка, а веднага загатнаха определено ниво на знания и разбиране. Е, наистина, нивото на участниците, които работят с разпределени системи и пишат ядра за изпълнение, е много високо, това е логично. Съдейки по реакцията на участниците, беше доста лесно да се избере доклад според нивото и темата.

Ако говорим за конкретни доклади, всички те бяха добри по свой начин. Съдейки по това, което хората казват и което се вижда от формата за обратна връзка, беше един от най-готините доклади в училището „Неблокиращи структури от данни“ Майкъл Скот, той направо разкъса всички, има ненормален рейтинг около 4.9.

Метаконференция

Много преди началото на Хидра и училището, Руслан ARG89 предположи, че ще има някаква „мета-конференция“ - конференция на конференциите, където всички водещи участници в други събития автоматично ще бъдат засмукани в нея, сякаш в черна дупка. Така и стана! Например сред учениците на училището беше забелязано Руслан Черемин от DeutscheBank, известен специалист в многопоточността.

И членовете на Hydra бяха забелязани Вадим Цеско (инкуби) И Андрей Пангин (апангин) от компанията Odnoklassniki. (В същото време Вадим също ни помогна да направим две отлични интервюта с Мартин Клепман - един за Хабр, а другата за зрителите на онлайн предаването). Имаше членове Програмен комитет DotNext, известни лектори Анатолий Кулаков и Игор Лабутин. От джавистите имаше Дмитрий Александров и Владимир Иванов. Обикновено виждате тези хора на напълно различни места - дотнетисти в DotNext, джаваисти в Joker и т.н. И така те седят рамо до рамо на отчетите на Hydra и заедно обсъждат проблемите на бафовете. Когато това леко изкуствено разделение по програмни езици и технологии изчезне, се появяват характеристиките на предметната област: специалистите по динамично изпълнение комуникират с други изпълнители, изследователите на теорията за разпределените изчисления спорят разгорещено с други изследователи, инженерите на бази данни се тълпят на бялата дъска и т.н. .

На отчета според модела на паметта C++ разработчиците на OpenJDK седяха на първия ред (поне ги познавам нагледно, но не и пайтонистите, може би и пайтонистите бяха там). Всъщност има нещо шипилевско в този доклад... Ори не разказва точно същото, но при внимателен поглед могат да се открият паралели. Дори и след всичко, което се случи в най-новите стандарти на C++, проблеми като стойности от нищото все още не бяха коригирани, така че можете да отидете на такъв доклад и да чуете как са хората „от другата страна на барикадата“ опитвайки се да коригира тези проблеми, Както те разсъждават, човек може да бъде впечатлен от подходите към намереното решение (Ori има една от опциите за коригиране).

Имаше много участници в програмни комитети и двигатели на общността. Всеки решаваше своите междурелигиозни проблеми, строеше мостове и придобиваше връзки. Използвах това навсякъде, където можех, и например се съгласихме с Александър Боргард от Московска C++ потребителска група заедно напишете пълномащабна статия за актьорите и асинхронността в C++.

На снимката: Леонид Талалаев (лталал, вляво) и Олег Анастасиев (m0nstermind, вдясно), водещи разработчици в Odnoklassniki

Огън дискусионни зони и бафове

На конференции винаги има участници, които познават темата толкова добре, колкото и лекторите (а понякога дори по-добре от лекторите - например, когато сред участниците е разработчик на ядрото на дадена технология). Имаше много такива високо експертни участници в Hydra. Например по някое време около Алекс Петров разказва за Касандра, се събраха толкова много хора, че не можа да отговори на всички. В един момент Алекс беше плавно избутан настрани и започна да се разкъсва с въпроси, но падащият флаг беше вдигнат от добре известен разработчик на Rust в кръговете Тайлър Нийли и балансира перфектно натоварването. Когато помолих Тайлър за помощ с онлайн интервюто, всичко, което той попита беше: „Кога започваме?“

Понякога духът на дискусия дори прониква в докладите: Никита Ковал организира внезапна сесия с въпроси и отговори, разделяйки доклада на няколко секции.

И обратното, на BOF за многопоточност те си спомниха за енергонезависима памет, бяха привлечени от този bof Педро Рамалхете като главен специалист и той обясни всичко на всички (накратко, енергонезависимата памет не е заплаха за нас в близко бъдеще). Един от домакините на този боф, между другото, беше Владимир Ситников, който служи в програмните комитети на някакъв луд брой конференции... изглежда като пет наведнъж в момента. При следващия баф за „Модерен CS в реалния свят“ те също обсъдиха NVM и стигнаха до това напълно сами.

Мога да споделя едно супер прозрение, което дори пряко замесените в историята може би не са забелязали. Ели Гафни се представи вечерта на първия ден от училището, а на следващия ден остана и започна да троли Лампорт и отстрани изглеждаше, че това е игра и Ели е неадекватен. Че това е някакъв трол, който се е заел да извади мозъка на Лесли. Всъщност факт е, че те са почти най-добри приятели, те са приятели от много години и това е просто такава приятелска закачка. Тоест шегата проработи - всички хора наоколо си паднаха, приеха я на чиста монета.

Отделно бих искал да отбележа колко много любов и усилия вложиха лекторите в това. Някой стоеше в дискусионната зона до последния момент, почти часове. Паузата свърши отдавна, отчетът започна, свърши, започна следващата почивка - и Дмитрий Вюков продължи да отговаря на въпроси. И на мен ми се случи една интересна история - след като изненадах Cliff Click, получих не само ясно и разумно обяснение на онази провокативна дискусия за липсата на тестове за някои неща в H2O, но получих и пълен преглед на него нов език АА. Никога не съм искал това: просто попитах какво можете да прочетете за АА (оказа се, че можете да слушате подкаст), а вместо това Клиф прекара половин час в разговор за езика и проверка дали това, което казва, е разбрано правилно. чудесно Трябва да напишем хабрапост за АА. Друго необичайно преживяване беше наблюдаването на процеса на преглед на заявката за изтегляне в Kotlin. Наистина е магическо усещане, когато влезеш в различни дискусионни групи, различни лектори и се потопиш в един изцяло нов свят. Това е нещо на ниво "There, There" от Radiohead.

Английски

Hydra 2019 е първата ни конференция, на която основният език е английски. Това носи както своите предимства, така и своите предизвикателства. Очевидно предимство е, че хората идват на конференцията не само от Русия, така че сред участниците можете да срещнете инженери от Европа и учени от Англия. Говорителите водят своите ученици. По принцип важните лектори имат много повече мотивация да отидат на такава конференция. Представете си, че сте лектор на изцяло рускоезична конференция: изнесохте доклада си, защитихте дискусионната зона и след това какво? Пътуване из града и разглеждане на туристически места? Всъщност наистина популярните оратори вече са видели достатъчно от всичко на света, те не искат да ходят да гледат лъвове и подвижни мостове, скучаят. Ако всички доклади са на английски, те могат да участват в конференцията на обща основа, да се забавляват, да се присъединят към дискусионни зони и т.н. Атмосферата е доста приятелска към лекторите.

Очевидният недостатък е, че не всеки се чувства удобно да общува на английски. Мнозина разбират добре, но говорят зле. Като цяло обикновени неща, които бяха решени по различни начини. Например, някои дискусионни зони започнаха на руски, но веднага преминаха на английски, когато се появи първият англоговорящ участник.

Самият аз трябваше да направя началните и заключителните включвания на онлайн предаването изключително на английски език и да участвам в няколко записани интервюта с експерти. И това беше истинско предизвикателство за мен, което няма да се забрави скоро. В някакъв момент Олег Анастасиев (m0nstermind) просто ми каза да остана седнал с тях по време на интервюто и бях твърде бавен, за да разбера какво означава това.

От друга страна беше много приятно, че хората задаваха въпроси на докладите с гръм и трясък. Не само за носителите на езика, но и за всички като цяло, работи добре. На други конференции често се вижда, че хората се притесняват да задават въпроси от публиката на развален английски и могат само да изтръгнат нещо в дискусионната зона. Тук беше съвсем различно. Относително казано, някой си Клиф Клик приключи докладите си малко по-рано и след това последваха въпроси в непрекъсната последователност, разговорът премина в дискусионната зона - без неудобни паузи или прекъсвания. Същото важи и за Q&A сесията на Лесли Лампорт; водещият на практика не трябваше да задава своите въпроси, участниците измислиха всичко.

Имаше всякакви дребни неща, които малко хора забелязват, но ги има. Поради факта, че конференцията е на английски, дизайнът на такива неща като листовки и карти е по-лек и по-сбит. Няма нужда да дублирате езици и да претрупвате дизайна.

Спонсори и изложба

Нашите спонсори ни помогнаха много в създаването на конференцията. Благодарение на тях през почивките винаги имаше какво да се прави.

На щанда Технически център на Deutsche Bank можете да разговаряте с инженери на многонишкови системи, да решавате техните проблеми направо от главата си, да печелите запомнящи се награди и просто да си прекарвате добре.

На щанда Контур бихме могли да говорим за техните собствени системи, както с отворен, така и с отворен код: разпределена база данни в паметта, разпределен двоичен журнал, система за оркестриране на микросервизи, универсален транспорт за телеметрия и т.н. И разбира се, пъзели и състезания, стикери с двоична котка и страдащото Средновековие, подаръци като книгата на Мартин Клепман и LEGO фигури.

Моля, обърнете внимание, че анализът на проблемите на Kontur вече е извършен публикувана на Хабре. Добър анализ, заслужава си внимание.

Желаещите можеха да закупят всякакви книги и да ги обсъдят с колеги. Цяла тълпа се събра за автограф сесията!

Резултати от

Конференцията Hydra и SPTDC School са много важни събития за нас като компания организатор и за цялата общност. Това е шанс да погледнем в нашето бъдеще, да разработим единна концептуална рамка за обсъждане на съвременни проблеми и да разгледаме по-отблизо интересни посоки. Многонишковостта съществува от много дълго време, но отне цяло десетилетие след появата на първия наистина многоядрен процесор, за да стане широко разпространено явлението. Това, което чухме на докладите тази седмица, не е мимолетна новина, а пътят към светлото бъдеще, което ще следваме през следващите години. В тази публикация няма да има спойлери за следващата Hydra, но можете да се надявате на най-доброто. Ако се интересувате от въпроси като тези, може да искате да разгледате другите ни събития, като хардкор конференции Joker 2019 или DotNext 2019 Москва. Ще се видим на следващите конференции!

Източник: www.habr.com