Aceasta Leslie Lampport este autorul unor lucrări fundamentale în calculul distribuit și îl puteți cunoaște și după literele La din cuvânt LaTeX - „Lamport TeX”. El a fost primul, în 1979, care a introdus conceptul , și articolul lui a primit premiul Dijkstra (mai precis, în 2000, premiul a fost numit în vechiul ei: „PODC Influential Paper Award”). Există despre el , unde puteți obține câteva link-uri mai interesante. Dacă sunteți entuziasmat de rezolvarea problemelor, se întâmplă-înainte sau (BFT), atunci trebuie să înțelegeți că Lampport este în spatele tuturor acestor lucruri.
De asemenea, va veni în curând la noua noastră conferință despre calculul distribuit - Hydra, care va avea loc în perioada 11-12 iulie la Sankt Petersburg. Să vedem ce fel de animal este acesta.
Hidra 2019
Subiecte precum multithreading sunt printre cele mai populare la conferințele noastre, au fost întotdeauna. Chiar acum această cameră era pustie, dar apoi apare pe scenă o persoană care vorbește despre modelul de memorie, se întâmplă-înainte sau colectarea gunoiului cu mai multe fire și - boom! — deja aproximativ o mie de oameni ocupă tot spațiul disponibil pentru a se așeza și a asculta cu atenție. Care este esența acestui succes? Poate pentru că avem cu toții un fel de hardware la îndemână care poate organiza calculul distribuit? Sau este faptul că în mod subconștient înțelegem incapacitatea noastră de a o încărca așa cum merită? Există o poveste reală a unui quant din Sankt Petersburg (adică un analist și dezvoltator financiar cantitativ), care s-a trezit în posesia unui cluster de calcul, a cărui putere deplină numai el singur ar putea-o folosi. Ce ai face dacă ai avea capacitatea de a-ți îndeplini sarcinile de multe ori mai mare decât este acum?
Datorită acestei popularități, subiectul productivității și al calculului eficient tinde să se răspândească pe agenda conferinței. Câte din cele două zile de rapoarte se pot face despre performanță - o treime, două treimi? În unele locuri există restricții artificiale care limitează această creștere: pe lângă performanță, trebuie să mai existe loc pentru noi cadre web, pentru un fel de devop-uri sau astronautică arhitecturală. Nu, performanță, nu ne vei mânca pe toți întregi!
Sau poți să mergi pe sens invers, să renunți și să faci sincer o conferință care să fie în întregime despre calculul distribuit și doar despre ei. Și iată-l, Hydra.
Să admitem sincer că astăzi toate calculele sunt distribuite într-un fel sau altul. Fie că este o mașină cu mai multe nuclee, un cluster de calcul sau un serviciu distribuit pe scară largă, există multe procese peste tot care efectuează calcule independente în paralel, sincronizându-se între ele. Hydra va fi dedicat modului în care funcționează acest lucru în teorie și cum funcționează în practică.
Programul conferinței
Programul este în prezent în stadiul de formare. Ar trebui să includă rapoarte de la fondatorii teoriilor sistemelor distribuite și inginerii care lucrează cu ei în producție.
De exemplu, participarea Leslie Lamport de la Microsoft Research și Maurice Herlihy de la Universitatea Brown este deja cunoscută.
Maurice Herlihy - un profesor de Informatică foarte celebru și respectat, există și informații despre el , unde puteți naviga prin link-uri și lucrări. Acolo puteți observa două premii Dijkstra, primul pentru lucrul la care se lucrează , iar al doilea, mai recent - . Apropo, link-urile nici măcar nu duc la SciHub, dar la Brown University și Virginia Tech University, puteți deschide și citi.
Maurice va susține o conferință intitulată „Blockchains dintr-o perspectivă a calculatoarelor distribuite”. Dacă sunteți interesat, puteți arunca o privire la înregistrarea raportului lui Maurice din JUG din Sankt Petersburg. Evaluează cât de clar și de înțeles transmite subiectul.
A doua intervenție cheie numită „Dual Data Structures” va citi Michael Scott de la Universitatea din Rochester. Și ghici ce - are și el al lui . Acasă, în Wisconsin, este cunoscut pentru munca sa de decan la Universitatea din Wisconsin-Madison, iar în lume este omul care, împreună cu Doug Lea, a dezvoltat algoritmii de neblocare și cozile sincrone pe care bibliotecile Java. muncă. A primit premiul Dijkstra la trei ani după Herlihy, pentru lucrarea sa „Algoritmi pentru sincronizare scalabilă pe multiprocesoare cu memorie partajată” (cum era de așteptat, în biblioteca online a Universității din Rochester).
Mai este mult timp până la jumătatea lunii iulie. Vă vom spune despre vorbitorii rămași și subiectele lor pe măsură ce perfecționăm programul și ne apropiem de iulie.
În general, apare întrebarea - de ce facem Hydra vara? La urma urmei, acesta este sezonul de jos, vacanțele. Problema este că printre vorbitori sunt profesori universitari, iar orice alt moment este ocupat pentru ei. Pur și simplu nu am putut alege alte date.
Zone de discutie
La alte conferințe, se întâmplă ca vorbitorul să citească ce avea nevoie și să plece imediat. Participanții nici măcar nu au timp să-l caute - la urma urmei, următorul raport începe aproape fără interval. Acest lucru este foarte dureros, mai ales dacă sunt prezenți oameni importanți precum Lamport, Herlihy și Scott și, de fapt, mergi la conferință doar pentru a-i întâlni și a discuta ceva.
Am rezolvat această problemă. Imediat după raportul său, vorbitorul merge într-o zonă specială de discuții, dotată cu cel puțin o tablă cu marker și ai destul de mult timp. Formal, vorbitorul promite să fie acolo cel puțin pe toată durata pauzei dintre prezentări. În realitate, aceste zone de discuție putea se întinde ore în șir (în funcție de dorința și rezistența vorbitorului).
Cât despre Lamport, dacă am înțeles bine, vrea să convingă cât mai mulți oameni de asta - ăsta este un lucru bun. (). Poate că aceasta va fi o șansă bună pentru ingineri de a învăța ceva nou și util. Leslie oferă această opțiune - cei care sunt interesați pot urmări prelegerile sale anterioare și pot veni cu întrebări. Adică, în loc de un keynote, ar putea exista o sesiune specializată de întrebări și răspunsuri și apoi, de asemenea, o zonă de discuții. Am căutat pe google și am găsit unul grozav. (dublat oficial ) și o prelegere de o oră de la Microsoft Faculty Summit.
Dacă i-ai perceput pe toți acești oameni ca pe nume turnate în granit de pe Wikipedia și pe coperți de cărți, este timpul să-i cunoști personal! Discutați și puneți întrebări la care paginile articolelor științifice nu vor răspunde, dar autorii lor vor fi bucuroși să ia legătura.
Call for Papers
Nu este un secret pentru nimeni că mulți dintre cei care citesc acum articolul nu sunt contrarii să ne spună ceva destul de interesant. Din punct de vedere ingineresc, din punct de vedere științific – din orice punct de vedere. Calculul distribuit este un subiect foarte larg și profund în care există loc pentru toată lumea.
Dacă vrei să concurezi alături de Lamport, este absolut posibil. Pentru a deveni vorbitor ai nevoie , citește totul acolo cu atenție și procedează conform instrucțiunilor.
Fii sigur, de îndată ce te înscrii în proces, te vor ajuta. Comitetul de program are capacități suficiente pentru a ajuta cu raportul în sine, esența și designul acestuia. Coordonatorul vă va ajuta să rezolvați problemele organizaționale și așa mai departe.
Acordați o atenție deosebită imaginii cu datele. Iulie este o dată destul de îndepărtată pentru participant, dar vorbitorul trebuie să înceapă să joace acum.
Şcoala SPTDC
Conferința se va desfășura pe același site cu școala SPTDC, așa că pentru toți cei care cumpără bilet la școală, biletele la conferință vor fi cu 20% reducere.
este o școală care oferă o gamă largă de cursuri privind aspectele practice și teoretice ale sistemelor distribuite, predate de experți recunoscuți în domeniul relevant.
Școala se va desfășura în limba engleză, așa că așa arată lista de subiecte abordate:
- Structuri de date concurente: corectitudine și eficiență;
- Algoritmi pentru memorie nevolatilă;
- Calculabilitate distribuită;
- Învățare automată distribuită;
- Replicarea state-mașină și Paxos;
- toleranță la greșeală bizantină;
- Bazele algoritmice ale blockchain-urilor.
Vor vorbi următorii vorbitori:
- Leslie Lampport (Microsoft);
- Maurice Herlihy (Universitatea Brown);
- Michael Scott (Universitatea din Rochester);
- Dan Alistarh (IST Austria);
- Trevor Brown (Universitatea din Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Universitatea Ben Gurion);
- Achour Mostefaoui (Universitatea din Nantes).
Puteți urmări liber rapoartele școlii anterioare pe YouTube:
Pașii următori
Programul conferinței este încă în curs de elaborare. Urmăriți știrile pe Habré sau pe rețelele de socializare (, , ).
Dacă credeți cu adevărat în conferință (sau doriți să profitați de prețul special de intrare, așa-numitul „Early Bird”), puteți accesa site-ul web și .
Ne vedem la Hydra!
Sursa: www.habr.com