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

Торік у Санкт-Петербурзі пройшла перша конференція Hydra, присвячена паралельним та розподіленим системам. З доповідями виступали лауреати премії Дейкстри и премії Тюрінга (Леслі Лемпорт, Моріс Херліхі и Майкл Скотт), творці компіляторів та мов програмування (C++, Go, Java, Kotlin), розробники розподілених баз даних (Cassandra, CosmosDB, Yandex Database), а також творці та дослідники алгоритмів та структур даних (CRDT, Paxos, wait-free data structures) . Загалом, на цьому місці вже можна брати відпустку, згортати вікно IDE, відкривати плейлист на YouTube найкращими доповідями 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


Як розповісти про все це у програмі однієї конференції? Це точно не простіше, ніж протестувати лінеаризуемість операцій у новій блискучій розподіленій сховищі за допомогою Джепсенале ми спробуємо.

Ось хто вже у програмі:

Сінді Шрідхаран (Cindy Sridharan) - розробниця розподілених систем із Сан-Франциско, автор невеликої книги Distributed Systems Observability (Візьміть безкоштовний електронний екземпляр) та популярного блогу, де одна лише стаття «Best of 2019 in Tech Talks» здатна позбавити пари вихідних, але залишити щасливим. На Hydra 2020 Сінді розповість, як тестувати розподілені системинавіть якщо вони зберігають стан.


Майкл Скотт (Michael Scott) - дослідник з університет Рочестера, відомий всім Java-розробникам як творець неблокуючих алгоритмів та синхронних черг із стандартної бібліотеки Java. Зрозуміло, з премією Дейкстри заAlgorithms for scalable synchronization on shared-memory multiprocessors» та власною сторінкою у Вікіпедії. Минулого року Майкл зробив на Гідрі найкращу (за вашими оцінками) доповідь, присвячену dual data structures, а тепер розповість про проекті Hodor и безпечній роботі з пам'яттю, що розділяється, доступною паралельним процесам.


Хайді Ховард (Heidi Howard) - дослідниця з Кембриджський університет, відома створенням алгоритму розподіленого консенсусу Flexible Paxos, а також роботою з узагальнення Flexible Paxos та Fast Paxos. Торік Хайді розповіла, як влаштовано та працює сімейство алгоритмів Paxos (одна з найкращих доповідей), а тепер постарається пройти тонким льодом між любителями Paxos та прихильниками Raft — і поділиться своєю думкою про те, який із алгоритмів кращий.


Мартін Клеппманн (Martin Kleppmann) - можливо, навіть більш відомий дослідник з University of Cambridge, а в минулому - розробник систем з обробки великих даних, який написав напрочуд зрозумілу і тому унікальну книгу про розподілені системи.Розробка додатків із інтенсивним використанням даних». Торік Мартін поділився результатами своїх досліджень CRDT, а про що розповість тепер – ми анонсуємо пізніше.


Микита Коваль (Nikita Koval) - розробник корутин у команді Kotlin, викладач курсу з багатопоточного програмування в ІТМО та член програмного комітету конференції Hydra (так, тієї самої, про яку ця стаття). Минулого року Микита розповів про тестування багатопоточних структур даних на платформі JVM за допомогою Lin-Check, а на Hydra 2020 він розповість про SegmentQueueSynchronizer - верифіковану за допомогою фреймворку Iris для прувера Coq абстракцію для програмування примітивів синхронізації


Слідкуйте за нашими асинхронними анонсами: всього на конференції буде близько трьох десятків доповідей, незабаром розповімо про решту. Ще, зрозуміло, на конференції будуть дискусійні зони, де потрібно в один або кілька потоків доповідачів випробовувати питаннями до досягнення загального консенсусу.

А якщо пощастить, Мартін Клеппман підпише вам книжку.

Так, перед конференцією Hydra 2020, а саме 6-9 липня пройде SPTDC 2020 — третя літня школа з теорії та практики розподілених обчислень. На ній на вас чекають відчуття, які складно отримати на конференції, тому ми розповімо про Школу в окремому пості.

А що ж тепер? По-перше, стежте за новинами на Хабрі та в соцмережах (Facebook, Вконтакте, Twitter).

По-друге, якщо ви вже відчули непереборне бажання побувати на конференції, вивчіть сайт, там уже можна. придбати квитки.

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

Зустрінемось на Hydra!

Джерело: habr.com