Zakladatelé teorie distribuovaných systémů v náručí hydry To je Leslie Lamport — autor základních prací v distribuovaných výpočtech, a ještě ho možná znáte podle písmen La ve slově LaTeX — „Lamport TeX“. To on jako první, už v roce 1979, představil pojem sekvenční konzistence, a jeho článek «How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs» obdržela Dijkstraovu cenu (přesněji, v roce 2000 se cena nazývala starým názvem: „PODC Influential Paper Award“). O něm je článek na Wikipedii, kde můžete nalézt ještě několik zajímavých odkazů. Pokud vás baví řešení úloh týkajících se happens-before nebo problémů byzantských generálů (BFT), musíte chápat, že za tím vším stojí Lamport.

A brzy také přijede na naši novou konferenci o distribuovaných výpočtech — Hydra, která se uskuteční 11.-12. července v Petrohradě. Pojďme se podívat, co to za zvíře je.

Hydra 2019

Témata jako vícerozměrnost jsou jedny z nejoblíbenějších na našich konferencích, vždy tomu tak bylo. Ještě před chvílí byla tahle místnost prázdná, ale najednou na scéně vystupuje člověk, který vypráví o modelu paměti, happens-before nebo vícerozměrné sběru odpadu — a bum! — už skoro tisíc lidí zaplňuje všechna dostupná místa, aby si sedli a pečlivě poslouchali. V čem spočívá ten úspěch? Možná v tom, že každý z nás máme nějaké zařízení, schopné zorganizovat distribuované výpočty? Nebo že podvědomě chápeme naši neschopnost ho dostatečně zatížit? Existuje skutečný příběh jednoho petrohradského kvanta (tj. finančního kvantitativního analytika a vývojáře), který měl k dispozici výpočetní klastr, jehož plného potenciálu může využít jen on sám. A co byste udělali, kdybyste dostali k dispozici výkon pro splnění svých úloh mnohem větší, než máte nyní?

Díky takové popularitě má téma výkonu a efektivních výpočtů tendenci se šířit v programu konferencí. Kolik z dvou dnů prezentací může být věnováno výkonu — třetina, dvě třetiny? Kde-kde existují umělá omezení, která limitují tento růst: kromě výkonu musí zůstat místo i pro nové webové frameworky, nějakého devops nebo architektonickou astronautiku. Ne, výkon, nesežereš nás všechny najednou!

Můžeme jít i opačným směrem, vzdát se a upřímně uspořádat konferenci, která bude zcela o distribuovaném výpočtu a jen o něm. A tady je, Hydra.

Přiznejme si na rovinu, že dnes jsou všechny výpočty, tak či onak, distribuované. Ať už jde o vícejádrový stroj, výpočetní klastr nebo rozsáhlou distribuovanou službu — všude je spousta procesů, které současně provádějí nezávislé výpočty, vzájemně se synchronizují. Tématu, jak to vypadá v teorii a jak to funguje v praxi, se bude věnovat Hydra.

Program konference

Program je nyní ve fázi přípravy. Měly by se do něj dostat přednášky od zakladatelů teorií distribuovaných systémů a inženýrů, kteří na nich pracují v praxi.

Například již nyní je známo o účasti Leslieho Lamporta z Microsoft Research a Maurice Herlihyho z Brown University.

Zakladatelé teorie distribuovaných systémů v náručí hydry Maurice Herlihy — velmi známý a respektovaný profesor informatiky, o němž také existuje stránka na Wikipedii, kde si můžete projít odkazy a práce. Můžete si tam všimnout samotných dvou Dijkstraových cen, první — za práci na „Wait-Free Synchronization“, a druhou, novější — „Transactional Memory: Architectural Support for Lock-Free Data Structures“. Mimochodem, odkazy vedou dokonce nikoli na SciHub, ale na Brown University a Virginia Tech University, můžete je otevřít a číst.

Maurice se chystá pronesit keynote s názvem „Blockchainy z pohledu distribuovaného výpočtu“. Pokud máte zájem, můžete se podívat na záznam přednášky Maurice na Petersburg JUG. Zhodnoťte, jak jasně a srozumitelně předává téma.

