Teorija je kada sve znaš, ali ništa ne funkcioniše.
Praksa je kada sve funkcioniše, ali niko ne zna zašto.
distribuirani sistemi, kombinacija teorije i prakse:
ništa ne radi i niko ne zna zašto.
Da bismo dokazali da je šala u epigrafu apsolutna besmislica, po treći put održavamo SPTDC (školu prakse i teorije distribuiranog računarstva). O istoriji škole, njenim suosnivačima Petru Kuznjecovu i Vitaliju Aksjonovu, kao i o učešću JUG Ru grupe u organizaciji SPTDC, već smo rekao je na Habr. Stoga je danas riječ o školi 2020. godine, o predavanjima i predavačima, kao io razlikama između škole i konferencije.
SPTDC škola će se održati od 6. do 9. jula 2020. godine u Moskvi.
Sva predavanja će biti na engleskom jeziku. Teme predavanja: uporno istovremeno računanje, kriptografski alati za distribuirane sisteme, formalne metode za provjeru konsenzus protokola, konzistentnost u sistemima velikih razmjera, distribuirano mašinsko učenje.
Da li ste 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 Univerzitetu u Tel Avivu, koautor sjajne knjige Umetnost višeprocesorskog programiranja, vlasnik Dijkstra Prizes za razvoj i implementaciju softverska transakciona memorija (STM) i Gödel nagrada za njegov rad na primeni algebarske topologije na simulaciju računarstva zajedničke memorije, suosnivač kompanije Neuralna magija, koji stvara brze algoritme mašinskog učenja za konvencionalne procesore i, naravno, ima svoje Wikipedia stranice uz poletne i sparno fotografije. Nir je već učestvovao u našoj školi 2017. godine, gdje je dao iscrpan pregled tehnika blokiranja (deo 1-a, deo 2-a). O čemu će Nir pričati ove godine, još ne znamo, ali se nadamo vijestima iz vrhunske nauke.
Michael Scott (Michael Scott) je istraživač u Univerzitet u Rochesteru, poznat svim Java programerima kao kreator neblokirajući algoritmi i sinhroni redovi iz Java standardne biblioteke. Naravno, uz Dijkstrinu nagradu za dizajn algoritmi sinhronizacije za računanje u zajedničkoj memoriji i sopstveni Wikipedia stranica. Prošle godine, Michael je održao predavanje u našoj školi o neblokirajućim strukturama podataka (deo 1-a, deo 2-a). Ove godine on reći će o korištenju programiranja trajna memorija (NVM), koji smanjuje složenost programa i memorijske troškove u poređenju sa "običnom" memorijom sa slučajnim pristupom (DRAM).
Idit Keidar (Idit Keidar) - Profesor u Technionu i vlasnik Hirsch indeks oko 40 (što je jako, jako puno) za dvjesto naučnih članaka u oblasti distribuiranog računarstva, multithreading i tolerancije grešaka. Eidit po prvi put učestvuje u našoj školi, gdje je ona održati predavanje o osnovnim aspektima rada distribuiranih skladišta podataka: emulacija distribuirane memorije, razvoj konsenzusa i promjene konfiguracije.
Rodrigo Rodriguez (Rodrigo Rodrigues) - profesor na Técnico, član laboratorije INESC ID i autor istraživački rad u oblasti distribuiranih sistema. Ove godine u našoj školi Rodrigo reći će o konzistentnosti i izolaciji u distribuiranim skladištima podataka, a također će analizirati korištenje CAP teoreme izvodljivost u praksi nekoliko modela konzistentnosti i izolacije.
Chen Ching (Jing Chen) je profesor na Državnom univerzitetu New York u Stony Brooku, autor istraživački rad u oblasti blockchaina i vodeći naučnik u Algorand — kompanija i blockchain platforma koja koristi konsenzus algoritam u potpunosti zasnovan na Dokaz o udjelu. Ove godine u našoj školi, Chen će govoriti o Algorand blockchainu i načinima za postizanje njegovih zanimljivih svojstava: nezahtjevni za mrežne računarske resurse, nemogućnost podjele povijesti transakcija i garantiranje završetka obrade transakcija nakon što se doda u blockchain.
Christian Kashin (Christian Cachin) je profesor na Univerzitetu u Bernu, voditelj istraživačke grupe u oblasti zaštite podataka, koautor knjige "Uvod u pouzdano i sigurno distribuirano programiranje“, programer blockchain platforme Hyperledger Fabric (o njoj je čak i bilo objava na Habréu) i autor istraživački rad u oblasti kriptografije i sigurnosti u distribuiranim sistemima. Ove godine u našoj školi Christian održati predavanje u četiri dijela o kriptografskim alatima za distribuirano računanje: simetričnoj i asimetričnoj kriptografiji, te o kriptografija sa zajedničkim ključem, pseudoslučajni brojevi i provjerljivo generiranje slučajnih brojeva.
Marko Vukolich (Marko Vukolić) je istraživač u IBM Research-u, autor posla u blockchainu i programer Hyperledger Fabric. Još ne znamo o čemu će Marco ove godine pričati u našoj školi, ali nadamo se da ćemo saznati o njegovim najnovijim dostignućima u području blockchaina: istraživanje degradacija performansi distribuirani konsenzus protokoli na klasterima do 100 mašina, emitovanje Mir protokol sa globalnim poretkom i Vizantijska tolerancija grešaka ili blockchain bez blokova StreamChainminimiziranje vremena obrade transakcije.
Prasad Jayanti (Prasad Jayanti) je profesor na Dartmouth koledžu, dio elite liga bršljana, i autor istraživački rad u oblasti višenitnih algoritama. Ove godine u našoj školi Prasad održati predavanje o sinhronizaciji niti i algoritmima za implementaciju različitih opcija mutex: sa funkcijama prekidanja ili vraćanja u memoriju u modelima trajne memorije i sa odvojenim operacijama čitanja i pisanja.
Alexey Gotsman (Alexey Gotsman) je profesor na IMDEA i autor istraživački rad u oblasti programske verifikacije algoritama. Još ne znamo šta će Aleksej predavati u našoj školi ove godine, ali radujemo se temi na raskrsnici verifikacije softvera i distribuiranih sistema.
Zašto je ovo škola, a ne konferencija?
Prvo, predavači govore u akademskom formatu i čitaju dva para svakog velikog predavanja: "sat i po - pauza - još sat i po." Mnogo godina van koledža, sa navikom jednosatnih konferencijskih razgovora i 10-minutnih YouTube videa, ovo može biti nezgodno. Dobar predavač će sva tri sata učiniti zanimljivim, ali svako je odgovoran za plastičnost svog mozga.
Koristan savjet: Vježbajte na video snimcima školskih predavanja u 2017 godina i unutra 2019 godina. Zbogom, posao - zdravo, vizantijski generali.
Drugo, predavači se fokusiraju na naučna istraživanja i govore o osnovama distribuirani sistemi i paralelno računarstvo, kao i vijesti iz najsavremenije nauke. Ako vam je cilj brzo kodirati nešto i implementirati ga u proizvodnju sljedeći dan nakon škole u žurnoj potrazi, to također može biti teško.
Koristan savjet: potražite istraživačke radove školskih predavača na Google Scholar и arXiv.org. Ako volite čitati naučne radove, uživat ćete i u školi.
Treće, škola SPTDC 2020 nije konferencija, jer je konferencija o distribuiranim sistemima i paralelnom računarstvu Hydra2020. Nedavno je na Habréu bio post sa pregled njenog programa. Prošle godine, SPTDC i Hydra su se odvijali istovremeno i na istoj lokaciji. Ove godine se ne preklapaju u datumima, tako da se međusobno ne takmiče za vaše vrijeme i pažnju.
Koristan savjet: Pogledajte program Hydra konferencije i razmislite o prisustvu konferencije i nakon škole. Ovo će biti dobra sedmica.
Kako doći do škole?
- Zapišite datume od 6. jula do 9. jula 2020. u kalendar (ili bolje, do 11. jula da nakon škole idete na konferenciju Hydra).
- Ohrabri se, spremi se.
- Odaberite karte i idi u skolu.
izvor: www.habr.com