SPTDC 2020 - shule ya tatu juu ya mazoezi na nadharia ya kompyuta iliyosambazwa

Nadharia ni wakati unajua kila kitu lakini hakuna kinachofanya kazi.
Mazoezi ni wakati kila kitu kinafanya kazi lakini hakuna anayejua kwanini.
mifumo iliyosambazwa, nadharia na vitendo vimeunganishwa:
hakuna kinachofanya kazi na hakuna anayejua kwanini.

Ili kuthibitisha kwamba utani katika epigraph ni upuuzi mtupu, tunashikilia SPTDC (shule ya mazoezi na nadharia ya kompyuta iliyosambazwa) kwa mara ya tatu. Kuhusu historia ya shule hiyo, waanzilishi wake Petr Kuznetsov na Vitaly Aksyonov, pamoja na ushiriki wa JUG Ru Group katika shirika la SPTDC, tayari tunayo. aliiambia juu ya Habr. Kwa hivyo, leo ni juu ya shule mnamo 2020, juu ya mihadhara na wahadhiri, na pia juu ya tofauti kati ya shule na mkutano.

Shule ya SPTDC itafanyika kutoka 6 hadi 9 Julai 2020 huko Moscow.

Mihadhara yote itakuwa kwa Kiingereza. Mada za mihadhara: kompyuta inayoendelea kwa wakati mmoja, zana za siri za mifumo iliyosambazwa, mbinu rasmi za kuthibitisha itifaki za makubaliano, uthabiti katika mifumo mikubwa, ujifunzaji wa mashine iliyosambazwa.

Je, ulikisia mara moja wahusika kwenye picha ni wa cheo gani cha kijeshi? nakuabudu.

Wahadhiri na mihadhara

Nir Shavit (Nir Shavit) ni profesa katika Chuo Kikuu cha MIT na Tel Aviv, mwandishi mwenza wa kitabu kizuri. Sanaa ya Utayarishaji wa Multiprocessor, mmiliki Zawadi za Dijkstra kwa maendeleo na utekelezaji kumbukumbu ya shughuli ya programu (STM) na Tuzo la Gödel kwa kazi yake juu ya utumiaji wa topolojia ya aljebra kwa uigaji wa kompyuta ya kumbukumbu iliyoshirikiwa, mwanzilishi mwenza wa kampuni. Uchawi wa Neural, ambayo huunda algorithms ya kujifunza mashine haraka kwa CPU za kawaida, na, bila shaka, ina yake mwenyewe Kurasa za Wikipedia na upigaji picha mkali na mkali. Nir tayari alishiriki katika shule yetu mnamo 2017, ambapo alitoa hakiki kamili ya mbinu za kuzuia (Siku ya 1, Siku ya 2) Nini Nir atazungumza juu ya mwaka huu, bado hatujui, lakini tunatumai habari kutoka kwa makali ya sayansi.


Michael Scott (Michael Scott) ni mtafiti katika Chuo Kikuu cha Rochester, inayojulikana kwa watengenezaji wote wa Java kama waundaji wa algorithms zisizo za kuzuia na foleni za usawazishaji kutoka kwa maktaba ya kawaida ya Java. Bila shaka, na Dijkstra's Design Award algoriti za ulandanishi za kompyuta ya kumbukumbu iliyoshirikiwa na kumiliki Ukurasa wa Wikipedia. Mwaka jana, Michael alitoa somo katika shule yetu juu ya miundo ya data isiyozuia (Siku ya 1, Siku ya 2) Mwaka huu yeye atasema kuhusu kutumia programu kumbukumbu isiyo na tete (NVM), ambayo inapunguza ugumu wa programu na kichwa cha juu cha kumbukumbu ikilinganishwa na kumbukumbu ya "kawaida" ya ufikiaji bila mpangilio (DRAM).


Idit Keidar (Idit Keidar) - Profesa katika Technion na mmiliki index ya Hirsch kuhusu 40 (ambayo ni sana, sana) kwa nakala mia mbili za kisayansi katika uwanja wa kompyuta iliyosambazwa, usomaji mwingi na uvumilivu wa makosa. Eidit anashiriki katika shule yetu kwa mara ya kwanza, ambapo yeye kutoa hotuba kuhusu vipengele vya msingi vya kazi ya ghala za data zilizosambazwa: kuiga kumbukumbu iliyosambazwa, maendeleo ya makubaliano na mabadiliko ya usanidi.


Rodrigo Rodriguez (Rodrigo Rodrigues) - profesa katika Técnico, mwanachama wa maabara Kitambulisho cha INESC na mwandishi kazi ya utafiti katika uwanja wa mifumo iliyosambazwa. Mwaka huu katika shule yetu Rodrigo atasema kuhusu uthabiti na kutengwa katika ghala za data zilizosambazwa, na pia itachambua kwa kutumia Nadharia za CAP uwezekano katika mazoezi ya mifano kadhaa ya uthabiti na kutengwa.


Chen Ching (Jing Chen) ni profesa katika Chuo Kikuu cha Jimbo la New York huko Stony Brook, mwandishi kazi ya utafiti katika uwanja wa blockchain na mwanasayansi anayeongoza katika Algorand - kampuni na jukwaa la blockchain kwa kutumia algorithm ya makubaliano kabisa kulingana na Uthibitisho wa Stake. Mwaka huu katika shule yetu, Chen itazungumza juu ya blockchain ya Algorand na njia za kufikia mali zake za kuvutia: kutolipa rasilimali za kompyuta za mtandao, kutowezekana kwa kugawanya historia ya shughuli, na kuhakikisha mwisho wa usindikaji wa shughuli baada ya kuongezwa kwenye blockchain.


