Башни Кремля в объятьях гидры: конференция о параллельных и распределённых вычислениях Hydra 2020 в Москве

В прошлом году в Санкт-Петербурге прошла первая конференция Hydra ^[1], посвящённая параллельным и распределённым системам. С докладами выступали лауреаты премии Дейкстры ^[2] и премии Тьюринга ^[3] (Лесли Лэмпорт ^[4], Морис Херлихи ^[5] и Майкл Скотт ^[6]), создатели компиляторов и языков программирования (C++, Go, Java, Kotlin), разработчики распределённых баз данных (Cassandra, CosmosDB, Yandex Database), а также создатели и исследователи алгоритмов и структур данных (CRDT, Paxos, wait-free data structures). В общем, на этом месте уже можно брать отпуск, сворачивать окно IDE, открывать плейлист на YouTube с лучшими докладами ^[7] Hydra 2019 — и пусть task scheduler немного подождёт.

В общем, никогда такой конференции не было, и вот опять она случится. Снова с докладами на английском, потому что нет лучше языка, чтобы говорить о параллельных и распределённых вычислениях. Снова летом, 10 и 11 июля, потому что спикеры успевают исследовать и преподавать, например, в университетах Кембриджа, Рочестера и Санкт-Петербурга, и другое время года не для них.

Однако на этот раз Hydra пройдёт в Москве, откуда в прошлом году приехала послушать доклады о распределённом консенсусе и транзакционной памяти большая часть участников конференции. На новой Гидре — более замысловатая программа, новые спикеры вместе с героями прошлого года, а также уже знакомое ощущение распределённого между участниками восторга от параллельного хардкора в трёх залах.

Сразу выложим на стол колоду карт рубашками византийских генералов вверх — мы хотим, чтобы программа новой Гидры была более детальная и разнообразная. В прошлый раз царапали ногтём, теперь копнём шире и глубже. Вот темы Hydra 2020 с диффом относительно прошлого года:

  Parallel systems:
* Algorithms & data structures
* Memory models
* Compilers, runtime
* Memory reclamation
* Testing & verification
* Hardware issues
* Non-volatile memory
* Transactional memory
* Scheduling algorithms & implementations
* Heterogeneous computing: CPU, GPU, FPGA, etc.
* Performance analysis, debugging, & optimization

  Distributed systems:
* Distributed computing
* Distributed machine learning/deep learning
* State machine replication & consensus
* Fault tolerance & resilience
* Testing & verification
* Hardware issues
* Blockchain & Byzantine fault tolerance
* Distributed databases, NewSQL
* Distributed stream processing
* Scheduling algorithms & implementations
* Cluster management systems
* Security
* Performance analysis, debugging, & optimization
* Peer-to-peer, gossip protocols
* Internet of things


Как рассказать обо всём этом в программе одной конференции? Это точно не проще, чем протестировать линеаризуемость операций в новой блестящей распределённой хранилке с помощью Jepsen ^[8], но мы попытаемся.

Вот кто уже в программе:

Синди Шридхаран ^[9] (Cindy Sridharan) — разработчица распределённых систем из Сан-Франциско, автор небольшой книги Distributed Systems Observability ^[10] (возьмите бесплатный электронный экземпляр ^[11]) и популярного блога ^[12], где одна только статья «Best of 2019 in Tech Talks ^[13]» способна избавить от пары выходных, но оставить счастливым. На Hydra 2020 Синди расскажет, как тестировать распределённые системы ^[14], даже если они хранят состояние.

Майкл Скотт (Michael Scott) — исследователь из University of Rochester ^[15], известный всем Java-разработчикам как создатель неблокирующих алгоритмов и синхронных очередей ^[16] из стандартной библиотеки Java. Разумеется, с премией Дейкстры за «Algorithms for scalable synchronization on shared-memory multiprocessors ^[17]» и собственной страницей в Википедии ^[18]. В прошлом году Майкл сделал на Гидре лучший (по вашим оценкам) доклад, посвящённый dual data structures ^[19], а теперь расскажет о проекте Hodor ^[20] и безопасной работе с разделяемой памятью ^[21], доступной параллельным процессам.

Хейди Ховард ^[22] (Heidi Howard) — исследовательница ^[23] из University of Cambridge ^[24], известная созданием алгоритма распределённого консенсуса Flexible Paxos ^[25], а также работой по обобщению Flexible Paxos и Fast Paxos ^[26]. В прошлом году Хейди рассказала, как устроено и работает семейство алгоритмов Paxos ^[27] (один из лучших докладов), а теперь постарается пройти по тонкому льду между любителями Paxos и сторонниками Raft ^[28] — и поделится своим мнением о том, какой из алгоритмов лучше.

Мартин Клеппманн ^[29] (Martin Kleppmann) — возможно, даже более известный исследователь из University of Cambridge, а в прошлом — разработчик систем по обработке больших данных, который написал удивительно понятную и поэтому уникальную книгу о распределённых системах «Designing Data-Intensive Applications ^[30]». В прошлом году Мартин поделился результатами ^[31] своих исследований CRDT, а о чём расскажет теперь — мы анонсируем позже ^[32].

Никита Коваль ^[33] (Nikita Koval) — разработчик корутин в команде Kotlin, преподаватель курса по многопоточному программированию в ИТМО и член программного комитета конференции Hydra (да, той самой, о которой эта статья). В прошлом году Никита рассказал о тестировании многопоточных структур данных на платформе JVM с помощью Lin-Check ^[34], а на Hydra 2020 он расскажет ^[35], как в Kotlin появился SegmentQueueSynchronizer — верифицированная с помощью проекта Iris ^[36] и прувера Coq ^[37] абстракция для программирования примитивов синхронизации.

Следите за нашими асинхронными анонсами: всего на конференции будет около трёх десятков докладов, скоро расскажем об остальных. Ещё, разумеется, на конференции будут дискуссионные зоны, где нужно в один или несколько потоков испытывать докладчиков вопросами до достижения всеобщего консенсуса.

А если повезёт, Мартин Клеппманн подпишет вам книжку.

Да, перед конференцией Hydra 2020, а именно 6-9 июля пройдёт SPTDC 2020 ^[38] — третья летняя школа по теории и практике распределённых вычислений. На ней вас ждут ощущения, которые сложно получить на конференции, поэтому мы расскажем о Школе в отдельном посте.

А что теперь? Во-первых, следите за новостями на Хабре и в соцсетях (Facebook ^[39], Вконтакте ^[40], Twitter ^[41]).

Во-вторых, если вы уже почувствовали непреодолимое желание побывать на конференции — изучите сайт, там уже можно приобрести билеты ^[42].

В-третьих, не упустите возможность пообщаться с программным комитетом конференции Hydra 2020 в комментариях. Члены ПК будут рады поговорить с вами о темах будущей конференции.

Встретимся на Hydra!

Автор: Игорь Луканин

Источник ^[43]