D'Grënner vun der Theorie vun verdeelt Systemer an de Waffen vun der Hydra

D'Grënner vun der Theorie vun verdeelt Systemer an de Waffen vun der Hydradëser Leslie Lamport - den Auteur vun fundamental Wierker am verdeelt Informatik, an Dir kënnt him och duerch d'Bréiwer La am Wuert wëssen LaTeX - "Lamport TeX". Et war hien deen fir d'éischte Kéier, zréck an 1979, d'Konzept agefouert konsequent Konsequenz, a säin Artikel "Wéi e Multiprocessor Computer ze maachen deen Multiprocess Programmer richteg ausféiert" krut den Dijkstra Award (méi genee, am Joer 2000 gouf de Präis op déi al Manéier genannt: "PODC Influential Paper Award"). Et gëtt iwwer hien Wikipedia Artikel, wou Dir e puer méi interessant Linken kritt. Wann Dir begeeschtert sinn Problemer ze léisen op geschitt-virun oder Problemer vun de byzantinesche Genereel (BFT), si musse verstoen datt Lamport hannert alles ass.

An hie wäert geschwënn op eis nei Konferenz iwwer verdeelt Computing kommen - Hydra, déi 11-12 Juli zu St. Kucke mer wat fir en Déier et ass.

Hydra 2019 kaaft

Themen wéi Multithreading sinn e puer vun den wäermsten Themen op eise Konferenzen, déi ëmmer waren. Et war just desertéiert an dësem Sall, mä dann schéngt eng Persoun op der Bühn, schwätzen iwwer d'Erënnerung Modell, geschitt-virun oder Multi-threaded Gerempels Kollektioun an - Boom! - schonn ënner dausend Leit besetzen all déi verfügbar Plaz fir sech ze sëtzen a virsiichteg ze lauschteren. Wat ass d'Essenz vun dësem Erfolleg? Vläicht d'Tatsaach, datt mir all op eisen Hänn hunn eng Zort Hardware kapabel verdeelt Informatik ze organiséieren? Oder ass et datt mir onbewosst eis Onméiglechkeet verstinn et op säi richtege Wäert ze lueden? Et gëtt eng richteg Geschicht vun engem St. Petersburg Quantephysik (dat ass, engem finanzielle quantitative Analyst an Entwéckler), deen mat engem Rechenzäit Stärekoup an seng Hänn opgehalen huet, déi voll Muecht vun deem kann nëmme vun him eleng benotzt ginn. A wat géift Dir maachen, wann Dir Är Aufgabe mat Kapazitéite vill Mol méi grouss wéi elo sollt ausféieren?

Wéinst dëser Popularitéit tendéiert d'Thema vun der Leeschtung an effizienter Informatik iwwer de Konferenzprogramm ze verbreeden. Wéi vill vun den zwee Deeg Berichter kënnen iwwer Leeschtung gemaach ginn - een Drëttel, zwee Drëttel? Op e puer Plazen ginn et kënschtlech Restriktiounen, déi dëse Wuesstum limitéieren: Nieft der Leeschtung muss et nach Plaz fir nei Web-Frameworks sinn, fir eng Zort Devops oder architektonesch Astronautik. Nee, Leeschtung, Dir wäert eis net all ganz iessen!

Oder Dir kënnt de Géigendeel goen, opginn an éierlech eng Konferenz maachen déi ganz iwwer verdeelt Informatik geet an nëmmen iwwer hinnen. An hei ass et, Hydra.

Loosst eis éierlech zouginn datt haut all Informatik déi eng oder aner Manéier verdeelt ass. Egal ob et eng Multi-Core Maschinn ass, e Rechencluster oder e grousst verdeelt Service, et gi vill Prozesser iwwerall déi onofhängeg Berechnungen parallel ausféieren, matenee synchroniséieren. Wéi et an der Theorie funktionnéiert a wéi et an der Praxis funktionnéiert wäert de Fokus vun Hydra sinn.

Konferenz Programm

De Programm ass am Moment ënner Entwécklung. Et sollt Berichter vun de Grënner vun den Theorien vun verdeelt Systemer an Ingenieuren enthalen déi mat hinnen an der Produktioun schaffen.