Christian Kashin (Christian Cachin) ni profesa katika Chuo Kikuu cha Bern, mkuu wa kikundi cha utafiti katika uwanja wa ulinzi wa data, mwandishi mwenza wa kitabu "Utangulizi wa Programu Inayoaminika na Salama Inayosambazwa”, msanidi wa jukwaa la blockchain Kitambaa cha kuunganisha (kuhusu yeye hata alikuwa chapisho kwenye Habre) na mwandishi kazi ya utafiti katika uwanja wa cryptography na usalama katika mifumo iliyosambazwa. Mwaka huu katika shule yetu ya Kikristo kutoa hotuba katika sehemu nne kuhusu zana za kriptografia za kompyuta iliyosambazwa: kriptografia ya ulinganifu na asymmetric, na pia kuhusu kriptografia muhimu iliyoshirikiwa, nambari za pseudo-random na uzalishaji wa nambari nasibu unaoweza kuthibitishwa.


Marko Vukolich (Marko Vukolic) ni mtafiti katika IBM Research, mwandishi inafanya kazi katika blockchain na msanidi wa Hyperledger Fabric. Bado hatujui ni nini Marco atazungumza katika shule yetu mwaka huu, lakini tunatumai kujifunza kuhusu maendeleo yake ya hivi punde katika uwanja wa blockchain: utafiti. uharibifu wa utendaji ilisambaza itifaki za makubaliano kwenye makundi ya hadi mashine 100, matangazo Itifaki ya Mir na utaratibu wa kimataifa na Uvumilivu wa makosa ya Byzantine au blockchain isiyo na kizuizi StreamChainkupunguza muda wa usindikaji wa muamala.


Prasad Jayanti (Prasad Jayanti) ni profesa katika Chuo cha Dartmouth, sehemu ya wasomi ligi ya ivy, na mwandishi kazi ya utafiti katika uwanja wa algorithms yenye nyuzi nyingi. Mwaka huu katika shule yetu Prasad kutoa hotuba kuhusu maingiliano ya thread na algoriti za kutekeleza chaguzi mbalimbali bubu: kwa kukatiza au kurejesha vitendaji katika mifano ya kumbukumbu isiyo na tete, na kwa shughuli tofauti za kusoma na kuandika.


Alexey Gotsman (Alexey Gotsman) ni profesa katika IMDEA na mwandishi kazi ya utafiti katika uwanja wa uthibitishaji wa programu ya algorithms. Bado hatujui Alexey atafundisha nini katika shule yetu mwaka huu, lakini tunatazamia mada kwenye makutano ya uthibitishaji wa programu na mifumo iliyosambazwa.

Kwa nini hii ni shule na sio mkutano?

Kwanza, wahadhiri huzungumza katika muundo wa kitaaluma na kusoma jozi mbili za kila mhadhara mkubwa: "saa na nusu - mapumziko - saa nyingine na nusu." Miaka mingi nje ya chuo, kwa mazoea ya mazungumzo ya saa moja ya mkutano na video za dakika 10 za YouTube, hili linaweza kuwa gumu. Mhadhiri mzuri atafanya masaa yote matatu ya kuvutia, lakini kila mtu anajibika kwa plastiki ya ubongo wao wenyewe.

Kidokezo cha Kusaidia: Fanya mazoezi ya kurekodi video za mihadhara ya shule katika Mwaka wa 2017 na Mwaka wa 2019. Kwaheri, kazi - hello, majenerali wa Byzantine.

Pili, wahadhiri huzingatia utafiti wa kisayansi na kuzungumza juu ya misingi mifumo iliyosambazwa na kompyuta sambamba, pamoja na habari kutoka kwa makali ya sayansi. Ikiwa lengo lako ni kuweka msimbo wa kitu kwa haraka na kupeleka kwenye uzalishaji siku inayofuata baada ya shule katika harakati kali, hii inaweza pia kuwa ngumu.

Dokezo la Kusaidia: Tafuta karatasi za utafiti za wahadhiri wa shule hiyo Google и arXiv.org. Ikiwa unafurahia kusoma karatasi za kisayansi, utafurahia shule pia.

Tatu, shule ya SPTDC 2020 sio mkutano, kwa sababu mkutano wa mifumo iliyosambazwa na kompyuta sambamba ni Hydra 2020. Hivi majuzi kwenye Habre kulikuwa na chapisho na mapitio ya programu yake. Mwaka jana, SPTDC na Hydra zilifanyika wakati huo huo na kwenye tovuti moja. Mwaka huu haziingiliani katika tarehe, kwa hivyo hazishindani na kila mmoja kwa wakati wako na umakini.

Kidokezo Cha Kusaidia: Angalia programu ya mkutano wa Hydra na uzingatie kuhudhuria mkutano baada ya shule pia. Hii itakuwa wiki nzuri.

Jinsi ya kupata shule?

• Andika tarehe kuanzia Julai 6 hadi Julai 9, 2020 kwenye kalenda (au bora, kufikia Julai 11 ili kwenda kwenye mkutano wa Hydra baada ya shule).
• Jipe moyo, uwe tayari.
• Chagua tikiti na kwenda shule.

Chanzo: mapenzi.com