Teoria dena dakizula baina ezer ez dabil.
Praktika dena funtzionatzen duenean baina inork ez daki zergatik.
sistema banatuak, teoria eta praktika uztartzen dira:
ezer ez dabil eta inork ez daki zergatik.
Epigrafean agertzen den txantxa zentzugabekeria erabatekoa dela frogatzeko, hirugarren aldiz egingo dugu SPTDC (konputazio banatuaren praktika eta teoriarako eskola). Ikastetxearen historiari buruz, Petr Kuznetsov eta Vitaly Aksyonov sortzailekideek, baita JUG Ru Group-ek SPTDC erakundean duen parte hartzeari buruz, dagoeneko dugu. esan on Habr. Hori dela eta, gaurkoa 2020ko eskolari buruzkoa da, hitzaldiei eta irakasleei buruz, baita eskolaren eta biltzarraren arteko desberdintasunei buruz ere.
SPTDC eskola 6ko uztailaren 9tik 2020ra egingo da Moskun.
Hitzaldi guztiak ingelesez izango dira. Hitzaldiko gaiak: aldibereko konputazio iraunkorra, sistema banatuetarako tresna kriptografikoak, adostasun-protokoloak egiaztatzeko metodo formalak, eskala handiko sistemetan koherentzia, ikaskuntza automatiko banatua.
Berehala asmatu duzue irudiko pertsonaiak zein militarrak diren? Adortzen zaitut.
Irakasleak eta hitzaldiak
Nir Shavit (Nir Shavit) MIT eta Tel Aviv Unibertsitateko irakaslea da, liburu bikain baten egilekidea Prozesadore anitzeko programazioaren artea, jabea Dijkstra Sariak garatzeko eta ezartzeko software transakzio memoria (STM) eta GΓΆdel saria Topologia aljebraikoaren aplikazioari buruzko memoria partekatuaren konputazioaren simulazioan egindako lanagatik, konpainiaren sortzailekidea. Magia Neuronala, PUZ konbentzionaletarako makina ikasteko algoritmo azkarrak sortzen dituena, eta, jakina, berea du Wikipediako orriak argazkigintza liluragarri eta lirainarekin. Nirrek gure eskolan parte hartu zuen jada 2017an, non blokeo tekniken berrikuspen zehatza egin zuen (1 zatia, 2 zatia). Zertaz hitz egingo duen aurten Nirrek, oraindik ez dakigu, baina zientziaren abangoardiako berriak espero ditugu.
Michael Scott (Michael Scott) ikertzailea da Rochester-eko Unibertsitatea, Java garatzaile guztiek sortzaile gisa ezagutzen dute blokeatzen ez diren algoritmoak eta ilara sinkronoak Java liburutegi estandarretik. Noski, Dijkstraren Diseinu Sariarekin sinkronizazio-algoritmoak memoria partekatuko informatikarako eta propioa Wikipedia orria. Iaz, Michaelek hitzaldi bat eman zuen gure eskolan blokeatzen ez diren datu-egiturei buruz (1 zatia, 2 zatia). Aurten berak esango erabiltzeari buruzko programazioari buruz memoria ez-hegazkorra (NVM), programaren konplexutasuna eta memoria gainkostua murrizten duena ausazko sarbide memoria (DRAM) "ohiko"rekin alderatuta.
Idit Keidar (Idit Keidar) - Technion-eko irakaslea eta jabea Hirsch indizea 40 inguru (hau da, oso-oso) -rentzat berrehun artikulu zientifiko konputazio banatuaren, hari anitzeko eta akatsen tolerantziaren alorrean. Eiditek gure eskolan parte hartzen du lehen aldiz, non berak hitzaldia eman Banatutako datu biltegien lanaren oinarrizko alderdiei buruz: banatutako memoriaren emulazioa, adostasunaren garapena eta konfigurazio aldaketak.
Rodrigo Rodriguez (Rodrigo Rodrigues) - TΓ©cnicoko irakaslea, laborategiko kidea INESC ID eta egilea ikerketa lana sistema banatuen arloan. Aurten gure eskolan Rodrigo esango datu-biltegi banatuetan koherentziari eta isolamenduari buruz, eta erabilita ere aztertuko du CAP teoremak koherentziaren eta isolamenduaren hainbat ereduren bideragarritasuna praktikan.
Chen Ching (Jing Chen) Stony Brook-eko New Yorkeko Estatu Unibertsitateko irakaslea da, egilea ikerketa lana blockchain-en arloan eta zientzialari garrantzitsu bat Algorand β enpresa bat eta blockchain plataforma bat guztiz oinarritutako adostasun algoritmo bat erabiliz Eskaeraren egiaztapena. Aurten gure eskolan, Chen-ek Algorand blockchain-ari buruz eta bere propietate interesgarriak lortzeko moduei buruz hitz egingo du: sareko baliabide informatikoen eskakizunik gabekoa, transakzioen historia zatitzeko ezintasuna eta transakzioen prozesamenduaren amaiera bermatzea blockchainera gehitu ondoren.
Christian Kashin (Christian Cachin) Bernako Unibertsitateko irakaslea da, datuen babesaren alorreko ikerketa talde baten burua, liburuaren egilekidea "Banatutako Programazio Fidagarri eta Segururako Sarreraβ, blockchain plataformaren garatzailea Hyperledger ehuna (Berari buruz ere bazen argitaratu HabrΓ©-n) eta egilea ikerketa lana kriptografiaren eta sistema banatuetako segurtasunaren arloan. Aurten gure eskolan Kristaua hitzaldia eman lau zatitan banatutako konputaziorako tresna kriptografikoei buruz: kriptografia simetrikoa eta asimetrikoa, eta baita ere. gako partekatuen kriptografia, zenbaki sasi-ausazkoak eta ausazko zenbaki egiaztagarriak sortzea.
Marko Vukolich (Marko Vukolic) IBM Research-eko ikertzailea da, egilea lanak blockchain-en eta Hyperledger Fabric-en garatzailea. Oraindik ez dakigu Marcok aurten zertaz hitz egingo duen gure eskolan, baina espero dugu blockchain-en arloan egin dituen azken garapenak ezagutzea: ikerketa. errendimenduaren degradazioa adostasun-protokoloak banatu zituen gehienez 100 makinako klusterretan, emititu Mir protokoloa ordena globalarekin eta Bizantziar akatsen tolerantzia edo blokerik gabeko blockchain StreamChaintransakzioak prozesatzeko denbora gutxitzea.
Prasad Jayanti (Prasad Jayanti) Dartmouth Collegeko irakaslea da, elitearen parte Ivy League, eta egilea ikerketa lana hari anitzeko algoritmoen arloan. Aurten gure eskola Prasad hitzaldia eman hariaren sinkronizazioari eta hainbat aukera ezartzeko algoritmoei buruz mutex: memoria ez lurrunkorren ereduetan eten edo leheneratu funtzioekin, eta irakurketa eta idazketa eragiketa bereiziekin.
Alexey Gotsman (Alexey Gotsman) IMDEAko irakaslea eta egilea da ikerketa lana algoritmoen programa egiaztatzearen arloan. Oraindik ez dakigu aurten Alexeyk zer hitzaldi emango duen gure eskolan, baina software egiaztapenaren eta sistema banatuen arteko elkargunean dagoen gai baten zain gaude.
Zergatik da hau eskola bat eta ez hitzaldi bat?
Lehenik eta behin, irakasleek formatu akademikoan hitz egiten dute eta hitzaldi handi bakoitzeko bi bikote irakurtzen dituzte: "ordu eta erdi - atseden bat - beste ordu eta erdi". Urte asko unibertsitatetik kanpo, ordubeteko hitzaldi-hitzaldiak eta 10 minutuko YouTube-ko bideoak egiteko ohiturarekin, hau zaila izan daiteke. Irakasle on batek hiru orduak interesgarriak izango ditu, baina bakoitza bere garunaren plastikotasunaren arduraduna da.
Aholku lagungarria: praktikatu ikastetxeko hitzaldien bideo-grabazioetan 2017 urteko eta 2019 urteko. Agur, lana - kaixo, bizantziar jeneralak.
Bigarrenik, irakasleek ikerketa zientifikoan jartzen dute arreta eta oinarriei buruz hitz egiten dute sistema banatuak eta konputazio paraleloa, baita zientziaren puntako albisteak ere. Zure helburua zerbait bizkor kodetzea eta hurrengo egunean produkziora hedatzea bada, eskola ondoren, atzetik, zaila ere izan daiteke.
Aholku lagungarria: bilatu ikastetxeko irakasleen ikerketa-lanak hemen Google Scholar ΠΈ arXiv.org. Lan zientifikoak irakurtzea gustatzen bazaizu, eskolaz ere gozatuko duzu.
Hirugarrenik, SPTDC 2020 eskola ez da hitzaldi bat, sistema banatuei eta konputazio paraleloei buruzko hitzaldia delako. Hidra 2020. Duela gutxi HabrΓ©-n mezu bat zegoen bere programaren berrikuspena. Iaz, SPTDC eta Hydra aldi berean eta gune berean egin ziren. Aurten ez dira datetan gainjartzen, beraz, ez dira elkarren artean lehiatzen zure denbora eta arretagatik.
Aholku lagungarria: begiratu Hydra konferentziaren programa eta kontuan hartu hitzaldira eskola ondoren ere joatea. Aste ona izango da hau.
Nola heldu eskolara?
- Idatzi 6ko uztailaren 9tik uztailaren 2020ra arteko datak egutegian (edo hobeto, uztailaren 11rako Hydra kongresura eskolatik kanpo joateko).
- Anima zaitez, prestatu.
- Aukeratu sarrerak eta eskolara joan.
Iturria: www.habr.com