Theorie ass wann Dir alles wësst awer näischt funktionnéiert.
Praxis ass wann alles funktionnéiert awer kee weess firwat.
verdeelt Systemer, Theorie a Praxis sinn kombinéiert:
näischt funktionnéiert a kee weess firwat.
Fir ze beweisen datt de Witz an der Epigraph absolute Blödsinn ass, hale mir SPTDC (Schoul iwwer Praxis an Theorie vum verdeeltem Computer) fir d'drëtte Kéier. Iwwer d'Geschicht vun der Schoul, seng Matgrënner Petr Kuznetsov a Vitaly Aksyonov, wéi och d'Participatioun vun JUG Ru Group an der SPTDC Organisatioun, hu mir scho erzielt op Habr. Dofir geet et haut ëm d'Schoul am Joer 2020, ëm d'Virliesungen an d'Léierpersonal, wéi och ëm d'Ënnerscheeder tëscht der Schoul an der Konferenz.
D'SPTDC Schoul gëtt vum 6. bis den 9. Juli 2020 zu Moskau ofgehalen.
All Virliesunge sinn op Englesch. Virtrag Themen: persistent concurrent Computing, kryptographesch Tools fir verdeelt Systemer, formell Methoden fir Konsensprotokoller z'iwwerpréiwen, Konsistenz a grousse Systemer, verdeelt Maschinnléieren.
Hutt Dir direkt roden wat militäresch Rang d'Personnagen am Bild sinn? Ech schätzen dech.
Dozenten a Virliesungen
Nir Shavit (Nir Shavit) ass e Professer um MIT an der Tel Aviv Universitéit, Co-Autor vun engem super Buch D'Konscht vu Multiprocessor Programméiere, Besëtzer Dijkstra Präisser fir d'Entwécklung an d'Ëmsetzung Software Transaktiounsminne (STM) an Gödel Präis fir seng Aarbecht iwwer d'Uwendung vun der algebraescher Topologie fir d'Simulatioun vu Shared Memory Computing, Matgrënner vun der Firma Neural Magie, déi séier Maschinn Léieren Algorithmen fir konventionell CPUs erstellt, an, natierlech, huet seng eege Wikipedia Säiten mat flotter a süchteg Fotografie. Den Nir huet schonn 2017 an eiser Schoul deelgeholl, wou hien eng ustrengend Iwwerpréiwung vu Blockéierungstechniken gemaach huet (Deel vun 1, Deel vun 2). Iwwer wat den Nir dëst Joer schwätzt, wësse mer nach net, mä mir hoffen op Neiegkeeten aus der Spëtzt vun der Wëssenschaft.
Michael Scott (Michael Scott) ass e Fuerscher an Universitéit vu Rochester, bekannt fir all Java Entwéckler als Ersteller vun Net-blockéierend Algorithmen a Synchronschlaangen aus der Java Standardbibliothéik. Natierlech mam Dijkstra sengem Design Award Synchroniséierung Algorithmen fir gemeinsam Erënnerung Rechenzäit an eegen Wikipedia Säit. D'lescht Joer huet de Michael e Virtrag an eiser Schoul iwwer Net-blockéierend Datestrukturen (Deel vun 1, Deel vun 2). Dëst Joer huet hien soen iwwer programméiere benotzt net liichtflüchtege Erënnerung (NVM), wat d'Programmkomplexitéit an d'Erënnerungsoverhead reduzéiert am Verglach zum "normalen" Zoufallszougang Memory (DRAM).
Idit Keidar (Idit Keidar) - Professer am Technion a Besëtzer Hirsch Index iwwer 40 (wat ganz, ganz vill ass) fir zweehonnert wëssenschaftlech Artikelen am Beräich vun verdeelt Rechenzäit, Multithreading a Feeler Toleranz. Eidit hëlt fir d'éischte Kéier an eiser Schoul mat, wou si e Virtrag maachen iwwer d'Basis Aspekter vun der Aarbecht vun verdeelt Datelager: verdeelt Erënnerung Emulatioun, Konsens Entwécklung an Configuratioun Ännerungen.
Rodrigo Rodriguez (Rodrigo Rodrigues) - Professer am Técnico, Member vum Laboratoire INESC ID an Auteur Fuerschung Aarbecht am Beräich vun verdeelt Systemer. Dëst Joer an eiser Schoul Rodrigo soen iwwer Konsequenz an Isolatioun an verdeelt Datelager, a wäert och analyséieren benotzt CAP Theorem Machbarkeet an der Praxis vu verschiddene Modeller vu Konsistenz an Isolatioun.
Chen Ching (Jing Chen) ass e Professer op der State University of New York zu Stony Brook, Auteur Fuerschung Aarbecht am Beräich vun Blockchain an engem féierende Wëssenschaftler an Algorand - eng Firma an eng Blockchain Plattform mat engem Konsens Algorithmus ganz baséiert op Proof of Stake. Dëst Joer an eiser Schoul schwätzt Chen iwwer d'Algorand Blockchain a Weeër fir seng interessant Eegeschaften z'erreechen: onfuerderlech fir Rechenressourcen ze Netzwierk, d'Onméiglechkeet d'Transaktiounsgeschicht opzedeelen an d'Enn vun der Transaktiounsveraarbechtung ze garantéieren nodeems se an de Blockchain bäigefüügt ass.
Christian Kaschin (Christian Cachin) ass Professer op der Universitéit Bern, Chef vun enger Fuerschungsgrupp am Beräich vum Dateschutz, Co-Autor vum Buch "Aféierung fir zouverlässeg a sécher verdeelt Programméierung", Blockchain Plattform Entwéckler Hyperleader Stoff (iwwer hir souguer war Post op Habré) an Auteur Fuerschung Aarbecht am Beräich vun der Kryptografie a Sécherheet a verdeelt Systemer. Dëst Joer an eiser Schoul Christian e Virtrag maachen a véier Deeler iwwer Kryptografesch Tools fir verdeelt Informatik: symmetresch an asymmetresch Kryptografie, an och iwwer gedeelt Schlëssel Kryptografie, pseudo-zoufälleg Zuelen an verifizéierbar zoufälleg Zuel Generatioun.
Marko Vukolich (Marko Vukolic) ass e Fuerscher bei IBM Research, Auteur vu Wierker am Blockchain an Entwéckler vun Hyperledger Fabric. Mir wëssen nach net iwwer wat de Marco dëst Joer an eiser Schoul schwätzt, awer mir hoffen iwwer seng lescht Entwécklungen am Beräich vun der Blockchain ze léieren: Fuerschung Leeschtung Degradatioun verdeelt Konsensprotokoller op Cluster vu bis zu 100 Maschinnen, Sendung Mir Protokoll mat global Uerdnung an Byzantinesch Feeler Toleranz oder blockless blockchain StreamChainminimiséieren Transaktioun Veraarbechtung Zäit.
Prasad Jayanti (Prasad Jayanti) ass e Professer um Dartmouth College, Deel vun der Elite Ivy Liga, an den Auteur Fuerschung Aarbecht am Beräich vun multithreaded Algorithmen. Dëst Joer an eiser Schoul Prasad e Virtrag maachen iwwer Thread Synchroniséierung an Algorithmen fir verschidden Optiounen ëmzesetzen mutex: mat Ënnerbriechungs- oder Restauratiounsfunktiounen an net-flüchtege Erënnerungsmodeller, a mat getrennten Lies- a Schreifoperatiounen.
Alexey Gotsman (Alexey Gotsman) ass Professer bei IMDEA an Auteur Fuerschung Aarbecht am Beräich vun der Programmverifikatioun vun Algorithmen. Mir wësse nach net wat Alexey dëst Joer an eiser Schoul virliest, awer mir freeën eis op en Thema op der Kräizung vu Softwareverifizéierung a verdeelt Systemer.
Firwat ass dëst eng Schoul an net eng Konferenz?
Als éischt schwätzen d'Dozenten an engem akademesche Format a liesen zwee Puer vun all grousse Virtrag: "eng Stonn an eng hallef - eng Paus - eng aner an eng hallef Stonn." Vill Joer aus der Fachhéichschoul, mat enger Gewunnecht vu Stonnelaange Konferenzgespréicher an 10 Minutte YouTube Videoen, kann dëst komplizéiert sinn. E gudden Dozent wäert déi dräi Stonnen interessant maachen, awer jiddereen ass responsabel fir d'Plastizitéit vum eegene Gehir.
Nëtzlech Tipp: Praxis op Videoopname vu Schoulvirträg an 2017 Joer an a 2019 Joer. Äddi, Aarbecht - Moien, byzantinesche Genereel.
Zweetens konzentréieren d'Dozenten op wëssenschaftlech Fuerschung a schwätzen iwwer d'Grondlage verdeelt Systemer a parallel Informatik, souwéi Neiegkeeten aus der Spëtzt vun der Wëssenschaft. Wann Äert Zil ass et séier eppes ze codéieren an et an d'Produktioun den nächsten Dag no der Schoul an der waarmer Verfollegung z'installéieren, kann dëst och schwéier sinn.
Nëtzlech Tipp: Kuckt d'Fuerschungspabeieren vun den Dozenten vun der Schoul op Google Léier и arXiv.org. Wann Dir genéisst wëssenschaftlech Aarbechten ze liesen, genéisst Dir och d'Schoul.
Drëttens ass d'SPTDC 2020 Schoul keng Konferenz, well d'Konferenz iwwer verdeelt Systemer a parallel Computing ass Hydra 2020 kaaft. Viru kuerzem gouf et op Habré e Post mat Iwwerpréiwung vu sengem Programm. D'lescht Joer hunn SPTDC an Hydra gläichzäiteg an op der selwechter Plaz stattfonnt. Dëst Joer iwwerlappen se net an Datumen, sou datt se net matenee konkurréiere fir Är Zäit an Opmierksamkeet.
Nëtzlech Tipp: Préift den Hydra Konferenzprogramm a betruecht och d'Konferenz no der Schoul deelzehuelen. Dëst wäert eng gutt Woch ginn.
Wéi kommen an d'Schoul?
- Schreift d'Datume vum 6. Juli bis den 9. Juli 2020 am Kalenner (oder besser, bis den 11. Juli fir no der Schoul op d'Hydra Konferenz ze goen).
- Huelt Häerz, maacht Iech prett.
- Wielt Ticketen an an d'Schoul goen.
Source: will.com