Zum Beispill wësse mer schonn iwwer d'Participatioun vum Leslie Lamport vu Microsoft Research a Maurice Herlihy vun der Brown University.

D'Grënner vun der Theorie vun verdeelt Systemer an de Waffen vun der Hydra Maurice Herlihy - e ganz berühmten a respektéierte Professer fir Informatik, et gëtt och eng Geschicht iwwer hien Wikipedia Säit, wou Dir iwwer d'Links a Wierker kënnt. Do kënnt Dir esou vill wéi zwee Dijkstra Auszeechnunge bemierken, déi éischt fir ze schaffen "Waartfräi Synchroniséierung", an déi zweet, méi rezent - "Transaktiounsspeicher: architektonesch Ënnerstëtzung fir Sperrfräi Datestrukturen". Iwwregens, d'Links féieren net emol op SciHub, awer op Brown University a Virginia Tech University, Dir kënnt opmaachen a liesen.

De Maurice wäert e Keynote organiséieren mam Numm "Blockchains from a distributed computing perspective". Wann Dir interesséiert sidd, kënnt Dir d'Opnahm vum Maurice sengem Bericht vum St. Petersburg JUG kucken. Evaluéiert wéi kloer a verständlech hien d'Thema vermëttelt.

D'Grënner vun der Theorie vun verdeelt Systemer an de Waffen vun der HydraDéi zweet Keynote genannt "Dual Data Structures" wäert liesen Michael Scott vun der University of Rochester. A roden wat - hien huet och seng eegen Wikipedia Säit. Doheem zu Wisconsin ass hien bekannt fir seng Aarbecht als Dekan op der University of Wisconsin-Madison, an op der Welt ass hien dee Mann, deen zesumme mam Doug Lea déi net blockéierend Algorithmen a Synchronschlaangen entwéckelt huet, op déi Java Bibliothéike lafen. . Hien krut säin Dijkstra Präis dräi Joer nom Herlihy, fir säi Wierk "Algorithms for scalable synchronization on shared-memory multiprocessors" (wéi erwaart, si leet op an der Online-Bibliothéik vun der University of Rochester).

Bis Mëtt Juli ass nach vill Zäit. Mir wäerten iwwer déi aner Spriecher an hir Themen erzielen wéi de Programm verfeinert gëtt a mir kommen am Juli un.

Am Allgemengen stellt sech d'Fro - firwat maache mir Hydra am Summer? No allem ass dëst d'Off Saison, d'Feierdeeg. De Problem ass, datt ënnert de Spriecher Universitéitsprofesser sinn, an all aner Zäit ass fir si beschäftegt. Mir konnten einfach keng aner Datumen wielen.

Diskussioun Zonen

Op anere Konferenzen geschitt et datt de Spriecher gelies huet wat néideg ass an direkt fortgaang ass. D'Participanten hunn net emol Zäit fir et ze sichen - schliisslech fänkt de nächste Bericht bal ouni Spalt un. Et deet vill wéi, besonnesch wann wichteg Leit wéi Lamport, Herlihy a Scott präsent sinn an Dir op d'Konferenz gitt just fir se ze treffen an iwwer eppes ze schwätzen.

Mir hunn dëse Problem geléist. Direkt no sengem Bericht geet de Spriecher an e speziellen Diskussiounsberäich, deen op d'mannst mat engem Whiteboard mat engem Marker ausgestatt ass, an Dir hutt zimlech vill Zäit. Formell versprécht de Spriecher op d'mannst an der Paus tëscht de Berichter do ze sinn. A Wierklechkeet, dës Diskussioun Beräicher kann strecken fir Stonnen op Enn (ofhängeg vum Wonsch an Ausdauer vum Spriecher).

