{"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\/et\/blog\/administrirovanie\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","title":{"rendered":"Jaotajate teooria asutajad h\u00fcdra embuses","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"JaotajateSee on Leslie Lamport<\/strong> \u2014 seaduslike t\u00f6\u00f6de autor hajutatud arvutustes, ning v\u00f5ite teda samuti tunda s\u00f5na La t\u00e4hed La<\/b>TeX \u2014 \"Lamport TeX\". Just tema tutvustas esmakordselt 1979. aastal m\u00f5istet j\u00e4rjepidevast j\u00e4rjekorrast<\/a><\/noindex>, ning tema artikkel \u201eKuidas ehitada mitme protsessoriga arvutit, mis \u00f5igesti t\u00e4idab mitme protsessi programme\u201c<\/a><\/noindex> sai Dijkstra auhinna (t\u00f5epoolest, 2000. aastal nimetati auhind vanas nimekujus: \u201ePODC m\u00f5juka artikli auhind\u201c). Temast on artikkel Vikipeedias<\/a><\/noindex>, kust leiate veel m\u00f5ned huvitavad lingid. Kui olete elevil \u00fclesannete lahendamisest happens-before v\u00f5i Byzantine genereerijate probleemide<\/a><\/noindex> (BFT) \u00fcle, siis peaksite m\u00f5istma, et k\u00f5ik selle taga on Lamport.
\n<\/p>\n

<\/p>\n

Ja ta tuleb peagi meie uuele hajutatud arvutuste konverentsile \u2014 Hydra, mis toimub 11.-12. juulil Peterburis. Vaata, mis loom see on.<\/p>\n

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

Hydra 2019<\/h1>\n

<\/p>\n

Teemad nagu mitme pead (multithreading) on \u00fcks populaarsemaid meie konverentsidel, nii on see alati olnud. Just oli see saal t\u00fchi, kuid n\u00fc\u00fcd astub lavale inimene, r\u00e4\u00e4kides m\u00e4lumudelist, happens-before v\u00f5i mitmepealise pr\u00fcgikorjamise peale ja \u2014 bum! \u2014 juba tuhande inimesega t\u00e4idab kogu vabade kohtade alla, et istuda ja t\u00e4helepanelikult kuulata. Mis on selle edu saladus? V\u00f5ib-olla see, et k\u00f5igil meil on mingisugune riistvara, mis suudab korraldada hajutatud arvutusi? V\u00f5i on teadvuslikult arusaamatus oma v\u00f5imetusest koormata seda \u00f5iglaselt? On t\u00f5eline lugu \u00fchest Peterburi kvantist (st finantskvantitatiivne anal\u00fc\u00fctik ja arendaja), kellele sattus k\u00e4tte arvutusklaster, mille kogu v\u00f5imsust suudab kasutada ainult tema. Aga mida teeksite, kui saaksite oma \u00fclesannete t\u00e4itmiseks v\u00f5imsusi kordades rohkem kui teil praegu on?<\/p>\n

<\/p>\n

Kuna selline populaarsus, on j\u00f5udnud arutelu tulemuste ja t\u00f5husate arvutuste teema konverentside programmidesse. Kui palju kahest p\u00e4evast ettekandeid perfromansi kohta peaks olema - kolmandik, kaks kolmandikku? Kusagil on kunstlikud piirangud, mis piiravad seda kasvu: lisaks toimivusele peab j\u00e4\u00e4ma ruumi ka uutele veebiraamistikutele, m\u00f5ne arendusprotsessi v\u00f5i arhitektuuri astronautikale. Ei, efektiivsus, sa ei s\u00f6\u00f6 meid k\u00f5iki \u00e4ra!<\/p>\n

<\/p>\n

Aga v\u00f5ib minna vastupidist teed, alla anda ja teha ausalt konverents, mis keskendubainult hajutatud arvutustele. Ja siin ta on, Hydra.<\/p>\n

<\/p>\n

Olgem ausad, et t\u00e4nap\u00e4eva arvutused on paratamatult hajutatud. Olgu need mitme tuuma masinad, arvutir\u00fchmad v\u00f5i suured hajutatud teenused - igal pool on palju protsesse, mis teevad s\u00f5ltumatuid arvutusi paralleelselt, \u00fcksteisega s\u00fcnkroonituna. Selle teooria ja selle praktilise toimimise \u00fcle arutame Hydra konverentsil.<\/p>\n

<\/p>\n

Konverentsi programm<\/h1>\n

<\/p>\n

Programm on praegu koostamise faasis. See peaks sisaldama ettekandeid hajutatud s\u00fcsteemide teooriate rajajatelt ja inseneridelt, kes t\u00f6\u00f6tavad nendega praktikas.<\/p>\n

<\/p>\n

N\u00e4iteks on juba teada, et osaleb Leslie Lamport Microsoft Researchist ja Maurice Herlihy Brown Universityst. <\/p>\n

<\/p>\n

\"Jaotajate Maurice Herlihy<\/strong> on v\u00e4ga tuntud ja lugupeetud arvutiteaduse professor, kelle kohta on ka Wikipedia leht<\/a><\/noindex>, kus saad j\u00e4lgida linke ja t\u00f6id. Sealt v\u00f5id leida kaks Dijkstra auhinda, esimene - t\u00f6\u00f6 eest \u201eWait-Free Synchronization\u201d<\/a><\/noindex>, ja teine, uuem - \u201eTransactional Memory: Architectural Support for Lock-Free Data Structures\u201d<\/a><\/noindex>. Muide, lingid viivad mitte isegi SciHub'i, vaid Brown University ja Virginia Tech University, sealt saab avada ja lugeda.
\n<\/p>\n

<\/p>\n

Maurice kavatseb teha avak\u00f5ne pealkirjaga \u201eBlockchains from a distributed computing perspective\u201d. Kui huvitav, saad vaadata Maurice'i ettekande salvestust Peterburi JUG-ist. Hinda, kui selgelt ja arusaadavalt ta teemat edastab.<\/p>\n

\n

\r\n \"M\u00e4ngi\r\n
<\/div>\r\n <\/div><\/center><\/p>\n

\"JaotajateTeise avak\u00f5ne pealkirjaga \u201eDual Data Structures\u201d peab Michael Scott<\/strong> Rochesteri \u00dclikoolist. Ja \u00e4ra arva, tal on ka oma Wikipedia leht<\/a><\/noindex>Wisconsinis on tuntud oma t\u00f6\u00f6 eest Wisconsin-Madisoni \u00fclikooli dekaanina, samuti on ta inimene, kes koos Doug Leaga arendas v\u00e4lja need blokeerimata algoritmid ja s\u00fcnkroonsed j\u00e4rjestused, millel t\u00f6\u00f6tavad Java raamatukogud. Oma Dijkstra auhinna sai ta kolm aastat p\u00e4rast Herlihyt, teoste eest \"Algorithms for scalable synchronization on shared-memory multiprocessors\" (nagu ikka, see on vabalt saadaval<\/a><\/noindex> Rochesteri \u00dclikooli veebiraamatukogus).
\n<\/p>\n

<\/p>\n

Juuli keskpaigani on veel palju aega. Teiste ettekandjate ja nende teemade kohta r\u00e4\u00e4gime, kui programm t\u00e4psustub ja juuli l\u00e4henevad. <\/p>\n

<\/p>\n

Tegelikult tekib k\u00fcsimus \u2014 miks me teeme Hydra suviti? See on ju surnud hooaeg, puhkused. Probleem on selles, et esinejate seas on \u00fclikooli \u00f5ppej\u00f5ud, ning igal muul ajal on nad h\u00f5ivatud. Me ei saanud lihtsalt teisi kuup\u00e4evi valida.<\/p>\n

<\/p>\n

Arutelualad<\/h1>\n

<\/p>\n

Teistel konverentsidel juhtub tihti, et ettekandja loeb, mida on vaja, ja lahkub kohe. Osalejatel pole isegi aega teda otsida \u2014 j\u00e4rgmine ettekande algab peaaegu viivitamatult. See on v\u00e4ga valus, eriti kui kohal on sellised olulised inimesed nagu Lamport, Herlihy ja Scott, ja sa tegelikult tuled konverentsile ainult selleks, et nendega kohtuda ja midagi arutada. <\/p>\n

<\/p>\n

Meil on see probleem lahendatud. Vahetult p\u00e4rast oma ettekannet suundub esineja spetsiaalsesse arutelualasse, mis on varustatud v\u00e4hemalt markeritahvli ja piisavalt ajaga. Formaalselt lubab ettekandja viibida seal v\u00e4hemalt kogu vaheaja ettekannete vahel. Tegelikult v\u00f5ivad need arutelualad kasutada sama nime<\/em> kesta tunde (s\u00f5ltuvalt esineja soovist ja vastupidavusest). <\/p>\n

<\/p>\n

Mis puudutab Lamportit, siis kui ma \u00f5igesti aru sain, tahab ta v\u00f5imalikult palju inimesi veenda, et TLA+<\/a><\/noindex> on hea asi. (TLA+ artikkel Vikipeedias<\/a><\/noindex>). V\u00f5ib-olla on see hea v\u00f5imalus inseneridele midagi uut ja kasulikku teada saada. Leslie pakub sellist varianti \u2014 kes on sellest huvitatud, v\u00f5ib vaadata tema varasemaid loenguid ja tulla k\u00fcsimustega. See t\u00e4hendab, et pealavastuse asemel v\u00f5ib olla nagu spetsialiseeritud Q&A sessioon ning seej\u00e4rel veel aruteluala. Otsisin natuke ja leidsin suurep\u00e4rase TLA+ kursuse<\/a><\/noindex> (ametlikult dubleeritud YouTube'i esitlusloendiga<\/a><\/noindex>) ja tunni loengu \"Thinking Above the Code\"<\/a><\/noindex> Microsofti teaduskonna tippsummitis.<\/p>\n

<\/p>\n

Kui te olete neid k\u00f5iki inimesi k\u00e4sitanud kui Vikipeedia kivisse valatud nimesid ja raamatute kaanel - on aeg kohtuda nendega isiklikult! Suhelda ja esitada k\u00fcsimusi, millele teadusartiklite lehtedelt vastuseid ei saa, kuid nende autorid on valmis kontaktiks.<\/p>\n

<\/p>\n

Artiklite esitamine<\/h1>\n

<\/p>\n

Ei ole saladus, et paljud neist, kes praegu artiklit loevad, ei oleks pahased, kui nad saaksid r\u00e4\u00e4kida millestki piisavalt huvitavast. Inseneritehnilisest vaatenurgast, teaduslikust - igasugusest. Jagatud arvutused on v\u00e4ga lai ja s\u00fcgav teema, kus on koht k\u00f5igile.<\/p>\n

<\/p>\n

Kui soovid esineda koos Lamportiga, siis see on t\u00e4iesti v\u00f5imalik. Et saada ettekandjaks, tuleb mine lingile<\/a><\/noindex><\/strong>, lugeda seda hoolikalt ja toimida vastavalt juhistele. <\/p>\n

<\/p>\n

Olge rahulikud, kui te protsessi liitute, aitavad teid. Programmikomisjonil on piisavad v\u00f5imalused, et aidata ettekanne, selle sisu ja vormistamisel. Koordinaator aitab korralduslikke k\u00fcsimusi selgitada jne. <\/p>\n

<\/p>\n

P\u00f6\u00f6rake erilist t\u00e4helepanu kuup\u00e4evadele pildil. Juuli on osaleja jaoks \u00fcsna kauge kuup\u00e4ev ning ettekandjal tuleb alustada tegutsemist juba praegu. <\/p>\n

<\/p>\n

\"Jaotajate<\/p>\n

<\/p>\n

SPTDC kool<\/h1>\n

<\/p>\n

Konverents toimub samas kohas SPTDC kooliga, seega saavad k\u00f5ik, kes ostavad kooli piletid, konverentsi piletid - 20% allahindlusega.<\/strong>.<\/p>\n

<\/p>\n

Suvekool jagatud arvutamise praktika ja teooria (SPTDC)<\/a><\/noindex> on kool, mis pakub laia valikut kursusi, mis k\u00e4sitlevad jagatud s\u00fcsteemide praktilisi ja teoreetilisi aspekte, mida juhivad tunnustatud spetsialistid vastavas valdkonnas.<\/p>\n

<\/p>\n

Kool toimub ingliskeeles, seega n\u00e4eb arutlusele tulevate teemade nimekiri v\u00e4lja j\u00e4rgmine:<\/p>\n

<\/p>\n