Aceasta Leslie Lamport — autor al lucrărilor fundamentale în computația distribuită, și s-ar putea să-l cunoașteți după literele La din cuvântul LaTeX — „Lamport TeX”. A fost el primul, în 1979, care a introdus conceptul de consistență secvențială, iar articolul său „How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs” a primit premiul Dijkstra (de fapt, în 2000 premiul se numea încă „PODC Influential Paper Award”). Despre el există un articol pe Wikipedia, unde puteți găsi câteva linkuri interesante. Dacă sunteți fascinat de rezolvarea problemelor legate de happens-before sau problemele generalilor bizantini (BFT), atunci trebuie să înțelegeți că în spatele tuturor acestor concepte se află Lamport.

Și mai mult, el va veni în curând la noua noastră conferință despre computația distribuită — Hydra, care va avea loc pe 11-12 iulie în Sankt Petersburg. Haideți să vedem despre ce e vorba.

Hydra 2019

Temele legate de multithreading sunt printre cele mai populare la conferințele noastre, întotdeauna au fost așa. Trecut, sala a fost goală, dar iată că pe scenă apare o persoană care vorbește despre modelul de memorie, happens-before sau garbage collection multithreaded și — bam! — deja aproape o mie de oameni ocupă tot spațiul disponibil pentru a lua loc și a asculta cu atenție. Care e secretul acestui succes? Poate că toți avem hardware-ul capabil să organizeze computația distribuită? Sau poate că subconștientul nostru își dă seama de incapacitatea noastră de a-i folosi resursele pe deplin? Există o poveste reală despre un quant din Sankt Petersburg (adică un analist cantitativ financiar și dezvoltator) care a avut în posesie un cluster de computație, puterea totală a căruia poate fi folosită doar de el. Și ce ați face dacă ați obține pentru sarcinile voastre puteri de procesare de câteva ori mai mari decât aveți acum?

Datorită acestei popularități, subiectul performanței și al calculului eficient tinde să se răspândească în programul conferințelor. Câte dintre cele două zile de prezentări pot fi dedicate performanței — o treime, două treimi? Există unele limitări artificiale care limitează această expansiune: pe lângă performanță, întotdeauna trebuie să rămână loc pentru noi frameworkuri web, pentru vreun DevOps sau astronautica arhitecturală. Nu, performanța, nu ne vei înghiți pe toți în întregime!

Se poate merge pe o cale opusă, să ne predăm și să organizăm o conferință care să fie dedicată în întregime calculului distribuit și doar acestuia. Iată-o, Hydra.

Să recunoaștem cu sinceritate că, în prezent, toate calculurile sunt, într-un fel sau altul, distribuite. Fie că este vorba de o mașină multi-core, un cluster de calcul sau un serviciu distribuit de mari dimensiuni — peste tot există numeroase procese care efectuează în paralel calcule independente, sincronizându-se între ele. Așadar, despre cum este organizat acest proces în teorie și cum funcționează în practică va fi dedicată Hydra.

Programul conferinței

Programul este în prezent în stadiul de formulare. Acesta va include prezentări de la fondatorii teoriilor sistemelor distribuite și inginerii care lucrează cu acestea în producție.

De exemplu, se știe deja că Leslie Lamport de la Microsoft Research și Maurice Herlihy de la Universitatea Brown vor participa.

Maurice Herlihy — este un profesor foarte cunoscut și respectat în domeniul Computer Science, despre care există și o pagină pe Wikipedia, unde puteți consulta linkurile și lucrările. Acolo puteți observa două premii Dijkstra, primul — pentru lucrarea „Wait-Free Synchronization”, iar al doilea, mai recent —„Transactional Memory: Architectural Support for Lock-Free Data Structures”. De altfel, linkurile duc nu la SciHub, ci la Universitatea Brown și Virginia Tech University, le puteți deschide și citi.Maurice intenționează să țină un keynote intitulat „Blockchains din perspectiva calculului distribuit”. Dacă sunteți interesați, puteți viziona înregistrarea prezentării lui Maurice de la JUG-ul din Sankt Petersburg. Evaluați cât de clar și concis transmite el subiectul.

Al doilea keynote intitulat „Dual Data Structures” va fi susținut de

Michael Scott de la Universitatea Rochester. Și ghiciți ce — are și el o pagină pe Wikipedia . La el acasă în Wisconsin, a fost cunoscut pentru activitatea sa ca decan la Universitatea Wisconsin-Madison, iar în lume — este persoana care, împreună cu Doug Lea, a dezvoltat acele algoritmi non-blocante și cozi sincronizate pe care se bazează bibliotecile Java. A obținut premiul Dijkstra cu trei ani mai târziu decât Herlihy, pentru lucrarea „Algorithms for scalable synchronization on shared-memory multiprocessors” (așa cum este obiceiul,este disponibilă public pe biblioteca online a Universității Rochester). Până la mijlocul lui iulie mai este mult timp. Vom povesti despre ceilalți vorbitori și temele lor pe măsură ce programul se clarifică și se apropie de iulie. în biblioteca online a Universității Rochester.