Wat de Lamport ugeet, wann ech dat richteg verstinn, wëll hie sou vill wéi méiglech Leit dat iwwerzeegen TLA+ - dat ass eng gutt Saach. (Artikel iwwer TLA+ op Wikipedia). Vläicht ass dëst eng gutt Chance fir Ingenieuren eppes Neies an nëtzlech ze léieren. Leslie bitt dës Optioun - wien interesséiert ass, kann seng vergaange Virträg kucken a mat Froen kommen. Dat heescht, amplaz vun engem Keynote kann et ewéi eng spezialiséiert Q&A Sessioun ginn, an dann nach eng Diskussiounszone. Ech hunn e bësse gegooglet an eng super fonnt TLA+ Course (offiziell dubbed Playlist op YouTube) an eng Stonn Virtrag "Denken iwwer de Code" mat Microsoft Fakultéit Sommet.

Wann Dir un all dës Leit geduecht hutt als Nimm, déi a Granit aus Wikipedia an op Bicherdeckelen gegoss goufen, ass et Zäit se live ze treffen! Chat a stellt Froen déi d'Säite vu wëssenschaftlechen Artikelen net beäntweren, awer hir Auteure si frou ze kontaktéieren.

Call for Papers

Et ass kee Geheimnis datt vill vun deenen, déi elo den Artikel liesen, net averstane sinn, eppes interessant genuch selwer ze soen. Vun enger Ingenieurssiicht, aus enger wëssenschaftlecher Siicht, aus all Siicht. Distributed Computing ass e ganz breet an déif Thema, wou et eng Plaz fir jiddereen ass.

Wann Dir niewent Lamport wëllt spillen, ass et ganz méiglech. Fir e Spriecher ze ginn, braucht Dir verfollegen de Link, liesen virsiichteg alles do a maacht et no den Instruktiounen.

Sidd roueg, soubal Dir mam Prozess verbënnt, gitt Dir gehollef. De Programmkomitee huet genuch Ressourcen fir mam Rapport selwer ze hëllefen, seng Essenz an Design. De Koordinator hëlleft Iech mat organisatoreschen Themen a sou weider.

Opgepasst besonnesch op d'Bild mat den Datumen. Juli ass en zimlech wäiten Datum fir de Participant, an de Spriecher muss elo ufänken ze handelen.

D'Grënner vun der Theorie vun verdeelt Systemer an de Waffen vun der Hydra

SPTDC Schoul

D'Konferenz gëtt um selwechte Site mat der SPTDC Schoul ofgehalen, also fir jiddereen deen en Ticket fir d'Schoul kaaft, Konferenzbilljeeën - mat 20% Remise.

Summer School on Practice and Theory of Distributed Computing (SPDTC) - eng Schoul déi eng breet Palette vu Coursen iwwer déi praktesch an theoretesch Aspekter vu verdeelte Systemer ubitt, déi vun unerkannten Experten am relevante Beräich geléiert ginn.

D'Schoul wäert op Englesch ofgehale ginn, also hei ass d'Lëscht vun den Themen déi ofgedeckt sinn:

  • Konkurrent Datenstrukturen: Richtegkeet an Effizienz;
  • Algorithmen fir net-flüchteg Erënnerung;
  • Verdeelt Berechnung;
  • verdeelt Maschinn Léieren;
  • Staat-Maschinn Replikatioun an Paxos;
  • byzantinesch Feeler Toleranz;
  • Algorithmesch Basis vu Blockchains.

Déi folgend Spriecher wäerten schwätzen:

  • Leslie Lamport (Microsoft);
  • Maurice Herlihy (Brown Universitéit);
  • Michael Scott (Universitéit vu Rochester);
  • Dan Alistarh (IST Éisträich);
  • Trevor Brown (Universitéit vu Waterloo);
  • Eli Gafni (UCLA);
  • Danny Hendler (Ben Gurion Universitéit);
  • Achour Mostefaoui (Universitéit Nantes).

Playlist mat de Berichter vun der viregter Schoul kënne fräi op YouTube gekuckt ginn:

Nächst Schrëtt

De Konferenzprogramm gëtt nach ëmmer geformt. Follegt d'Noriichten op Habré oder a sozialen Netzwierker (fb, vk, twitter).

Wann Dir wierklech un d'Konferenz gleeft (oder de spezielle Startpräis wëllt profitéieren, wéi se soen, "Early Bird") - Dir kënnt op de Site goen an kafen Ticketen.

Bis zu Hydra!

Source: will.com

Setzt e Commentaire