{"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\/cs\/blog\/administrirovanie\/19-golov-gidry-bolshoj-obzor-programmy","title":{"rendered":"19 hlav hydry. Velk\u00fd p\u0159ehled programu","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

Ve dnech 11-12 \u010dervence se v Petrohrad\u011b uskute\u010dn\u00ed konference Hydra<\/a><\/noindex>, zam\u011b\u0159en\u00e1 na v\u00fdvoj paraleln\u00edch a distribuovan\u00fdch syst\u00e9m\u016f. V\u00fdhodou Hydry je, \u017ee spojuje skv\u011bl\u00e9 v\u011bdce (kter\u00e9 obvykle lze naj\u00edt pouze na zahrani\u010dn\u00edch v\u011bdeck\u00fdch konferenc\u00edch) a zn\u00e1m\u00e9 praktikuj\u00edc\u00ed in\u017een\u00fdry do jednoho velk\u00e9ho programu na pomez\u00ed v\u011bdy a praxe.<\/p>\n

<\/p>\n

Hydra je jednou z na\u0161ich nejd\u016fle\u017eit\u011bj\u0161\u00edch konferenc\u00ed za posledn\u00edch n\u011bkolik let. P\u0159ipravovala se na ni velmi d\u016fkladn\u011b, byl proveden v\u00fdb\u011br p\u0159edn\u00e1\u0161ej\u00edc\u00edch a p\u0159\u00edsp\u011bvk\u016f. Minul\u00fd t\u00fdden o tom vy\u0161lo habrointerview<\/a><\/noindex> s \u0159editelem spole\u010dnosti JUG.ru Group, Alexejem Fedorovem (23derevo<\/a><\/noindex>). <\/p>\n

<\/p>\n

Jsme u\u017e mluvili<\/a><\/noindex> o t\u0159ech v\u00fdznamn\u00fdch \u00fa\u010dastn\u00edc\u00edch, zakladatel\u00edch teorie distribuovan\u00fdch syst\u00e9m\u016f - Leslie Lamportovi, Maurice Herlihym a Michaelu Scottovi. Nyn\u00ed je \u010das pod\u00edvat se podrobn\u011b na cel\u00fd program!<\/p>\n

<\/p>\n

\"19<\/p>\n

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

Motivace<\/h2>\n

<\/p>\n

Pokud se zab\u00fdv\u00e1te programov\u00e1n\u00edm, tak \u010di onak se setk\u00e1v\u00e1te s v\u00edcevl\u00e1knovost\u00ed a distribuovan\u00fdmi v\u00fdpo\u010dty. Odborn\u00edci v p\u0159\u00edslu\u0161n\u00fdch oblastech s nimi pracuj\u00ed p\u0159\u00edmo, ale distribuovanost se na n\u00e1s neust\u00e1le d\u00edv\u00e1: v ka\u017ed\u00e9m v\u00edcejadrov\u00e9m po\u010d\u00edta\u010di nebo distribuovan\u00e9 slu\u017eb\u011b najdete n\u011bco, co sou\u010dasn\u011b prov\u00e1d\u00ed v\u00fdpo\u010dty.<\/p>\n

<\/p>\n

Existuje mnoho konferenc\u00ed, kter\u00e9 odhaluj\u00ed ur\u010dit\u00e9 aspekty aplikovan\u00e9ho programov\u00e1n\u00ed. Na druh\u00e9 stran\u011b spektra m\u00e1me speci\u00e1ln\u00ed v\u011bdeck\u00e9 \u0161koly, kter\u00e9 ve form\u00e1tu p\u0159edn\u00e1\u0161ek odhaluj\u00ed obrovsk\u00e9 objemy slo\u017eit\u00e9 teorie. Nap\u0159\u00edklad paraleln\u011b s Hydrou prob\u00edh\u00e1 v Petrohrad\u011b \u0161kola SPTDC<\/a><\/noindex>. Na konferenci Hydra jsme se sna\u017eili spojit drsnou praxi, v\u011bdu a v\u0161e, co je na jejich pomez\u00ed.<\/strong> <\/p>\n

<\/p>\n

Zamyslete se nad t\u00edmto: \u017eijeme v \u00fa\u017easn\u00e9 dob\u011b, kdy m\u016f\u017eete osobn\u011b potkat zakladatele oblasti v\u011bdy a in\u017een\u00fdrstv\u00ed, kterou se zab\u00fdv\u00e1me. Fyzi\u010dt\u00ed v\u011bdci nemohou potkat ani Newtona, ani Einsteina - vlak u\u017e odjel. Ale vedle n\u00e1s st\u00e1le \u017eij\u00ed ti, kdo vytvo\u0159ili z\u00e1klady teorie distribuovan\u00fdch syst\u00e9m\u016f, vymysleli popul\u00e1rn\u00ed programovac\u00ed jazyky a poprv\u00e9 to v\u0161echno p\u0159etvo\u0159ili do funk\u010dn\u00edch prototyp\u016f. Tito lid\u00e9 nezanechali svou pr\u00e1ci na p\u016fli cesty, pr\u00e1v\u011b te\u010f se zab\u00fdvaj\u00ed aktu\u00e1ln\u00edmi probl\u00e9my na celosv\u011btov\u011b zn\u00e1m\u00fdch univerzit\u00e1ch a spole\u010dnostech a jsou nejv\u011bt\u0161\u00edmi zdroji znalost\u00ed a zku\u0161enost\u00ed v sou\u010dasnosti. <\/p>\n

<\/p>\n

Na druhou stranu, p\u0159\u00edle\u017eitost se s nimi setkat obvykle z\u016fst\u00e1v\u00e1 \u010dist\u011b teoretick\u00e1: m\u00e1lokdo z n\u00e1s m\u016f\u017ee neust\u00e1le sledovat ve\u0159ejn\u00e9 akce na n\u011bjak\u00e9 univerzit\u011b v Rochesteru, aby pak mohl rychle vyrazit do USA a zp\u011bt na p\u0159edn\u00e1\u0161ku k Michaelu Scottovi. Nav\u0161t\u00edvit v\u0161echny \u00fa\u010dastn\u00edky Hydra by st\u00e1lo po\u0159\u00e1dnou sumu, nemluv\u011b o ztracen\u00e9m \u010dase (i kdy\u017e to zn\u00ed jako zaj\u00edmav\u00fd \u00fakol).<\/p>\n

<\/p>\n

Na druhou stranu m\u00e1me spoustu p\u0159edn\u00edch in\u017een\u00fdr\u016f, kte\u0159\u00ed pr\u00e1v\u011b te\u010f pracuj\u00ed na aktu\u00e1ln\u00edch probl\u00e9mech distribuovan\u00fdch syst\u00e9m\u016f, a ti ur\u010dit\u011b maj\u00ed co \u0159\u00edct. Ale probl\u00e9m je ten \u2014 oni pracuj\u00ed<\/em>, a jejich \u010das je drah\u00fd. Ano, pokud jsi zam\u011bstnanec Microsoftu, Google nebo JetBrains, \u0161ance potkat jednoho z zn\u00e1m\u00fdch \u0159e\u010dn\u00edk\u016f na intern\u00ed akci se v\u00fdrazn\u011b zvy\u0161uje, ale jinak \u2014 ne, to se nest\u00e1v\u00e1 ka\u017ed\u00fd den.<\/p>\n

<\/p>\n

Tak\u017ee konference Hydra pln\u00ed d\u016fle\u017eit\u00fd \u00fakol, kter\u00fd v\u011bt\u0161ina z n\u00e1s nem\u016f\u017ee ud\u011blat sama \u2014 v jednom m\u00edst\u011b a v jednom \u010dase spojuje lidi, jejich\u017e my\u0161lenky nebo komunikace mohou zm\u011bnit v\u00e1\u0161 \u017eivot. P\u0159ipou\u0161t\u00edm, \u017ee zdaleka ne v\u0161ichni pot\u0159ebuj\u00ed distribuovan\u00e9 syst\u00e9my, n\u011bjak\u00e9 slo\u017eit\u00e9 fundament\u00e1ln\u00ed z\u00e1le\u017eitosti. M\u016f\u017eete po cel\u00fd \u017eivot programovat CRUD aplikace v PHP a b\u00fdt docela \u0161\u0165astn\u00ed. Ale pro ty, kte\u0159\u00ed to pot\u0159ebuj\u00ed \u2014 to je va\u0161e \u0161ance.<\/p>\n

<\/p>\n

Od prvn\u00edho ozn\u00e1men\u00ed konference Hydra na Habr\u00fa uplynulo u\u017e dost \u010dasu. B\u011bhem t\u00e9 doby byla odvedena obrovsk\u00e1 pr\u00e1ce \u2014 a te\u010f m\u00e1me seznam t\u00e9m\u011b\u0159 v\u0161ech p\u0159edn\u00e1\u0161ek. \u017d\u00e1dn\u00e9 mdl\u00e9 jednoprvkov\u00e9 algoritmy, jen \u010dist\u00fd distribuovan\u00fd hardcore! Poj\u010fme p\u0159estat s obecn\u00fdmi slovy a pod\u00edvejme se, co nyn\u00ed m\u00e1me na stole.<\/p>\n

<\/p>\n

\u00davodn\u00ed p\u0159edn\u00e1\u0161ky<\/h2>\n

<\/p>\n

\u00davodn\u00ed p\u0159edn\u00e1\u0161ky za\u010d\u00ednaj\u00ed a kon\u010d\u00ed dny konference. Obvykle smysl \u00favodn\u00ed p\u0159edn\u00e1\u0161ky je nastavit celkov\u00e9ho ducha a sm\u011br konference. Z\u00e1v\u011bre\u010dn\u00e1 p\u0159edn\u00e1\u0161ka shrnuje a vysv\u011btluje, jak s nabyt\u00fdmi znalostmi a dovednostmi v pr\u016fb\u011bhu konference \u017e\u00edt. Za\u010d\u00e1tek a konec: to, co si zapamatujeme nejl\u00e9pe, a m\u00e1 zvl\u00e1\u0161tn\u00ed v\u00fdznam.<\/p>\n

<\/p>\n

Cliff Click \u2014 Algoritmus H2O distribuovan\u00e9ho K\/V<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Cliff je legenda sv\u011bta Javy. Na konci 90. let napsal pro svou dizerta\u010dn\u00ed pr\u00e1ci dokument s n\u00e1zvem \"Kombinov\u00e1n\u00ed anal\u00fdz, kombinov\u00e1n\u00ed optimalizac\u00ed\"<\/noindex>, kter\u00e1 se po chv\u00edli stala z\u00e1kladem pro HotSpot JVM Server Compiler. O dva roky pozd\u011bji u\u017e pracoval ve spole\u010dnosti Sun Microsystems na JVM a uk\u00e1zal cel\u00e9mu sv\u011btu, \u017ee JIT m\u00e1 pr\u00e1vo na existenci. Cel\u00fd tento p\u0159\u00edb\u011bh o tom, \u017ee Java je jedn\u00edm z nejrychlej\u0161\u00edch modern\u00edch runtime s nejchyt\u0159ej\u0161\u00edmi a nejrychlej\u0161\u00edmi optimalizacemi, za\u010dal pr\u00e1v\u011b s Cliffem Clickem. Na za\u010d\u00e1tku se m\u011blo za to, \u017ee pokud je n\u011bco dostupn\u00e9 statick\u00e9mu kompil\u00e1toru, nem\u00e1 smysl to ani zkou\u0161et JIT-ovat. D\u00edky pr\u00e1ci Cliffa a jeho t\u00fdmu za\u010daly b\u00fdt v\u0161echny nov\u00e9 jazyky vytv\u00e1\u0159eny s my\u0161lenkou na JIT-kompilaci jako v\u00fdchoz\u00ed nastaven\u00ed. Bezpochyby to byla pr\u00e1ce ne pro jednoho \u010dlov\u011bka, ale Cliff v n\u00ed hr\u00e1l velmi d\u016fle\u017eitou roli.<\/p>\n

<\/p>\n

V \u00favodn\u00edm keynote p\u0159edstav\u00ed Cliff sv\u00e9 dal\u0161\u00ed podnik\u00e1n\u00ed \u2014 H2O<\/a><\/noindex>, in-memory platformu pro distribuovan\u00e9 a \u0161k\u00e1lovateln\u00e9 strojov\u00e9 u\u010den\u00ed pro pr\u016fmyslov\u00e9 vyu\u017eit\u00ed. P\u0159esn\u011bji \u0159e\u010deno \u2014 o distribuovan\u00e9m \u00falo\u017ei\u0161ti p\u00e1r \u201ekl\u00ed\u010d-hodnota\u201c uvnit\u0159 n\u00ed. Je to velmi rychl\u00e9 \u00falo\u017ei\u0161t\u011b s mnoha zaj\u00edmav\u00fdmi vlastnostmi (p\u0159esn\u00fd seznam je v popisu<\/a><\/noindex>), kter\u00e9 umo\u017e\u0148uj\u00ed pou\u017e\u00edvat podobn\u00e1 \u0159e\u0161en\u00ed v matematice streamov\u00e1n\u00ed velk\u00fdch dat.<\/p>\n

<\/p>\n

Dal\u0161\u00ed p\u0159edn\u00e1\u0161ka, se kterou vystoup\u00ed Cliff \u2014 Zku\u0161enosti s hardwarovou transak\u010dn\u00ed pam\u011bt\u00ed Azul<\/a><\/noindex>. Dal\u0161\u00ed \u010d\u00e1st jeho biografie \u2014 deset let pr\u00e1ce v Azul<\/noindex>, kde aktualizoval a zlep\u0161il mnoho aspekt\u016f hardwaru a technologick\u00e9ho stacku Azul: JIT-kompil\u00e1tory, runtime, model vl\u00e1ken, zpracov\u00e1n\u00ed chyb, pr\u00e1ce se z\u00e1sobn\u00edkem, hardwarov\u00e1 p\u0159eru\u0161en\u00ed, na\u010d\u00edt\u00e1n\u00ed t\u0159\u00edd a tak d\u00e1le \u2014 no, ch\u00e1pete.<\/p>\n

<\/p>\n

Nejzaj\u00edmav\u011bj\u0161\u00ed \u010d\u00e1st za\u010dala, kdy\u017e vytvo\u0159ili hardware pro velk\u00fd byznys \u2014 superpo\u010d\u00edta\u010d pro b\u011bh Java. Byla to docela inovativn\u00ed v\u011bc, konkr\u00e9tn\u011b navr\u017een\u00e1 pro Java, kter\u00e1 m\u00e1 zvl\u00e1\u0161tn\u00ed po\u017eadavky \u2014 pam\u011b\u0165ov\u00e9 bari\u00e9ry pro \u010dten\u00ed pro n\u00edzko-pauzov\u00e9 garbage collection, pole s kontrolou hranic, virtu\u00e1ln\u00ed vol\u00e1n\u00ed\u2026 Jednou z nejzaj\u00edmav\u011bj\u0161\u00edch technologi\u00ed byla hardwarov\u00e1 transak\u010dn\u00ed pam\u011b\u0165. Cel\u00fd L1 jak\u00e9hokoli z 864 jader mohl \u00fa\u010dastnit transak\u010dn\u00edho z\u00e1pisu, co\u017e je obzvl\u00e1\u0161\u0165 d\u016fle\u017eit\u00e9 pro pr\u00e1ci s blokacemi v Java (synchronized bloky mohou pracovat paraleln\u011b, dokud nedojde k re\u00e1ln\u00e9mu konfliktu v pam\u011bti). Ale kr\u00e1sn\u00e1 my\u0161lenka se rozpadla na drsnou realitu \u2014 a v t\u00e9to p\u0159edn\u00e1\u0161ce Cliff vysv\u011btl\u00ed, pro\u010d HTM a STM p\u0159\u00edli\u0161 dob\u0159e nevyhovuj\u00ed praktick\u00fdm pot\u0159eb\u00e1m v\u00edcetherm\u00e1ln\u00edch v\u00fdpo\u010dt\u016f.<\/p>\n

<\/p>\n

Michael Scott \u2014 Dvojit\u00e9 datov\u00e9 struktury<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Michael Scott<\/a><\/noindex> \u2014 profesor po\u010d\u00edta\u010dov\u00fdch v\u011bd na Univerzit\u011b v Rochesteru, se kter\u00fdm osud spojil jeho u\u017e 34 let<\/noindex>, a na sv\u00e9 alma mater Wisconsin\u2013Madison byl d\u011bkanem p\u011bt let. Zam\u011b\u0159uje se na v\u00fdzkum paraleln\u00edho a distribuovan\u00e9ho programov\u00e1n\u00ed a design jazyk\u016f a vyu\u010duje to studenty.<\/p>\n

<\/p>\n

Cel\u00fd sv\u011bt zn\u00e1 Michaela d\u00edky u\u010debnici \u201eProgramming Language Pragmatics\u201c<\/a><\/noindex>, posledn\u00ed vyd\u00e1n\u00ed vy\u0161lo relativn\u011b ned\u00e1vno \u2014 v roce 2015. Jeho pr\u00e1ce \u201eAlgorithms for scalable synchronization on shared-memory multiprocessors\u201c<\/a><\/noindex> obdr\u017eela z\u00edskala Dijkstraovu cenu<\/a><\/noindex> jako jedna z nejzn\u00e1m\u011bj\u0161\u00edch v oblasti distribuovan\u00fdch v\u00fdpo\u010dt\u016f a otev\u0159en\u011b le\u017e\u00ed<\/a><\/noindex> v online knihovn\u011b Rochesterovy univerzity. Tak\u00e9 ho m\u016f\u017eete zn\u00e1t jako autora toho slavn\u00e9ho algoritmu Michael-Scott z \u201eSimple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms\u201c<\/a><\/noindex>.<\/p>\n

<\/p>\n

Pokud jde o sv\u011bt Javy, zde je situace zvl\u00e1\u0161tn\u00ed: spolu s Dougem Leou vyvinuli tyto neblokuj\u00edc\u00ed algoritmy a synchronn\u00ed fronty, na kter\u00fdch funguj\u00ed knihovny Javy. O tomto a bude keynote \u201eDvojit\u00e9 datov\u00e9 struktury\u201c \u2014 implementace t\u011bchto struktur v Java SE 6 umo\u017enila desetin\u00e1sobn\u00e9 zlep\u0161en\u00ed v\u00fdkonu java.util.concurrent.ThreadPoolExecutor<\/code>. Pokud v\u00e1s dop\u0159edu zaj\u00edm\u00e1, co jsou tyto \u201eDvojit\u00e9 datov\u00e9 struktury\u201c, budi\u017e zde p\u0159\u00edslu\u0161n\u00e1 pr\u00e1ce<\/a><\/noindex>. <\/p>\n

<\/p>\n

Maurice Herlihy \u2014 Blockchainy a budoucnost distribuovan\u00e9ho po\u010d\u00edta\u010dstv\u00ed<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Maurice Herlihy<\/a><\/noindex> \u2014 dr\u017eitel dvou Dijkstraov\u00fdch cen. Prvn\u00ed \u2014 za pr\u00e1ci na \u201eWait-Free Synchronization\u201c<\/a><\/noindex> (Brown University), a druh\u00e1, nov\u011bj\u0161\u00ed \u2014 \u201eTransactional Memory: Architectural Support for Lock-Free Data Structures\u201c<\/a><\/noindex> (Virginia Tech University). Dijkstraova cena se ud\u011bluje za pr\u00e1ce, jejich\u017e v\u00fdznam a vliv byly patrn\u00e9 po dobu alespo\u0148 deseti let, a je z\u0159ejm\u00e9, \u017ee Maurice je jedn\u00edm z nejzn\u00e1m\u011bj\u0161\u00edch odborn\u00edk\u016f v oboru. V sou\u010dasn\u00e9 dob\u011b pracuje jako profesor na Brownov\u011b univerzit\u011b a m\u00e1 \u0159adu \u00fasp\u011bch\u016f, kter\u00e9 by zabraly cel\u00fd odstavec.<\/p>\n

<\/p>\n

V t\u00e9to z\u00e1v\u011bre\u010dn\u00e9 keynote Maurice promluv\u00ed o teorii a praxi blockchainov\u00fdch distribuovan\u00fdch syst\u00e9m\u016f z pohledu klasiky distribuovan\u00fdch v\u00fdpo\u010dt\u016f a o tom, jak to zjednodu\u0161uje \u0159adu souvisej\u00edc\u00edch probl\u00e9m\u016f. Tento p\u0159edn\u00e1\u0161ka se v\u00fdhradn\u011b v\u011bnuje t\u00e9matu konference \u2014 rozhodn\u011b ne o miningov\u00e9m hype, ale sp\u00ed\u0161e o tom, jak na\u0161e znalosti lze p\u0159ekvapiv\u011b efektivn\u011b a relevantn\u011b vyu\u017e\u00edt v r\u016fzn\u00fdch \u00faloh\u00e1ch.<\/p>\n

<\/p>\n

V \u010dervenci 2017 u\u017e Maurice p\u0159ijel do Ruska na \u0161kolu SPTDC, z\u00fa\u010dastnil se meetupu JUG.ru, a z\u00e1znam si m\u016f\u017eete prohl\u00e9dnout na YouTube:<\/p>\n

\n

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

Hlavn\u00ed program<\/h2>\n

<\/p>\n

N\u00e1sledovat bude stru\u010dn\u00fd p\u0159ehled p\u0159edn\u00e1\u0161ek za\u0159azen\u00fdch do programu. N\u011bkter\u00e9 p\u0159edn\u00e1\u0161ky jsou zde pops\u00e1ny podrobn\u011b, jin\u00e9 stru\u010dn\u011bji. Dlouh\u00e1 popisy byly v\u011bt\u0161inou p\u0159id\u011bleny anglick\u00fdm p\u0159edn\u00e1\u0161k\u00e1m, kter\u00e9 vy\u017eaduj\u00ed odkazy na v\u011bdeck\u00e9 pr\u00e1ce, term\u00edny na Wikipedii atd. \u00dapln\u00fd seznam m\u016f\u017eete vid\u011bt na webu konference<\/a><\/noindex>. Seznam na webu bude aktualizov\u00e1n a dopl\u0148ov\u00e1n. <\/p>\n

<\/p>\n

Leslie Lamport \u2014 Q & A<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Leslie Lamport je autorem z\u00e1sadn\u00edch prac\u00ed v distribuovan\u00e9m v\u00fdpo\u010dtu. \u00abLaTeX\u00bb<\/a><\/noindex> se p\u0159ekl\u00e1d\u00e1 jako \u00abLamport TeX\u00bb. To on poprv\u00e9, u\u017e v roce 1979, zavedl 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> z\u00edskal Dijkstraovu cenu.<\/p>\n

<\/p>\n

To je nejneobvyklej\u0161\u00ed \u010d\u00e1st programu, proto\u017ee to nen\u00ed ani p\u0159edn\u00e1\u0161ka, ale sezen\u00ed ot\u00e1zek a odpov\u011bd\u00ed. Kdy\u017e je zna\u010dn\u00e1 \u010d\u00e1st publika ji\u017e obezn\u00e1mena (nebo se m\u016f\u017ee sezn\u00e1mit) se v\u0161emi mo\u017en\u00fdmi pracemi zalo\u017een\u00fdmi na \u00abLamportov\u011b teorii\u00bb, jeho vlastn\u00edmi \u010dl\u00e1nky a p\u0159edn\u00e1\u0161kami, je velmi d\u016fle\u017eit\u00e9 vyu\u017e\u00edt ve\u0161ker\u00fd dostupn\u00fd \u010das na p\u0159\u00edmou komunikaci.<\/p>\n

<\/p>\n

My\u0161lenka je jednoduch\u00e1 \u2014 zhl\u00e9dnete na YouTube dv\u011b p\u0159edn\u00e1\u0161ky: \u00abProgramming Should Be More Than Coding\u00bb<\/a><\/noindex> a \u201ePokud nep\u00ed\u0161ete program, nepou\u017e\u00edvejte programovac\u00ed jazyk\u201c<\/a><\/noindex> a p\u0159iprav\u00edte si alespo\u0148 jeden dotaz, na kter\u00fd Leslie odpov\u00ed.<\/p>\n

<\/p>\n

Prvn\u00ed z t\u011bchto dvou vide\u00ed jsme u\u017e p\u0159etvo\u0159ili na hubro \u010dl\u00e1nek<\/a><\/noindex>. Pokud nem\u00e1te hodinu \u010dasu na sledov\u00e1n\u00ed videa, m\u016f\u017eete si to rychle p\u0159e\u010d\u00edst v textov\u00e9 podob\u011b.<\/p>\n

<\/p>\n

Na v\u011bdom\u00ed: na YouTube je mnohem v\u00edce vide\u00ed s Lesliem Lamportem. Nap\u0159\u00edklad existuje skv\u011bl\u00fd kurz o TLA+<\/a><\/noindex>. Offline verze cel\u00e9ho tohoto kurzu je na domovsk\u00e9 str\u00e1nce autora<\/a><\/noindex>, a na YouTube ho zve\u0159ejnil pro pohodln\u011bj\u0161\u00ed zhl\u00e9dnut\u00ed na mobiln\u00edch za\u0159\u00edzen\u00edch.<\/p>\n

<\/p>\n

Martin Kleppmann \u2014 Synchronizace dat nap\u0159\u00ed\u010d u\u017eivatelsk\u00fdmi za\u0159\u00edzen\u00edmi pro distribuovanou spolupr\u00e1ci<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Martin Kleppmann je v\u00fdzkumn\u00edk na Univerzit\u011b v Cambridge, kter\u00fd pracuje na CRDT a form\u00e1ln\u00ed verifikaci algoritm\u016f. Kniha Martina \u00abDesigning Data-Intensive Applications\u00bb<\/noindex>, publikovan\u00e1 v roce 2017, se uk\u00e1zala jako velmi \u00fasp\u011b\u0161n\u00e1 a dostala se na seznamy bestseller\u016f v oblasti ukl\u00e1d\u00e1n\u00ed a zpracov\u00e1n\u00ed dat. Kevin Scott, CTO ve spole\u010dnosti Microsoft, jednou \u0159ekl<\/a><\/noindex>: \u201eTato kniha by m\u011bla b\u00fdt nezbytn\u00e1 pro in\u017een\u00fdry v\u00fdvoj\u00e1\u0159e. Je to vz\u00e1cn\u00fd zdroj, kter\u00fd spojuje teorii a praxi, pom\u00e1h\u00e1 v\u00fdvoj\u00e1\u0159\u016fm l\u00e9pe navrhovat a realizovat infrastrukturu a syst\u00e9my zpracov\u00e1n\u00ed dat.\u201c N\u011bco podobn\u00e9ho \u0159\u00edkal i tv\u016frce Kafky a CTO Confluent, Jay Kreps.<\/p>\n

<\/p>\n

P\u0159ed zah\u00e1jen\u00edm akademick\u00e9ho v\u00fdzkumu Martin pracoval v pr\u016fmyslu a stal se spoluzakladatelem dvou \u00fasp\u011b\u0161n\u00fdch startup\u016f:<\/p>\n

<\/p>\n