It-teorija hija meta taf kollox imma xejn ma jaħdem.
Il-prattika hija meta kollox jaħdem imma ħadd ma jaf għaliex.
sistemi distribwiti, it-teorija u l-prattika huma kkombinati:
xejn ma jaħdem u ħadd ma jaf għaliex.
Biex nipprovaw li ċ-ċajta fl-epigrafu hija bla sens assolut, qed inżommu SPTDC (skola dwar il-prattika u t-teorija tal-kompjuters distribwit) għat-tielet darba. Dwar l-istorja tal-iskola, il-ko-fundaturi tagħha Petr Kuznetsov u Vitaly Aksyonov, kif ukoll il-parteċipazzjoni ta’ JUG Ru Group fl-organizzazzjoni SPTDC, diġà għandna qal fuq Habr. Għalhekk, illum hija dwar l-iskola fl-2020, dwar lectures u lecturers, kif ukoll dwar id-differenzi bejn l-iskola u l-konferenza.
L-iskola SPTDC se ssir mis-6 sad-9 ta’ Lulju 2020 f’Moska.
Il-lectures kollha se jkunu bl-Ingliż. Suġġetti tal-lezzjonijiet: kompjuters konkorrenti persistenti, għodod kriptografiċi għal sistemi distribwiti, metodi formali għall-verifika ta 'protokolli ta' kunsens, konsistenza f'sistemi fuq skala kbira, tagħlim tal-magni distribwit.
Ridt immedjatament x'rank militari huma l-karattri fl-istampa? Jien nadurak.
Letturi u lectures
Nir Shavit (Nir Shavit) huwa professur fil-MIT u l-Università ta’ Tel Aviv, ko-awtur ta’ ktieb kbir L-Arti tal-Programmazzjoni Multiproċessur, sid Premjijiet Dijkstra għall-iżvilupp u l-implimentazzjoni Memorja transazzjonali ta' softwer (STM) u Premju Gödel għax-xogħol tiegħu fuq l-applikazzjoni tat-topoloġija alġebrin għas-simulazzjoni tal-kompjuters tal-memorja kondiviża, ko-fundatur tal-kumpanija Maġija newrali, li joħloq algoritmi veloċi ta 'tagħlim tal-magni għal CPUs konvenzjonali, u, ovvjament, għandu tiegħu stess Paġni tal-Wikipedija bil-fotografija dashing u sultry. Nir diġà pparteċipa fl-iskola tagħna fl-2017, fejn ta reviżjoni eżawrjenti tat-tekniki tal-imblukkar (Parti 1, Parti 2). Dak li Nir se jitkellem dwar din is-sena, għadna ma nafux, imma nittamaw għal aħbarijiet mill-aktar avvanzata tax-xjenza.
Michael Scott (Michael Scott) huwa riċerkatur fi Università ta’ Rochester, magħrufa mill-iżviluppaturi Java kollha bħala l-kreatur ta algoritmi li ma jimblukkawx u kjuwijiet sinkroniċi mil-librerija standard Java. Naturalment, bil-Premju tad-Disinn ta’ Dijkstra algoritmi ta' sinkronizzazzjoni għall-kompjuters tal-memorja kondiviża u stess Paġna tal-Wikipedija. Is-sena l-oħra, Michael ta taħdita fl-iskola tagħna dwar strutturi tad-dejta li ma jimblukkawx (Parti 1, Parti 2). Din is-sena hu se tgħid dwar l-użu tal-ipprogrammar memorja mhux volatili (NVM), li jnaqqas il-kumplessità tal-programm u l-overhead tal-memorja meta mqabbel ma 'memorja ta' aċċess każwali "regolari" (DRAM).
Idit Keidar (Idit Keidar) - Professur fit-Technion u sid Indiċi Hirsch madwar 40 (li huwa ħafna, ħafna) għal mitejn artiklu xjentifiku fil-qasam tal-kompjuters distribwit, multithreading u tolleranza għall-ħsarat. Eidit tipparteċipa fl-iskola tagħna għall-ewwel darba, fejn hi tagħti taħdita dwar l-aspetti bażiċi tax-xogħol ta 'mħażen tad-dejta mqassma: emulazzjoni tal-memorja distribwita, żvilupp ta' kunsens u bidliet fil-konfigurazzjoni.
Rodrigo Rodriguez (Rodrigo Rodrigues) - professur f'Técnico, membru tal-laboratorju INESC ID u l-awtur xogħol ta’ riċerka fil-qasam tas-sistemi distribwiti. Din is-sena fl-iskola tagħna Rodrigo se tgħid dwar il-konsistenza u l-iżolament fl-imħażen tad-dejta mqassma, u se janalizza wkoll l-użu Teoremi tal-PAK fattibilità fil-prattika ta' diversi mudelli ta' konsistenza u iżolament.
Chen Ching (Jing Chen) huwa professur fl-Università tal-Istat ta 'New York fi Stony Brook, awtur xogħol ta’ riċerka fil-qasam tal-blockchain u xjenzat ewlieni fil Algorand — kumpanija u pjattaforma blockchain li tuża algoritmu ta’ kunsens ibbażat għal kollox fuq Prova ta 'Interess. Din is-sena fl-iskola tagħna, Chen se jitkellem dwar il-blockchain ta 'Algorand u modi kif tikseb il-proprjetajiet interessanti tagħha: mhux eżiġenti għar-riżorsi tal-kompjuters tan-netwerk, l-impossibbiltà li tinqasam l-istorja tat-tranżazzjoni, u tiggarantixxi t-tmiem tal-ipproċessar tat-tranżazzjoni wara li tkun miżjuda mal-blockchain.
Christian Kashin (Christian Cachin) huwa professur fl-Università ta 'Berna, kap ta' grupp ta 'riċerka fil-qasam tal-protezzjoni tad-data, ko-awtur tal-ktieb "Introduzzjoni għall-Programmazzjoni Mqassma Affidabbli u Sikura”, żviluppatur tal-pjattaforma blockchain Tessili Iperledġer (dwarha anke kien post fuq Habré) u l-awtur xogħol ta’ riċerka fil-qasam tal-kriptografija u s-sigurtà f'sistemi distribwiti. Din is-sena fl-iskola tagħna Christian tagħti taħdita f'erba' partijiet dwar għodod kriptografiċi għall-kompjuters distribwiti: kriptografija simmetrika u asimmetrika, u wkoll dwar kriptografija taċ-ċavetta kondiviża, numri psewdo-każwali u ġenerazzjoni ta' numru każwali verifikabbli.
Marko Vukolich (Marko Vukolic) huwa riċerkatur fl-IBM Research, awtur tax-xogħlijiet fi blockchain u żviluppatur ta 'Hyperledger Fabric. Għadna ma nafux dwar xiex se jitkellem Marco fl-iskola tagħna din is-sena, iżda nittamaw li nitgħallmu dwar l-aħħar żviluppi tiegħu fil-qasam tal-blockchain: ir-riċerka degradazzjoni tal-prestazzjoni protokolli ta' kunsens imqassma fuq gruppi ta' sa 100 magna, imxandra Mir protokoll b'ordni globali u Tolleranza tal-ħsarat Biżantini jew blockless blockchain StreamChainjimminimizzaw il-ħin tal-ipproċessar tat-tranżazzjonijiet.
Prasad Jayanti (Prasad Jayanti) huwa professur f'Dartmouth College, parti mill-elite ivy league, u l-awtur xogħol ta’ riċerka fil-qasam tal-algoritmi multithreaded. Din is-sena fl-iskola tagħna Prasad tagħti taħdita dwar is-sinkronizzazzjoni tal-ħajt u algoritmi għall-implimentazzjoni ta 'għażliet varji mutex: b'funzjonijiet ta' interruzzjoni jew restawr f'mudelli ta' memorja mhux volatili, u b'operazzjonijiet separati ta' qari u kitba.
Alexey Gotsman (Alexey Gotsman) huwa professur fl-IMDEA u awtur xogħol ta’ riċerka fil-qasam tal-verifika tal-programm tal-algoritmi. Għadna ma nafux x'se jkellem Alexey fl-iskola tagħna din is-sena, iżda aħna ħerqana għal suġġett fl-intersezzjoni tal-verifika tas-softwer u s-sistemi distribwiti.
Għaliex din hija skola u mhux konferenza?
L-ewwelnett, il-letturi jitkellmu f'format akkademiku u jaqraw żewġ pari ta' kull lecture kbira: "siegħa u nofs - waqfa - siegħa u nofs oħra." Ħafna snin barra mill-kulleġġ, b'drawwa ta 'taħdidiet ta' konferenza ta 'siegħa u vidjows fuq YouTube ta' 10 minuti, dan jista 'jkun delikat. Lettur tajjeb jagħmel it-tliet sigħat interessanti, iżda kulħadd huwa responsabbli għall-plastiċità ta 'moħħu stess.
Ħjiel Jg: Prattika dwar reġistrazzjonijiet bil-vidjo ta' lekċers fl-iskejjel fi Sena 2017 u Sena 2019. Goodbye, xogħol - hello, ġenerali Biżantini.
It-tieni, il-letturi jiffokaw fuq ir-riċerka xjentifika u jitkellmu dwar il-prinċipji fundamentali sistemi distribwiti u kompjuters paralleli, kif ukoll aħbarijiet mill-aktar avvanzata tax-xjenza. Jekk l-għan tiegħek huwa li tikkodifika xi ħaġa malajr u tiskjeraha għall-produzzjoni l-għada wara l-iskola fl-insegwiment sħun, dan jista 'jkun diffiċli wkoll.
Ħjiel Jg: Fittex għall-karti ta 'riċerka tal-letturi tal-iskola fuq Google Scholar и arXiv.org. Jekk tieħu pjaċir taqra karti xjentifiċi, int se tgawdi l-iskola wkoll.
It-tielet nett, l-iskola SPTDC 2020 mhix konferenza, minħabba li l-konferenza dwar sistemi distribwiti u kompjuters paralleli hija Hydra 2020. Riċentement fuq Habré kien hemm post bi reviżjoni tal-programm tagħha. Is-sena li għaddiet, SPTDC u Hydra saru simultanjament u fuq l-istess sit. Din is-sena ma jikkoinċidux fid-dati, u għalhekk ma jikkompetux ma 'xulxin għall-ħin u l-attenzjoni tiegħek.
Tip Jg: Iċċekkja l-programm tal-konferenza Hydra u ikkunsidra li tattendi l-konferenza wara l-iskola wkoll. Din se tkun ġimgħa tajba.
Kif tasal l-iskola?
- Ikteb id-dati mis-6 ta’ Lulju sad-9 ta’ Lulju 2020 fil-kalendarju (jew aħjar, sal-11 ta’ Lulju biex tmur għall-konferenza Hydra wara l-iskola).
- Ħu qalbek, lesti.
- Agħżel biljetti u mur l-iskola.
Sors: www.habr.com