Кулите на Кремљ во прегратките на Хидра: конференција за паралелни и дистрибуирани компјутери Хидра 2020 во Москва

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

Во принцип, ваква конференција никогаш не се случила, а сега ќе се повтори. Повторно со извештаи на англиски јазик, бидејќи не постои подобар јазик за да се зборува за паралелно и дистрибуирано пресметување. Повторно лето, 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


Како да се зборува за сето ова во програмата на една конференција? Сигурно не е поедноставно од тестирање на линеаризираноста на операциите на сјајна нова дистрибуирана продавница користејќи Џепсен, но ќе се обидеме.

Еве кој е веќе во програмата:

Синди Сридхаран (Синди Сридхаран) - развивач на дистрибуирани системи од Сан Франциско, автор на кратка книга Набљудливост на дистрибуирани системи (земи бесплатна електронска копија) и популарни блог пост, каде што има само една статија“Најдоброто од 2019 година во Tech Talks„Може да ве спаси од неколку слободни денови, но да ве остави среќни. На Hydra 2020, Синди ќе ви каже како тестираат дистрибуирани системи, дури и ако ја складираат државата.


Мајкл Скот (Мајкл Скот) - истражувач од Универзитетот во Рочестер, познат на сите развивачи на Java како креатор на неблокирачки алгоритми и синхрони редици од Јава стандардната библиотека. Се разбира, со наградата Дијкстра за „Алгоритми за скалабилна синхронизација на мултипроцесори со заедничка меморија„и сопствени Страница на Википедија. Минатата година Мајкл го даде најдобриот (според тебе) извештај за Hydra on двојни структури на податоци, и сега тој ќе зборува за проектот Ходор и безбедна работа со заедничка меморија, достапни за паралелни процеси.


Хајди Хауард (Хајди Хауард) - истражувач на Универзитетот во Кембриџ, познат по создавањето на дистрибуиран консензус алгоритам Флексибилни Паксос, како и работа на генерализирање на Flexible Paxos и Брзи Паксос. Минатата година Хајди раскажа како функционира и функционира Фамилија на алгоритми Паксос (еден од најдобрите извештаи), а сега ќе се обидам да одам по тенок мраз помеѓу Љубители на Паксос и поддржувачи на Сплав — и споделете го своето мислење за тоа кој алгоритам е подобар.


Мартин Клепман (Мартин Клепман) е можеби уште попознат истражувач од Универзитетот во Кембриџ и поранешен развивач на системи за големи податоци, кој напишал изненадувачки јасна и затоа уникатна книга за дистрибуирани системи.Дизајнирање на апликации со интензивни податоци" Минатата година Мартин ги сподели резултатите на нивните CRDT истражување, и што ќе ви кажеме сега ќе објавиме подоцна.


Никита Ковал (Никита Ковал) е корутински развивач во тимот на Котлин, наставник на курс за програмирање со повеќе нишки на ITMO и член на програмскиот комитет на конференцијата Хидра (да, токму онаа за која се работи оваа статија). Минатата година Никита зборуваше за тестирање на структури на податоци со повеќе нишки на платформата JVM користејќи Лин-проверка, а на Хидра 2020 тој ќе кажам за SegmentQueueSynchronizer - потврдено со користење Рамка на ирисот за проверка Coq апстракција за програмирање примитиви за синхронизација.


Следете ги нашите асинхрони објави: вкупно ќе има триесетина извештаи на конференцијата, за останатите ќе ви кажеме наскоро. Исто така, се разбира, на конференцијата ќе има и зони за дискусија каде што е неопходно да се тестираат говорниците со прашања во една или повеќе теми додека не се постигне општ консензус.

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

Да, пред конференцијата Hydra 2020, поточно 6-9 јули, ќе има SPTDC 2020 година — трета летна школа за теорија и практика на дистрибуирани компјутери. Ќе ви даде сензации кои тешко се добиваат на конференција, па ќе зборуваме за Школата во посебен пост.

Што сега? Прво, следете ги вестите на Хабре и на социјалните мрежи (Facebook, Vkontakte, Twitter).

Второ, ако веќе чувствувате неодолива желба да присуствувате на конференцијата, истражете ја веб-страницата, веќе можете купи билети.

Трето, не пропуштајте ја можноста да разговарате со програмскиот комитет на конференцијата Hydra 2020 во коментарите. Членовите на компјутерот со задоволство ќе разговараат со вас за идните теми на конференциите.

Се гледаме во Хидра!

Извор: www.habr.com