Kremeľské veže v náručí Hydry: konferencia o paralelných a distribuovaných počítačoch Hydra 2020 v Moskve

Minulý rok v Petrohrade bolo prvá konferencia Hydravenovaný paralelným a distribuovaným systémom. Laureáti predniesli prezentácie Cena Dijkstra и Turingove ceny (Leslie Lamportová, Maurice Herlihy и Michael Scott), tvorcovia kompilátorov a programovacích jazykov (C++, Go, Java, Kotlin), vývojári distribuovaných databáz (Cassandra, CosmosDB, Yandex Database), ako aj tvorcovia a výskumníci algoritmov a dátových štruktúr (CRDT, Paxos, počkaj -voľné dátové štruktúry). Vo všeobecnosti si v tomto bode už môžete vziať dovolenku, minimalizovať okno IDE, otvoriť zoznam skladieb na YouTube pomocou najlepšie správy Hydra 2019 - a nechajte plánovač úloh chvíľu počkať.

Vo všeobecnosti sa takáto konferencia nikdy neuskutočnila a teraz sa zopakuje. Opäť s prehľadmi v angličtine, pretože neexistuje lepší jazyk na rozprávanie o paralelných a distribuovaných výpočtoch. Opäť v lete 10. a 11. júla, pretože rečníci majú čas bádať a učiť napríklad na univerzitách v Cambridge, Rochestri a Petrohrade a iné ročné obdobia nie sú nič pre nich.

Hydra sa však tentokrát bude konať v Moskve, kam si minulý rok prišla väčšina účastníkov konferencie vypočuť správy o distribuovanom konsenze a transakčnej pamäti. Nová Hydra ponúka zložitejší program, nových rečníkov spolu s hrdinami minulého roka, ako aj už známy pocit vzrušenia z paralelného hardcoru rozloženého medzi účastníkov v troch sálach.

Okamžite položme balíček kariet na stôl s byzantskými generálmi smerom nahor – chceme, aby bol program novej Hydry podrobnejší a rozmanitejší. Minule sme škrabali nechtom, teraz poďme kopať širšie a hlbšie. Tu sú témy Hydra 2020 s rozdielom v porovnaní s minulým rokom:

  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


Ako o tom všetkom rozprávať v programe jednej konferencie? Určite to nie je o nič jednoduchšie ako testovanie linearizovateľnosti operácií na úplne novom distribuovanom obchode Jepsen, ale skúsime.

Tu je, kto je už v programe:

Cindy Sridharan (Cindy Sridharan) – vývojárka distribuovaných systémov zo San Francisca, autorka krátkej knihy Pozorovateľnosť distribuovaných systémov (vezmite bezplatná elektronická kópia) a populárny blogu, kde je len jeden článok “To najlepšie z roku 2019 v Tech Talks„Môže ťa zachrániť pred pár dňami voľna, ale zanechá ťa šťastným. Na Hydre 2020 vám Cindy povie, ako na to testovať distribuované systémy, aj keď ukladajú stav.


Michael Scott (Michael Scott) - výskumník z University of Rochester, známy všetkým vývojárom Java ako tvorca neblokovacie algoritmy a synchrónne fronty zo štandardnej knižnice Java. Samozrejme, s cenou Dijkstra za „Algoritmy pre škálovateľnú synchronizáciu na multiprocesoroch so zdieľanou pamäťou"a vlastný stránka Wikipedia. Minulý rok dal Michael najlepšiu (podľa vás) správu o Hydre duálne dátové štruktúrya teraz bude hovoriť o projekt Hodor и bezpečná práca so zdieľanou pamäťou, dostupné pre paralelné procesy.


Heidi Howardová (Heidi Howard) - výskumník z University of Cambridge, známy pre vytváranie distribuovaného konsenzuálneho algoritmu Flexibilný Paxos, ako aj práca na zovšeobecnení flexibilného Paxos a Rýchly Paxos. Minulý rok Heidi povedala, ako to funguje a funguje Rodina algoritmov Paxos (jedna z najlepších reportáží), a teraz sa pokúsim prejsť po tenkom ľade medzi Milovníci Paxos a priaznivci Raftu - a podeľte sa o svoj názor na to, ktorý algoritmus je lepší.


Martin Kleppmann (Martin Kleppmann) je možno ešte slávnejší výskumník z University of Cambridge a bývalý vývojár veľkých dátových systémov, ktorý napísal prekvapivo jasnú a preto jedinečnú knihu o distribuovaných systémoch “Navrhovanie dátovo náročných aplikácií" Minulý rok Martin zdieľali výsledky ich výskumu CRDT a čo vám teraz povieme oznámime neskôr.


Nikita Koval (Nikita Koval) je koroutínový vývojár v tíme Kotlin, učiteľ kurzu viacvláknového programovania na ITMO a člen programového výboru konferencie Hydra (áno, práve o ktorej je tento článok). Minulý rok Nikita hovorila o testovaní viacvláknových dátových štruktúr na platforme JVM Lin-Checka na Hydre 2020 on povie to o SegmentQueueSynchronizer - overené pomocou Rámec Iris pre overiť Coq abstrakcia pre programovanie synchronizačných primitív.


Sledujte naše asynchrónne oznamy: celkovo budú na konferencii asi tri desiatky správ, o zvyšku vám povieme čoskoro. Samozrejme, na konferencii budú aj diskusné zóny, kde je potrebné otestovať rečníkov otázkami v jednom alebo viacerých vláknach, kým nedôjde k všeobecnému konsenzu.

A ak budete mať šťastie, Martin Kleppmann vám podpíše knihu.

Áno, pred konferenciou Hydra 2020, konkrétne 6. – 9. júla, bude SPTDC 2020 — tretia letná škola teórie a praxe distribuovaných počítačov. Poskytne vám vnemy, ktoré sa na konferencii len ťažko získavajú, preto si o Škole povieme v samostatnom príspevku.

Čo teraz? Najprv sledujte novinky na Habré a na sociálnych sieťach (facebook, VKontakte, Twitter).

Po druhé, ak už cítite neodolateľnú túžbu zúčastniť sa konferencie, preskúmajte webovú stránku, už môžete kúpiť lístky.

Po tretie, nenechajte si ujsť príležitosť porozprávať sa s programovým výborom konferencie Hydra 2020 v komentároch. Členovia PC sa s vami radi porozprávajú o budúcich témach konferencie.

Vidíme sa na Hydre!

Zdroj: hab.com