Zakladatelé teorie distribuovaných systémů v náručí hydry Druhý keynote s názvem „Dual Data Structures“ přečte Michael Scott z University of Rochester. A hádejte co — má také svou stránku na Wikipedii. Ve Wisconsinu je znám svou prací jako děkan na univerzitě Wisconsin-Madison, a ve světě je to člověk, který spolu s Dougem Leou vyvinul ty neblokující algoritmy a synchronní fronty, na kterých fungují knihovny Java. Svoji Dijkstraovu cenu získal tři roky po Herlihyho, za práci „Algoritmy pro škálovatelné synchronizace na multiprocesorech se sdílenou pamětí“ (jak je zvykem, je volně k dispozici v online knihovně Rochester University).

Do poloviny července máme ještě hodně času. O ostatních přednášejících a jejich tématech budeme informovat, jak program upřesníme a přiblížíme se červenci.

Vůbec, vzniká otázka — proč děláme Hydru v létě? Vždyť je to mrtvé období, dovolené. Problém je v tom, že mezi řečníky jsou univerzitní učitelé a jakékoli jiné období mají obsazené. My jsme prostě nemohli zvolit jiné termíny.

Diskusní zóny

Na jiných konferencích se stává, že řečník přečetl, co měl, a hned odešel. Účastníci nemají ani čas ho hledat — neboť téměř bez přerušení začíná další příspěvek. To je velmi bolestné, obzvlášť pokud jsou přítomní tak důležití lidé, jako jsou Lamport, Herlihy a Scott, a vlastně jdete na konferenci jen proto, abyste se s nimi setkali a něco probrali.

U nás je tento problém vyřešen. Okamžitě po svém příspěvku se řečník přesune do speciální diskusní zóny, vybavené minimálně tabulí s popisovačem, a máte poměrně velkou zásobu času. Formálně slibuje být tam minimálně po celou dobu přestávky mezi příspěvky. Ve skutečnosti tyto diskusní zóny mohou mohou trvat hodiny (závisí na ochotě a výdrži řečníka).

Pokud jde o Lamporta, pokud jsem to správně pochopil, chce přesvědčit co nejvíce lidí, že TLA+ — to je dobrá věc. (Článek o TLA+ na Wikipedii). Možná to bude dobrá příležitost pro inženýry dozvědět se něco nového a užitečného. Leslie nabízí takovou variantu — kdo je o to zájem, může se podívat na jeho minulá vystoupení a přinést otázky. To znamená, že místo hlavní přednášky by mohla být jakási specializovaná Q&A session, a pak i diskusní zóna. Trochu jsem googlil a našel skvělý kurz o TLA+ (oficiálně zdvojený playlist na YouTube) a hodinovou přednášku „Thinking Above the Code“ z Microsoft Faculty Summit.

Pokud jste všechny tyto lidi vnímali jako odlitá v kameni jména z Wikipedie a z obálek knih — je nejvyšší čas se s nimi setkat! Pobavit se a položit otázky, na které neodpoví stránky vědeckých článků, ale jejich autoři s radostí naváží kontakt.

Call for Papers

Není tajemstvím, že mnozí z těch, kdo nyní čtou článek, by také rádi řekli něco dost zajímavého. Z inženýrského pohledu, z vědeckého — z jakéhokoli. Distribuované výpočty jsou velmi široké a hluboké téma, kde je místo pro všechny.

Pokud chceš vystoupit vedle Lamporta, je to zcela možné. Aby ses stal řečníkem, musíš přejít na odkaz, pečlivě si prostudujte a postupujte podle pokynů.

Buďte klidní, jakmile se zapojíte do procesu, budou vám nápomocní. Programový výbor má dostatečné možnosti, aby pomohl s prezentací, jejím obsahem a formátováním. Koordinátor vám pomůže vyřešit organizační záležitosti a další.

Zvláštní pozornost věnujte obrázku s daty. Červenec je poměrně daleko pro účastníka, zatímco prezentující by měli začít jednat již nyní.

Zakladatelé teorie distribuovaných systémů v náručí hydry

Škola SPTDC

Konference se uskuteční na jednom místě se školou SPTDC, takže pro všechny, kdo si koupí vstupenku na školu, budou vstupenky na konferenci — za cenu sníženou o 20%..

Letní škola o praxi a teorii distribuovaných výpočtů (SPTDC) je škola nabízející široké spektrum kurzů o praktických a teoretických aspektech distribuovaných systémů, které vedou uznávaní odborníci v dané oblasti.

Škola proběhne v anglickém jazyce, takže takto vypadá seznam témat, která budou probírána: