Teoria është kur i di të gjitha, por asgjë nuk funksionon.
Praktika është kur gjithçka funksionon, por askush nuk e di pse.
Në sistemet e shpërndara, teoria dhe praktika janë të kombinuara:
asgjë nuk funksionon dhe askush nuk e di pse.
Për të vërtetuar se shakaja në epigraf është krejtësisht e pakuptimtë, po e mbajmë SPTDC-në (Shkolla mbi Praktikën dhe Teorinë e Informatikës së Shpërndarë) për herë të tretë. Tashmë e kemi trajtuar historinë e shkollës, bashkëthemeluesit e saj Petr Kuznetsov dhe Vitaly Aksyonov, si dhe pjesëmarrjen e Grupit JUG Ru në organizimin e SPTDC-së. tha Në Habr. Pra, sot, do të flas për shkollën në vitin 2020, leksionet dhe folësit, si dhe ndryshimet midis shkollës dhe konferencës.
Shkolla SPTDC do të mbahet nga 6 deri më 9 korrik 2020, në Moskë.
Të gjitha leksionet do të jenë në anglisht. Temat kryesore të leksioneve: informatika e vazhdueshme paralele, mjetet kriptografike për sistemet e shpërndara, metodat formale për verifikimin e protokolleve të konsensusit, qëndrueshmëria në sistemet në shkallë të gjerë, të mësuarit automatik të shpërndarë.
A e gjete menjëherë gradën ushtarake të personazheve në figurë? Të adhuroj.
Lektorë dhe leksione
Nir Shavit (Nir Shavit) është profesor në MIT dhe Universitetin e Tel Avivit dhe bashkautor i librit të madh Arti i programimit me shumë procesor, pronar Çmimet Dijkstra për zhvillim dhe zbatim memorie transaksionale e softuerit (STM) dhe Çmimi Gödel për punën e aplikimit të topologjisë algjebrike në modelimin e informatikës me memorie të përbashkët, bashkëthemelues i kompanisë Magji nervore, e cila krijon algoritme të shpejta të të mësuarit automatik për CPU-të konvencionale dhe, sigurisht, është pronare e të vetës Faqet e Wikipedia-s me një foto tërheqëse dhe joshëse. Nir tashmë mori pjesë në shkollën tonë në vitin 2017, ku dha një përmbledhje gjithëpërfshirëse të teknikave të bllokimit (Pjesa 1, Pjesa 2). Ende nuk e dimë se për çfarë do të flasë Nir këtë vit, por shpresojmë për lajme nga majat e shkencës.
Michael Scott (Michael Scott) është një studiues në Universiteti i Roçesterit, i njohur për të gjithë zhvilluesit e Java-s si krijuesi algoritme jo-bllokuese dhe radhë sinkrone nga biblioteka standarde Java. Sigurisht, me Çmimin Dijkstra për zhvillim Algoritmet e sinkronizimit për llogaritjen e memories së përbashkët dhe imja Faqja e Wikipedia-sVitin e kaluar, Michael mbajti një leksion në shkollën tonë rreth strukturave të të dhënave jo-bllokuese (Pjesa 1, Pjesa 2). Këtë vit ai do ta tregoj rreth programimit duke përdorur memorie jo-volatile (NVM), e cila zvogëlon kompleksitetin e programit dhe ngarkesën e memories krahasuar me memorien "e rregullt" me akses të rastësishëm (DRAM).
Idit Keidar (Idit Keidar) është profesoreshë në Technion dhe mbajtëse e Indeksi i Hirsch-it rreth 40 (që është shumë) për dyqind artikuj shkencorë në fushën e informatikës së shpërndarë, shumëfillesave dhe tolerancës ndaj gabimeve. Kjo është hera e parë që Idit merr pjesë në shkollën tonë, ku ajo do të mbajë një leksion rreth aspekteve themelore të ruajtjes së të dhënave të shpërndara: emulimi i memories së shpërndarë, gjenerimi i konsensusit dhe ndryshimet e konfigurimit.
Rodrigo Rodriguez (Rodrigo Rodrigues) - Profesor në Técnico, anëtar i laboratorit INESC-ID dhe autor punime kërkimore në fushën e sistemeve të shpërndara. Këtë vit në shkollën tonë, Rodrigo do ta tregoj rreth qëndrueshmërisë dhe izolimit në depot e të dhënave të shpërndara, dhe gjithashtu do të analizojë duke përdorur Teoremat e CAP fizibiliteti në praktikë i disa modeleve të konsistencës dhe izolimit.
Chen Jing (Jing Chen) është profesor në Universitetin Shtetëror të Nju Jorkut në Stony Brook dhe autor i librit punime kërkimore në fushën e blockchain dhe një shkencëtar kryesor në Algorand — një kompani dhe një platformë blockchain që përdor një algoritëm konsensusi të bazuar tërësisht në Dëshmia e aksionitKëtë vit, Chen do të flasë në shkollën tonë rreth blockchain-it Algorand dhe si të arrihen vetitë e tij interesante: kërkesat e ulëta për burime kompjuterike, pamundësia e ndarjes së historikut të transaksioneve dhe garancia se një transaksion do të përpunohet plotësisht pasi të shtohet në blockchain.
Christian Cashin (Christian Cachin) është profesor në Universitetin e Bernës, kryeson një grup kërkimor në fushën e mbrojtjes së të dhënave dhe bashkautor i librit “Hyrje në Programimin e Shpërndarë të Besueshëm dhe të Sigurt", një zhvillues i platformës blockchain Pëlhurë Hyperledger (kishte edhe një histori për të) postim në Habré) dhe autori punime kërkimore në fushën e kriptografisë dhe sigurisë së sistemeve të shpërndara. Këtë vit, në shkollën tonë, Christian do të mbajë një leksion Një seri me katër pjesë mbi mjetet kriptografike për informatikën e shpërndarë: kriptografia simetrike dhe asimetrike, dhe kriptografia me çelës të përbashkët, numra pseudo-të rastësishëm dhe gjenerim i verifikueshëm i numrave të rastësishëm.
Marko Vukoliq (Marko Vukoliç) është studiues në IBM Research dhe autor i buzë në fushën e blockchain dhe zhvilluesi i Hyperledger Fabric. Ende nuk e dimë se për çfarë do të flasë Marco në shkollën tonë këtë vit, por shpresojmë të mësojmë rreth zhvillimeve të tij më të fundit në fushën e blockchain: kërkime përkeqësimi i performancës protokolle konsensusi të shpërndara në grupe deri në 100 makina, transmetim Protokolli Mir me rendin global dhe Toleranca bizantine e gabimeve ose blockchain pa bllok StreamChain, duke minimizuar kohën e përpunimit të transaksioneve.
Prasad Jayanti (Prasad Jayanti) është profesor në Kolegjin Dartmouth, një elitë Liga Ivy, dhe autori punime kërkimore në fushën e algoritmeve me shumë fije. Këtë vit, Prasad do të mbajë një leksion rreth sinkronizimit të fijeve dhe algoritmeve për zbatimin e opsioneve të ndryshme mutexme funksione ndërprerjeje ose rikuperimi në modelet e memories jo të paqëndrueshme, si dhe me operacione të ndara leximi dhe shkrimi.
Alexey Gotsman (Alexey Gotsman) është profesor në IMDEA dhe autor punime kërkimore në fushën e verifikimit të algoritmeve të softuerit. Ende nuk e dimë se për çfarë do të mbajë leksion Alexey në shkollën tonë këtë vit, por shpresojmë se do të jetë mbi një temë që lidhet me verifikimin e softuerit dhe sistemet e shpërndara.
Pse është kjo një shkollë dhe jo një konferencë?
Së pari, lektorët prezantojnë në një format akademik dhe e japin çdo leksion kryesor në dy çifte: "Një orë e gjysmë, një pushim, një orë e gjysmë tjetër." Shumë vite pas universitetit, me zakonin e prezantimeve njëorëshe në konferenca dhe videove 10-minutëshe në YouTube, kjo mund të jetë sfiduese. Një lektor i mirë do t'i bëjë të gjitha tre orët tërheqëse, por secili është përgjegjës për plasticitetin e trurit të vet.
Këshillë e dobishme: Praktikoni regjistrimet video të leksioneve shkollore Viti 2017 dhe Viti 2019Mirupafshim, punë - përshëndetje, gjeneralë bizantinë.
Së dyti, pedagogët përqendrohen në kërkimin shkencor dhe e mësojnë atë si parime themelore. sistemet e shpërndara dhe informatika paralele, si dhe lajme nga ballë i shkencës. Nëse qëllimi juaj është të kodoni shpejt diçka dhe ta vendosni atë në prodhim një ditë pas shkolle, kjo mund të jetë gjithashtu sfiduese.
Këshillë e dobishme: Kërkoni punime kërkimore nga pedagogët e shkollës mbi Google Scholar и arXiv.orgNëse të pëlqen të lexosh punime shkencore, do të të pëlqejë edhe shkolla.
Së treti, shkolla SPTDC 2020 nuk është një konferencë, sepse një konferencë mbi sistemet e shpërndara dhe informatikën paralele është Hidra 2020. Kohët e fundit pati një postim në Habr. rishikimin e programit të sajVitin e kaluar, SPTDC dhe Hydra u mbajtën njëkohësisht dhe në të njëjtin vend. Këtë vit, datat e tyre nuk përputhen, kështu që nuk do të konkurrojnë për kohën dhe vëmendjen tuaj.
Këshillë e dobishme: shikoni programin e konferencës Hydra dhe merrni në konsideratë pjesëmarrjen në konferencë pas shkollës. Do të jetë një javë e mrekullueshme.
Si të shkosh në shkollë?
- Vendosni datat nga 6 korriku deri më 9 korrik 2020 (ose akoma më mirë, 11 korrik, në mënyrë që të mund të merrni pjesë në konferencën e Hydrës pas shkollës) në kalendarin tuaj.
- Përgatitu, përgatitu.
- Zgjidhni biletat dhe të shkojnë në shkollë.
Burimi: www.habr.com
