{"id":34759,"date":"2019-10-31T22:00:14","date_gmt":"2019-10-31T19:00:14","guid":{"rendered":"https:\/\/prohoster.info\/blog\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry\/"},"modified":"2019-10-31T22:00:14","modified_gmt":"2019-10-31T19:00:14","slug":"osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","status":"publish","type":"post","link":"https:\/\/prohoster.info\/ro\/blog\/administrirovanie\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","title":{"rendered":"Pionierii teoriei sistemelor distribuite \u00een bra\u021bele hidrei","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"PionieriiAceasta Leslie Lamport<\/strong> \u2014 autor al lucr\u0103rilor fundamentale \u00een computa\u021bia distribuit\u0103, \u0219i s-ar putea s\u0103-l cunoa\u0219te\u021bi dup\u0103 literele La din cuv\u00e2ntul La<\/b>TeX \u2014 \u201eLamport TeX\u201d. A fost el primul, \u00een 1979, care a introdus conceptul de consisten\u021b\u0103 secven\u021bial\u0103<\/a><\/noindex>, iar articolul s\u0103u \u201eHow to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\u201d<\/a><\/noindex> a primit premiul Dijkstra (de fapt, \u00een 2000 premiul se numea \u00eenc\u0103 \u201ePODC Influential Paper Award\u201d). Despre el exist\u0103 un articol pe Wikipedia<\/a><\/noindex>, unde pute\u021bi g\u0103si c\u00e2teva linkuri interesante. Dac\u0103 sunte\u021bi fascinat de rezolvarea problemelor legate de happens-before sau problemele generalilor bizantini<\/a><\/noindex> (BFT), atunci trebuie s\u0103 \u00een\u021belege\u021bi c\u0103 \u00een spatele tuturor acestor concepte se afl\u0103 Lamport.
\n<\/p>\n

<\/p>\n

\u0218i mai mult, el va veni \u00een cur\u00e2nd la noua noastr\u0103 conferin\u021b\u0103 despre computa\u021bia distribuit\u0103 \u2014 Hydra, care va avea loc pe 11-12 iulie \u00een Sankt Petersburg. Haide\u021bi s\u0103 vedem despre ce e vorba.<\/p>\n

<\/a><\/noindex><\/p>\n

Hydra 2019<\/h1>\n

<\/p>\n

Temele legate de multithreading sunt printre cele mai populare la conferin\u021bele noastre, \u00eentotdeauna au fost a\u0219a. Trecut, sala a fost goal\u0103, dar iat\u0103 c\u0103 pe scen\u0103 apare o persoan\u0103 care vorbe\u0219te despre modelul de memorie, happens-before sau garbage collection multithreaded \u0219i \u2014 bam! \u2014 deja aproape o mie de oameni ocup\u0103 tot spa\u021biul disponibil pentru a lua loc \u0219i a asculta cu aten\u021bie. Care e secretul acestui succes? Poate c\u0103 to\u021bi avem hardware-ul capabil s\u0103 organizeze computa\u021bia distribuit\u0103? Sau poate c\u0103 subcon\u0219tientul nostru \u00ee\u0219i d\u0103 seama de incapacitatea noastr\u0103 de a-i folosi resursele pe deplin? Exist\u0103 o poveste real\u0103 despre un quant din Sankt Petersburg (adic\u0103 un analist cantitativ financiar \u0219i dezvoltator) care a avut \u00een posesie un cluster de computa\u021bie, puterea total\u0103 a c\u0103ruia poate fi folosit\u0103 doar de el. \u0218i ce a\u021bi face dac\u0103 a\u021bi ob\u021bine pentru sarcinile voastre puteri de procesare de c\u00e2teva ori mai mari dec\u00e2t ave\u021bi acum?<\/p>\n

<\/p>\n

Datorit\u0103 acestei popularit\u0103\u021bi, subiectul performan\u021bei \u0219i al calculului eficient tinde s\u0103 se r\u0103sp\u00e2ndeasc\u0103 \u00een programul conferin\u021belor. C\u00e2te dintre cele dou\u0103 zile de prezent\u0103ri pot fi dedicate performan\u021bei \u2014 o treime, dou\u0103 treimi? Exist\u0103 unele limit\u0103ri artificiale care limiteaz\u0103 aceast\u0103 expansiune: pe l\u00e2ng\u0103 performan\u021b\u0103, \u00eentotdeauna trebuie s\u0103 r\u0103m\u00e2n\u0103 loc pentru noi frameworkuri web, pentru vreun DevOps sau astronautica arhitectural\u0103. Nu, performan\u021ba, nu ne vei \u00eenghi\u021bi pe to\u021bi \u00een \u00eentregime!<\/p>\n

<\/p>\n

Se poate merge pe o cale opus\u0103, s\u0103 ne pred\u0103m \u0219i s\u0103 organiz\u0103m o conferin\u021b\u0103 care s\u0103 fie dedicat\u0103 \u00een \u00eentregime calculului distribuit \u0219i doar acestuia. Iat\u0103-o, Hydra.<\/p>\n

<\/p>\n

S\u0103 recunoa\u0219tem cu sinceritate c\u0103, \u00een prezent, toate calculurile sunt, \u00eentr-un fel sau altul, distribuite. Fie c\u0103 este vorba de o ma\u0219in\u0103 multi-core, un cluster de calcul sau un serviciu distribuit de mari dimensiuni \u2014 peste tot exist\u0103 numeroase procese care efectueaz\u0103 \u00een paralel calcule independente, sincroniz\u00e2ndu-se \u00eentre ele. A\u0219adar, despre cum este organizat acest proces \u00een teorie \u0219i cum func\u021bioneaz\u0103 \u00een practic\u0103 va fi dedicat\u0103 Hydra.<\/p>\n

<\/p>\n

Programul conferin\u021bei<\/h1>\n

<\/p>\n

Programul este \u00een prezent \u00een stadiul de formulare. Acesta va include prezent\u0103ri de la fondatorii teoriilor sistemelor distribuite \u0219i inginerii care lucreaz\u0103 cu acestea \u00een produc\u021bie.<\/p>\n

<\/p>\n

De exemplu, se \u0219tie deja c\u0103 Leslie Lamport de la Microsoft Research \u0219i Maurice Herlihy de la Universitatea Brown vor participa. <\/p>\n

<\/p>\n

\"Pionierii Maurice Herlihy<\/strong> \u2014 este un profesor foarte cunoscut \u0219i respectat \u00een domeniul Computer Science, despre care exist\u0103 \u0219i o pagin\u0103 pe Wikipedia<\/a><\/noindex>, unde pute\u021bi consulta linkurile \u0219i lucr\u0103rile. Acolo pute\u021bi observa dou\u0103 premii Dijkstra, primul \u2014 pentru lucrarea \u201eWait-Free Synchronization\u201d, iar al doilea, mai recent \u2014<\/a><\/noindex>\u201eTransactional Memory: Architectural Support for Lock-Free Data Structures\u201d. De altfel, linkurile duc nu la SciHub, ci la Universitatea Brown \u0219i Virginia Tech University, le pute\u021bi deschide \u0219i citi.<\/a><\/noindex>Maurice inten\u021bioneaz\u0103 s\u0103 \u021bin\u0103 un keynote intitulat \u201eBlockchains din perspectiva calculului distribuit\u201d. Dac\u0103 sunte\u021bi interesa\u021bi, pute\u021bi viziona \u00eenregistrarea prezent\u0103rii lui Maurice de la JUG-ul din Sankt Petersburg. Evalua\u021bi c\u00e2t de clar \u0219i concis transmite el subiectul.
\n<\/p>\n

<\/p>\n

Al doilea keynote intitulat \u201eDual Data Structures\u201d va fi sus\u021binut de<\/p>\n

\n

\r\n \"Reda\u021bi\r\n
<\/div>\r\n <\/div><\/center><\/p>\n

\"PionieriiMichael Scott de la Universitatea Rochester. \u0218i ghici\u021bi ce \u2014 are \u0219i el<\/strong> o pagin\u0103 pe Wikipedia . La el acas\u0103 \u00een Wisconsin, a fost cunoscut pentru activitatea sa ca decan la Universitatea Wisconsin-Madison, iar \u00een lume \u2014 este persoana care, \u00eempreun\u0103 cu Doug Lea, a dezvoltat acele algoritmi non-blocante \u0219i cozi sincronizate pe care se bazeaz\u0103 bibliotecile Java. A ob\u021binut premiul Dijkstra cu trei ani mai t\u00e2rziu dec\u00e2t Herlihy, pentru lucrarea \u201eAlgorithms for scalable synchronization on shared-memory multiprocessors\u201d (a\u0219a cum este obiceiul,<\/a><\/noindex>este disponibil\u0103 public pe biblioteca online a Universit\u0103\u021bii Rochester). P\u00e2n\u0103 la mijlocul lui iulie mai este mult timp. Vom povesti despre ceilal\u021bi vorbitori \u0219i temele lor pe m\u0103sur\u0103 ce programul se clarific\u0103 \u0219i se apropie de iulie.<\/a><\/noindex> \u00een biblioteca online a Universit\u0103\u021bii Rochester.
\n<\/p>\n

<\/p>\n

P\u00e2n\u0103 la mijlocul lui iulie mai este mult timp. Vom vorbi despre ceilal\u021bi vorbitori \u0219i temele lor pe m\u0103sur\u0103 ce programul se va clarifica \u0219i ne vom apropia de luna iulie. <\/p>\n

<\/p>\n

Aparece \u00eentrebarea \u2014 de ce facem Hydra \u00een var\u0103? Este sezon mort, concedii. Problema este c\u0103 printre vorbitori sunt \u0219i profesori universitari, iar \u00een orice alt timp ei sunt ocupa\u021bi. Nu am putut alege alte date.<\/p>\n

<\/p>\n

Zone de discu\u021bie<\/h1>\n

<\/p>\n

La alte conferin\u021be, se \u00eent\u00e2mpl\u0103 ca vorbitorul s\u0103 citeasc\u0103 ceea ce trebuie \u0219i apoi s\u0103 plece imediat. Participan\u021bii nu au timp s\u0103-l caute \u2014 urm\u0103torul discurs \u00eencepe aproape f\u0103r\u0103 pauz\u0103. Este foarte dureros, mai ales dac\u0103 sunt oameni at\u00e2t de importan\u021bi precum Lamport, Herlihy \u0219i Scott, iar tu, de fapt, mergi la conferin\u021b\u0103 doar pentru a te \u00eent\u00e2lni cu ei \u0219i a discuta ceva. <\/p>\n

<\/p>\n

La noi, aceast\u0103 problem\u0103 este rezolvat\u0103. Imediat dup\u0103 prezentarea sa, vorbitorul se \u00eendreapt\u0103 spre o zon\u0103 de discu\u021bie special\u0103, echipat\u0103 cu cel pu\u021bin o tabl\u0103 cu marker, iar tu ai la dispozi\u021bie un timp destul de vast. Formal, vorbitorul promite s\u0103 fie acolo m\u0103car tot timpul pauzei dintre prezent\u0103ri. \u00cen realitate, aceste zone de discu\u021bie pot<\/em> \u00eentinde ore \u00een \u0219ir (depinde de dorin\u021ba \u0219i rezisten\u021ba vorbitorului). <\/p>\n

<\/p>\n

C\u00e2t despre Lamport, dac\u0103 am \u00een\u021beles corect, vrea s\u0103 conving\u0103 c\u00e2t mai mul\u021bi oameni c\u0103 TLA+<\/a><\/noindex> este un lucru bun. (Articol despre TLA+ pe Wikipedia<\/a><\/noindex>). Poate c\u0103 aceasta va fi o oportunitate bun\u0103 pentru ingineri s\u0103 \u00eenve\u021be ceva nou \u0219i util. Leslie propune o variant\u0103 de acest fel \u2014 cine este interesat poate viziona lec\u021biile sale anterioare \u0219i veni cu \u00eentreb\u0103ri. Adic\u0103, \u00een loc de un keynote, ar putea fi o sesiune de \u00eentreb\u0103ri \u0219i r\u0103spunsuri specializat\u0103, iar apoi o zon\u0103 de discu\u021bie. Am c\u0103utat pu\u021bin pe Google \u0219i am g\u0103sit un excelent curs de TLA+<\/a><\/noindex> (duplicat oficial playlist pe YouTube<\/a><\/noindex>) \u0219i o prelegere de o or\u0103 \u201eThinking Above the Code\u201d<\/a><\/noindex> de la Microsoft Faculty Summit.<\/p>\n

<\/p>\n

Dac\u0103 ai perceput to\u021bi ace\u0219ti oameni ca fiind nume turnate \u00een piatr\u0103 din Wikipedia \u0219i pe coper\u021bile c\u0103r\u021bilor \u2014 acum este momentul s\u0103-i \u00eent\u00e2lne\u0219ti live! S\u0103 comunici \u0219i s\u0103 pui \u00eentreb\u0103ri la care paginile articolelor \u0219tiin\u021bifice nu vor r\u0103spunde, dar autorii lor vor fi bucuro\u0219i s\u0103 interac\u021bioneze.<\/p>\n

<\/p>\n

Call for Papers<\/h1>\n

<\/p>\n

Nu este un secret c\u0103 mul\u021bi dintre cei care citesc acest articol sunt \u0219i ei dornici s\u0103 \u00eemp\u0103rt\u0103\u0219easc\u0103 ceva suficient de interesant. Din punct de vedere ingineresc, \u0219tiin\u021bific \u2014 din orice unghi. Calculul distribuit este o tem\u0103 foarte larg\u0103 \u0219i profund\u0103, unde este loc pentru toat\u0103 lumea.<\/p>\n

<\/p>\n

Dac\u0103 vrei s\u0103 vorbe\u0219ti al\u0103turi de Lamport, este pe deplin posibil. Pentru a deveni vorbitor, trebuie s\u0103 accesezi linkul<\/a><\/noindex><\/strong>, s\u0103 cite\u0219ti totul cu aten\u021bie \u0219i s\u0103 urmezi instruc\u021biunile. <\/p>\n

<\/p>\n

Fii lini\u0219tit, odat\u0103 ce te implici \u00een proces, vei primi ajutor. Comitetul programului are suficiente resurse pentru a asista cu privire la prezentare, con\u021binut \u0219i formatare. Coordinatorul te va ajuta s\u0103 te descurci cu \u00eentreb\u0103rile organizatorice \u0219i a\u0219a mai departe. <\/p>\n

<\/p>\n

Aten\u021bie deosebit\u0103 la imaginea cu datele. Iulie este o dat\u0103 destul de \u00eendep\u0103rtat\u0103 pentru participan\u021bi, iar vorbitorii trebuie s\u0103 \u00eenceap\u0103 s\u0103 actioneze deja acum. <\/p>\n

<\/p>\n

\"Pionierii<\/p>\n

<\/p>\n

\u0218coala SPTDC<\/h1>\n

<\/p>\n

Conferin\u021ba va avea loc la aceea\u0219i loca\u021bie cu \u0219coala SPTDC, a\u0219a c\u0103 pentru to\u021bi cei care cump\u0103r\u0103 un bilet pentru \u0219coal\u0103, biletele pentru conferin\u021b\u0103 sunt cu o reducere de 20%<\/strong>.<\/p>\n

<\/p>\n

Summer School on Practice and Theory of Distributed Computing (SPTDC)<\/a><\/noindex> este o \u0219coal\u0103 care ofer\u0103 o gam\u0103 larg\u0103 de cursuri despre aspectele practice \u0219i teoretice ale sistemelor distribuite, sus\u021binute de speciali\u0219ti recunoscu\u021bi \u00een domeniu.<\/p>\n

<\/p>\n

\u0218coala se va desf\u0103\u0219ura \u00een limba englez\u0103, a\u0219a c\u0103 iat\u0103 cum arat\u0103 lista temelor discutate:<\/p>\n

<\/p>\n