Teorija je, ko veš vse, a nič ne deluje.
Praksa je, ko vse deluje, a nihče ne ve zakaj.
porazdeljeni sistemi, teorija in praksa sta združeni:
nič ne deluje in nihče ne ve zakaj.
Da bi dokazali, da je šala v epigrafu popolna neumnost, že tretjič izvajamo SPTDC (šolo o praksi in teoriji porazdeljenega računalništva). O zgodovini šole, njenih soustanoviteljev Petru Kuznetsovu in Vitaliju Aksjonovu ter sodelovanju skupine JUG Ru v organizaciji SPTDC smo že povedal na Habru. Zatorej danes o šoli 2020, o predavanjih in predavateljih, pa tudi o razlikah med šolo in konferenco.
Šola SPTDC bo potekala od 6. do 9. julija 2020 v Moskvi.
Vsa predavanja bodo v angleškem jeziku. Teme predavanj: vztrajno sočasno računanje, kriptografska orodja za porazdeljene sisteme, formalne metode za preverjanje konsenznih protokolov, konsistentnost v velikih sistemih, porazdeljeno strojno učenje.
Ste takoj uganili, kateri vojaški čin so liki na sliki? Obožujem te.
Predavatelji in predavanja
Nir Šavit (Nir Shavit) je profesor na MIT in univerzi Tel Aviv, soavtor odlične knjige Umetnost večprocesorskega programiranja, lastnik Dijkstra nagrade za razvoj in izvedbo programski transakcijski pomnilnik (STM) in Gödlova nagrada za svoje delo na področju uporabe algebraične topologije pri simulaciji računalništva v skupnem pomnilniku soustanovitelj podjetja Nevronska magija, ki ustvarja hitre algoritme strojnega učenja za običajne procesorje in ima seveda svoj Strani Wikipedije z drzno in soparno fotografijo. Nir je leta 2017 že sodeloval na naši šoli, kjer je podal izčrpen pregled tehnik blokiranja (Del 1, Del 2). O čem bo Nir govoril letos, še ne vemo, upamo pa na novice iz vrhunske znanosti.
Michael Scott (Michael Scott) je raziskovalec v Univerza v Rochesterju, ki je vsem razvijalcem Jave znan kot ustvarjalec neblokirni algoritmi in sinhrone čakalne vrste iz standardne knjižnice Java. Seveda z Dijkstra's Design Award sinhronizacijski algoritmi za računalništvo v skupnem pomnilniku in lastno stran Wikipedije. Lansko leto je imel Michael na naši šoli predavanje o neblokirnih podatkovnih strukturah (Del 1, Del 2). Letos on bo povedal o uporabi programiranja obstojni pomnilnik (NVM), ki zmanjša kompleksnost programa in obremenitev pomnilnika v primerjavi z "navadnim" pomnilnikom z naključnim dostopom (DRAM).
Idit Keidar (Idit Keidar) - profesorica na Technionu in lastnica Hirschev indeks približno 40 (kar je zelo, zelo veliko) za dvesto znanstvenih člankov na področju porazdeljenega računalništva, večnitnosti in tolerance napak. Eidit se prvič udeležuje naše šole, kjer se predavati o osnovnih vidikih delovanja porazdeljenih podatkovnih skladišč: emulacija porazdeljenega pomnilnika, konsenzni razvoj in spreminjanje konfiguracije.
Rodrigo Rodriguez (Rodrigo Rodrigues) - profesor na Técnico, član laboratorija INESC ID in avtor raziskovalno delo na področju porazdeljenih sistemov. Letos na naši šoli Rodrigo bo povedal o doslednosti in izolaciji v porazdeljenih podatkovnih skladiščih, analiziral pa bo tudi uporabo Izreki CAP izvedljivost več modelov konsistentnosti in izolacije v praksi.
Chen Ching (Jing Chen) je profesor na Državni univerzi New York v Stony Brooku, avtor raziskovalno delo na področju blockchaina in vodilni znanstvenik v Algorand — podjetje in platforma blockchain, ki uporablja algoritem soglasja, ki v celoti temelji na Dokaz o deležu. Letos bo Chen na naši šoli govoril o verigi blokov Algorand in načinih, kako doseči njene zanimive lastnosti: nezahtevnost za omrežne računalniške vire, nezmožnost razdelitve zgodovine transakcij in zagotavljanje konca obdelave transakcij po dodajanju v verigo blokov.
Kristjan Kašin (Christian Cachin) je profesor na Univerzi v Bernu, vodja raziskovalne skupine na področju varstva podatkov, soavtor knjige "Uvod v zanesljivo in varno porazdeljeno programiranje«, razvijalec platforme blockchain Tkanina Hyperledger (o njej je bilo celo objava na Habréju) in avtor raziskovalno delo na področju kriptografije in varnosti v porazdeljenih sistemih. Letos v naši šoli Christian predavati v štirih delih o kriptografskih orodjih za porazdeljeno računalništvo: simetrični in asimetrični kriptografiji ter o kriptografija s skupnim ključem, psevdonaključna števila in generiranje preverljivih naključnih števil.
Marko Vukolič (Marko Vukolic) je raziskovalec pri IBM Research, avtor del v blockchainu in razvijalec Hyperledger Fabric. Ne vemo še, o čem bo Marco letos govoril na naši šoli, vendar upamo, da bomo izvedeli o njegovih najnovejših dosežkih na področju blockchaina: raziskava poslabšanje zmogljivosti porazdeljeni konsenzni protokoli na grozdih do 100 strojev, oddajanje Mir protokol z globalnim redom in Bizantinska toleranca napak ali blockchain brez blokov StreamChainzmanjšanje časa obdelave transakcije.
Prasad Jayanti (Prasad Jayanti) je profesor na Dartmouth College, del elite bršljanska liga, in avtor raziskovalno delo na področju večnitnih algoritmov. Letos v naši šoli Prasad predavati o sinhronizaciji niti in algoritmih za implementacijo različnih možnosti mutex: s funkcijami prekinitve ali obnovitve v modelih obstojnega pomnilnika in z ločenimi operacijami branja in pisanja.
Aleksej Gotsman (Alexey Gotsman) je profesor na IMDEA in avtor raziskovalno delo na področju programske verifikacije algoritmov. Ne vemo še, kaj bo Alexey letos predaval na naši šoli, veselimo pa se teme na stičišču verifikacije programske opreme in porazdeljenih sistemov.
Zakaj je to šola in ne konferenca?
Najprej predavatelji govorijo v akademski obliki in preberejo dva para vsakega velikega predavanja: "ura in pol - odmor - še ena ura in pol." To je lahko težavno, že mnogo let po koncu fakultete, z navado urnih konferenčnih pogovorov in 10-minutnih videoposnetkov na YouTubu. Dober predavatelj bo popestril vse tri ure, a za plastičnost svojih možganov je odgovoren vsak.
Koristen nasvet: Vadite na video posnetkih šolskih predavanj v 2017 leto in 2019 leto. Zbogom, delo - pozdravljeni bizantinski generali.
Drugič, predavatelji se osredotočajo na znanstveno raziskovanje in govorijo o osnovah porazdeljeni sistemi in vzporedno računalništvo ter novice iz vrhunske znanosti. Če je vaš cilj, da nekaj hitro kodirate in naslednji dan po šoli v hitrem zasledovanju to uvedete v proizvodnjo, je to lahko tudi težko.
Koristen nasvet: raziskovalne naloge predavateljev šole poiščite na Google Scholar и arXiv.org. Če radi berete znanstvene članke, boste uživali tudi v šoli.
Tretjič, šola SPTDC 2020 ni konferenca, ker je konferenca o porazdeljenih sistemih in vzporednem računalništvu Hidra 2020. Pred kratkim je bila na Habréju objava z pregled svojega programa. Lani sta SPTDC in Hydra potekala hkrati in na istem mestu. Letos se terminsko ne prekrivajo, zato med seboj ne tekmujejo za vaš čas in pozornost.
Koristen nasvet: Oglejte si program konference Hydra in razmislite o udeležbi konference tudi po šoli. To bo dober teden.
Kako do šole?
- V koledar si zapišite datume od 6. julija do 9. julija 2020 (ali bolje do 11. julija, da greste po šoli na konferenco Hydra).
- Pogumno, pripravi se.
- Izberite vstopnice in pojdi v šolo.
Vir: www.habr.com