Кремълските кули в обятията на Hydra: конференция за паралелни и разпределени изчисления Hydra 2020 в Москва

Миналата година в Санкт Петербург имаше първата конференция на Hydra, посветен на паралелни и разпределени системи. Лауреатите направиха презентации Награди Дейкстра и Награди на Тюринг (Лесли Лампорт, Морис Херлихи и Майкъл Скот), създатели на компилатори и езици за програмиране (C++, Go, Java, Kotlin), разработчици на разпределени бази данни (Cassandra, CosmosDB, Yandex Database), както и създатели и изследователи на алгоритми и структури от данни (CRDT, Paxos, изчакайте -свободни структури от данни). Като цяло в този момент вече можете да си вземете ваканция, да минимизирате прозореца на IDE, да отворите плейлист в YouTube с най-добрите репортажи Hydra 2019 - и оставете програмата за планиране на задачи да изчака малко.

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

Този път Hydra обаче ще се проведе в Москва, където повечето от участниците в конференцията дойдоха миналата година, за да слушат доклади за разпределен консенсус и транзакционна памет. Новата 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


Как да говорим за всичко това в програмата на една конференция? Със сигурност не е по-просто от тестването на възможността за линеаризация на операциите върху лъскаво ново разпределено хранилище, използвайки Джепсен, но ще опитаме.

Ето кои вече са в програмата:

Синди Шридхаран (Синди Шридхаран) - разработчик на разпределени системи от Сан Франциско, автор на кратка книга Наблюдаемост на разпределените системи (предприеме безплатно електронно копие) и популярни публикация в блога, където има само един член “Най-доброто от 2019 г. в Tech Talks„може да ви спести няколко почивни дни, но да ви остави щастливи. На Hydra 2020 Синди ще ви каже как тествайте разпределени системи, дори ако съхраняват състояние.


Майкъл Скот (Майкъл Скот) – изследовател от Университета на Рочестър, познат на всички Java разработчици като създател на неблокиращи алгоритми и синхронни опашки от стандартната библиотека на Java. Разбира се, с наградата Дейкстра за „Алгоритми за мащабируема синхронизация на мултипроцесори със споделена памет"и притежавам Страница в Уикипедия. Миналата година Майкъл направи най-добрия (според вас) доклад за Hydra on двойни структури от данни, а сега той ще говори за проект Ходор и безопасна работа със споделена памет, достъпни за паралелни процеси.


Хайди Хауърд (Хайди Хауърд) - изследовател на Университета в Кеймбридж, известен със създаването на разпределен консенсусен алгоритъм Гъвкав Paxos, както и работа по обобщаване на Flexible Paxos и Бърз Паксос. Миналата година Хайди разказа как работи и работи Семейство алгоритми Paxos (един от най-добрите доклади), а сега ще се опитам да вървя по тънък лед между тях Любителите на Paxos и поддръжниците на Raft — и да сподели мнението си кой алгоритъм е по-добър.


Мартин Клепман (Мартин Клепман) е може би още по-известен изследовател от университета в Кеймбридж и бивш разработчик на системи за големи данни, който написа изненадващо ясна и следователно уникална книга за разпределените системи "Проектиране на приложения с интензивно използване на данни" Миналата година Мартин сподели резултатите на тяхното изследване CRDT и какво ще ви кажем сега ще обявим по-късно.


Никита Ковал (Никита Ковал) е разработчик на сърутина в екипа на Kotlin, преподавател на курс по многонишково програмиране в ITMO и член на програмния комитет на конференцията Hydra (да, точно тази, за която е тази статия). Миналата година Никита говори за тестване на многонишкови структури от данни на платформата JVM Lin-Check, а на Hydra 2020 той ще разбере относно SegmentQueueSynchronizer - потвърдено чрез Рамка на ириса за доказател Coq абстракция за програмиране на примитиви за синхронизация.


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

И ако имате късмет, Мартин Клепман ще подпише книгата ви.

Да, преди конференцията Hydra 2020, а именно 6-9 юли, ще има SPTDC 2020 г — третото лятно училище по теория и практика на разпределените изчисления. Ще ви даде усещания, които е трудно да получите на конференция, така че ще говорим за училището в отделна публикация.

Сега какво? Първо следете новините на Хабре и в социалните мрежи (Facebook, VKontakte, Twitter).

Второ, ако вече изпитвате непреодолимо желание да присъствате на конференцията, разгледайте уебсайта, вече можете закупуване на билети.

Трето, не пропускайте възможността да разговаряте с програмния комитет на конференцията Hydra 2020 в коментарите. Членовете на PC ще се радват да говорят с вас за бъдещи теми на конференцията.

Ще се видим в Hydra!

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