{"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\/pl\/blog\/administrirovanie\/osnovopolozhniki-teorii-raspredelennyh-sistem-v-obyatyah-gidry","title":{"rendered":"Fundamentali\u015bci teorii system\u00f3w rozproszonych w obj\u0119ciach hydry","gt_translate_keys":[{"key":"rendered","format":"text"}]},"content":{"rendered":"

\"Fundamentali\u015bciTo Leslie Lamport<\/strong> \u2014 autor fundamentalnych prac w obliczeniach rozproszonych, a by\u0107 mo\u017ce znasz go r\u00f3wnie\u017c z liter La w s\u0142owie La<\/b>TeX \u2014 \u201eLamport TeX\u201d. To on po raz pierwszy, jeszcze w 1979 roku, wprowadzi\u0142 poj\u0119cie sp\u00f3jno\u015bci sekwencyjnej<\/a><\/noindex>, a jego artyku\u0142 \u201eHow to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs\u201d<\/a><\/noindex> otrzyma\u0142a nagrod\u0119 Dijkstra (dok\u0142adniej, w 2000 roku nagroda nosi\u0142a star\u0105 nazw\u0119: \u201ePODC Influential Paper Award\u201d). Jest o nim artyku\u0142 w Wikipedii<\/a><\/noindex>, gdzie mo\u017cna znale\u017a\u0107 jeszcze kilka interesuj\u0105cych link\u00f3w. Je\u015bli ekscytujesz si\u0119 rozwi\u0105zywaniem problem\u00f3w na temat happens-before lub problem\u00f3w genera\u0142\u00f3w bizantyjskich<\/a><\/noindex> (BFT), powiniene\u015b wiedzie\u0107, \u017ce za tym wszystkim stoi Lamport.
\n<\/p>\n

<\/p>\n

A on wkr\u00f3tce przyjedzie na nasz\u0105 now\u0105 konferencj\u0119 o obliczeniach rozproszonych \u2014 Hydra, kt\u00f3ra odb\u0119dzie si\u0119 11-12 lipca w Petersburgu. Zobaczmy, kim jest.<\/p>\n

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

Hydra 2019<\/h1>\n

<\/p>\n

Tematy zwi\u0105zane z wielow\u0105tkowo\u015bci\u0105 s\u0105 jednymi z najpopularniejszych na naszych konferencjach, zawsze takie by\u0142y. Dopiero co ta sala by\u0142a pusta, a oto na scenie pojawia si\u0119 cz\u0142owiek, opowiadaj\u0105cy o modelu pami\u0119ci, happens-before lub wielow\u0105tkowym zbieraniu \u015bmieci \u2014 i bum! \u2014 ju\u017c blisko tysi\u0105c os\u00f3b zajmuje wszystkie dost\u0119pne miejsca, aby usi\u0105\u015b\u0107 i uwa\u017cnie s\u0142ucha\u0107. Jaki jest sekret tego sukcesu? Mo\u017ce to, \u017ce wszyscy mamy jakie\u015b urz\u0105dzenie, zdolne do organizacji oblicze\u0144 rozproszonych? A mo\u017ce to, \u017ce pod\u015bwiadomie rozumiemy swoj\u0105 niezdolno\u015b\u0107 do w\u0142a\u015bciwego wykorzystania jego potencja\u0142u? Jest prawdziwa historia jednego kwanta z Petersburga (czyli analityka ilo\u015bciowego i programisty), kt\u00f3ry mia\u0142 na r\u0119kach klaster obliczeniowy, kt\u00f3rego pe\u0142n\u0105 moc\u0105 mo\u017ce dysponowa\u0107 tylko on. Co by\u015b zrobi\u0142, zdobywaj\u0105c do realizacji swoich zada\u0144 moce wielokrotnie wi\u0119ksze ni\u017c teraz?<\/p>\n

<\/p>\n

Dzi\u0119ki tej popularno\u015bci temat wydajno\u015bci i efektywnych oblicze\u0144 ma tendencj\u0119 do rozprzestrzeniania si\u0119 w programie konferencji. Ile z dw\u00f3ch dni prezentacji mo\u017cna po\u015bwi\u0119ci\u0107 na wydajno\u015b\u0107 \u2014 jedn\u0105 trzeci\u0105, dwie trzecie? Gdzie indziej istniej\u0105 sztuczne ograniczenia, kt\u00f3re ograniczaj\u0105 ten wzrost: opr\u00f3cz wydajno\u015bci musi by\u0107 tak\u017ce miejsce na nowe frameworki internetowe, na jakiego\u015b devopsa lub architektoniczne astronautyki. Nie, wydajno\u015b\u0107, nie zjesz nas wszystkich w ca\u0142o\u015bci!<\/p>\n

<\/p>\n

Mo\u017cna p\u00f3j\u015b\u0107 przeciwn\u0105 drog\u0105, zrezygnowa\u0107 i uczciwie zorganizowa\u0107 konferencj\u0119, kt\u00f3ra b\u0119dzie ca\u0142kowicie po\u015bwi\u0119cona obliczeniom rozproszonym i tylko im. I oto ona, Hydra.<\/p>\n

<\/p>\n

Przyznajmy szczerze, \u017ce na dzie\u0144 dzisiejszy wszystkie obliczenia w mniejszym lub wi\u0119kszym stopniu s\u0105 rozproszone. Czy to wielordzeniowa maszyna, klaster obliczeniowy, czy rozproszona us\u0142uga o du\u017cej skali \u2014 wsz\u0119dzie wyst\u0119puje wiele proces\u00f3w, kt\u00f3re r\u00f3wnolegle wykonuj\u0105 niezale\u017cne obliczenia, synchronizuj\u0105c si\u0119 nawzajem. Temu, jak to dzia\u0142a w teorii i praktyce, po\u015bwi\u0119cona b\u0119dzie Hydra.<\/p>\n

<\/p>\n

Program konferencji<\/h1>\n

<\/p>\n

Program jest obecnie w fazie tworzenia. Powinny si\u0119 w nim znale\u017a\u0107 prezentacje od tw\u00f3rc\u00f3w teorii system\u00f3w rozproszonych oraz in\u017cynier\u00f3w, kt\u00f3rzy z nimi pracuj\u0105 w praktyce.<\/p>\n

<\/p>\n

Na przyk\u0142ad ju\u017c teraz wiadomo o udziale Leslie Lamporta z Microsoft Research i Maurice'a Herlihy'ego z Uniwersytetu Browna. <\/p>\n

<\/p>\n

\"Fundamentali\u015bci Maurice Herlihy<\/strong> \u2014 bardzo znany i ceniony profesor informatyki, o kt\u00f3rym tak\u017ce jest strona w Wikipedii<\/a><\/noindex>, gdzie mo\u017cna szybko przejrze\u0107 linki i prace. Mo\u017cna zauwa\u017cy\u0107 ca\u0142e dwie nagrody Dijkstry, pierwsza \u2014 za prac\u0119 nad \u201eSynchronizacja bez blokowania\u201d<\/a><\/noindex>, a druga, znacznie nowsza \u2014 \u201ePami\u0119\u0107 transakcyjna: wsparcie architektoniczne dla struktur danych bez blokad\u201d<\/a><\/noindex>. Tak nawiasem m\u00f3wi\u0105c, linki prowadz\u0105 nawet nie na SciHub, lecz na Uniwersytet Brown i Uniwersytet Virginia Tech, mo\u017cna je otwiera\u0107 i czyta\u0107.
\n<\/p>\n

<\/p>\n

Maurice zamierza wyg\u0142osi\u0107 prezentacj\u0119 zatytu\u0142owan\u0105 \u201eBlockchainy z perspektywy oblicze\u0144 rozproszonych\u201d. Je\u015bli to interesuj\u0105ce, mo\u017cna zerkn\u0105\u0107 na nagranie prezentacji Maurice'a z piotrowskiego JUG. Oce\u0144cie, jak jasno i zrozumiale przedstawia temat.<\/p>\n

\n

\r\n \"Odtwarzaj\r\n
<\/div>\r\n <\/div><\/center><\/p>\n

\"Fundamentali\u015bciDrug\u0105 prezentacj\u0119 zatytu\u0142owan\u0105 \u201ePodw\u00f3jne struktury danych\u201d poprowadzi Michael Scott<\/strong> z Uniwersytetu w Rochester. I zgadnijcie co \u2014 on tak\u017ce ma swoj\u0105 stron\u0119 na Wikipedii<\/a><\/noindex>. W Wisconsin jest znany jako dziekan na Uniwersytecie Wisconsin-Madison, a na \u015bwiecie \u2014 to osoba, kt\u00f3ra wsp\u00f3lnie z Doug Le\u0105 opracowa\u0142a te nieblokuj\u0105ce algorytmy i asynchroniczne kolejki, na kt\u00f3rych dzia\u0142aj\u0105 biblioteki Java. Swoj\u0105 nagrod\u0119 Dijkstry otrzyma\u0142 trzy lata po Herlihim, za prac\u0119 \u201eAlgorytmy dla skalowalnej synchronizacji na wsp\u00f3\u0142dzielonych procesorach wieloprocesorowych\u201d (jak to bywa, jest dost\u0119pna<\/a><\/noindex> w bibliotece online Uniwersytetu Rochester).
\n<\/p>\n

<\/p>\n

Do po\u0142owy lipca jest jeszcze du\u017co czasu. O pozosta\u0142ych prelegentach i ich tematach b\u0119dziemy informowa\u0107 w miar\u0119 ustalania programu i zbli\u017cania si\u0119 do lipca. <\/p>\n

<\/p>\n

Pytanie brzmi, dlaczego robimy Gidra latem? To martwy sezon, czas urlop\u00f3w. Problem polega na tym, \u017ce w\u015br\u00f3d prelegent\u00f3w s\u0105 wyk\u0142adowcy uniwersyteccy, a w innym czasie s\u0105 zaj\u0119ci. Po prostu nie mogli\u015bmy wybra\u0107 innych dat.<\/p>\n

<\/p>\n

Strefy dyskusyjne<\/h1>\n

<\/p>\n

Na innych konferencjach cz\u0119sto bywa tak, \u017ce prelegent wyg\u0142asza swoje wyst\u0105pienie i natychmiast znika. U uczestnik\u00f3w nie ma nawet czasu, \u017ceby go szuka\u0107 \u2013 niemal bez przerwy zaczyna si\u0119 nast\u0119pne wyst\u0105pienie. To jest bardzo bolesne, zw\u0142aszcza gdy s\u0105 na sali tak wa\u017cne osoby jak Lamport, Herlihy i Scott, a przychodzisz na konferencj\u0119 tylko po to, aby si\u0119 z nimi spotka\u0107 i co\u015b om\u00f3wi\u0107. <\/p>\n

<\/p>\n

U nas ten problem jest rozwi\u0105zany. Tu\u017c po swoim wyst\u0105pieniu prelegent udaje si\u0119 do specjalnej strefy dyskusyjnej, przynajmniej wyposa\u017conej w tablic\u0119 z markerami, i masz do dyspozycji ca\u0142kiem sporo czasu. Formalnie prelegent obiecuje pozosta\u0107 tam przynajmniej przez ca\u0142y czas przerwy mi\u0119dzy wyk\u0142adami. W rzeczywisto\u015bci te strefy dyskusyjne mo\u017ce<\/em> mog\u0105 si\u0119 wyd\u0142u\u017ca\u0107 godzinami (zale\u017cy od ch\u0119ci i wytrzyma\u0142o\u015bci prelegenta). <\/p>\n

<\/p>\n

Je\u015bli chodzi o Lamporta, je\u015bli dobrze zrozumia\u0142em, chce on jak najwi\u0119cej os\u00f3b przekona\u0107, \u017ce TLA+<\/a><\/noindex> \u2014 to dobra rzecz. (Artyku\u0142 o TLA+ na Wikipedii<\/a><\/noindex>). Mo\u017ce to by\u0107 \u015bwietna okazja dla in\u017cynier\u00f3w, aby dowiedzie\u0107 si\u0119 czego\u015b nowego i przydatnego. Leslie proponuje taki wariant \u2014 kto jest zainteresowany, mo\u017ce obejrze\u0107 jego wcze\u015bniejsze wyk\u0142ady i przyj\u015b\u0107 z pytaniami. To znaczy, zamiast Keynote mog\u0142aby by\u0107 specjalna sesja Q&A, a potem jeszcze strefa dyskusyjna. Troch\u0119 poszuka\u0142em i znalaz\u0142em \u015bwietny kurs dotycz\u0105cy TLA+<\/a><\/noindex> (oficjalnie zduplikowany playlist\u0105 na YouTube<\/a><\/noindex>) i godzinny wyk\u0142ad \u201eThinking Above the Code\u201d<\/a><\/noindex> z Microsoft Faculty Summit.<\/p>\n

<\/p>\n

Je\u015bli postrzega\u0142e\u015b tych ludzi jako odlane w granicie nazwiska z Wikipedii i z ok\u0142adek ksi\u0105\u017cek \u2014 to najlepszy moment, aby spotka\u0107 ich na \u017cywo! Porozmawia\u0107 i zada\u0107 pytania, na kt\u00f3re nie odpowiedz\u0105 strony artyku\u0142\u00f3w naukowych, ale kt\u00f3rych autorzy z rado\u015bci\u0105 b\u0119d\u0105 chcieli nawi\u0105za\u0107 kontakt.<\/p>\n

<\/p>\n

Call for Papers<\/h1>\n

<\/p>\n

Nie jest tajemnic\u0105, \u017ce wielu z tych, kt\u00f3rzy teraz czytaj\u0105 ten artyku\u0142, samych nie obchodzi, aby opowiedzie\u0107 co\u015b wystarczaj\u0105co interesuj\u0105cego. Z in\u017cynieryjnego punktu widzenia, z naukowego \u2014 z jakiegokolwiek. Rozproszone obliczenia to bardzo szeroki i g\u0142\u0119boki temat, w kt\u00f3rym jest miejsce dla wszystkich.<\/p>\n

<\/p>\n

Je\u015bli chcesz wyst\u0105pi\u0107 obok Lamporta, jest to jak najbardziej mo\u017cliwe. Aby zosta\u0107 prelegentem, nale\u017cy przejd\u017a do linku<\/a><\/noindex><\/strong>, dok\u0142adnie przeczyta\u0107 i post\u0119powa\u0107 zgodnie z instrukcjami. <\/p>\n

<\/p>\n

Prosz\u0119 by\u0107 spokojnym, gdy tylko wejdziecie w proces, otrzymacie pomoc. Komitet programowy ma wystarczaj\u0105ce mo\u017cliwo\u015bci, aby wesprze\u0107 was w samej prezentacji, jej tre\u015bci i formacie. Koordynator pomo\u017ce w sprawach organizacyjnych i nie tylko. <\/p>\n

<\/p>\n

Szczeg\u00f3ln\u0105 uwag\u0119 zwr\u00f3\u0107cie na obrazek z datami. Lipiec to do\u015b\u0107 odleg\u0142a data dla uczestnika, a m\u00f3wca musi zacz\u0105\u0107 dzia\u0142a\u0107 ju\u017c teraz. <\/p>\n

<\/p>\n

\"Fundamentali\u015bci<\/p>\n

<\/p>\n

Szko\u0142a SPTDC<\/h1>\n

<\/p>\n

Konferencja odb\u0119dzie si\u0119 w tym samym miejscu co szko\u0142a SPTDC, wi\u0119c dla wszystkich, kt\u00f3rzy kupi\u0105 bilet na szko\u0142\u0119, bilety na konferencj\u0119 \u2014 z 20% zni\u017ck\u0105<\/strong>.<\/p>\n

<\/p>\n

Letnia Szko\u0142a Praktyki i Teorii Oblicze\u0144 Rozproszonych (SPTDC)<\/a><\/noindex> to szko\u0142a oferuj\u0105ca szeroki zakres kurs\u00f3w dotycz\u0105cych praktycznych i teoretycznych aspekt\u00f3w system\u00f3w rozproszonych, prowadzone przez uznanych specjalist\u00f3w w danej dziedzinie.<\/p>\n

<\/p>\n

Szko\u0142a b\u0119dzie prowadzona w j\u0119zyku angielskim, oto jak wygl\u0105da lista poruszanych temat\u00f3w:<\/p>\n

<\/p>\n