Teorija je kad sve znaš, ali ništa ne funkcionira.
Praksa je kada sve radi, ali nitko ne zna zašto.
distribuirani sustavi, spajaju se teorija i praksa:
ništa ne radi i nitko ne zna zašto.
Kako bismo dokazali da je šala u epigrafu apsolutna glupost, po treći put održavamo SPTDC (školu prakse i teorije distribuiranog računarstva). O povijesti škole, njenim suosnivačima Petru Kuznjecovu i Vitaliju Aksjonovu, kao i o sudjelovanju JUG Ru Grupe u organizaciji SPTDC, već smo rekao na Habru. Dakle, danas je riječ o školi 2020., o predavanjima i predavačima, kao io razlikama između škole i konferencije.
SPTDC škola će se održati od 6. do 9. srpnja 2020. u Moskvi.
Sva predavanja će biti na engleskom jeziku. Teme predavanja: perzistentno konkurentno računanje, kriptografski alati za distribuirane sustave, formalne metode za provjeru konsenzusnih protokola, konzistentnost u velikim sustavima, distribuirano strojno učenje.
Jeste li odmah pogodili koji vojni čin imaju likovi na slici? Obožavam te.
Predavači i predavanja
Nir Shavit (Nir Shavit) je profesor na MIT-u i Sveučilištu Tel Aviv, koautor sjajne knjige Umijeće višeprocesorskog programiranja, vlasnik Dijkstra nagrade za razvoj i implementaciju softverska transakcijska memorija (STM) i Gödelovu nagradu za svoj rad na primjeni algebarske topologije na simulaciju računalstva dijeljene memorije, suosnivač tvrtke Neuralna magija, koji stvara brze algoritme strojnog učenja za konvencionalne procesore, i, naravno, ima vlastite Wikipedijine stranice uz poletnu i sparnu fotografiju. Nir je već sudjelovao u našoj školi 2017. godine, gdje je dao iscrpan pregled tehnika blokiranja (Dio 1, Dio 2). O čemu će Nir govoriti ove godine, još ne znamo, ali nadamo se vijestima iz vrhunske znanosti.
Michael Scott (Michael Scott) je istraživač u Sveučilište u Rochesteru, poznat svim Java programerima kao kreator neblokirajući algoritmi i sinkroni redovi iz Java standardne knjižnice. Naravno, uz Dijkstrinu nagradu za dizajn algoritmi sinkronizacije za računalstvo dijeljene memorije i vlastiti stranica Wikipedije. Prošle je godine Michael održao predavanje u našoj školi o neblokirajućim podatkovnim strukturama (Dio 1, Dio 2). Ove godine on će reći o korištenju programiranja trajna memorija (NVM), koji smanjuje složenost programa i opterećenje memorije u usporedbi s "običnom" memorijom s izravnim pristupom (DRAM).
Idit Keidar (Idit Keidar) - Profesorica na Technionu i vlasnica Hirschov indeks oko 40 (što je jako, jako puno) za dvjesto znanstvenih članaka u području distribuiranog računarstva, multithreadinga i tolerancije na greške. Eidit po prvi put učestvuje u našoj školi, gdje ona održati predavanje o osnovnim aspektima rada distribuiranih skladišta podataka: emulacija distribuirane memorije, konsenzusni razvoj i konfiguracijske promjene.
Rodrigo Rodriguez (Rodrigo Rodrigues) - profesor na Técnicu, član laboratorija INESC ID i autor istraživački rad u području distribuiranih sustava. Ove godine u našoj školi Rodrigo će reći o dosljednosti i izolaciji u distribuiranim skladištima podataka, a također će analizirati korištenje CAP teoremi izvedivost u praksi nekoliko modela dosljednosti i izolacije.
Chen Ching (Jing Chen) je profesor na Državnom sveučilištu New York u Stony Brooku, autor istraživački rad u području blockchaina i vodeći znanstvenik u Algorand — tvrtka i blockchain platforma koja koristi algoritam konsenzusa koji se u potpunosti temelji na Dokaz o ulozi. Ove godine u našoj školi Chen će govoriti o Algorand blockchainu i načinima postizanja njegovih zanimljivih svojstava: nezahtjevnosti za umrežavanje računalnih resursa, nemogućnosti razdvajanja povijesti transakcija i jamčenju završetka obrade transakcija nakon dodavanja u blockchain.
Kristijan Kašin (Christian Cachin) je profesor na Sveučilištu u Bernu, voditelj istraživačke grupe u području zaštite podataka, koautor knjige "Uvod u pouzdano i sigurno distribuirano programiranje“, razvijač blockchain platforme Tkanina hiperledgera (o njoj je čak bilo objaviti na Habréu) i autor istraživački rad u području kriptografije i sigurnosti u distribuiranim sustavima. Ove godine u našoj školi Christian održati predavanje u četiri dijela o kriptografskim alatima za distribuirano računalstvo: simetričnoj i asimetričnoj kriptografiji, te o kriptografija dijeljenog ključa, pseudoslučajni brojevi i provjerljivo generiranje slučajnih brojeva.
Marko Vukolich (Marko Vukolić) je istraživač u IBM Researchu, autor rada u blockchainu i programer Hyperledger Fabric. Još ne znamo o čemu će Marco govoriti u našoj školi ove godine, ali se nadamo da ćemo saznati više o njegovim najnovijim dostignućima u području blockchaina: istraživanje degradacija performansi distribuirani konsenzusni protokoli na klasterima do 100 strojeva, emitiranje Mir protokol s globalnim poretkom i Bizantska tolerancija na pogreške ili blockless blockchain StreamChainminimiziranje vremena obrade transakcije.
Prasad Jayanti (Prasad Jayanti) je profesor na Dartmouth Collegeu, dio elite Ivy league, i autor istraživački rad u području višenitnih algoritama. Ove godine u našoj školi Prasad održati predavanje o sinkronizaciji niti i algoritmima za implementaciju raznih opcija mutex: s funkcijama prekida ili vraćanja u modele stalne memorije i s odvojenim operacijama čitanja i pisanja.
Aleksej Gotsman (Alexey Gotsman) je profesor na IMDEA-i i autor istraživački rad u području programske verifikacije algoritama. Još ne znamo što će Alexey ove godine predavati u našoj školi, ali veselimo se temi na raskrižju verifikacije softvera i distribuiranih sustava.
Zašto je ovo škola, a ne konferencija?
Prvo, predavači govore u akademskom formatu i čitaju dva para svakog velikog predavanja: "sat i pol - pauza - još sat i pol." Mnogo godina izvan fakulteta, s navikom jednosatnih konferencijskih razgovora i 10-minutnih YouTube videa, ovo može biti teško. Dobar predavač sva će tri sata učiniti zanimljivima, no za plastičnost vlastitog mozga svatko je odgovoran.
Koristan savjet: Vježbajte na video snimkama školskih predavanja u 2017 godine i 2019 godine. Zbogom, rad - zdravo, bizantski generali.
Drugo, predavači se fokusiraju na znanstveno istraživanje i govore o osnovama distribuirani sustavi i paralelno računalstvo, kao i novosti iz vrhunske znanosti. Ako je vaš cilj brzo kodirati nešto i implementirati to u proizvodnju sljedeći dan nakon škole u hitnoj potjeri, to također može biti teško.
Koristan savjet: Potražite znanstvene radove predavača škole na Google znalca и arXiv.org. Ako volite čitati znanstvene radove, uživat ćete iu školi.
Treće, škola SPTDC 2020 nije konferencija, jer je konferencija o distribuiranim sustavima i paralelnom računalstvu Hidra 2020. Nedavno je na Habréu objavljen post sa pregled svog programa. Prošle godine SPTDC i Hydra održali su se istovremeno i na istom mjestu. Ove godine se terminski ne preklapaju, pa se međusobno ne natječu za vaše vrijeme i pažnju.
Koristan savjet: pogledajte program Hydra konferencije i razmislite o sudjelovanju na konferenciji i nakon škole. Ovo će biti dobar tjedan.
Kako do škole?
- Zapišite datume od 6. srpnja do 9. srpnja 2020. u kalendar (ili bolje do 11. srpnja da biste nakon škole otišli na Hydra konferenciju).
- Ohrabrite se, pripremite se.
- Odaberite ulaznice i ići u školu.
Izvor: www.habr.com