{"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\/hu\/blog\/administrirovanie\/19-golov-gidry-bolshoj-obzor-programmy","title":{"rendered":"19 fej\u0171 hidra. A program \u00e1tfog\u00f3 \u00e1ttekint\u00e9se","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

J\u00falius 11-12-\u00e9n Szentp\u00e9terv\u00e1ron konferenci\u00e1t tartanak Hydra<\/a><\/noindex>, amely a p\u00e1rhuzamos \u00e9s elosztott rendszerek fejleszt\u00e9s\u00e9r\u0151l sz\u00f3l. A Hydra saj\u00e1toss\u00e1ga, hogy \u00f6sszegy\u0171jti a kiv\u00e1l\u00f3 kutat\u00f3kat (akiket \u00e1ltal\u00e1ban csak a k\u00fclf\u00f6ldi tudom\u00e1nyos konferenci\u00e1kon lehet megtal\u00e1lni) \u00e9s elismert gyakorl\u00f3 m\u00e9rn\u00f6k\u00f6ket egy nagy program keret\u00e9ben, a tudom\u00e1ny \u00e9s a gyakorlat hat\u00e1rvonal\u00e1n.<\/p>\n

<\/p>\n

A Hydra az egyik legfontosabb konferenci\u00e1nk az elm\u00falt \u00e9vekben. El\u0151zetesen nagyon komoly el\u0151k\u00e9sz\u00fcletek, el\u0151ad\u00f3k \u00e9s el\u0151ad\u00e1sok kiv\u00e1laszt\u00e1sa el\u0151zte meg. A m\u00falt h\u00e9ten megjelent err\u0151l egy habrointerj\u00fa<\/a><\/noindex> JUG.ru Group \u00fcgyvezet\u0151 igazgat\u00f3j\u00e1val, Alexei Fedorovval (23derevo<\/a><\/noindex>). <\/p>\n

<\/p>\n

Mi kor\u00e1bban besz\u00e9lt\u00fcnk<\/a><\/noindex> a h\u00e1rom fontos r\u00e9sztvev\u0151r\u0151l, a elosztott rendszerek elm\u00e9let\u00e9nek megalapoz\u00f3ir\u00f3l \u2014 Leslie Lamport, Maurice Herlihy \u00e9s Michael Scott. Itt az ideje, hogy r\u00e9szletesebben besz\u00e9lj\u00fcnk az eg\u00e9sz programr\u00f3l!<\/p>\n

<\/p>\n

\"19<\/p>\n

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

Motiv\u00e1ci\u00f3<\/h2>\n

<\/p>\n

Ha programoz\u00e1ssal foglalkozik, akkor valamilyen form\u00e1ban biztosan tal\u00e1lkozik a t\u00f6bb sz\u00e1l\u00fa feldolgoz\u00e1ssal \u00e9s az elosztott sz\u00e1m\u00edt\u00e1sokkal. A megfelel\u0151 ter\u00fcletek szak\u00e9rt\u0151i k\u00f6zvetlen\u00fcl dolgoznak ezekkel, de az elosztotts\u00e1g minden\u00fctt jelen van: b\u00e1rmilyen t\u00f6bbmagos sz\u00e1m\u00edt\u00f3g\u00e9pben vagy elosztott szolg\u00e1ltat\u00e1sban tal\u00e1lunk valamit, amely p\u00e1rhuzamosan v\u00e9gez sz\u00e1m\u00edt\u00e1sokat.<\/p>\n

<\/p>\n

Sz\u00e1mos konferencia l\u00e9tezik, amelyek az alkalmazott programoz\u00e1s k\u00fcl\u00f6nb\u00f6z\u0151 aspektusait t\u00e1rj\u00e1k fel. A spektrum m\u00e1sik v\u00e9g\u00e9n pedig k\u00fcl\u00f6nf\u00e9le tudom\u00e1nyos iskol\u00e1k vannak, amelyek el\u0151ad\u00e1sok form\u00e1j\u00e1ban rengeteg bonyolult elm\u00e9letet t\u00e1rgyalnak. P\u00e9ld\u00e1ul a Hydra mellett Szentp\u00e9terv\u00e1ron SPTDC iskola<\/a><\/noindex>. a konferenci\u00e1n a Hydra c\u00e9lja az volt, hogy \u00f6tv\u00f6zze a szigor\u00fa gyakorlatot \u00e9s a tudom\u00e1nyt, mindazt, ami ezen a hat\u00e1rvonalon tal\u00e1lhat\u00f3.<\/strong> <\/p>\n

<\/p>\n

Gondolkodjon el ezen: egy csod\u00e1latos id\u0151ben \u00e9l\u00fcnk, amikor szem\u00e9lyesen tal\u00e1lkozhatunk a tudom\u00e1ny \u00e9s m\u00e9rn\u00f6ki ter\u00fclet alap\u00edt\u00f3ival, amelyekkel foglalkozunk. A fizikusok nem tal\u00e1lkozhatnak sem Newtonnal, sem Einsteinnel \u2014 a vonat elment. De m\u00e9g mindig k\u00f6z\u00f6tt\u00fcnk \u00e9lnek azok, akik megalapozz\u00e1k elosztott rendszerek elm\u00e9let\u00e9t, n\u00e9pszer\u0171 programoz\u00e1si nyelveket \u00e1lmodtak meg, \u00e9s el\u0151sz\u00f6r val\u00f3s\u00edtott\u00e1k meg mindezt m\u0171k\u00f6d\u0151 protot\u00edpusokk\u00e1. Ezek az emberek nem hagyt\u00e1k abba a munk\u00e1jukat f\u00e9l\u00faton, \u00e9ppen most is aktu\u00e1lis probl\u00e9m\u00e1kkal foglalkoznak vil\u00e1gszerte ismert egyetemeken \u00e9s c\u00e9gekn\u00e9l, \u00e9s napjaink legnagyobb tud\u00e1sforr\u00e1sai \u00e9s tapasztalatai. <\/p>\n

<\/p>\n

M\u00e1sr\u00e9szt a vel\u00fck val\u00f3 tal\u00e1lkoz\u00e1s lehet\u0151s\u00e9ge \u00e1ltal\u00e1ban puszt\u00e1n elm\u00e9leti marad: alig n\u00e9h\u00e1nyan tudj\u00e1k folyamatosan figyelni a nyilv\u00e1nos esem\u00e9nyeket b\u00e1rmely rochesteri egyetemen, hogy azt\u00e1n az Egyes\u00fclt \u00c1llamokba rohanjanak, majd vissza az \u00f3r\u00e1ra Michael Scotthoz. Az \u00f6sszes Hydra r\u00e9sztvev\u0151 megl\u00e1togat\u00e1sa egy kisebb vagyont \u00e9rne, nem besz\u00e9lve az elvesztegetett id\u0151 tenger\u00e9r\u0151l (b\u00e1r ez \u00e9rdekes k\u00fcldet\u00e9snek hangzik).<\/p>\n

<\/p>\n

M\u00e1sr\u00e9szt rengeteg kiv\u00e1l\u00f3 m\u00e9rn\u00f6k\u00fcnk van, akik \u00e9ppen most dolgoznak a megosztott rendszerek aktu\u00e1lis probl\u00e9m\u00e1in, \u00e9s biztosan van mondanival\u00f3juk. De itt a probl\u00e9ma: \u0151k dolgozik<\/em>, \u00e9s az idej\u00fck dr\u00e1ga. Igen, ha te a Microsoft, a Google vagy a JetBrains munkat\u00e1rsa vagy, az es\u00e9lyeid, hogy a h\u00edres el\u0151ad\u00f3k egyik\u00e9vel egy bels\u0151 esem\u00e9nyen tal\u00e1lkozz, \u00e9rdemben megn\u0151nek, de val\u00f3j\u00e1ban \u2014 nem minden nap fordul ez el\u0151.<\/p>\n

<\/p>\n

\u00cdgy a Hydra konferencia egy fontos feladatot l\u00e1t el, amelyet a legt\u00f6bben nem tudn\u00e1nk saj\u00e1t magunk megval\u00f3s\u00edtani \u2014 egy id\u0151ben \u00e9s egy helyen \u00f6sszegy\u0171jti azokat az embereket, akiknek az \u00f6tletei, vagy akikkel val\u00f3 kapcsolattart\u00e1s megv\u00e1ltoztathatja az \u00e9letedet. El tudom k\u00e9pzelni, hogy nem mindenki sz\u00e1m\u00e1ra fontosak a megosztott rendszerek, vagy bizonyos bonyolult alapvet\u0151 dolgok. Eg\u00e9sz \u00e9letedben k\u00f3dolhatsz CRUD-okat PHP-ban, \u00e9s teljesen boldog lehetsz. De akiknek sz\u00fcks\u00e9g\u00fck van r\u00e1 \u2014 ez a te es\u00e9lyed.<\/p>\n

<\/p>\n

A Hydra konferencia els\u0151 bejelent\u00e9se \u00f3ta, ami a Habr\u00e1n t\u00f6rt\u00e9nt, m\u00e1r eltelt egy kis id\u0151. Ezalatt hatalmas munka zajlott \u2014 \u00e9s \u00edme, itt van a besz\u00e9dek majdnem teljes list\u00e1ja. Nincsenek d\u00f6c\u00f6g\u0151s, egy sz\u00e1lon fut\u00f3 algoritmusok, csak tiszta elosztott hardcore! Fejezz\u00fck be a k\u00f6zhelyekkel, \u00e9s n\u00e9zz\u00fck meg, mit tudunk most.<\/p>\n

<\/p>\n

F\u0151el\u0151ad\u00e1sok<\/h2>\n

<\/p>\n

A f\u0151el\u0151ad\u00e1sok nyitj\u00e1k \u00e9s z\u00e1rj\u00e1k a konferencia napjait. \u00c1ltal\u00e1ban a nyit\u00f3 f\u0151el\u0151ad\u00e1s c\u00e9lja, hogy meghat\u00e1rozza a konferencia \u00e1ltal\u00e1nos szellem\u00e9t \u00e9s ir\u00e1ny\u00e1t. A z\u00e1r\u00f3 f\u0151el\u0151ad\u00e1s \u00f6sszegzi a tanultakat, \u00e9s megmagyar\u00e1zza, hogyan \u00e9lj\u00fcnk a konferencia sor\u00e1n megszerzett tud\u00e1ssal \u00e9s k\u00e9szs\u00e9gekkel. A kezdet \u00e9s a v\u00e9g: ami a legjobban megmarad, \u00e9s egy\u00e1ltal\u00e1n is fokozott jelent\u0151s\u00e9ggel b\u00edr.<\/p>\n

<\/p>\n

Cliff Click \u2014 The H2O distributed K\/V algorithm<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Cliff a Java vil\u00e1g\u00e1nak legend\u00e1ja. Az 1990-es \u00e9vek v\u00e9g\u00e9n PhD-diszert\u00e1ci\u00f3ja sz\u00e1m\u00e1ra \u00edrta a \"Combining Analyses, Combining Optimizations\" c\u00edm\u0171 munk\u00e1t. \u00abCombining Analyses, Combining Optimizations\u00bb<\/noindex>, amely id\u0151vel a HotSpot JVM Server Compiler alapj\u00e1ul szolg\u00e1lt. K\u00e9t \u00e9vvel k\u00e9s\u0151bb m\u00e1r a Sun Microsystems-n\u00e9l dolgozott a JVM-en, \u00e9s megmutatta a vil\u00e1gnak, hogy a JIT-nek van l\u00e9tjogosults\u00e1ga. Ez a t\u00f6rt\u00e9net arr\u00f3l sz\u00f3l, hogy a Java az egyik leggyorsabb modern futtat\u00f3k\u00f6rnyezet, a legokosabb \u00e9s leggyorsabb optimaliz\u00e1l\u00e1sokkal, amely \u00e9ppen Cliff Click-t\u0151l sz\u00e1rmazik. Kezdetben azt gondolt\u00e1k, hogy ha valami el\u00e9rhet\u0151 egy statikus ford\u00edt\u00f3 sz\u00e1m\u00e1ra, akkor azt nem is \u00e9rdemes pr\u00f3b\u00e1lkozni JIT-tel. Cliff \u00e9s csapata munk\u00e1j\u00e1nak k\u00f6sz\u00f6nhet\u0151en az \u00f6sszes \u00faj nyelv azzal az elk\u00e9pzel\u00e9ssel kezdett el k\u00e9sz\u00fclni, hogy a JIT-ford\u00edt\u00e1s alap\u00e9rtelmezett legyen. Term\u00e9szetesen ez egy ember munk\u00e1ja volt, de Cliff nagyon fontos szerepet j\u00e1tszott benne.<\/p>\n

<\/p>\n

A nyit\u00f3 f\u0151el\u0151ad\u00e1s\u00e1ban Cliff a m\u00e1sik kezdem\u00e9nyez\u00e9s\u00e9r\u0151l fog besz\u00e9lni \u2014 H20<\/a><\/noindex>, egy mem\u00f3riaalap\u00fa platform a nagyik\u00e9nt sk\u00e1l\u00e1zhat\u00f3, elosztott g\u00e9pi tanul\u00e1shoz ipari alkalmaz\u00e1sokhoz. Pontosabban \u2014 egy elosztott kulcs-\u00e9rt\u00e9k t\u00e1rr\u00f3l besz\u00e9l majd benne. Ez egy nagyon gyors t\u00e1rol\u00f3, rengeteg \u00e9rdekes tulajdons\u00e1ggal (a pontos lista el\u00e9rhet\u0151 a a le\u00edr\u00e1sban.<\/a><\/noindex>), amelyek lehet\u0151v\u00e9 teszik az ilyen megold\u00e1sok haszn\u00e1lat\u00e1t a nagy adatok streaming matematik\u00e1j\u00e1ban.<\/p>\n

<\/p>\n

Egy m\u00e1sik el\u0151ad\u00e1s, amellyel Cliff fell\u00e9p \u2014 Az Azul Hardveres Tranzakci\u00f3s Mem\u00f3ria tapasztalata<\/a><\/noindex>. \u00c9letrajza m\u00e1sik r\u00e9sze \u2014 t\u00edz \u00e9v munka Azul-n\u00e1l<\/noindex>, ahol sok mindent friss\u00edtett \u00e9s jav\u00edtott az Azul hardver\u00e9n \u00e9s technol\u00f3giai stackj\u00e9n: JIT ford\u00edt\u00f3k, futtat\u00f3k\u00f6rnyezet, sz\u00e1lmodell, hiba kezel\u00e9s, veremkezel\u00e9s, hardveres megszak\u00edt\u00e1sok, oszt\u00e1lyok bet\u00f6lt\u00e9se \u00e9s \u00edgy tov\u00e1bb, \u00e9rted.<\/p>\n

<\/p>\n

A leg\u00e9rdekesebb r\u00e9sz akkor kezd\u0151d\u00f6tt, amikor hardvert k\u00e9sz\u00edtettek a nagy business sz\u00e1m\u00e1ra \u2014 szupersz\u00e1m\u00edt\u00f3g\u00e9p a Java futtat\u00e1s\u00e1ra. Ez egy el\u00e9g innovat\u00edv dolog volt, kifejezetten Java-ra tervezve, amely k\u00fcl\u00f6nleges ig\u00e9nyekkel rendelkezik \u2014 mem\u00f3riaolvas\u00e1si korl\u00e1tok az alacsony k\u00e9sleltet\u00e9s\u0171 mem\u00f3riafelszabad\u00edt\u00e1shoz, hat\u00e1rellen\u0151rz\u00e9ses t\u00f6mb\u00f6k, virtu\u00e1lis h\u00edv\u00e1sok... Az egyik legmen\u0151bb technol\u00f3gia a hardveres tranzakci\u00f3s mem\u00f3ria volt. Az L1 minden 864 magj\u00e1nak r\u00e9szt kellett vennie a tranzakci\u00f3s \u00edr\u00e1sban, ami k\u00fcl\u00f6n\u00f6sen fontos a Java-ban a z\u00e1rol\u00e1sokkal val\u00f3 munka sor\u00e1n (a synchronized blokkok p\u00e1rhuzamosan m\u0171k\u00f6dhetnek, am\u00edg nincs val\u00f3di mem\u00f3ria\u00fctk\u00f6z\u00e9s). De a sz\u00e9p elk\u00e9pzel\u00e9s a kem\u00e9ny val\u00f3s\u00e1ggal \u00fctk\u00f6z\u00f6tt \u2014 \u00e9s ebben az el\u0151ad\u00e1sban Cliff elmondja, mi\u00e9rt nem illeszkedik j\u00f3l a HTM \u00e9s STM a gyakorlati ig\u00e9nyekhez a t\u00f6bb sz\u00e1lon t\u00f6rt\u00e9n\u0151 sz\u00e1m\u00edt\u00e1sok eset\u00e9ben.<\/p>\n

<\/p>\n

Michael Scott \u2014 K\u00e9t adatstrukt\u00fara<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Michael Scott<\/a><\/noindex> \u2014 a R\u00f3chester Egyetem sz\u00e1m\u00edt\u00e1stechnikai professzora, akivel a sors m\u00e1r 34 \u00e9ve \u00f6sszekapcsolta, \u00e9s a Wisconsin\u2013Madison Egyetemen \u00f6t \u00e9ven \u00e1t volt d\u00e9k\u00e1n. P\u00e1rhuzamos \u00e9s elosztott programoz\u00e1ssal, valamint nyelvtervez\u00e9ssel foglalkozik, \u00e9s ezt tan\u00edtja a hallgat\u00f3knak.<\/noindex>A vil\u00e1g minden t\u00e1j\u00e1n ismerik Michaelt a<\/p>\n

<\/p>\n

\u00abProgramming Language Pragmatics\u00bb c\u00edm\u0171 tank\u00f6nyve alapj\u00e1n, amelynek legutols\u00f3 kiad\u00e1sa viszonylag nemr\u00e9g jelent meg \u2014 2015-ben. Munk\u00e1ja<\/a><\/noindex>\u00abAlgorithms for scalable synchronization on shared-memory multiprocessors\u00bb a Dijkstra-d\u00edjat<\/a><\/noindex> kapott nemcsak a legjelent\u0151sebb m\u0171ve, hanem a legnevesebb a elosztott sz\u00e1m\u00edt\u00e1stechnika ter\u00fclet\u00e9n is,<\/a><\/noindex> nyilv\u00e1nosan el\u00e9rhet\u0151 a R\u00f3chester Egyetem online k\u00f6nyvt\u00e1r\u00e1ban. Tal\u00e1n mint a h\u00edres Michael-Scott algoritmus szerz\u0151je is ismerheti, amely szerepel a<\/a><\/noindex> \u00abSimple, Fast, and Practical Non-Blocking and Blocking Concurrent Queue Algorithms\u00bb Kapcsolatban a Java vil\u00e1g\u00e1val, ez egy k\u00fcl\u00f6n eset: Doug Le\u00e1val egy\u00fctt dolgozta ki azokat a nem blokkol\u00f3 algoritmusokat \u00e9s szinkroniz\u00e1l\u00f3 sorokat, amelyekre a Java k\u00f6nyvt\u00e1rak \u00e9p\u00fclnek. Err\u0151l fog sz\u00f3lni a \u00abK\u00e9t adatstrukt\u00fara\u00bb f\u0151el\u0151ad\u00e1sa \u2014 e strukt\u00far\u00e1k bevezet\u00e9se a Java SE 6-ba 10-szeres teljes\u00edtm\u00e9nyjavul\u00e1st eredm\u00e9nyezett<\/a><\/noindex>.<\/p>\n

<\/p>\n

java.util.concurrent.ThreadPoolExecutor . Ha el\u0151re \u00e9rdekli, mik is ezek a \u00abK\u00e9t adatstrukt\u00fara\u00bb, akkor err\u0151l van<\/code>a megfelel\u0151 munka Maurice Herlihy \u2014<\/a><\/noindex>. <\/p>\n

<\/p>\n

A blokkl\u00e1ncok \u00e9s a j\u00f6v\u0151 elosztott sz\u00e1m\u00edt\u00e1stechnik\u00e1ja \u2014 a Dijkstra-d\u00edj k\u00e9t id\u0151s birtokosa. Az els\u0151 a<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Maurice Herlihy<\/a><\/noindex> (Brown Egyetem), a m\u00e1sodik pedig, frissebb, \u2014 \u201eWait-Free Synchronization\u201d<\/a><\/noindex> (Virginia Tech Egyetem). A Dijkstra-d\u00edjat azoknak a munk\u00e1k\u00e9rt adj\u00e1k, amelyek jelent\u0151s\u00e9ge \u00e9s hat\u00e1sa legal\u00e1bb t\u00edz \u00e9ven \u00e1t \u00e9szlelhet\u0151, \u00e9s nyilv\u00e1nval\u00f3, hogy Maurice a legismertebb szakemberek k\u00f6z\u00e9 tartozik ezen a t\u00e9ren. Jelenleg a Brown Egyetem professzora, \u00e9s sz\u00e1mos \u00e9rdeme van egy teljes bekezd\u00e9s hossz\u00fas\u00e1gban. \u201eTransactional Memory: Architectural Support for Lock-Free Data Structures\u201d<\/a><\/noindex> A z\u00e1r\u00f3 f\u0151el\u0151ad\u00e1sban Maurice a blokkl\u00e1ncok elosztott rendszereinek elm\u00e9let\u00e9r\u0151l \u00e9s gyakorlat\u00e1r\u00f3l besz\u00e9l majd a klasszikus elosztott sz\u00e1m\u00edt\u00e1stechnika szempontj\u00e1b\u00f3l, valamint arr\u00f3l, hogyan egyszer\u0171s\u00edti ez sz\u00e1mos kapcsol\u00f3d\u00f3 probl\u00e9m\u00e1t. Ez a besz\u00e9d kifejezetten a konferencia t\u00e9m\u00e1j\u00e1hoz kapcsol\u00f3dik \u2014 nem a b\u00e1ny\u00e1szati l\u00e1zr\u00f3l sz\u00f3l, hanem ink\u00e1bb arr\u00f3l, hogyan haszn\u00e1lhatjuk tud\u00e1sunkat elk\u00e9peszt\u0151en hat\u00e9konyan \u00e9s relev\u00e1nsan a legk\u00fcl\u00f6nb\u00f6z\u0151bb feladatokhoz.<\/p>\n

<\/p>\n

2017 j\u00falius\u00e1ban Maurice m\u00e1r j\u00e1rt Oroszorsz\u00e1gban az SPTDC iskol\u00e1n, r\u00e9szt vett a JUG.ru meet upon, \u00e9s a felv\u00e9telt megn\u00e9zheti a YouTube-on:<\/p>\n

<\/p>\n

F\u0151 program<\/p>\n

\n

\r\n \"Vide\u00f3\r\n
<\/div>\r\n <\/div><\/center><\/p>\n

A f\u0151program<\/h2>\n

<\/p>\n

Ezut\u00e1n egy r\u00f6vid \u00e1ttekint\u00e9s k\u00f6vetkezik a programba bevont el\u0151ad\u00e1sokr\u00f3l. N\u00e9h\u00e1ny el\u0151ad\u00e1s r\u00e9szletesen van le\u00edrva, m\u00edg m\u00e1sok r\u00f6viden. A hossz\u00fa le\u00edr\u00e1sok f\u0151k\u00e9nt az angol nyelv\u0171 el\u0151ad\u00e1sokra vonatkoznak, amelyek tudom\u00e1nyos munk\u00e1kra, Wikip\u00e9dia-terminol\u00f3g\u00e1kra stb. utalnak. A teljes lista el\u00e9rhet\u0151 a konferencia weboldal\u00e1n<\/a><\/noindex>. A lista a weboldalon folyamatosan friss\u00fcl \u00e9s b\u0151v\u00fcl. <\/p>\n

<\/p>\n

Leslie Lamport \u2014 K\u00e9rd\u00e9sek \u00e9s v\u00e1laszok<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Leslie Lamport a diszkr\u00e9t sz\u00e1m\u00edt\u00e1stechnik\u00e1ban alapvet\u0151 munk\u00e1k szerz\u0151je. A \u00abLaTeX\u00bb<\/a><\/noindex> a \u00abLamport TeX\u00bb r\u00f6vid\u00edt\u00e9se. \u0150 vezette be el\u0151sz\u00f6r, m\u00e9g 1979-ben a fogalmat sorozatos k\u00f6vetkezetess\u00e9g<\/a><\/noindex>, \u00e9s a cikk\u00e9t \u201eHogyan k\u00e9sz\u00edts\u00fcnk egy multiprocesszoros sz\u00e1m\u00edt\u00f3g\u00e9pet, amely helyesen hajtja v\u00e9gre a multiprocessz programokat\u201d<\/a><\/noindex> Dijkstra-d\u00edjat kapott.<\/p>\n

<\/p>\n

Ez a program legszokatlanabb form\u00e1tum\u00fa r\u00e9sze, mert nem is egy el\u0151ad\u00e1s, hanem egy k\u00e9rd\u00e9s-v\u00e1lasz szekci\u00f3. Mivel a k\u00f6z\u00f6ns\u00e9g jelent\u0151s r\u00e9sze m\u00e1r ismeri (vagy megismerheti) a 'Lamport-elm\u00e9let' alap\u00fa k\u00fcl\u00f6nf\u00e9le munk\u00e1kat, saj\u00e1t cikkeivel \u00e9s el\u0151ad\u00e1saival, a legfontosabb, hogy minden rendelkez\u00e9sre \u00e1ll\u00f3 id\u0151t k\u00f6zvetlen kapcsolattart\u00e1sra ford\u00edtsunk.<\/p>\n

<\/p>\n

Az \u00f6tlet egyszer\u0171: k\u00e9t el\u0151ad\u00e1st n\u00e9z a YouTube-on: \u00abA programoz\u00e1snak t\u00f6bbnek kell lennie, mint k\u00f3dol\u00e1s\u00bb<\/a><\/noindex> \u00e9s \u00abHa nem \u00edrsz programot, ne haszn\u00e1lj programoz\u00e1si nyelvet\u00bb<\/a><\/noindex> \u00e9s k\u00e9sz\u00edtesz legal\u00e1bb egy k\u00e9rd\u00e9st, amire Leslie v\u00e1laszol.<\/p>\n

<\/p>\n

E k\u00e9t vide\u00f3 k\u00f6z\u00fcl az els\u0151t m\u00e1r \u00e1talak\u00edtottuk egy hubcikk\u00e9<\/a><\/noindex>. Ha nincs egy \u00f3r\u00e1d a vide\u00f3 megtekint\u00e9s\u00e9re, gyorsan elolvashatod mindezt sz\u00f6veges form\u00e1ban.<\/p>\n

<\/p>\n

Megjegyz\u00e9s: a YouTube-on sokkal t\u00f6bb vide\u00f3 tal\u00e1lhat\u00f3 Leslie Lamportr\u00f3l. P\u00e9ld\u00e1ul van egy remek kurzust TLA+-r\u00f3l<\/a><\/noindex>. A kurzus offline verzi\u00f3ja el\u00e9rhet\u0151 a szerz\u0151 otthoni oldal\u00e1n<\/a><\/noindex>, a YouTube-on pedig \u00e1tkonvert\u00e1lta, hogy k\u00e9nyelmesebben n\u00e9zhesd mobilk\u00e9sz\u00fcl\u00e9keken.<\/p>\n

<\/p>\n

Martin Kleppmann \u2014 Adatok szinkroniz\u00e1l\u00e1sa felhaszn\u00e1l\u00f3i eszk\u00f6z\u00f6k k\u00f6z\u00f6tt, elosztott egy\u00fcttm\u0171k\u00f6d\u00e9shez<\/a><\/noindex><\/h3>\n

<\/p>\n

\"19 Martin Kleppmann a Cambridge-i Egyetem kutat\u00f3ja, aki CRDT \u00e9s algoritmusok form\u00e1lis ellen\u0151rz\u00e9s\u00e9n dolgozik. Martin k\u00f6nyve \u00abAdatintenz\u00edv alkalmaz\u00e1sok tervez\u00e9se\u00bb<\/noindex>, amely 2017-ben jelent meg, nagyon sikeres lett, \u00e9s a t\u00e1rol\u00e1si \u00e9s feldolgoz\u00e1si adatok ter\u00e9n bestseller list\u00e1kra ker\u00fclt. Kevin Scott, a Microsoft CTO-ja egyszer azt mondta<\/a><\/noindex>: \u00abEz a k\u00f6nyv k\u00f6telez\u0151 olvasm\u00e1ny a fejleszt\u0151 m\u00e9rn\u00f6k\u00f6k sz\u00e1m\u00e1ra. Ez egy ritka forr\u00e1s, amely \u00f6tv\u00f6zi az elm\u00e9letet \u00e9s a gyakorlatot, seg\u00edtve a fejleszt\u0151ket a rendszerek \u00e9s az adatok feldolgoz\u00e1s\u00e1nak intelligensebb tervez\u00e9s\u00e9ben \u00e9s megval\u00f3s\u00edt\u00e1s\u00e1ban\u00bb. Hasonl\u00f3t mondott Kafka megalkot\u00f3ja \u00e9s a Confluent CTO-ja, Jay Kreps is.<\/p>\n

<\/p>\n

Miel\u0151tt akad\u00e9miai kutat\u00e1sokba kezdett volna, Martin a iparban dolgozott, \u00e9s k\u00e9t sikeres start-up t\u00e1rsalap\u00edt\u00f3ja lett:<\/p>\n

<\/p>\n