{"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\/cs\/blog\/administrirovanie\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","title":{"rendered":"Zakladatel\u00e9 teorie distribuovan\u00fdch syst\u00e9m\u016f v n\u00e1ru\u010d\u00ed hydry","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"Zakladatel\u00e9To je Leslie Lamport<\/strong> \u2014 autor z\u00e1kladn\u00edch prac\u00ed v distribuovan\u00fdch v\u00fdpo\u010dtech, a je\u0161t\u011b ho mo\u017en\u00e1 zn\u00e1te podle p\u00edsmen La ve slov\u011b La<\/b>TeX \u2014 \u201eLamport TeX\u201c. To on jako prvn\u00ed, u\u017e v roce 1979, p\u0159edstavil pojem sekven\u010dn\u00ed konzistence<\/a><\/noindex>, a jeho \u010dl\u00e1nek \u00abHow to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\u00bb<\/a><\/noindex> obdr\u017eela Dijkstraovu cenu (p\u0159esn\u011bji, v roce 2000 se cena naz\u00fdvala star\u00fdm n\u00e1zvem: \u201ePODC Influential Paper Award\u201c). O n\u011bm je \u010dl\u00e1nek na Wikipedii<\/a><\/noindex>, kde m\u016f\u017eete nal\u00e9zt je\u0161t\u011b n\u011bkolik zaj\u00edmav\u00fdch odkaz\u016f. Pokud v\u00e1s bav\u00ed \u0159e\u0161en\u00ed \u00faloh t\u00fdkaj\u00edc\u00edch se happens-before nebo probl\u00e9m\u016f byzantsk\u00fdch gener\u00e1l\u016f<\/a><\/noindex> (BFT), mus\u00edte ch\u00e1pat, \u017ee za t\u00edm v\u0161\u00edm stoj\u00ed Lamport.
\n<\/p>\n

<\/p>\n

A brzy tak\u00e9 p\u0159ijede na na\u0161i novou konferenci o distribuovan\u00fdch v\u00fdpo\u010dtech \u2014 Hydra, kter\u00e1 se uskute\u010dn\u00ed 11.-12. \u010dervence v Petrohrad\u011b. Poj\u010fme se pod\u00edvat, co to za zv\u00ed\u0159e je.<\/p>\n

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

Hydra 2019<\/h1>\n

<\/p>\n

T\u00e9mata jako v\u00edcerozm\u011brnost jsou jedny z nejobl\u00edben\u011bj\u0161\u00edch na na\u0161ich konferenc\u00edch, v\u017edy tomu tak bylo. Je\u0161t\u011b p\u0159ed chv\u00edl\u00ed byla tahle m\u00edstnost pr\u00e1zdn\u00e1, ale najednou na sc\u00e9n\u011b vystupuje \u010dlov\u011bk, kter\u00fd vypr\u00e1v\u00ed o modelu pam\u011bti, happens-before nebo v\u00edcerozm\u011brn\u00e9 sb\u011bru odpadu \u2014 a bum! \u2014 u\u017e skoro tis\u00edc lid\u00ed zapl\u0148uje v\u0161echna dostupn\u00e1 m\u00edsta, aby si sedli a pe\u010dliv\u011b poslouchali. V \u010dem spo\u010d\u00edv\u00e1 ten \u00fasp\u011bch? Mo\u017en\u00e1 v tom, \u017ee ka\u017ed\u00fd z n\u00e1s m\u00e1me n\u011bjak\u00e9 za\u0159\u00edzen\u00ed, schopn\u00e9 zorganizovat distribuovan\u00e9 v\u00fdpo\u010dty? Nebo \u017ee podv\u011bdom\u011b ch\u00e1peme na\u0161i neschopnost ho dostate\u010dn\u011b zat\u00ed\u017eit? Existuje skute\u010dn\u00fd p\u0159\u00edb\u011bh jednoho petrohradsk\u00e9ho kvanta (tj. finan\u010dn\u00edho kvantitativn\u00edho analytika a v\u00fdvoj\u00e1\u0159e), kter\u00fd m\u011bl k dispozici v\u00fdpo\u010detn\u00ed klastr, jeho\u017e pln\u00e9ho potenci\u00e1lu m\u016f\u017ee vyu\u017e\u00edt jen on s\u00e1m. A co byste ud\u011blali, kdybyste dostali k dispozici v\u00fdkon pro spln\u011bn\u00ed sv\u00fdch \u00faloh mnohem v\u011bt\u0161\u00ed, ne\u017e m\u00e1te nyn\u00ed?<\/p>\n

<\/p>\n

D\u00edky takov\u00e9 popularit\u011b m\u00e1 t\u00e9ma v\u00fdkonu a efektivn\u00edch v\u00fdpo\u010dt\u016f tendenci se \u0161\u00ed\u0159it v programu konferenc\u00ed. Kolik z dvou dn\u016f prezentac\u00ed m\u016f\u017ee b\u00fdt v\u011bnov\u00e1no v\u00fdkonu \u2014 t\u0159etina, dv\u011b t\u0159etiny? Kde-kde existuj\u00ed um\u011bl\u00e1 omezen\u00ed, kter\u00e1 limituj\u00ed tento r\u016fst: krom\u011b v\u00fdkonu mus\u00ed z\u016fstat m\u00edsto i pro nov\u00e9 webov\u00e9 frameworky, n\u011bjak\u00e9ho devops nebo architektonickou astronautiku. Ne, v\u00fdkon, nese\u017eere\u0161 n\u00e1s v\u0161echny najednou!<\/p>\n

<\/p>\n

M\u016f\u017eeme j\u00edt i opa\u010dn\u00fdm sm\u011brem, vzd\u00e1t se a up\u0159\u00edmn\u011b uspo\u0159\u00e1dat konferenci, kter\u00e1 bude zcela o distribuovan\u00e9m v\u00fdpo\u010dtu a jen o n\u011bm. A tady je, Hydra.<\/p>\n

<\/p>\n

P\u0159iznejme si na rovinu, \u017ee dnes jsou v\u0161echny v\u00fdpo\u010dty, tak \u010di onak, distribuovan\u00e9. A\u0165 u\u017e jde o v\u00edcej\u00e1drov\u00fd stroj, v\u00fdpo\u010detn\u00ed klastr nebo rozs\u00e1hlou distribuovanou slu\u017ebu \u2014 v\u0161ude je spousta proces\u016f, kter\u00e9 sou\u010dasn\u011b prov\u00e1d\u011bj\u00ed nez\u00e1visl\u00e9 v\u00fdpo\u010dty, vz\u00e1jemn\u011b se synchronizuj\u00ed. T\u00e9matu, jak to vypad\u00e1 v teorii a jak to funguje v praxi, se bude v\u011bnovat Hydra.<\/p>\n

<\/p>\n

Program konference<\/h1>\n

<\/p>\n

Program je nyn\u00ed ve f\u00e1zi p\u0159\u00edpravy. M\u011bly by se do n\u011bj dostat p\u0159edn\u00e1\u0161ky od zakladatel\u016f teori\u00ed distribuovan\u00fdch syst\u00e9m\u016f a in\u017een\u00fdr\u016f, kte\u0159\u00ed na nich pracuj\u00ed v praxi.<\/p>\n

<\/p>\n

Nap\u0159\u00edklad ji\u017e nyn\u00ed je zn\u00e1mo o \u00fa\u010dasti Leslieho Lamporta z Microsoft Research a Maurice Herlihyho z Brown University. <\/p>\n

<\/p>\n

\"Zakladatel\u00e9 Maurice Herlihy<\/strong> \u2014 velmi zn\u00e1m\u00fd a respektovan\u00fd profesor informatiky, o n\u011bm\u017e tak\u00e9 existuje str\u00e1nka na Wikipedii<\/a><\/noindex>, kde si m\u016f\u017eete proj\u00edt odkazy a pr\u00e1ce. M\u016f\u017eete si tam v\u0161imnout samotn\u00fdch dvou Dijkstraov\u00fdch cen, prvn\u00ed \u2014 za pr\u00e1ci na \u201eWait-Free Synchronization\u201c<\/a><\/noindex>, a druhou, nov\u011bj\u0161\u00ed \u2014 \u201eTransactional Memory: Architectural Support for Lock-Free Data Structures\u201c<\/a><\/noindex>. Mimochodem, odkazy vedou dokonce nikoli na SciHub, ale na Brown University a Virginia Tech University, m\u016f\u017eete je otev\u0159\u00edt a \u010d\u00edst.
\n<\/p>\n

<\/p>\n

Maurice se chyst\u00e1 pronesit keynote s n\u00e1zvem \u201eBlockchainy z pohledu distribuovan\u00e9ho v\u00fdpo\u010dtu\u201c. Pokud m\u00e1te z\u00e1jem, m\u016f\u017eete se pod\u00edvat na z\u00e1znam p\u0159edn\u00e1\u0161ky Maurice na Petersburg JUG. Zhodno\u0165te, jak jasn\u011b a srozumiteln\u011b p\u0159ed\u00e1v\u00e1 t\u00e9ma.<\/p>\n

\n

\r\n \"P\u0159ehr\u00e1t\r\n
<\/div>\r\n <\/div><\/center><\/p>\n

\"Zakladatel\u00e9Druh\u00fd keynote s n\u00e1zvem \u201eDual Data Structures\u201c p\u0159e\u010dte Michael Scott<\/strong> z University of Rochester. A h\u00e1dejte co \u2014 m\u00e1 tak\u00e9 svou str\u00e1nku na Wikipedii<\/a><\/noindex>. Ve Wisconsinu je zn\u00e1m svou prac\u00ed jako d\u011bkan na univerzit\u011b Wisconsin-Madison, a ve sv\u011bt\u011b je to \u010dlov\u011bk, kter\u00fd spolu s Dougem Leou vyvinul ty neblokuj\u00edc\u00ed algoritmy a synchronn\u00ed fronty, na kter\u00fdch funguj\u00ed knihovny Java. Svoji Dijkstraovu cenu z\u00edskal t\u0159i roky po Herlihyho, za pr\u00e1ci \u201eAlgoritmy pro \u0161k\u00e1lovateln\u00e9 synchronizace na multiprocesorech se sd\u00edlenou pam\u011bt\u00ed\u201c (jak je zvykem, je voln\u011b k dispozici<\/a><\/noindex> v online knihovn\u011b Rochester University).
\n<\/p>\n

<\/p>\n

Do poloviny \u010dervence m\u00e1me je\u0161t\u011b hodn\u011b \u010dasu. O ostatn\u00edch p\u0159edn\u00e1\u0161ej\u00edc\u00edch a jejich t\u00e9matech budeme informovat, jak program up\u0159esn\u00edme a p\u0159ibl\u00ed\u017e\u00edme se \u010dervenci. <\/p>\n

<\/p>\n

V\u016fbec, vznik\u00e1 ot\u00e1zka \u2014 pro\u010d d\u011bl\u00e1me Hydru v l\u00e9t\u011b? V\u017edy\u0165 je to mrtv\u00e9 obdob\u00ed, dovolen\u00e9. Probl\u00e9m je v tom, \u017ee mezi \u0159e\u010dn\u00edky jsou univerzitn\u00ed u\u010ditel\u00e9 a jak\u00e9koli jin\u00e9 obdob\u00ed maj\u00ed obsazen\u00e9. My jsme prost\u011b nemohli zvolit jin\u00e9 term\u00edny.<\/p>\n

<\/p>\n

Diskusn\u00ed z\u00f3ny<\/h1>\n

<\/p>\n

Na jin\u00fdch konferenc\u00edch se st\u00e1v\u00e1, \u017ee \u0159e\u010dn\u00edk p\u0159e\u010detl, co m\u011bl, a hned ode\u0161el. \u00da\u010dastn\u00edci nemaj\u00ed ani \u010das ho hledat \u2014 nebo\u0165 t\u00e9m\u011b\u0159 bez p\u0159eru\u0161en\u00ed za\u010d\u00edn\u00e1 dal\u0161\u00ed p\u0159\u00edsp\u011bvek. To je velmi bolestn\u00e9, obzvl\u00e1\u0161\u0165 pokud jsou p\u0159\u00edtomn\u00ed tak d\u016fle\u017eit\u00ed lid\u00e9, jako jsou Lamport, Herlihy a Scott, a vlastn\u011b jdete na konferenci jen proto, abyste se s nimi setkali a n\u011bco probrali. <\/p>\n

<\/p>\n

U n\u00e1s je tento probl\u00e9m vy\u0159e\u0161en. Okam\u017eit\u011b po sv\u00e9m p\u0159\u00edsp\u011bvku se \u0159e\u010dn\u00edk p\u0159esune do speci\u00e1ln\u00ed diskusn\u00ed z\u00f3ny, vybaven\u00e9 minim\u00e1ln\u011b tabul\u00ed s popisova\u010dem, a m\u00e1te pom\u011brn\u011b velkou z\u00e1sobu \u010dasu. Form\u00e1ln\u011b slibuje b\u00fdt tam minim\u00e1ln\u011b po celou dobu p\u0159est\u00e1vky mezi p\u0159\u00edsp\u011bvky. Ve skute\u010dnosti tyto diskusn\u00ed z\u00f3ny mohou<\/em> mohou trvat hodiny (z\u00e1vis\u00ed na ochot\u011b a v\u00fddr\u017ei \u0159e\u010dn\u00edka). <\/p>\n

<\/p>\n

Pokud jde o Lamporta, pokud jsem to spr\u00e1vn\u011b pochopil, chce p\u0159esv\u011bd\u010dit co nejv\u00edce lid\u00ed, \u017ee TLA+<\/a><\/noindex> \u2014 to je dobr\u00e1 v\u011bc. (\u010cl\u00e1nek o TLA+ na Wikipedii<\/a><\/noindex>). Mo\u017en\u00e1 to bude dobr\u00e1 p\u0159\u00edle\u017eitost pro in\u017een\u00fdry dozv\u011bd\u011bt se n\u011bco nov\u00e9ho a u\u017eite\u010dn\u00e9ho. Leslie nab\u00edz\u00ed takovou variantu \u2014 kdo je o to z\u00e1jem, m\u016f\u017ee se pod\u00edvat na jeho minul\u00e1 vystoupen\u00ed a p\u0159in\u00e9st ot\u00e1zky. To znamen\u00e1, \u017ee m\u00edsto hlavn\u00ed p\u0159edn\u00e1\u0161ky by mohla b\u00fdt jak\u00e1si specializovan\u00e1 Q&A session, a pak i diskusn\u00ed z\u00f3na. Trochu jsem googlil a na\u0161el skv\u011bl\u00fd kurz o TLA+<\/a><\/noindex> (ofici\u00e1ln\u011b zdvojen\u00fd playlist na YouTube<\/a><\/noindex>) a hodinovou p\u0159edn\u00e1\u0161ku \u201eThinking Above the Code\u201c<\/a><\/noindex> z Microsoft Faculty Summit.<\/p>\n

<\/p>\n

Pokud jste v\u0161echny tyto lidi vn\u00edmali jako odlit\u00e1 v kameni jm\u00e9na z Wikipedie a z ob\u00e1lek knih \u2014 je nejvy\u0161\u0161\u00ed \u010das se s nimi setkat! Pobavit se a polo\u017eit ot\u00e1zky, na kter\u00e9 neodpov\u00ed str\u00e1nky v\u011bdeck\u00fdch \u010dl\u00e1nk\u016f, ale jejich auto\u0159i s radost\u00ed nav\u00e1\u017e\u00ed kontakt.<\/p>\n

<\/p>\n

Call for Papers<\/h1>\n

<\/p>\n

Nen\u00ed tajemstv\u00edm, \u017ee mnoz\u00ed z t\u011bch, kdo nyn\u00ed \u010dtou \u010dl\u00e1nek, by tak\u00e9 r\u00e1di \u0159ekli n\u011bco dost zaj\u00edmav\u00e9ho. Z in\u017een\u00fdrsk\u00e9ho pohledu, z v\u011bdeck\u00e9ho \u2014 z jak\u00e9hokoli. Distribuovan\u00e9 v\u00fdpo\u010dty jsou velmi \u0161irok\u00e9 a hlubok\u00e9 t\u00e9ma, kde je m\u00edsto pro v\u0161echny.<\/p>\n

<\/p>\n

Pokud chce\u0161 vystoupit vedle Lamporta, je to zcela mo\u017en\u00e9. Aby ses stal \u0159e\u010dn\u00edkem, mus\u00ed\u0161 p\u0159ej\u00edt na odkaz<\/a><\/noindex><\/strong>, pe\u010dliv\u011b si prostudujte a postupujte podle pokyn\u016f. <\/p>\n

<\/p>\n

Bu\u010fte klidn\u00ed, jakmile se zapoj\u00edte do procesu, budou v\u00e1m n\u00e1pomocn\u00ed. Programov\u00fd v\u00fdbor m\u00e1 dostate\u010dn\u00e9 mo\u017enosti, aby pomohl s prezentac\u00ed, jej\u00edm obsahem a form\u00e1tov\u00e1n\u00edm. Koordin\u00e1tor v\u00e1m pom\u016f\u017ee vy\u0159e\u0161it organiza\u010dn\u00ed z\u00e1le\u017eitosti a dal\u0161\u00ed. <\/p>\n

<\/p>\n

Zvl\u00e1\u0161tn\u00ed pozornost v\u011bnujte obr\u00e1zku s daty. \u010cervenec je pom\u011brn\u011b daleko pro \u00fa\u010dastn\u00edka, zat\u00edmco prezentuj\u00edc\u00ed by m\u011bli za\u010d\u00edt jednat ji\u017e nyn\u00ed. <\/p>\n

<\/p>\n

\"Zakladatel\u00e9<\/p>\n

<\/p>\n

\u0160kola SPTDC<\/h1>\n

<\/p>\n

Konference se uskute\u010dn\u00ed na jednom m\u00edst\u011b se \u0161kolou SPTDC, tak\u017ee pro v\u0161echny, kdo si koup\u00ed vstupenku na \u0161kolu, budou vstupenky na konferenci \u2014 za cenu sn\u00ed\u017eenou o 20%.<\/strong>.<\/p>\n

<\/p>\n

Letn\u00ed \u0161kola o praxi a teorii distribuovan\u00fdch v\u00fdpo\u010dt\u016f (SPTDC)<\/a><\/noindex> je \u0161kola nab\u00edzej\u00edc\u00ed \u0161irok\u00e9 spektrum kurz\u016f o praktick\u00fdch a teoretick\u00fdch aspektech distribuovan\u00fdch syst\u00e9m\u016f, kter\u00e9 vedou uzn\u00e1van\u00ed odborn\u00edci v dan\u00e9 oblasti.<\/p>\n

<\/p>\n

\u0160kola prob\u011bhne v anglick\u00e9m jazyce, tak\u017ee takto vypad\u00e1 seznam t\u00e9mat, kter\u00e1 budou prob\u00edr\u00e1na:<\/p>\n

<\/p>\n