Teória je, keď všetko viete, ale nič nefunguje.
Prax je, keď všetko funguje, ale nikto nevie prečo.
V distribuovaných systémoch, teória a prax sa spájajú:
nič nefunguje a nikto nevie prečo.
Aby sme dokázali, že vtip v epigrafe je absolútna hlúposť, organizujeme SPTDC (škola praxe a teórie distribuovaných výpočtov) už po tretíkrát. Už sme diskutovali o histórii školy, jej spoluzakladateľoch Pjotrovi Kuznecovovi a Vitalijovi Aksjonovovi, ako aj o účasti JUG Ru Group na organizovaní SPTDC. povedal na Habré. Preto dnes hovoríme o škole v roku 2020, o prednáškach a lektoroch, ako aj o rozdieloch medzi školou a konferenciou.
Škola SPTDC sa bude konať od 6. júla do 9. júla 2020 v Moskve.
Všetky prednášky budú v angličtine. Hlavné témy prednášok: persistent concurrent computing, kryptografické nástroje pre distribuované systémy, formálne metódy overovania konsenzuálnych protokolov, konzistencia vo veľkých systémoch, distribuované strojové učenie.
Uhádli ste hneď, akú vojenskú hodnosť majú postavy na obrázku? Zbožňujem ťa.
Lektori a prednášky
Nir Shavit (Nir Shavit) - profesor na MIT a Tel Aviv University, spoluautor skvelej knihy Umenie viacprocesorového programovania, majiteľ Cena Dijkstra na vývoj a implementáciu softvérová transakčná pamäť (STM) a Gödelovu cenu za prácu na aplikácii algebraickej topológie na modelovanie výpočtov so zdieľanou pamäťou, spoluzakladateľ spoločnosti Neurónová mágia, ktorá vytvára rýchle algoritmy strojového učenia pre bežné procesory a, samozrejme, má svoje vlastné stránky Wikipedia s výraznou a zmyselnou fotografiou. Nir sa už na našej škole zúčastnil v roku 2017, kde podal komplexný prehľad blokovacích techník (Časť 1, Časť 2). Zatiaľ nevieme, o čom bude Nir tento rok hovoriť, ale dúfame v správy z popredia vedy.
Michael Scott (Michael Scott) - výskumník v 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 Dijkstrovou cenou za rozvoj synchronizačné algoritmy pre výpočty so zdieľanou pamäťou a vlastné stránka Wikipedia. Minulý rok mal Michael na našej škole prednášku o neblokujúcich dátových štruktúrach (Časť 1, Časť 2). Tento rok on povie to o používaní programovania energeticky nezávislá pamäť (NVM), čo znižuje zložitosť programu a réžiu pamäte v porovnaní s „bežnou“ pamäťou s náhodným prístupom (DRAM).
Ide Keidar (Idit Keidar) - profesor na Technione a majiteľ Hirschov index asi 40 (čo je veľmi, veľmi značné) za dvesto vedeckých článkov v oblasti distribuovaných výpočtov, multithreadingu a odolnosti voči chybám. Idit sa prvýkrát zúčastňuje na našej škole, kde je bude mať prednášku o základných aspektoch fungovania distribuovaných dátových úložísk: emulácia distribuovanej pamäte, vývoj konsenzu a zmeny konfigurácie.
Rodrigo Rodriguez (Rodrigo Rodrigues) - profesor na Técnico, člen laboratória INESC-ID a autor výskumná práca v oblasti distribuovaných systémov. Tento rok na našej škole Rodrigo povie to o konzistencii a izolácii v distribuovaných dátových skladoch a bude tiež analyzovať použitie CAP vety realizovateľnosť niekoľkých modelov konzistencie a izolácie v praxi.
Chen Jing (Jing Chen) – profesor na State University of New York v Stony Brook, autor výskumná práca v oblasti blockchainu a popredným vedcom v Algorand - spoločnosť a blockchain platforma, ktorá využíva konsenzuálny algoritmus založený výlučne na Dôkaz o podiele. Chen bude tento rok na našej škole rozprávať o Algorand blockchaine a spôsoboch, ako dosiahnuť jeho zaujímavé vlastnosti: nízke nároky na sieťové výpočtové zdroje, nemožnosť rozdeliť históriu transakcií a garantovať dokončenie spracovania transakcií po jej pridaní do blockchainu.
Christian Cashin (Christian Cachin) je profesor na univerzite v Berne, vedie výskumnú skupinu v oblasti ochrany údajov, spoluautor knihy „Úvod do spoľahlivého a bezpečného distribuovaného programovania“, vývojár blockchainovej platformy Hyperledger Fabric (Dokonca sa o nej hovorilo príspevok na Habré) a autor výskumná práca v oblasti kryptografie a bezpečnosti v distribuovaných systémoch. Tento rok na našej škole Christian bude mať prednášku štvordielny seriál o kryptografických nástrojoch pre distribuované výpočty: symetrická a asymetrická kryptografia, ako aj kryptografia so zdieľaným kľúčom, pseudonáhodné čísla a overiteľné generovanie náhodných čísel.
Marko Vukolić (Marko Vukolić) - výskumník IBM Research, autor práce v blockchaine a vývojár Hyperledger Fabric. Zatiaľ nevieme, o čom bude Marco tento rok hovoriť na našej škole, ale dúfame, že sa dozvieme o jeho najnovšom vývoji v oblasti blockchainu: výskume zhoršenie výkonu distribuované konsenzuálne protokoly na klastroch do 100 strojov, vysielanie Mir protokol s globálnym poriadkom a Byzantská tolerancia chýb alebo bezblokový blockchain StreamChain, čím sa minimalizuje čas spracovania transakcií.
Prasad Jayanti (Prasad Jayanti) je profesorom na Dartmouth College, patrí medzi elitu Ivy League, a autor výskumná práca v oblasti viacvláknových algoritmov. Tento rok na našej škole Prasad bude mať prednášku o synchronizácii vlákien a algoritmoch na implementáciu rôznych možností mutex: S funkciami prerušenia alebo obnovenia v modeloch s trvalou pamäťou, ako aj samostatnými operáciami čítania a zápisu.
Alexey Gotsman (Alexey Gotsman) - profesor na IMDEA a autor výskumná práca v oblasti softvérového overovania algoritmov. O čom bude Alexey tento rok prednášať na našej škole ešte nevieme, ale počítame s témou na pomedzí verifikácie softvéru a distribuovaných systémov.
Prečo je toto škola a nie konferencia?
Po prvé, lektori hovoria v akademickom formáte a každú veľkú prednášku vedú dve dvojice: "hodina a pol - prestávka - ďalšia hodina a pol." Veľa rokov po univerzite, so zvykom hodinových prezentácií na konferenciách a 10-minútových videí na YouTube to môže byť ťažké. Dobrý lektor urobí celé tri hodiny zaujímavými, no za plasticitu svojho mozgu si zodpovedá každý sám.
Užitočná rada: prax na videozáznamoch školských prednášok v 2017 rok a 2019 rok. Zbohom práca - ahojte byzantskí generáli.
Po druhé, lektori sa zameriavajú na vedecký výskum a hovoria o základných princípoch distribuované systémy a paralelné výpočty, ako aj novinky z oblasti vedy. Ak je vaším cieľom rýchlo niečo naprogramovať a nasadiť do výroby na druhý deň po škole, aj to môže byť náročné.
Užitočný tip: vyhľadajte výskumné práce od školských lektorov na Študovňa Google и arXiv.org. Ak radi čítate vedecké práce, bude sa vám páčiť aj škola.
Po tretie, SPTDC 2020 nie je konferencia, pretože konferencia o distribuovaných systémoch a paralelných výpočtoch je Hydra 2020. Nedávno tu bol príspevok na Habré s prehľad jej programu. Minulý rok sa SPTDC a Hydra konali súčasne a na rovnakom mieste. Tento rok sa neprekrývajú v dátumoch, takže medzi sebou nesúperia o váš čas a pozornosť.
Užitočný tip: Pozrite si program konferencie Hydra a zvážte účasť na ďalšej konferencii po škole. Bude to dobrý týždeň.
Ako sa dostať do školy?
- Zapíšte si do kalendára termíny od 6. júla do 9. júla 2020 (alebo lepšie 11. júla, aby ste po škole mohli ísť na konferenciu Hydra).
- Odvážte sa, pripravte sa.
- Vyberte si lístky a ísť do školy.
Zdroj: hab.com