{"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\/hu\/blog\/administrirovanie\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","title":{"rendered":"A elosztott rendszerek elm\u00e9let\u00e9nek megalapoz\u00f3i a hydra karjaiban","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"AEz Leslie Lamport<\/strong> \u2014 a szerz\u0151je a disztrib\u00falt sz\u00e1m\u00edt\u00e1stechnika alapvet\u0151 m\u0171veinek, \u00e9s tal\u00e1n a La bet\u0171kr\u0151l ismerhetik. La<\/b>TeX \u2014 \u201eLamport TeX\u201d. \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 (pontosabban 2000-ben a d\u00edjat m\u00e9g a r\u00e9gi n\u00e9ven h\u00edvt\u00e1k: \u201ePODC Influential Paper Award\u201d). R\u00f3la olvashatnak a Wikip\u00e9di\u00e1n,<\/a><\/noindex>, ahol tov\u00e1bbi \u00e9rdekes linkekre is szert tehetnek. Ha lelkesedik a happens-before vagy a biz\u00e1nci gener\u00e1lisok probl\u00e9m\u00e1ja<\/a><\/noindex> (BFT) ir\u00e1nt, akkor tiszt\u00e1ban kell lennie azzal, hogy mindez m\u00f6g\u00f6tt Lamport \u00e1ll.
\n<\/p>\n

<\/p>\n

\u00c9s hamarosan elj\u00f6n a mi \u00faj disztrib\u00falt sz\u00e1m\u00edt\u00e1stechnikai konferenci\u00e1nkra \u2014 Hydra, amely j\u00falius 11-12-\u00e9n lesz Szentp\u00e9terv\u00e1ron. N\u00e9zz\u00fck csak, mir\u0151l is van sz\u00f3.<\/p>\n

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

Hydra 2019<\/h1>\n

<\/p>\n

Az olyan t\u00e9m\u00e1k, mint a p\u00e1rhuzamos feldolgoz\u00e1s, mindig is a legn\u00e9pszer\u0171bbek voltak a konferenci\u00e1inkon. Most m\u00e9g \u00fcres volt ez a terem, de azt\u00e1n a sz\u00ednpadon megjelent valaki, aki a mem\u00f3ria modellez\u00e9s\u00e9r\u0151l, a happens-before jelens\u00e9gr\u0151l vagy a p\u00e1rhuzamos szem\u00e9tgy\u0171jt\u00e9sr\u0151l besz\u00e9l, \u00e9s \u2014 bum! \u2014 m\u00e1ris ezer ember foglalja el az \u00f6sszes szabad helyet, hogy \u00fcljenek \u00e9s figyelmesen hallgass\u00e1k. Mi ennek a sikernek a l\u00e9nyege? Tal\u00e1n az, hogy mindannyiunknak van olyan hardvere, amely k\u00e9pes disztrib\u00falt sz\u00e1m\u00edt\u00e1st v\u00e9gezni? Vagy az, hogy tudat alatt felismerj\u00fck a k\u00e9pess\u00e9geink hat\u00e1rait? Van egy val\u00f3s t\u00f6rt\u00e9net egy szentp\u00e9terv\u00e1ri kvant\u00e1r\u00f3l (azaz p\u00e9nz\u00fcgyi kvantitat\u00edv elemz\u0151r\u0151l \u00e9s fejleszt\u0151r\u0151l), aki egy olyan sz\u00e1m\u00edt\u00e1si klasztert birtokolt, amelynek teljes kapacit\u00e1s\u00e1t csak \u0151 tudja kihaszn\u00e1lni. Mit tenn\u00e9l, ha olyan er\u0151forr\u00e1sokra tenn\u00e9l szert, amelyek t\u00f6bbsz\u00f6r\u00f6sei annak, amivel most rendelkezel?<\/p>\n

<\/p>\n

Akkora n\u00e9pszer\u0171s\u00e9g miatt a teljes\u00edtm\u00e9ny \u00e9s a hat\u00e9kony sz\u00e1m\u00edt\u00e1sok t\u00e9m\u00e1ja a konferenci\u00e1k programj\u00e1ban terjed. H\u00e1ny el\u0151ad\u00e1st lehet tartani a teljes\u00edtm\u00e9nyr\u0151l k\u00e9t napon \u00e1t \u2014 egy harmadot, k\u00e9t harmadot? N\u00e9h\u00e1ny helyen mesters\u00e9ges korl\u00e1toz\u00e1sok vannak, amelyek g\u00e1tolj\u00e1k a t\u00e9ma b\u0151v\u00fcl\u00e9s\u00e9t: a teljes\u00edtm\u00e9ny mellett mindig van helye \u00faj webkeretrendszereknek, valamilyen DevOps-nak vagy architektur\u00e1lis \u0171rrep\u00fcl\u0151g\u00e9pnek. Nem, teljes\u00edtm\u00e9ny, nem fogod megenni az \u00f6sszes\u00fcnket!<\/p>\n

<\/p>\n

Lehetne a m\u00e1sik ir\u00e1nyba is menni, feladni, \u00e9s tisztess\u00e9gesen megtartani a konferenci\u00e1t, amely teljes eg\u00e9sz\u00e9ben a kiosztott sz\u00e1m\u00edt\u00e1sokkal foglalkozik, \u00e9s csak azokkal. \u00c9s \u00edme, a H\u00eddra.<\/p>\n

<\/p>\n

Legy\u00fcnk \u0151szint\u00e9k, hogy napjainkban minden sz\u00e1m\u00edt\u00e1s valamilyen form\u00e1ban kiosztott. Legyen az t\u00f6bbmagos g\u00e9p, sz\u00e1m\u00edt\u00e1si klaszter vagy nagy l\u00e9pt\u00e9k\u0171 kiosztott szolg\u00e1ltat\u00e1s \u2014 mindenhol sz\u00e1mos folyamat fut p\u00e1rhuzamosan, f\u00fcggetlen sz\u00e1m\u00edt\u00e1sokat v\u00e9gezve, szinkroniz\u00e1lva egym\u00e1ssal. Arr\u00f3l, hogyan van ez elm\u00e9letben \u00e9s hogyan m\u0171k\u00f6dik a gyakorlatban, a Hydra fog sz\u00f3lni.<\/p>\n

<\/p>\n

A konferencia programja<\/h1>\n

<\/p>\n

A program jelenleg kialak\u00edt\u00e1s alatt \u00e1ll. Olyan el\u0151ad\u00e1soknak kell helyet adniuk, amelyek kiosztott rendszerek elm\u00e9let\u00e9vel foglalkoz\u00f3 megalapoz\u00f3kt\u00f3l \u00e9s azok gyakorlatban dolgoz\u00f3 m\u00e9rn\u00f6keit\u0151l sz\u00e1rmaznak.<\/p>\n

<\/p>\n

P\u00e9ld\u00e1ul m\u00e1r most ismert Leslie Lamport r\u00e9szv\u00e9tele a Microsoft Research-t\u0151l \u00e9s Maurice Herlihy a Brown Egyetemr\u0151l. <\/p>\n

<\/p>\n

\"A Maurice Herlihy<\/strong> \u2014 nagyon ismert \u00e9s megbecs\u00fclt Computer Science professzor, r\u00f3la is van Wiki oldal<\/a><\/noindex>, ahol v\u00e9gign\u00e9zheti a linkeket \u00e9s munk\u00e1kat. Ott \u00e9szreveheti, hogy k\u00e9t Dijkstra-d\u00edjat is kapott, az els\u0151t a \u201eWait-Free Synchronization\u201d<\/a><\/noindex>c\u00edm\u0171 munk\u00e1\u00e9rt, \u00e9s a m\u00e1sodikat, ami frissebb \u2014 \u201eTransactional Memory: Architectural Support for Lock-Free Data Structures\u201d<\/a><\/noindex>. \u00c9rdekess\u00e9g, hogy a linkek nem is a SciHub-ra vezetnek, hanem a Brown Egyetemre \u00e9s a Virginia Tech Egyetemre, nyugodtan megnyithatja \u00e9s olvashatja \u0151ket.
\n<\/p>\n

<\/p>\n

Maurice egy \u201eBlockchains from a distributed computing perspective\u201d c\u00edm\u0171 keynote-t fog tartani. Ha \u00e9rdekes, megn\u00e9zheti Maurice el\u0151ad\u00e1s\u00e1t a Szentp\u00e9terv\u00e1ron megrendezett JUG-on. \u00c9rt\u00e9kelje, mennyire vil\u00e1gosan \u00e9s \u00e9rthet\u0151en adja \u00e1t a t\u00e9m\u00e1t.<\/p>\n

\n

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

\"AA m\u00e1sodik keynote-t a \u201eDual Data Structures\u201d c\u00edmmel Michael Scott<\/strong> fogja tartani a Rochester Egyetemr\u0151l. \u00c9s tal\u00e1lja ki mit \u2014 neki is van saj\u00e1t Wiki oldala<\/a><\/noindex>. Wisconsinban a Wisconsin-Madison Egyetem d\u00e9k\u00e1njak\u00e9nt ismert, m\u00edg a vil\u00e1gban \u0151 az, aki Doug Lea-val egy\u00fctt kifejlesztette azokat a nem blokkol\u00f3 algoritmusokat \u00e9s szinkroniz\u00e1l\u00f3 sorokat, amelyekre a Java k\u00f6nyvt\u00e1rak m\u0171k\u00f6dnek. A Dijkstra-d\u00edj\u00e1t h\u00e1rom \u00e9vvel Herlihy ut\u00e1n kapta, a \"Algorithms for scalable synchronization on shared-memory multiprocessors\" (ahogy kell, ez ny\u00edltan el\u00e9rhet\u0151<\/a><\/noindex> a Rochesteri Egyetem online k\u00f6nyvt\u00e1r\u00e1ban).
\n<\/p>\n

<\/p>\n

J\u00falius k\u00f6zep\u00e9ig m\u00e9g sok id\u0151 van h\u00e1tra. A tov\u00e1bbi el\u0151ad\u00f3kr\u00f3l \u00e9s t\u00e9m\u00e1ikr\u00f3l akkor fogunk besz\u00e9lni, amikor a program v\u00e9gleges\u00edt\u00e9se \u00e9s j\u00faliushoz k\u00f6zel\u00edt\u00e9s megt\u00f6rt\u00e9nik. <\/p>\n

<\/p>\n

Val\u00f3j\u00e1ban felmer\u00fcl a k\u00e9rd\u00e9s, hogy mi\u00e9rt csin\u00e1ljuk a Hidra-t ny\u00e1ron? Hiszen ez a holtid\u00e9ny, szabads\u00e1gok ideje. A probl\u00e9ma az, hogy az el\u0151ad\u00f3k k\u00f6z\u00f6tt vannak egyetemi tan\u00e1rok, \u00e9s b\u00e1rmikor m\u00e1shol elfoglaltak. Egyszer\u0171en nem tudtunk m\u00e1s id\u0151pontokat v\u00e1lasztani.<\/p>\n

<\/p>\n

Vitak\u00f6r\u00f6k<\/h1>\n

<\/p>\n

M\u00e1s konferenci\u00e1kon el\u0151fordul, hogy az el\u0151ad\u00f3 elmondja, amit kell, \u00e9s azonnal t\u00e1vozik. A r\u00e9sztvev\u0151knek m\u00e9g idej\u00fck sincs megkeresni \u0151t \u2013hiszen szinte megszak\u00edt\u00e1s n\u00e9lk\u00fcl kezd\u0151dik a k\u00f6vetkez\u0151 el\u0151ad\u00e1s. Ez nagyon f\u00e1j\u00f3, k\u00fcl\u00f6n\u00f6sen, ha olyan fontos emberek vannak jelen, mint Lamport, Herlihy \u00e9s Scott, \u00e9s val\u00f3j\u00e1ban az\u00e9rt m\u00e9sz a konferenci\u00e1ra, hogy tal\u00e1lkozz vel\u00fck \u00e9s megbesz\u00e9lj valamit. <\/p>\n

<\/p>\n

N\u00e1lunk ezt a probl\u00e9m\u00e1t megoldottuk. K\u00f6zvetlen\u00fcl az el\u0151ad\u00e1sa ut\u00e1n az el\u0151ad\u00f3 egy k\u00fcl\u00f6n vitak\u00f6rbe megy, amely legal\u00e1bb egy t\u00e1bl\u00e1val van felszerelve, \u00e9s elegend\u0151 id\u0151 \u00e1ll rendelkez\u00e9sre. Form\u00e1lisan az el\u0151ad\u00f3 meg\u00edg\u00e9ri, hogy legal\u00e1bb az \u00f6sszes sz\u00fcnet id\u0151tartama alatt ott lesz. A val\u00f3s\u00e1gban ezek a vitak\u00f6r\u00f6k lehet<\/em> \u00f3r\u00e1kig tarthatnak (az el\u0151ad\u00f3 kedv\u00e9t\u0151l \u00e9s \u00e1ll\u00f3k\u00e9pess\u00e9g\u00e9t\u0151l f\u00fcgg). <\/p>\n

<\/p>\n

Ami Lamportot illeti, ha j\u00f3l \u00e9rtettem, min\u00e9l t\u00f6bb embernek szeretn\u00e9 bebizony\u00edtani, hogy TLA+<\/a><\/noindex> \u2014 ez egy j\u00f3 dolog. (A TLA+ cikk a Wikip\u00e9di\u00e1n<\/a><\/noindex>). Lehet, hogy ez j\u00f3 lehet\u0151s\u00e9g lesz a m\u00e9rn\u00f6k\u00f6k sz\u00e1m\u00e1ra, hogy valami \u00fajat \u00e9s hasznosat tanuljanak. Leslie azt javasolja, hogy aki \u00e9rdekl\u0151dik, n\u00e9zze meg a kor\u00e1bbi el\u0151ad\u00e1sait, \u00e9s j\u00f6jj\u00f6n k\u00e9rd\u00e9sekkel. Teh\u00e1t a keynote helyett egyfajta szakmai k\u00e9rdezz-felelek szekci\u00f3 lehet, \u00e9s ut\u00e1na m\u00e9g egy vitak\u00f6r is. Egy kicsit r\u00e1kerestem, \u00e9s tal\u00e1ltam egy nagyszer\u0171 kurzust TLA+-r\u00f3l<\/a><\/noindex> (hivatalosan megosztva YouTube lej\u00e1tsz\u00e1si list\u00e1val<\/a><\/noindex>) \u00e9s egy \u00f3r\u00e1s el\u0151ad\u00e1st \u201eThinking Above the Code\u201d<\/a><\/noindex> a Microsoft Faculty Summit-on.<\/p>\n

<\/p>\n

Ha eddig ezeket az embereket a Wikip\u00e9di\u00e1n \u00e9s k\u00f6nyvbor\u00edt\u00f3kon k\u0151be v\u00e9sett nevekk\u00e9nt n\u00e9zted \u2013 most van itt az id\u0151, hogy \u00e9l\u0151ben tal\u00e1lkozz vel\u00fck! Besz\u00e9lgess vel\u00fck \u00e9s tedd fel azokat a k\u00e9rd\u00e9seket, amelyekre a tudom\u00e1nyos cikkek oldala nem ad v\u00e1laszt, de szerz\u0151ik sz\u00edvesen kapcsolatba l\u00e9pnek.<\/p>\n

<\/p>\n

Papers beny\u00fajt\u00e1sa<\/h1>\n

<\/p>\n

Nem titok, hogy sokan k\u00f6z\u00fcl\u00fck, akik most olvass\u00e1k a cikket, maguk is sz\u00edvesen mondan\u00e1nak valami el\u00e9g \u00e9rdekeset. M\u00e9rn\u00f6ki szempontb\u00f3l, tudom\u00e1nyosan \u2013 b\u00e1rmilyen t\u00e9ren. A disztrib\u00faci\u00f3nak sz\u00e9les \u00e9s m\u00e9ly t\u00e9m\u00e1ja van, ahol mindenki sz\u00e1m\u00e1ra van hely.<\/p>\n

<\/p>\n

Ha szeretn\u00e9l Lamport mellett el\u0151adni, az teljesen lehets\u00e9ges. Ahhoz, hogy el\u0151ad\u00f3 lehess, sz\u00fcks\u00e9ges k\u00f6vesd a linket<\/a><\/noindex><\/strong>, figyelmesen olvassa el \u00e9s cselekedjen az utas\u00edt\u00e1sok szerint. <\/p>\n

<\/p>\n

Legyen nyugodt, amint csatlakozik a folyamathoz, seg\u00edteni fognak. A programbizotts\u00e1g elegend\u0151 k\u00e9pess\u00e9ggel rendelkezik, hogy seg\u00edtsen a besz\u00e1mol\u00f3val, annak tartalm\u00e1val \u00e9s form\u00e1z\u00e1s\u00e1val kapcsolatban. A koordin\u00e1tor seg\u00edt eligibilit\u00e1si \u00e9s egy\u00e9b szervez\u00e9si k\u00e9rd\u00e9sekben. <\/p>\n

<\/p>\n

K\u00fcl\u00f6n\u00f6s figyelmet ford\u00edtson a d\u00e1tumokat jel\u00f6l\u0151 k\u00e9pre. J\u00falius egy el\u00e9g t\u00e1voli d\u00e1tum a r\u00e9sztvev\u0151k sz\u00e1m\u00e1ra, a besz\u00e9l\u0151nek azonban m\u00e1r most cselekednie kell. <\/p>\n

<\/p>\n

\"A<\/p>\n

<\/p>\n

SPTDC Iskola<\/h1>\n

<\/p>\n

A konferencia az SPTDC iskol\u00e1val egy helysz\u00ednen zajlik, ez\u00e9rt mindazok, akik iskolai jegyet v\u00e1s\u00e1rolnak, konferencia-jegyeket kapnak 20%-os kedvezm\u00e9nnyel<\/strong>.<\/p>\n

<\/p>\n

Ny\u00e1ri Iskola a Megosztott Sz\u00e1m\u00edt\u00e1s Elm\u00e9let\u00e9r\u0151l \u00e9s Gyakorlat\u00e1r\u00f3l (SPTDC)<\/a><\/noindex> \u2014 olyan iskola, ktor\u00e1 sz\u00e9lesk\u00f6r\u0171 kurzusokat k\u00edn\u00e1l a megosztott rendszerek gyakorlati \u00e9s elm\u00e9leti aspektusair\u00f3l, amelyeket elismert szakemberek vezetnek a megfelel\u0151 ter\u00fcleten.<\/p>\n

<\/p>\n

Az iskola angol nyelven zajlik, ez\u00e9rt \u00edgy n\u00e9z ki a t\u00e1rgyalt t\u00e9m\u00e1k list\u00e1ja:<\/p>\n

<\/p>\n