Teorie je, když víte všechno, ale nic nefunguje.
Praxe je, když všechno funguje, ale nikdo neví proč.
distribuované systémy, teorie a praxe se snoubí:
nic nefunguje a nikdo neví proč.
Abychom dokázali, že vtip v epigrafu je absolutní nesmysl, pořádáme již potřetí SPTDC (škola praxe a teorie distribuovaného počítání). O historii školy, jejích spoluzakladatelích Petru Kuzněcovovi a Vitalijovi Aksjonovovi i o účasti JUG Ru Group v organizaci SPTDC jsme již řekla na Habr. Dnešek je proto o škole v roce 2020, o přednáškách a lektorech a také o rozdílech mezi školou a konferencí.
Škola SPTDC se bude konat od 6. do 9. července 2020 v Moskvě.
Všechny přednášky budou v angličtině. Témata přednášek: persistent concurrent computing, kryptografické nástroje pro distribuované systémy, formální metody ověřování konsenzuálních protokolů, konzistence ve velkých systémech, distribuované strojové učení.
Uhodli jste hned, jakou vojenskou hodnost mají postavy na obrázku? Zbožňuji tě.
Přednášející a přednášky
Nir Shavit (Nir Shavit) je profesorem na MIT a Tel Aviv University, spoluautorem skvělé knihy Umění víceprocesorového programování, majitel Ceny Dijkstra pro vývoj a implementaci softwarová transakční paměť (STM) a Gödelova cena za jeho práci na aplikaci algebraické topologie na simulaci počítačů se sdílenou pamětí, spoluzakladatel společnosti Nervová magie, která vytváří rychlé algoritmy strojového učení pro konvenční CPU, a samozřejmě má své vlastní stránky Wikipedie s temperamentní a smyslnou fotografií. Nir se již v roce 2017 účastnil naší školy, kde podal vyčerpávající přehled blokovacích technik (Část 1, Část 2). O čem bude Nir letos mluvit, zatím nevíme, ale doufáme v novinky ze špičkové vědy.
Michael Scott (Michael Scott) je výzkumný pracovník v University of Rochester, známý všem vývojářům Java jako tvůrce neblokovací algoritmy a synchronní fronty ze standardní knihovny Java. Samozřejmě s Dijkstrovou cenou za design synchronizační algoritmy pro výpočet sdílené paměti a vlastní stránka Wikipedie. Minulý rok měl Michael na naší škole přednášku o neblokovacích datových strukturách (Část 1, Část 2). Letos on řekne to o používání programování energeticky nezávislá paměť (NVM), což snižuje složitost programu a režii paměti ve srovnání s „běžnou“ pamětí s náhodným přístupem (DRAM).
Idit Keidar (Idit Keidar) - Profesor na Technionu a majitel Hirschův index asi 40 (což je velmi, velmi mnoho) za dvě stě vědeckých článků v oblasti distribuovaných výpočtů, multithreadingu a odolnosti proti chybám. Eidit se poprvé účastní naší školy, kde je přednášet o základních aspektech práce distribuovaných datových skladů: emulace distribuované paměti, vývoj konsensu a změny konfigurace.
Rodrigo Rodriguez (Rodrigo Rodrigues) - profesor na Técnico, člen laboratoře ID INESC a autor výzkumná práce v oblasti distribuovaných systémů. Letos na naší škole Rodrigo řekne to o konzistenci a izolaci v distribuovaných datových skladech a bude také analyzovat použití CAP věty proveditelnost několika modelů konzistence a izolace v praxi.
Chen Ching (Jing Chen) je profesorem na State University of New York ve Stony Brook, autor výzkumná práce v oblasti blockchainu a přední vědec v Algorand — společnost a blockchainová platforma využívající konsensuální algoritmus zcela založený na Důkaz o vkladu. Chen bude letos na naší škole hovořit o algorandském blockchainu a způsobech, jak dosáhnout jeho zajímavých vlastností: nenáročnost na síťové výpočetní zdroje, nemožnost rozdělit transakční historii a zaručit dokončení transakčního zpracování po jeho přidání do blockchainu.
Christian Kashin (Christian Cachin) je profesorem na univerzitě v Bernu, vedoucím výzkumné skupiny v oblasti ochrany dat, spoluautorem knihy "Úvod do spolehlivého a bezpečného distribuovaného programování“, vývojář blockchainové platformy Hyperledger Fabric (o ní dokonce bylo příspěvek na Habré) a autor výzkumná práce v oblasti kryptografie a bezpečnosti v distribuovaných systémech. Letos v naší škole Christian přednášet ve čtyřech částech o kryptografických nástrojích pro distribuované výpočty: symetrické a asymetrické kryptografii a také o kryptografie se sdíleným klíčem, pseudonáhodná čísla a ověřitelné generování náhodných čísel.
Marko Vukolich (Marko Vukolić) je výzkumný pracovník společnosti IBM Research, autor práce v blockchainu a vývojář Hyperledger Fabric. Ještě nevíme, o čem bude Marco tento rok mluvit na naší škole, ale doufáme, že se dozvíme o jeho nejnovějším vývoji v oblasti blockchainu: výzkumu snížení výkonu distribuované konsensuální protokoly na clusterech až 100 strojů, vysílání protokol Mir s globálním řádem a Byzantská odolnost proti chybám nebo bezblokový blockchain StreamChainminimalizace doby zpracování transakce.
Prasad Jayanti (Prasad Jayanti) je profesorem na Dartmouth College, součástí elity břečťanovou ligu, a autor výzkumná práce v oblasti vícevláknových algoritmů. Letos v naší škole Prasad přednášet o synchronizaci vláken a algoritmech pro implementaci různých možností mutex: s funkcemi přerušení nebo obnovení v modelech energeticky nezávislé paměti a se samostatnými operacemi čtení a zápisu.
Alexey Gotsman (Alexey Gotsman) je profesorem na IMDEA a autorem výzkumná práce v oblasti programového ověřování algoritmů. Co bude Alexey letos na naší škole přednášet, ještě nevíme, ale těšíme se na téma na pomezí verifikace softwaru a distribuovaných systémů.
Proč je to škola a ne konference?
Nejprve přednášející mluví v akademickém formátu a čtou dva páry z každé velké přednášky: "hodina a půl - přestávka - další hodina a půl." Mnoho let mimo vysokou školu, se zvykem hodinových konferenčních hovorů a 10minutových videí na YouTube to může být složité. Dobrý lektor udělá všechny tři hodiny zajímavými, ale za plasticitu svého mozku si každý odpovídá sám.
Užitečný tip: Cvičte na videozáznamech školních přednášek v 2017 rok a 2019 rok. Sbohem, práce - ahoj, byzantští generálové.
Za druhé se lektoři zaměřují na vědecký výzkum a hovoří o základech distribuované systémy a paralelní výpočty, stejně jako novinky ze špičkové vědy. Pokud je vaším cílem rychle něco nakódovat a nasadit to do produkce druhý den po škole v horkém pronásledování, může to být také obtížné.
Užitečný tip: Hledejte výzkumné práce lektorů školy na Google Scholar и arXiv.org. Pokud rádi čtete vědecké práce, bude se vám líbit i škola.
Za třetí, škola SPTDC 2020 není konferencí, protože konference o distribuovaných systémech a paralelních počítačích je Hydra2020. Nedávno na Habré byl příspěvek s revize jeho programu. V loňském roce se SPTDC a Hydra konaly současně a na stejném místě. Letos se v termínech nepřekrývají, takže spolu nesoupeří o váš čas a pozornost.
Užitečný tip: Podívejte se na program konference Hydra a zvažte účast na konferenci i po škole. Tohle bude dobrý týden.
Jak se dostat do školy?
- Zapište si do kalendáře termíny od 6. července do 9. července 2020 (nebo lépe do 11. července jít po škole na konferenci Hydra).
- Vzpamatuj se, připrav se.
- Vyberte vstupenky a jít do školy.
Zdroj: www.habr.com