Teooria on see, kui tead kõike, aga miski ei tööta.
Praktika on see, kui kõik töötab, kuid keegi ei tea, miks.
hajutatud süsteemid, teooria ja praktika on ühendatud:
miski ei tööta ja keegi ei tea miks.
Tõestamaks, et epigraafi nali on täielik jama, korraldame SPTDC-d (hajusarvutuse praktika ja teooria kool) juba kolmandat korda. Kooli ajaloost, selle kaasasutajatest Petr Kuznetsovist ja Vitali Aksjonovist, aga ka JUG Ru Groupi osalemisest SPTDC organisatsioonis oleme juba teatanud. rääkinud kohta Habr. Seega täna - koolist aastal 2020, loengutest ja lektoritest, aga ka kooli ja konverentsi erinevustest.
SPTDC kool toimub 6. – 9. juulini 2020 Moskvas.
Kõik loengud toimuvad inglise keeles. Loenguteemad: püsiv samaaegne andmetöötlus, krüptograafilised tööriistad hajutatud süsteemide jaoks, formaalsed meetodid konsensusprotokollide kontrollimiseks, järjepidevus suuremahulistes süsteemides, hajutatud masinõpe.
Kas arvasite kohe ära, mis sõjaväelise auastmega pildil olevad tegelased on? Ma jumaldan sind.
Lektorid ja loengud
Nir Shavit (Nir Shavit) on MIT ja Tel Avivi ülikooli professor, suurepärase raamatu kaasautor Mitmeprotsessorilise programmeerimise kunst, omanik Dijkstra auhinnad arendamiseks ja rakendamiseks tarkvara tehingumälu (STM) ja Gödeli auhind oma töö eest algebralise topoloogia rakendamisel ühismälu andmetöötluse simuleerimisel, ettevõtte kaasasutaja Neuraalne maagia, mis loob tavapärastele protsessoritele kiireid masinõppe algoritme ja millel on loomulikult oma Wikipedia lehed hoogsa ja lämbe fotograafiaga. Nir osales juba 2017. aastal meie koolis, kus andis ammendava ülevaate blokeerimistehnikatest (Osa 1, Osa 2). Millest Nir sel aastal räägib, me veel ei tea, kuid loodame uudiseid teaduse tipptasemel.
Michael Scott (Michael Scott) on uurija Rochesteri ülikool, mida kõik Java arendajad teavad kui selle loojat mitteblokeerivad algoritmid ja sünkroonsed järjekorrad Java standardteegist. Muidugi Dijkstra disainiauhinnaga sünkroonimisalgoritmid jagatud mälu arvutamiseks ja oma Wikipedia leht. Eelmisel aastal pidas Michael meie koolis loengu mitteblokeerivatest andmestruktuuridest (Osa 1, Osa 2). Sel aastal ta ütleb programmeerimise kasutamise kohta püsimälu (NVM), mis vähendab programmi keerukust ja mälumahtu võrreldes "tavalise" muutmäluga (DRAM).
Idit Keidar (Idit Keidar) on Technioni professor ja omanik Hirschi indeks umbes 40 (mis on väga-väga palju) eest kakssada teadusartiklit hajutatud andmetöötluse, mitme keermestamise ja tõrketaluvuse valdkonnas. Eidit osaleb esimest korda meie koolis, kus ta loengut pidama hajutatud andmeladude töö põhiaspektide kohta: hajutatud mälu emuleerimine, konsensuse arendamine ja konfiguratsiooni muutmine.
Rodrigo Rodriguez (Rodrigo Rodrigues) - Técnico professor, labori liige INESC ID ja autor uurimistöö hajutatud süsteemide valdkonnas. Sel aastal meie koolis Rodrigo ütleb järjepidevuse ja isolatsiooni kohta hajutatud andmeladudes ning analüüsib ka kasutades CAP teoreemid mitme järjepidevuse ja eraldatuse mudeli teostatavus praktikas.
Chen Ching (Jing Chen) on Stony Brooki New Yorgi osariigi ülikooli professor, autor uurimistöö plokiahela valdkonnas ja juhtiv teadlane aastal Algorand — ettevõte ja plokiahela platvorm, mis kasutavad täielikult konsensusalgoritmi Stake tõendamine. Sel aastal räägib Chen meie koolis Algorandi plokiahelast ja selle huvitavate omaduste saavutamise võimalustest: vähenõudlikkus võrguarvutusressursside suhtes, tehinguajaloo tükeldamise võimatus ning tehingute töötlemise lõpuleviimise tagamine pärast selle lisamist plokiahelasse.
Christian Kashin (Christian Cachin) on Berni ülikooli professor, andmekaitse valdkonna uurimisrühma juht, raamatu "kaasautor"Sissejuhatus usaldusväärsesse ja turvalisesse hajutatud programmeerimisse”, plokiahela platvormi arendaja Hyperledger kangas (tema kohta isegi oli postitus Habré kohta) ja autor uurimistöö krüptograafia ja hajutatud süsteemide turvalisuse valdkonnas. Sel aastal meie koolis Christian loengut pidama neljas osas hajutatud andmetöötluse krüptograafiliste tööriistade kohta: sümmeetriline ja asümmeetriline krüptograafia ning ka jagatud võtmega krüptograafia, pseudojuhuslikud arvud ja kontrollitav juhuslike arvude genereerimine.
Marko Vukolitš (Marko Vukolic) on IBM Researchi teadur, autor töölt plokiahelas ja Hyperledger Fabricu arendaja. Me ei tea veel, millest Marco meie koolis sel aastal räägib, kuid loodame teada saada tema viimastest arengutest plokiahela vallas: uuringud jõudluse halvenemine hajutatud konsensusprotokollid kuni 100 masinaga klastrites, leviedastus Mir protokoll globaalse korraga ja Bütsantsi veataluvus või plokivaba plokiahel StreamChaintehingute töötlemise aja minimeerimine.
Prasad Jayanti (Prasad Jayanti) on Dartmouthi kolledži professor, osa eliidist luuderohi liiga, ja autor uurimistöö mitme lõimega algoritmide valdkonnas. Sel aastal meie koolis Prasad loengut pidama lõime sünkroonimise ja erinevate valikute rakendamise algoritmide kohta mutex: katkestus- või taastamisfunktsioonidega püsimälumudelites ning eraldi lugemis- ja kirjutamistoimingutega.
Aleksei Gotsman (Alexey Gotsman) on IMDEA professor ja autor uurimistöö algoritmide programmilise kontrollimise valdkonnas. Me ei tea veel, mida Aleksei meie koolis sel aastal loeb, kuid ootame huviga teemat tarkvara verifitseerimise ja hajutatud süsteemide ristumiskohas.
Miks on see kool ja mitte konverents?
Esiteks räägivad õppejõud akadeemilises formaadis ja loevad igast suurest loengust kaks paari: "poolteist tundi - paus - veel poolteist tundi." Mitu aastat pärast ülikooli lõpetamist, kui on harjumus pidada tunniajalisi konverentsikõnesid ja vaadata 10-minutilisi YouTube'i videoid, võib see olla keeruline. Hea õppejõud teeb kõik kolm tundi huvitavaks, kuid igaüks vastutab oma aju plastilisuse eest ise.
Kasulik vihje: harjutage kooliloengute videosalvestusi 2017 aasta ja 2019 aasta. Hüvasti, töö – tere, Bütsantsi kindralid.
Teiseks keskenduvad õppejõud teaduslikule uurimistööle ja räägivad põhitõdedest hajutatud süsteemid ja paralleelarvutus, aga ka uudised teaduse tipptasemel. Kui teie eesmärk on midagi kiiresti kodeerida ja järgmisel päeval pärast kooli kiirelt järele teha, võib see olla keeruline.
Abistav vihje: otsige kooli õppejõudude uurimistöid aadressilt Google Scholar и arXiv.org. Kui teile meeldib lugeda teaduslikke töid, meeldib teile ka kool.
Kolmandaks, SPTDC 2020 kool ei ole konverents, sest hajussüsteemide ja paralleelarvutuse konverents on Hüdra 2020. Hiljuti oli Habres postitus koos oma programmi läbivaatamist. Eelmisel aastal toimusid SPTDC ja Hydra samaaegselt ja samas kohas. Sel aastal nad ei kattu kuupäevaliselt, seega ei konkureeri nad üksteisega teie aja ja tähelepanu pärast.
Kasulik nõuanne: tutvu Hydra konverentsiprogrammiga ja kaalu konverentsil osalemist ka pärast kooli. Sellest tuleb hea nädal.
Kuidas kooli saada?
- Kirjuta kalendrisse kuupäevad 6. juulist 9. juulini 2020 (või parem, 11. juuliks, et pärast kooli Hydra konverentsile minna).
- Võtke südamega, valmistuge.
- Vali piletid ja mine kooli.
Allikas: www.habr.com