Teyori se lè ou konnen tout bagay men anyen pa mache.
Pratike se lè tout bagay mache men pesonn pa konnen poukisa.
sistèm distribiye, teyori ak pratik yo konbine:
pa gen anyen ki mache epi pèsonn pa konnen poukisa.
Pou pwouve ke blag nan epigraf la se yon istwa san sans absoli, nou kenbe SPTDC (lekòl sou pratik ak teyori nan distribye informatique) pou yon twazyèm fwa. Konsènan istwa lekòl la, ko-fondatè Petr Kuznetsov ak Vitaly Aksyonov, ansanm ak patisipasyon JUG Ru Group nan òganizasyon SPTDC, nou deja te di sou Habr. Se poutèt sa, jodi a se sou lekòl la nan 2020, sou konferans ak konferans, osi byen ke sou diferans ki genyen ant lekòl la ak konferans lan.
Lekòl SPTDC a ap fèt soti 6 a 9 jiyè 2020 nan Moskou.
Tout konferans yo pral ann angle. Sijè konferans: òdinatè ki pèsistan konkouran, zouti kriptografik pou sistèm distribye, metòd fòmèl pou verifye pwotokòl konsansis, konsistans nan sistèm gwo echèl, aprantisaj machin distribye.
Èske ou imedyatman devine ki klas militè karaktè yo nan foto a? Mwen adore ou.
Konferansye ak konferans
Nir Shavit (Nir Shavit) se yon pwofesè nan MIT ak Inivèsite Tel Aviv, ko-otè yon gwo liv Atizay la nan pwogramasyon miltiprosesè, pwopriyetè Dijkstra Prizes pou devlopman ak aplikasyon memwa tranzaksyon lojisyèl (STM) ak Gödel Prize pou travay li sou aplikasyon topoloji aljebrik nan simulation de informatique memwa pataje, ko-fondatè konpayi an. Majik neral, ki kreye algoritm aprantisaj machin rapid pou CPU konvansyonèl yo, epi, nan kou, gen pwòp li yo Paj Wikipedya ak fotografi superbe ak chofeuz. Nir te deja patisipe nan lekòl nou an an 2017, kote li te bay yon revizyon konplè sou teknik bloke (pati 1, pati 2). Ki sa Nir pral pale sou ane sa a, nou poko konnen, men nou espere pou nouvèl ki soti nan dènye kri nan syans.
Michael Scott (Michael Scott) se yon chèchè nan Inivèsite Rochester, li te ye nan tout devlopè Java kòm kreyatè a algoritm ki pa bloke ak ke moun kap kriye synchrone soti nan bibliyotèk estanda Java a. Natirèlman, ak prim Design Dijkstra a algoritm senkronizasyon pou òdinatè memwa pataje ak pwòp Paj Wikipedia. Ane pase a, Michael te bay yon konferans nan lekòl nou an sou estrikti done ki pa bloke (pati 1, pati 2). Ane sa a li ap di sou pwogramasyon lè l sèvi avèk memwa ki pa temèt (NVM), ki diminye konpleksite pwogram ak sou tèt memwa konpare ak "regilye" memwa aksè o aza (DRAM).
Idit Keidar (Idit Keidar) - Pwofesè nan Technion la ak pwopriyetè Hirsch endèks sou 40 (ki se anpil, anpil) pou de san atik syantifik nan domèn distribye informatique, multithreading ak tolerans fay. Eidit patisipe nan lekòl nou an pou premye fwa, kote li bay yon konferans sou aspè debaz yo nan travay la nan distribye done depo: distribiye imitasyon memwa, devlopman konsansis ak chanjman konfigirasyon.
Rodrigo Rodriguez (Rodrigo Rodrigues) - pwofesè nan Técnico, manm laboratwa a ID INESC ak otè travay rechèch nan domèn sistèm distribiye. Ane sa a nan lekòl nou Rodrigo ap di sou konsistans ak izolasyon nan distribiye depo done, epi yo pral analize tou lè l sèvi avèk Teyorèm CAP posibilite nan pratik plizyè modèl konsistans ak izolasyon.
Chen Ching (Jing Chen) se yon pwofesè nan State University of New York nan Stony Brook, otè travay rechèch nan jaden an nan blockchain ak yon syantis dirijan nan Algorand - yon konpayi ak yon platfòm blockchain lè l sèvi avèk yon algorithm konsansis antyèman ki baze sou Prèv nan poto. Ane sa a nan lekòl nou an, Chen pral pale sou Algorand blockchain la ak fason yo reyalize pwopriyete enteresan li yo: san egzijans nan resous enfòmatik rezo a, enposib pou divize istwa tranzaksyon an, ak garanti fen nan pwosesis tranzaksyon apre yo fin ajoute li nan blòk la.
Kretyen Kashin (Christian Cachin) se yon pwofesè nan University of Bern, ki an tèt yon gwoup rechèch nan domèn pwoteksyon done, ko-otè liv "Entwodiksyon nan pwogram distribiye serye ak an sekirite”, pwomotè platfòm blockchain Twal Hyperledger (sou li menm te poste sou Habré) ak otè travay rechèch nan domèn kriptografik ak sekirite nan sistèm distribiye. Ane sa a nan kretyen lekòl nou an bay yon konferans an kat pati sou zouti kriptografik pou distribye informatique: simetrik ak asimetri kriptografik, epi tou sou kriptografi kle pataje, nimewo pseudo-o aza ak jenerasyon nimewo o aza verifyab.
Marko Vukolich (Marko Vukolic) se yon chèchè nan IBM Research, otè travay nan blockchain ak pwomotè Hyperledger Fabric. Nou poko konnen de sa Marco pral pale nan lekòl nou an ane sa a, men nou espere aprann sou dènye devlopman li nan domèn blockchain: rechèch. degradasyon pèfòmans distribye pwotokòl konsansis sou grap jiska 100 machin, emisyon Mir pwotokòl ak lòd mondyal ak Byzantine tolerans fay oswa blockless blockchain StreamChainminimize tan pwosesis tranzaksyon an.
Prasad Jayanti (Prasad Jayanti) se yon pwofesè nan Dartmouth College, yon pati nan elit la lig ivy, ak otè a travay rechèch nan domèn algoritm multithreaded. Sa lannen dan nou lekol Prasad bay yon konferans sou senkronizasyon fil ak algoritm pou aplike opsyon divès kalite mutex: ak fonksyon entèwonp oswa retabli nan modèl memwa ki pa temèt, ak operasyon separe lekti ak ekri.
Alexey Gotsman (Alexey Gotsman) se yon pwofesè nan IMDEA ak yon otè travay rechèch nan domèn verifikasyon pwogram algoritm yo. Nou poko konnen kisa Alexey pral fè konferans nan lekòl nou an ane sa a, men nou ap tann yon sijè nan entèseksyon verifikasyon lojisyèl ak sistèm distribiye.
Poukisa sa a se yon lekòl epi li pa yon konferans?
Premyèman, konferansye yo pale nan yon fòma akademik epi li de pè chak gwo konferans: "yon èdtan ak yon mwatye - yon repo - yon lòt èdtan ak yon mwatye." Anpil ane soti nan kolèj, ak yon abitid nan chita pale konferans èdtan long ak videyo YouTube 10 minit, sa a ka difisil. Yon bon konferansye pral fè tout twa èdtan enteresan, men tout moun responsab pou plastisit pwòp sèvo yo.
Sijesyon itil: Pratike sou anrejistreman videyo nan konferans lekòl yo nan 2017 ane ak 2019 ane. Orevwa, travay - alo, jeneral Bizanten.
Dezyèmman, konferansye yo konsantre sou rechèch syantifik epi pale sou fondamantal yo sistèm distribiye ak informatique paralèl, osi byen ke nouvèl ki soti nan dènye kri nan syans. Si objektif ou se byen vit kode yon bagay epi deplwaye li nan pwodiksyon jou kap vini apre lekòl la nan pouswit cho, sa ka difisil tou.
Sijesyon itil: Chèche papye rechèch pwofesè lekòl la nan Google Scholar и arXiv.org. Si w renmen li papye syantifik, w ap jwi lekòl la tou.
Twazyèmman, lekòl SPTDC 2020 la se pa yon konferans, paske konferans sou sistèm distribiye ak enfòmatik paralèl la se Hydra2020. Dènyèman sou Habré te gen yon post ak revizyon pwogram li an. Ane pase a, SPTDC ak Hydra te fèt an menm tan ak sou menm sit la. Ane sa a yo pa sipèpoze nan dat, kidonk yo pa konpetisyon youn ak lòt pou tan ou ak atansyon.
Konsèy itil: Tcheke pwogram Hydra konferans lan epi konsidere patisipe nan konferans lan apre lekòl tou. Sa a pral yon bon semèn.
Ki jan yo ale nan lekòl la?
- Ekri dat yo soti 6 jiyè rive 9 jiyè 2020 nan kalandriye a (oswa pi bon, anvan 11 jiyè pou ale nan konferans Hydra apre lekòl).
- Pran kè, pare.
- Chwazi tikè epi ale lekol.
Sous: www.habr.com