Până la mijlocul lui iulie mai este mult timp. Vom vorbi despre ceilalți vorbitori și temele lor pe măsură ce programul se va clarifica și ne vom apropia de luna iulie.

Aparece întrebarea — de ce facem Hydra în vară? Este sezon mort, concedii. Problema este că printre vorbitori sunt și profesori universitari, iar în orice alt timp ei sunt ocupați. Nu am putut alege alte date.

Zone de discuție

La alte conferințe, se întâmplă ca vorbitorul să citească ceea ce trebuie și apoi să plece imediat. Participanții nu au timp să-l caute — următorul discurs începe aproape fără pauză. Este foarte dureros, mai ales dacă sunt oameni atât de importanți precum Lamport, Herlihy și Scott, iar tu, de fapt, mergi la conferință doar pentru a te întâlni cu ei și a discuta ceva.

La noi, această problemă este rezolvată. Imediat după prezentarea sa, vorbitorul se îndreaptă spre o zonă de discuție specială, echipată cu cel puțin o tablă cu marker, iar tu ai la dispoziție un timp destul de vast. Formal, vorbitorul promite să fie acolo măcar tot timpul pauzei dintre prezentări. În realitate, aceste zone de discuție pot întinde ore în șir (depinde de dorința și rezistența vorbitorului).

Cât despre Lamport, dacă am înțeles corect, vrea să convingă cât mai mulți oameni că TLA+ este un lucru bun. (Articol despre TLA+ pe Wikipedia). Poate că aceasta va fi o oportunitate bună pentru ingineri să învețe ceva nou și util. Leslie propune o variantă de acest fel — cine este interesat poate viziona lecțiile sale anterioare și veni cu întrebări. Adică, în loc de un keynote, ar putea fi o sesiune de întrebări și răspunsuri specializată, iar apoi o zonă de discuție. Am căutat puțin pe Google și am găsit un excelent curs de TLA+ (duplicat oficial playlist pe YouTube) și o prelegere de o oră „Thinking Above the Code” de la Microsoft Faculty Summit.

Dacă ai perceput toți acești oameni ca fiind nume turnate în piatră din Wikipedia și pe coperțile cărților — acum este momentul să-i întâlnești live! Să comunici și să pui întrebări la care paginile articolelor științifice nu vor răspunde, dar autorii lor vor fi bucuroși să interacționeze.

Call for Papers

Nu este un secret că mulți dintre cei care citesc acest articol sunt și ei dornici să împărtășească ceva suficient de interesant. Din punct de vedere ingineresc, științific — din orice unghi. Calculul distribuit este o temă foarte largă și profundă, unde este loc pentru toată lumea.

Dacă vrei să vorbești alături de Lamport, este pe deplin posibil. Pentru a deveni vorbitor, trebuie să accesezi linkul, să citești totul cu atenție și să urmezi instrucțiunile.

Fii liniștit, odată ce te implici în proces, vei primi ajutor. Comitetul programului are suficiente resurse pentru a asista cu privire la prezentare, conținut și formatare. Coordinatorul te va ajuta să te descurci cu întrebările organizatorice și așa mai departe.

Atenție deosebită la imaginea cu datele. Iulie este o dată destul de îndepărtată pentru participanți, iar vorbitorii trebuie să înceapă să actioneze deja acum.

Școala SPTDC

Conferința va avea loc la aceeași locație cu școala SPTDC, așa că pentru toți cei care cumpără un bilet pentru școală, biletele pentru conferință sunt cu o reducere de 20%.

Summer School on Practice and Theory of Distributed Computing (SPTDC) este o școală care oferă o gamă largă de cursuri despre aspectele practice și teoretice ale sistemelor distribuite, susținute de specialiști recunoscuți în domeniu.

Școala se va desfășura în limba engleză, așa că iată cum arată lista temelor discutate:

• Structuri de date concurente: corectitudine și eficiență;
• Algoritmi pentru memorie non-volatilă;
• Computabilitate distribuită;
• Învățare automată distribuită;
• Replicarea mașinilor de stare și Paxos;
• Toleranța la defecte byzantine;
• Elementele algoritmice ale blockchain-urilor.

Vor vorbi următorii speakeri:

• Leslie Lamport (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).

Playlistul cu prezentările școlii anterioare poate fi vizionat liber pe YouTube:

Următorii pași

Programul conferinței este încă în formare. Urmărește noutățile pe Habr sau pe rețelele sociale (fb, vk, twitter).

Dacă crezi cu adevărat în conferință (sau vrei să beneficiezi de prețul special de început, așa-numitul "Early Bird") — poți accesa site-ul și cumpăra bilete.

Ne vedem la Hydra!

Sursa: habr.com