To Leslie Lamportová - autor zásadních děl v distribuovaném počítání a poznáte ho také podle písmen La ve slově LaTeX - "Lamport TeX". Byl to on, kdo poprvé, již v roce 1979, představil tento koncept , a jeho článek obdrželi cenu Dijkstra (přesněji v roce 2000 se cena nazývala starým způsobem: „PODC Influential Paper Award“). Je tam o něm , kde můžete získat další zajímavé odkazy. Pokud jste nadšení z řešení problémů na událostech-před nebo (BFT), musí pochopit, že za tím vším je Lamport.
A brzy přijede na naši novou konferenci o distribuovaných počítačích - Hydra, která se bude konat 11. až 12. července v Petrohradě. Podívejme se, co je to za zvíře.
Hydra2019
Témata jako multithreading jsou jedny z nejžhavějších témat na našich konferencích, vždy byla. V této hale to bylo jen opuštěné, ale pak se na pódiu objeví člověk, který mluví o paměťovém modelu, před nebo vícevláknovém odvozu odpadu a - bum! - již méně než tisíc lidí zabírá veškerý dostupný prostor, aby se posadili a pozorně poslouchali. Co je podstatou tohoto úspěchu? Možná skutečnost, že všichni máme v rukou nějaký hardware schopný organizovat distribuované výpočty? Nebo je to tím, že podvědomě chápeme svou neschopnost naložit to na jeho skutečnou hodnotu? Existuje skutečný příběh jednoho petrohradského kvanta (tedy finančního kvantitativního analytika a vývojáře), který skončil s výpočetním clusterem v rukou, jehož plnou sílu může využívat pouze on sám. A co byste dělali, kdybyste své úkoly vykonávali s mnohonásobně většími kapacitami než nyní?
Vzhledem k této popularitě se téma výkonu a efektivního výpočetního programu obvykle rozšiřuje napříč programem konference. Kolik z těchto dvou dnů lze vytvořit zprávy o výkonu – jedna třetina, dvě třetiny? Někde existují umělá omezení, která tento růst omezují: kromě výkonu musí být stále prostor pro nové webové frameworky, pro nějaké ty devopy nebo architektonickou astronautiku. Ne, výkon, nesežereš nás všechny celé!
Nebo můžete jít opačnou cestou, vzdát se a poctivě udělat konferenci, která bude výhradně o distribuovaných počítačích a pouze o nich. A je to tady, Hydro.
Upřímně si přiznejme, že dnes je veškerá výpočetní technika tak či onak distribuována. Ať už se jedná o vícejádrový stroj, výpočetní cluster nebo rozsáhlou distribuovanou službu, všude existuje mnoho procesů, které provádějí nezávislé výpočty paralelně a vzájemně se synchronizují. Hydra se zaměří na to, jak to funguje teoreticky a jak to funguje v praxi.
Program konference
Program je v současné době ve vývoji. Měl by obsahovat zprávy od zakladatelů teorií distribuovaných systémů a inženýrů pracujících s nimi ve výrobě.
Už víme například o účasti Leslie Lamportové z Microsoft Research a Maurice Herlihyho z Brown University.
Maurice Herlihy - velmi slavný a uznávaný profesor informatiky, existuje o něm také příběh , kde si můžete procházet odkazy a díla. Tam si můžete všimnout hned dvou ocenění Dijkstra, první za práci a druhý, novější - . Mimochodem, odkazy nevedou ani na SciHub, ale na Brown University a Virginia Tech University, můžete otevřít a přečíst.
Maurice bude hostit keynote nazvanou „Blockchains z perspektivy distribuovaných počítačů“. V případě zájmu se můžete podívat na záznam Mauriceho reportáže z Petrohradského džbánu. Zhodnoťte, jak jasně a srozumitelně předává téma.
Bude znít druhá klíčová poznámka nazvaná „Duální datové struktury“. Michael Scott z University of Rochester. A hádejte co – i on má své . Doma ve Wisconsinu je známý svou prací děkana na University of Wisconsin-Madison a ve světě je to muž, který spolu s Dougem Leou vyvinul ty neblokující algoritmy a synchronní fronty, na kterých běží knihovny Java. . Tři roky po Herlihym obdržel cenu Dijkstra za svou práci „Algorithms for škálovatelná synchronizace na multiprocesorech se sdílenou pamětí“ (jak se očekávalo, v online knihovně University of Rochester).
Do půlky července je ještě hodně času. O dalších řečnících a jejich tématech vám povíme, až budeme program dolaďovat a blíží se červenec.
Obecně se nabízí otázka - proč vyrábíme Hydru v létě? Koneckonců, je to mimo sezónu, prázdniny. Problém je, že mezi řečníky jsou univerzitní profesoři a jakákoliv jiná doba je pro ně zaneprázdněná. Jen jsme si nemohli vybrat jiné termíny.
Diskusní zóny
Na jiných konferencích se stává, že řečník přečetl, co je třeba, a hned odešel. Účastníci to ani nestihnou hledat – vždyť další reportáž začíná téměř bez mezery. Hodně to bolí, zvlášť když jsou přítomni důležití lidé jako Lamport, Herlihy a Scott a vy vlastně jdete na konferenci jen proto, abyste se s nimi setkali a o něčem si popovídali.
Tento problém jsme vyřešili. Ihned po své zprávě jde řečník do speciálního diskusního prostoru vybaveného alespoň tabulí s fixem a vy máte poměrně dost času. Formálně přednášející slibuje, že tam bude alespoň o přestávce mezi reportážemi. Ve skutečnosti tyto diskusní oblasti plechovka natahujte se celé hodiny (v závislosti na přání a výdrži mluvčího).
Pokud jde o Lamporta, pokud tomu dobře rozumím, chce o tom přesvědčit co nejvíce lidí - to je dobrá věc. (). Možná to bude dobrá šance pro inženýry naučit se něco nového a užitečného. Leslie tuto možnost nabízí – kdo má zájem, může sledovat jeho minulé přednášky a přijít s dotazy. To znamená, že místo keynote může být jakoby specializovaná sekce Q&A a poté další diskusní zóna. Trochu jsem googlil a našel super (oficiálně dabováno ) a hodinová přednáška s Microsoft Faculty Summit.
Pokud jste všechny tyto lidi považovali za jména odlitá do žuly z Wikipedie a na obálky knih, je čas se s nimi setkat naživo! Chatujte a ptejte se na otázky, na které vám stránky vědeckých článků neodpoví, ale jejich autoři rádi kontaktují.
Call for Papers
Není žádným tajemstvím, že mnozí z těch, kteří nyní čtou článek, nemají odpor k tomu, aby sami řekli něco dostatečně zajímavého. Z inženýrského hlediska, z vědeckého hlediska, z jakéhokoli pohledu. Distribuované výpočty jsou velmi široké a hluboké téma, kde je místo pro každého.
Pokud chcete hrát po boku Lamporta, je to zcela možné. Chcete-li se stát řečníkem, potřebujete , pečlivě si tam vše přečtěte a udělejte to podle návodu.
Buďte v klidu, jakmile se na proces napojíte, bude vám pomoženo. Programový výbor má dostatek prostředků, aby pomohl se zprávou samotnou, její podstatou a designem. Koordinátor vám pomůže řešit organizační záležitosti a podobně.
Zvláštní pozornost věnujte obrázku s daty. Červenec je pro účastníka poměrně vzdálené datum a řečník musí začít jednat hned.
škola SPTDC
Konference se bude konat na stejném místě se školou SPTDC, takže pro každého, kdo si zakoupí vstupenku do školy, vstupenky na konferenci - se slevou 20%.
- škola, která poskytuje širokou škálu kurzů o praktických a teoretických aspektech distribuovaných systémů, které vyučují uznávaní odborníci v příslušné oblasti.
Škola bude probíhat v angličtině, takže zde je seznam probíraných témat:
- Souběžné datové struktury: správnost a účinnost;
- Algoritmy pro energeticky nezávislou paměť;
- Distribuovaná vyčíslitelnost;
- distribuované strojové učení;
- Replikace stavového stroje a Paxos;
- Byzantská odolnost proti chybám;
- Algoritmické základy blockchainů.
Vystoupí tito řečníci:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Brown University);
- Michael Scott (University of Rochester);
- Dan Alistarh (IST Rakousko);
- Trevor Brown (Univerzita ve Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Univerzita Bena Guriona);
- Achour Mostefaoui (Univerzita v Nantes).
se zprávami předchozí školy si můžete volně prohlédnout na YouTube:
Další kroky
Program konference se stále tvoří. Sledujte novinky na Habré nebo na sociálních sítích (, , ).
Pokud konferenci opravdu věříte (nebo chcete využít speciální vyvolávací cenu, jak se říká „Early Bird“) – můžete přejít na stránku a .
Uvidíme se na Hydra!
Zdroj: www.habr.com