To Leslie Lamportová - autor zásadných diel v distribuovanej výpočtovej technike a poznáte ho aj podľa písmen La v slove LaTeX - "Lamport TeX". Bol to on, kto tento koncept prvýkrát predstavil v roku 1979 a jeho článok získal cenu Dijkstra (presnejšie, v roku 2000 sa cena volala po starom: „PODC Influential Paper Award“). Je tam o ňom , kde môžete získať ďalšie zaujímavé odkazy. Ak ste nadšení z riešenia problémov na udalosti – pred alebo (BFT), musia pochopiť, že za všetkým je Lamport.
A čoskoro príde na našu novú konferenciu o distribuovaných počítačoch – Hydra, ktorá sa bude konať 11. – 12. júla v Petrohrade. Pozrime sa, čo je to za zviera.
Hydra 2019
Témy ako multithreading sú jedny z najhorúcejších tém na našich konferenciách, vždy boli. Táto sála bola práve opustená, ale potom sa na pódiu objaví osoba, ktorá hovorí o pamäťovom modeli, náhodnom pred alebo viacvláknovom zbere odpadu a - bum! - už menej ako tisíc ľudí zaberá všetok dostupný priestor, aby si sadli a pozorne počúvali. Čo je podstatou tohto úspechu? Možno skutočnosť, že všetci máme v rukách nejaký hardvér schopný organizovať distribuované výpočty? Alebo je to tak, že podvedome chápeme svoju neschopnosť naložiť to na jeho skutočnú hodnotu? Existuje skutočný príbeh jedného petrohradského kvanta (teda finančného kvantitatívneho analytika a vývojára), ktorý skončil s výpočtovým klastrom v rukách, ktorého plnú silu dokáže využiť iba on sám. A čo by ste robili, keby ste svoje úlohy mohli vykonávať s mnohonásobne väčšími kapacitami ako teraz?
Vzhľadom na túto popularitu sa téma výkonu a efektívnej výpočtovej techniky šíri v programe konferencie. Koľko z dvoch dní prehľadov sa dá urobiť o výkone – jedna tretina, dve tretiny? Na niektorých miestach existujú umelé obmedzenia, ktoré tento rast obmedzujú: okrem výkonu tu stále musí byť priestor pre nové webové frameworky, pre nejakých devopov či architektonickú astronautiku. Nie, výkon, nezjete nás všetkých celých!
Alebo môžete ísť opačným smerom, vzdať sa a poctivo urobiť konferenciu, ktorá bude celá o distribuovaných výpočtoch a len o nich. A je to tu, Hydra.
Úprimne si priznajme, že dnes je všetka výpočtová technika tak či onak distribuovaná. Či už ide o viacjadrový stroj, výpočtový klaster alebo rozsiahlu distribuovanú službu, všade existuje veľa procesov, ktoré vykonávajú nezávislé výpočty paralelne, pričom sa navzájom synchronizujú. Ako to funguje teoreticky a ako to funguje v praxi, sa bude venovať Hydra.
Program konferencie
Program je momentálne vo vývoji. Jeho súčasťou by mali byť správy od zakladateľov teórií distribuovaných systémov a inžinierov pracujúcich s nimi vo výrobe.
Napríklad už vieme o účasti Leslie Lamport z Microsoft Research a Maurice Herlihy z Brown University.
Maurice Herlihy - veľmi slávny a uznávaný profesor informatiky, existuje o ňom aj príbeh , kde si môžete prejsť odkazy a diela. Tam si môžete všimnúť až dve ocenenia Dijkstra, prvé za prácu a druhý, novší - . Mimochodom, odkazy nevedú ani na SciHub, ale na Brown University a Virginia Tech University si môžete otvoriť a prečítať.
Maurice bude hostiť hlavnú prednášku s názvom „Blockchains z perspektívy distribuovaných výpočtov“. V prípade záujmu si môžete pozrieť záznam Mauricovej reportáže z Petrohradského džbánu. Zhodnoťte, ako jasne a zrozumiteľne podáva tému.
Bude znieť druhá kľúčová poznámka s názvom „Dvojité dátové štruktúry“. Michael Scott z University of Rochester. A hádajte - aj on má svoje . Doma vo Wisconsine je známy svojou prácou dekana na University of Wisconsin-Madison a vo svete je to človek, ktorý spolu s Dougom Lea vyvinul tie neblokovacie algoritmy a synchrónne fronty, na ktorých bežia Java knižnice. . Tri roky po Herlihym získal cenu Dijkstra za prácu „Algoritmy pre škálovateľnú synchronizáciu na multiprocesoroch so zdieľanou pamäťou“ (ako sa očakávalo, v online knižnici University of Rochester).
Do polovice júla je ešte veľa času. O ďalších prednášajúcich a ich témach vám povieme, keď dolaďujeme program a blížime sa k júlu.
Vo všeobecnosti vzniká otázka - prečo robíme Hydru v lete? Koniec koncov, toto je mimosezóna, sviatky. Problém je v tom, že medzi prednášajúcimi sú vysokoškolskí profesori a iná doba je pre nich rušná. Len sme si nemohli vybrať iné dátumy.
Diskusné zóny
Na iných konferenciách sa stáva, že rečník prečítal, čo treba a hneď odišiel. Účastníci ju ani nestihnú hľadať – veď ďalšia reportáž začína takmer bez prestávky. Veľmi to bolí, najmä keď sú tam dôležití ľudia ako Lamport, Herlihy a Scott a vy vlastne idete na konferenciu len preto, aby ste sa s nimi stretli a o niečom sa porozprávali.
Tento problém sme vyriešili. Ihneď po svojej správe sa rečník odoberie do špeciálnej diskusnej zóny vybavenej aspoň tabuľou s fixkou a vy máte pomerne veľa času. Formálne hovorca sľubuje, že tam bude aspoň počas prestávky medzi správami. V skutočnosti tieto oblasti diskusie moci naťahujte celé hodiny (v závislosti od želania a vytrvalosti rečníka).
Čo sa týka Lamporta, ak tomu dobre rozumiem, chce o tom presvedčiť čo najviac ľudí - to je dobrá vec. (). Možno to bude dobrá šanca pre inžinierov naučiť sa niečo nové a užitočné. Leslie ponúka túto možnosť – kto má záujem, môže si pozrieť jeho minulé prednášky a prísť s otázkami. To znamená, že namiesto hlavnej prednášky môže byť, ako to bolo, špecializovaná relácia otázok a odpovedí a potom ďalšia diskusná zóna. Trochu som googlil a našiel som super (oficiálne dabované ) a hodinová prednáška so Summitom fakulty spoločnosti Microsoft.
Ak ste si o všetkých týchto ľuďoch mysleli ako o menách odliatych zo žuly z Wikipédie a na obálkach kníh, je čas stretnúť sa s nimi naživo! Chatujte a pýtajte sa otázky, na ktoré vám stránky vedeckých článkov neodpovedia, no ich autori vás radi nadviažu.
Call for Papers
Nie je žiadnym tajomstvom, že mnohí z tých, ktorí teraz čítajú tento článok, nie sú proti tomu, aby sami povedali niečo dostatočne zaujímavé. Z inžinierskeho hľadiska, z vedeckého hľadiska, z akéhokoľvek hľadiska. Distribuovaná výpočtová technika je veľmi široká a hlboká téma, kde je miesto pre každého.
Ak chcete hrať po boku Lamporta, je to celkom možné. Ak sa chcete stať rečníkom, potrebujete , pozorne si tam všetko prečítajte a urobte to podľa návodu.
Buďte pokojní, hneď ako sa napojíte na proces, pomôže vám. Programový výbor má dostatok zdrojov na to, aby pomohol so samotnou správou, jej podstatou a dizajnom. Koordinátor vám pomôže riešiť organizačné záležitosti a podobne.
Venujte zvláštnu pozornosť obrázku s dátumami. Júl je pre účastníka dosť vzdialený dátum a rečník musí začať konať už teraz.
škola SPTDC
Konferencia sa bude konať na rovnakom mieste so školou SPTDC, takže pre každého, kto si zakúpi vstupenku do školy, vstupenky na konferenciu - so zľavou 20%.
- škola, ktorá poskytuje širokú škálu kurzov o praktických a teoretických aspektoch distribuovaných systémov, ktoré vyučujú uznávaní odborníci v príslušnej oblasti.
Škola bude prebiehať v angličtine, takže tu je zoznam preberaných tém:
- Súbežné dátové štruktúry: správnosť a efektívnosť;
- Algoritmy pre energeticky nezávislú pamäť;
- Distribuovaná vypočítateľnosť;
- distribuované strojové učenie;
- Replikácia stavového stroja a Paxos;
- Byzantská tolerancia chýb;
- Algoritmické základy blockchainov.
Vystúpia títo rečníci:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Brownova univerzita);
- Michael Scott (Univerzita v Rochesteri);
- Dan Alistarh (IST Rakúsko);
- Trevor Brown (Univerzita vo Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Univerzita Bena Guriona);
- Achour Mostefaoui (Univerzita v Nantes).
so správami predchádzajúcej školy si môžete voľne pozrieť na YouTube:
Ďalšie kroky
Program konferencie sa stále tvorí. Sledujte novinky na Habré alebo na sociálnych sieťach (, , ).
Ak skutočne veríte konferencii (alebo chcete využiť špeciálnu vyvolávaciu cenu, ako sa hovorí „Early Bird“) – môžete ísť na stránku a .
Vidíme sa na Hydre!
Zdroj: hab.com