{"id":35091,"date":"2019-10-31T22:02:18","date_gmt":"2019-10-31T19:02:18","guid":{"rendered":"https:\/\/prohoster.info\/blog\/19-golov-gidry-bolshoj-obzor-programmy\/"},"modified":"2019-10-31T22:02:18","modified_gmt":"2019-10-31T19:02:18","slug":"19-golov-gidry-bolshoj-obzor-programmy","status":"publish","type":"post","link":"https:\/\/prohoster.info\/ro\/blog\/administrirovanie\/19-golov-gidry-bolshoj-obzor-programmy","title":{"rendered":"19 capete ale hidrei. O prezentare general\u0103 mare a programului","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Conferin\u021ba va avea loc \u00een Sankt Petersburg pe 11-12 iulie Hydra<\/a><\/noindex>, dedicat\u0103 dezvolt\u0103rii sistemelor paralele \u0219i distribuite. Tr\u0103s\u0103tura distinctiv\u0103 a Hydrei const\u0103 \u00een faptul c\u0103 reune\u0219te savan\u021bi excep\u021bionali (pe care, de obicei, \u00eei g\u0103sim doar la conferin\u021bele \u0219tiin\u021bifice interna\u021bionale) \u0219i ingineri practican\u021bi bine cunoscu\u021bi, \u00eentr-un singur program vast la intersec\u021bia dintre \u0219tiin\u021b\u0103 \u0219i practic\u0103.<\/p>\n

<\/p>\n

Hydra este una dintre cele mai importante conferin\u021be pe care le avem \u00een ultimii ani. A fost precedat\u0103 de o preg\u0103tire serioas\u0103, selec\u021bia vorbitorilor \u0219i a prezent\u0103rilor. S\u0103pt\u0103m\u00e2na trecut\u0103, a ap\u0103rut un interviu pe Habrahabr<\/a><\/noindex> cu directorul companiei JUG.ru Group, Alexey Fedorov (23derevo<\/a><\/noindex>). <\/p>\n

<\/p>\n

Noi a povestit deja<\/a><\/noindex> despre trei participan\u021bi importan\u021bi, fondatorii teoriei sistemelor distribuite \u2014 Leslie Lamport, Maurice Herlihy \u0219i Michael Scott. Este timpul s\u0103 discut\u0103m mai \u00een detaliu despre \u00eentregul program!<\/p>\n

<\/p>\n

\"19<\/p>\n

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

Motiva\u021bia<\/h2>\n

<\/p>\n

Dac\u0103 te ocupi de programare, atunci \u00een mod cert ai de-a face cu multithreading \u0219i calcul distribuit. Exper\u021bii din domeniile relevante lucreaz\u0103 direct cu acestea, dar \u00een mod indirect, conceptul de distribu\u021bie este omniprezent: \u00een orice computer multicore sau serviciu distribuit se g\u0103se\u0219te ceva care execut\u0103 calcule \u00een paralel.<\/p>\n

<\/p>\n

Exist\u0103 multe conferin\u021be care abordeaz\u0103 diferite aspecte ale program\u0103rii aplicate. De cealalt\u0103 parte a spectrului, avem \u0219coli \u0219tiin\u021bifice speciale, care prin formate de cursuri dezv\u0103luie volume mari de teorie complex\u0103. De exemplu, \u00een paralel cu Hydra, la Sankt Petersburg se desf\u0103\u0219oar\u0103 \u0219coala SPTDC<\/a><\/noindex>. La conferin\u021ba Hydra ne-am str\u0103duit s\u0103 aducem \u00eempreun\u0103 at\u00e2t practica auster\u0103, c\u00e2t \u0219i \u0219tiin\u021ba, totul la intersec\u021bia lor.<\/strong> <\/p>\n

<\/p>\n

Reflecta\u021bi asupra a ceea ce vrem s\u0103 spunem: tr\u0103im \u00eentr-o perioad\u0103 uimitoare, c\u00e2nd putem \u00eent\u00e2lni \u00een persoan\u0103 fondatorii domeniului de \u0219tiin\u021b\u0103 \u0219i inginerie \u00een care ne activ\u0103m. Fizicienii nu vor avea ocazia s\u0103 se \u00eent\u00e2lneasc\u0103 cu Newton sau Einstein \u2014 trenul a plecat. Dar printre noi \u00eenc\u0103 tr\u0103iesc cei care au pus bazele teoriei sistemelor distribuite, care au creat limbaje de programare populare, care au realizat pentru prima dat\u0103 toate acestea \u00een prototipuri func\u021bionale. Ace\u0219ti oameni nu \u0219i-au abandonat munca la jum\u0103tate, se ocup\u0103 \u00een prezent de provoc\u0103ri relevante \u00een universit\u0103\u021bi \u0219i companii de renume mondial, \u0219i sunt cei mai mari furnizori de cuno\u0219tin\u021be \u0219i experien\u021b\u0103 de ast\u0103zi. <\/p>\n

<\/p>\n

Pe de alt\u0103 parte, ocazia de a-i \u00eent\u00e2lni este de obicei pur teoretic\u0103: pu\u021bini dintre noi pot monitoriza constant evenimentele publice de la o universitate din Rochester, pentru a putea zburda \u00een SUA \u0219i \u00eenapoi la o prelegere cu Michael Scott. A vizita to\u021bi participan\u021bii la Hydra ar costa o sum\u0103 considerabil\u0103, f\u0103r\u0103 a mai vorbi de timpul irosit (de\u0219i pare a fi o misiune interesant\u0103).<\/p>\n

<\/p>\n

Pe de alt\u0103 parte, avem numero\u0219i ingineri de top care lucreaz\u0103 acum la probleme curente ale sistemelor distribuite \u0219i cu siguran\u021b\u0103 au mult de povestit. Dar aici apare problema \u2014 ei lucreaz\u0103<\/em>, iar timpul lor este pre\u021bios. Da, dac\u0103 e\u0219ti angajat la Microsoft, Google sau JetBrains, probabilitatea de a \u00eent\u00e2lni unul dintre cunoscu\u021bii vorbitori la un eveniment intern \u2014 cre\u0219te semnificativ, \u00eens\u0103, \u00een general \u2014 nu se \u00eent\u00e2mpl\u0103 \u00een fiecare zi.<\/p>\n

<\/p>\n

Astfel, conferin\u021ba Hydra \u00eendepline\u0219te o sarcin\u0103 important\u0103 pe care majoritatea dintre noi nu o pot realiza singuri \u2014 aduce \u00eempreun\u0103, \u00eentr-un singur loc \u0219i la un singur moment, oameni ale c\u0103ror idei sau interac\u021biuni pot schimba via\u021ba ta. Accept c\u0103 nu toat\u0103 lumea are nevoie de sisteme distribuite sau de concepte fundamentale complicate. Po\u021bi programa CRUD-uri \u00een PHP toat\u0103 via\u021ba \u0219i s\u0103 fii destul de fericit. Dar pentru cei care au nevoie \u2014 aceasta este \u0219ansa ta.<\/p>\n

<\/p>\n

De la prima anun\u021bare a conferin\u021bei Hydra pe Habr, a trecut deja mult timp. \u00cen acest interval, s-a realizat o munc\u0103 imens\u0103 \u2014 \u0219i iat\u0103, avem o list\u0103 cu aproape toate prezent\u0103rile. Niciun algoritm plictisitor de un singur fir, doar hardcore distribuit! S\u0103 termin\u0103m cu cuvintele generale \u0219i s\u0103 vedem ce avem acum la dispozi\u021bie.<\/p>\n

<\/p>\n

Prezent\u0103ri principale<\/h2>\n

<\/p>\n

Prezent\u0103rile principale \u00eencep \u0219i \u00eencheie zilele conferin\u021bei. De obicei, scopul prezent\u0103rii principale de deschidere este de a stabili spiritul general \u0219i direc\u021bia conferin\u021bei. Prezentarea principal\u0103 de \u00eenchidere trage o linie \u0219i explic\u0103 cum s\u0103 tr\u0103im cu cuno\u0219tin\u021bele \u0219i abilit\u0103\u021bile dob\u00e2ndite \u00een zilele conferin\u021bei. \u00cenceputul \u0219i sf\u00e2r\u0219itul: ceea ce se va aminti cel mai bine \u0219i are, \u00een general, o importan\u021b\u0103 crescut\u0103.<\/p>\n

<\/p>\n

Cliff Click \u2014 Algoritmul distribuit K\/V H2O<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Cliff este o legend\u0103 \u00een lumea Java. La sf\u00e2r\u0219itul anilor '90, pentru teza sa de doctorat, a scris o lucrare intitulat\u0103 \u201e\u00cembinarea analizelor, \u00eembinarea optimiz\u0103rilor\u201d<\/noindex>, care, care a devenit, dup\u0103 un timp, baza pentru compilatorul HotSpot JVM Server. Dup\u0103 doi ani, el lucra deja la Sun Microsystems pe JVM \u0219i a ar\u0103tat lumii c\u0103 JIT are dreptul de a exista. Toat\u0103 aceast\u0103 poveste despre Java ca unul dintre cele mai rapide runtime-uri moderne, cu cele mai inteligente \u0219i rapide optimiz\u0103ri, a \u00eenceput cu Cliff Click. La \u00eenceput, se credea c\u0103 dac\u0103 ceva este disponibil unui compilator static, nu merit\u0103 s\u0103 mai \u00eencerci s\u0103 faci JIT. Datorit\u0103 muncii lui Cliff \u0219i a echipei, toate limbile noi au \u00eenceput s\u0103 fie create cu ideea de JIT compilation ca setare implicit\u0103. F\u0103r\u0103 \u00eendoial\u0103, aceasta a fost o munc\u0103 de echip\u0103, dar Cliff a jucat un rol foarte important.<\/p>\n

<\/p>\n

\u00cen keynote-ul de deschidere, Cliff va vorbi despre another one of his ventures \u2014 H20<\/a><\/noindex>, o platform\u0103 in-memory pentru \u00eenv\u0103\u021bare automat\u0103 distribuit\u0103 \u0219i scalabil\u0103 pentru utiliz\u0103ri industriale. Mai exact \u2014 despre un depozit distribuit de perechi \u201echeie-valoare\u201d \u00een interiorul s\u0103u. Este un depozit foarte rapid, cu o mul\u021bime de propriet\u0103\u021bi interesante (lista complet\u0103 se g\u0103se\u0219te \u00een descriere<\/a><\/noindex>), care permit utilizarea unor solu\u021bii similare \u00een matematic\u0103 pentru procesarea fluxurilor de date mari.<\/p>\n

<\/p>\n

Un alt discurs cu care va ap\u0103rea Cliff \u2014 Experien\u021ba de memorie tranzac\u021bional\u0103 hardware Azul<\/a><\/noindex>. O alt\u0103 parte a biografiei sale \u2014 zece ani de munc\u0103 la Azul<\/noindex>, unde a actualizat \u0219i \u00eembun\u0103t\u0103\u021bit multe aspecte ale hardware-ului \u0219i stivei de tehnologii Azul: compilatoare JIT, runtime, modelul de thread-uri, gestionarea erorilor, lucrul cu stiva, \u00eentreruperi hardware, \u00eenc\u0103rcarea claselor \u0219i a\u0219a mai departe \u2014 bine, a\u021bi \u00een\u021beles.<\/p>\n

<\/p>\n

Partea cea mai interesant\u0103 a \u00eenceput c\u00e2nd au construit hardware pentru mari afaceri \u2014 supercomputer pentru a rula Java. A fost o chestie destul de inovatoare, special conceput\u0103 pentru Java, care are cerin\u021be speciale \u2014 bariere de memorie pentru citire pentru colectarea gunoiului cu laten\u021b\u0103 sc\u0103zut\u0103, tablouri cu verificarea limitelor, apeluri virtuale\u2026 Una dintre cele mai cool tehnologii \u2014 memoria tranzac\u021bional\u0103 hardware. \u00centregul L1 din oricare dintre cele 864 de nuclee putea participa la o scriere tranzac\u021bional\u0103, ceea ce este deosebit de important pentru gestionarea bloc\u0103rilor \u00een Java (blocurile synchronized pot func\u021biona \u00een paralel, at\u00e2ta timp c\u00e2t nu exist\u0103 un conflict real pe memorie). Dar ideea frumoas\u0103 s-a cl\u0103tinat \u00een fa\u021ba unei realit\u0103\u021bi dure \u2014 iar \u00een acest discurs, Cliff va explica de ce HTM \u0219i STM nu sunt foarte potrivite pentru nevoile practice ale calculatoarelor multi-threaded.<\/p>\n

<\/p>\n

Michael Scott \u2014 Structuri de date duale<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 de la Universitatea Rochester. \u0218i ghici\u021bi ce \u2014 are \u0219i el<\/a><\/noindex> \u2014 profesor de \u0218tiin\u021be Computa\u021bionale la Universitatea din Rochester, cu care destinul l-a legat deja de 34 de ani<\/noindex>, iar la universitatea sa de origine Wisconsin\u2013Madison, a fost decan timp de cinci ani. Se ocup\u0103 de cercet\u0103ri \u00een domeniul program\u0103rii paralele \u0219i distribuite, precum \u0219i al designului limbajelor, \u0219i \u00eei \u00eenva\u021b\u0103 pe studen\u021bi acestea.<\/p>\n

<\/p>\n

\u00centreaga lume \u00eel cunoa\u0219te pe Michael datorit\u0103 manualului \u201eProgramming Language Pragmatics\u201d<\/a><\/noindex>, ultima edi\u021bie a c\u0103ruia a fost publicat\u0103 relativ recent \u2014 \u00een 2015. Lucrarea sa \u201eAlgorithms for scalable synchronization on shared-memory multiprocessors\u201d<\/a><\/noindex> a primit a c\u00e2\u0219tigat premiul Dijkstra<\/a><\/noindex> ca fiind una dintre cele mai cunoscute lucr\u0103ri \u00een domeniul calculului distribuit \u0219i este disponibil\u0103 deschis<\/a><\/noindex> \u00een biblioteca online a Universit\u0103\u021bii din Rochester. De asemenea, s-ar putea s\u0103-l cunoa\u0219te\u021bi ca autorul acelui algoritm cunoscut sub numele de Michael-Scott din \u201eSimple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms\u201d<\/a><\/noindex>.<\/p>\n

<\/p>\n

\u00cen ceea ce prive\u0219te lumea Java, aici situa\u021bia este special\u0103: \u00eempreun\u0103 cu Doug Lea, el a dezvoltat acele algoritmi non-blocant \u0219i cozi sincronizate pe care se bazeaz\u0103 bibliotecile Java. Despre asta va fi keynote-ul \u201eStructuri de date duale\u201d \u2014 implementarea acestor structuri \u00een Java SE 6 a permis \u00eembun\u0103t\u0103\u021birea performan\u021bei java.util.concurrent.ThreadPoolExecutor<\/code>. Dac\u0103 sunte\u021bi deja curios ce sunt aceste \u201eStructuri de date duale\u201d, este disponibil\u0103 o lucrare corespunz\u0103toare<\/a><\/noindex>. <\/p>\n

<\/p>\n

Maurice Herlihy \u2014 Blockchains and the future of distributed computing<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Maurice Herlihy<\/a><\/noindex> \u2014 c\u00e2\u0219tig\u0103tor a dou\u0103 premii Dijkstra. Prima \u2014 pentru lucrarea sa de la iar al doilea, mai recent \u2014<\/a><\/noindex> (Universitatea Brown), iar a doua, mai recent\u0103 \u2014 De altfel, linkurile duc nu la SciHub, ci la Universitatea Brown \u0219i Virginia Tech University, le pute\u021bi deschide \u0219i citi.<\/a><\/noindex> (Universitatea Virginia Tech). Premiul Dijkstra se acord\u0103 pentru lucr\u0103ri a c\u0103ror semnifica\u021bie \u0219i impact au fost notabile timp de cel pu\u021bin zece ani, \u0219i este evident c\u0103 Maurice este unul dintre cei mai cunoscu\u021bi speciali\u0219ti \u00een domeniu. \u00cen acest moment, el este profesor la Universitatea Brown \u0219i are numeroase realiz\u0103ri care ar umple un \u00eentreg paragraf.<\/p>\n

<\/p>\n

\u00cen acest keynote de \u00eencheiere, Maurice va vorbi despre teoria \u0219i practica sistemelor distribuite bazate pe blockchain din perspectiva clasic\u0103 a calculului distribuit \u0219i despre cum aceasta simplific\u0103 multe probleme conexe. Aceasta este o prezentare strict pe tema conferin\u021bei \u2014 deloc despre hype-ul mineritului, ci mai degrab\u0103 despre cum cuno\u0219tin\u021bele noastre pot fi utilizate \u00eentr-un mod surprinz\u0103tor de eficient \u0219i relevant pentru diverse probleme.<\/p>\n

<\/p>\n

\u00cen iulie 2017, Maurice a fost deja \u00een Rusia la \u0219coala SPTDC, a luat parte la meetup-ul JUG.ru, iar \u00eenregistrarea poate fi vizionat\u0103 pe YouTube:<\/p>\n

\n

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

Programul principal<\/h2>\n

<\/p>\n

Urm\u0103toarea va fi o scurt\u0103 prezentare a lucr\u0103rilor incluse \u00een program. Unele lucr\u0103ri sunt descrise \u00een detaliu, iar altele - pe scurt. Descrierile lungi au fost, \u00een principal, alocate lucr\u0103rilor \u00een limba englez\u0103, care necesit\u0103 referin\u021be la lucr\u0103ri \u0219tiin\u021bifice, termeni pe Wikipedia etc. Lista complet\u0103 poate fi v\u0103zut\u0103 pe site-ul conferin\u021bei<\/a><\/noindex>. Lista de pe site va fi actualizat\u0103 \u0219i completat\u0103. <\/p>\n

<\/p>\n

Leslie Lamport \u2014 \u00centreb\u0103ri \u0219i r\u0103spunsuri<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Leslie Lamport este autorul lucr\u0103rilor fundamentale \u00een calculul distribuit. \u201eLaTeX\u201d<\/a><\/noindex> se descifreaz\u0103 ca \u201eLamport TeX\u201d. El a fost primul, \u00eenc\u0103 din 1979, care a introdus conceptul 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.<\/p>\n

<\/p>\n

Aceasta este cea mai neobi\u0219nuit\u0103 parte a programului, deoarece nu este nici m\u0103car o lucrare, ci o sesiune de \u00eentreb\u0103ri \u0219i r\u0103spunsuri. C\u00e2nd o parte semnificativ\u0103 a audien\u021bei este deja familiarizat\u0103 (sau poate deveni) cu toate lucr\u0103rile bazate pe \u201eteoria lui Lamport\u201d, propriile sale articole \u0219i lucr\u0103ri, cel mai important este s\u0103 petrecem tot timpul disponibil comunic\u00e2nd direct.<\/p>\n

<\/p>\n

Ideea este simpl\u0103 \u2014 v\u0103 uita\u021bi pe YouTube la dou\u0103 lucr\u0103ri: \u201eProgramarea ar trebui s\u0103 fie mai mult dec\u00e2t codare\u201d<\/a><\/noindex> \u0219i \u201eDac\u0103 nu scrii un program, nu folosi un limbaj de programare\u201c<\/a><\/noindex> \u0219i preg\u0103ti\u021bi m\u0103car o \u00eentrebare, iar Leslie va r\u0103spunde.<\/p>\n

<\/p>\n

Primul dintre aceste dou\u0103 videoclipuri l-am transformat \u00eentr-un articol pentru hub<\/a><\/noindex>. Dac\u0103 nu ave\u021bi o or\u0103 de timp pentru a viziona videoclipul, pute\u021bi citi rapid totul sub form\u0103 de text.<\/p>\n

<\/p>\n

De re\u021binut: pe YouTube sunt mult mai multe videoclipuri cu Leslie Lamport. De exemplu, exist\u0103 unul excelent curs de TLA+<\/a><\/noindex>. Versiunea offline a acestui curs este disponibil\u0103 pe pagina de start a autorului<\/a><\/noindex>, iar pe YouTube el a postat-o pentru o vizionare mai convenabil\u0103 pe dispozitive mobile.<\/p>\n

<\/p>\n

Martin Kleppmann \u2014 Sincronizarea datelor \u00eentre dispozitivele utilizatorilor pentru colaborare distribuit\u0103<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Martin Kleppmann este cercet\u0103tor la Universitatea Cambridge, lucr\u00e2nd asupra CRDT \u0219i verific\u0103rii formale a algoritmilor. Cartea lui Martin \u201eDesigning Data-Intensive Applications\u201d<\/noindex>, publicat\u0103 \u00een 2017, s-a dovedit a fi foarte de succes \u0219i a intrat \u00een listele bestsellerelor \u00een domeniul stoc\u0103rii \u0219i prelucr\u0103rii datelor. Kevin Scott, CTO la Microsoft, a spus odat\u0103<\/a><\/noindex>: \u201eAceast\u0103 carte ar trebui s\u0103 fie obligatorie pentru inginerii de dezvoltare. Este o resurs\u0103 rar\u0103 care combin\u0103 teoria cu practica, ajut\u00e2nd dezvoltatorii s\u0103 proiecteze \u0219i s\u0103 implementeze mai inteligent infrastructura \u0219i sistemele de prelucrare a datelor.\u201d Ceva similar a spus \u0219i creatorul Kafka \u0219i CTO Confluent, Jay Kreps.<\/p>\n

<\/p>\n

\u00cenainte de a se ocupa de cercet\u0103rile academice, Martin a lucrat \u00een industrie \u0219i a fost cofondator al dou\u0103 startup-uri de succes:<\/p>\n

<\/p>\n