To Leslie Lamport — autor fundamentalnych prac w obliczeniach rozproszonych, a być może znasz go również z liter La w słowie LaTeX — „Lamport TeX”. To on po raz pierwszy, jeszcze w 1979 roku, wprowadził pojęcie , a jego artykuł otrzymała nagrodę Dijkstra (dokładniej, w 2000 roku nagroda nosiła starą nazwę: „PODC Influential Paper Award”). Jest o nim , gdzie można znaleźć jeszcze kilka interesujących linków. Jeśli ekscytujesz się rozwiązywaniem problemów na temat happens-before lub (BFT), powinieneś wiedzieć, że za tym wszystkim stoi Lamport.
A on wkrótce przyjedzie na naszą nową konferencję o obliczeniach rozproszonych — Hydra, która odbędzie się 11-12 lipca w Petersburgu. Zobaczmy, kim jest.
Hydra 2019
Tematy związane z wielowątkowością są jednymi z najpopularniejszych na naszych konferencjach, zawsze takie były. Dopiero co ta sala była pusta, a oto na scenie pojawia się człowiek, opowiadający o modelu pamięci, happens-before lub wielowątkowym zbieraniu śmieci — i bum! — już blisko tysiąc osób zajmuje wszystkie dostępne miejsca, aby usiąść i uważnie słuchać. Jaki jest sekret tego sukcesu? Może to, że wszyscy mamy jakieś urządzenie, zdolne do organizacji obliczeń rozproszonych? A może to, że podświadomie rozumiemy swoją niezdolność do właściwego wykorzystania jego potencjału? Jest prawdziwa historia jednego kwanta z Petersburga (czyli analityka ilościowego i programisty), który miał na rękach klaster obliczeniowy, którego pełną mocą może dysponować tylko on. Co byś zrobił, zdobywając do realizacji swoich zadań moce wielokrotnie większe niż teraz?
Dzięki tej popularności temat wydajności i efektywnych obliczeń ma tendencję do rozprzestrzeniania się w programie konferencji. Ile z dwóch dni prezentacji można poświęcić na wydajność — jedną trzecią, dwie trzecie? Gdzie indziej istnieją sztuczne ograniczenia, które ograniczają ten wzrost: oprócz wydajności musi być także miejsce na nowe frameworki internetowe, na jakiegoś devopsa lub architektoniczne astronautyki. Nie, wydajność, nie zjesz nas wszystkich w całości!
Można pójść przeciwną drogą, zrezygnować i uczciwie zorganizować konferencję, która będzie całkowicie poświęcona obliczeniom rozproszonym i tylko im. I oto ona, Hydra.
Przyznajmy szczerze, że na dzień dzisiejszy wszystkie obliczenia w mniejszym lub większym stopniu są rozproszone. Czy to wielordzeniowa maszyna, klaster obliczeniowy, czy rozproszona usługa o dużej skali — wszędzie występuje wiele procesów, które równolegle wykonują niezależne obliczenia, synchronizując się nawzajem. Temu, jak to działa w teorii i praktyce, poświęcona będzie Hydra.
Program konferencji
Program jest obecnie w fazie tworzenia. Powinny się w nim znaleźć prezentacje od twórców teorii systemów rozproszonych oraz inżynierów, którzy z nimi pracują w praktyce.
Na przykład już teraz wiadomo o udziale Leslie Lamporta z Microsoft Research i Maurice'a Herlihy'ego z Uniwersytetu Browna.
Maurice Herlihy — bardzo znany i ceniony profesor informatyki, o którym także jest , gdzie można szybko przejrzeć linki i prace. Można zauważyć całe dwie nagrody Dijkstry, pierwsza — za pracę nad , a druga, znacznie nowsza — . Tak nawiasem mówiąc, linki prowadzą nawet nie na SciHub, lecz na Uniwersytet Brown i Uniwersytet Virginia Tech, można je otwierać i czytać.
Maurice zamierza wygłosić prezentację zatytułowaną „Blockchainy z perspektywy obliczeń rozproszonych”. Jeśli to interesujące, można zerknąć na nagranie prezentacji Maurice'a z piotrowskiego JUG. Oceńcie, jak jasno i zrozumiale przedstawia temat.
Drugą prezentację zatytułowaną „Podwójne struktury danych” poprowadzi Michael Scott z Uniwersytetu w Rochester. I zgadnijcie co — on także ma swoją . W Wisconsin jest znany jako dziekan na Uniwersytecie Wisconsin-Madison, a na świecie — to osoba, która wspólnie z Doug Leą opracowała te nieblokujące algorytmy i asynchroniczne kolejki, na których działają biblioteki Java. Swoją nagrodę Dijkstry otrzymał trzy lata po Herlihim, za pracę „Algorytmy dla skalowalnej synchronizacji na współdzielonych procesorach wieloprocesorowych” (jak to bywa, w bibliotece online Uniwersytetu Rochester).
Do połowy lipca jest jeszcze dużo czasu. O pozostałych prelegentach i ich tematach będziemy informować w miarę ustalania programu i zbliżania się do lipca.
Pytanie brzmi, dlaczego robimy Gidra latem? To martwy sezon, czas urlopów. Problem polega na tym, że wśród prelegentów są wykładowcy uniwersyteccy, a w innym czasie są zajęci. Po prostu nie mogliśmy wybrać innych dat.
Strefy dyskusyjne
Na innych konferencjach często bywa tak, że prelegent wygłasza swoje wystąpienie i natychmiast znika. U uczestników nie ma nawet czasu, żeby go szukać – niemal bez przerwy zaczyna się następne wystąpienie. To jest bardzo bolesne, zwłaszcza gdy są na sali tak ważne osoby jak Lamport, Herlihy i Scott, a przychodzisz na konferencję tylko po to, aby się z nimi spotkać i coś omówić.
U nas ten problem jest rozwiązany. Tuż po swoim wystąpieniu prelegent udaje się do specjalnej strefy dyskusyjnej, przynajmniej wyposażonej w tablicę z markerami, i masz do dyspozycji całkiem sporo czasu. Formalnie prelegent obiecuje pozostać tam przynajmniej przez cały czas przerwy między wykładami. W rzeczywistości te strefy dyskusyjne może mogą się wydłużać godzinami (zależy od chęci i wytrzymałości prelegenta).
Jeśli chodzi o Lamporta, jeśli dobrze zrozumiałem, chce on jak najwięcej osób przekonać, że — to dobra rzecz. (). Może to być świetna okazja dla inżynierów, aby dowiedzieć się czegoś nowego i przydatnego. Leslie proponuje taki wariant — kto jest zainteresowany, może obejrzeć jego wcześniejsze wykłady i przyjść z pytaniami. To znaczy, zamiast Keynote mogłaby być specjalna sesja Q&A, a potem jeszcze strefa dyskusyjna. Trochę poszukałem i znalazłem świetny (oficjalnie zduplikowany ) i godzinny wykład z Microsoft Faculty Summit.
Jeśli postrzegałeś tych ludzi jako odlane w granicie nazwiska z Wikipedii i z okładek książek — to najlepszy moment, aby spotkać ich na żywo! Porozmawiać i zadać pytania, na które nie odpowiedzą strony artykułów naukowych, ale których autorzy z radością będą chcieli nawiązać kontakt.
Call for Papers
Nie jest tajemnicą, że wielu z tych, którzy teraz czytają ten artykuł, samych nie obchodzi, aby opowiedzieć coś wystarczająco interesującego. Z inżynieryjnego punktu widzenia, z naukowego — z jakiegokolwiek. Rozproszone obliczenia to bardzo szeroki i głęboki temat, w którym jest miejsce dla wszystkich.
Jeśli chcesz wystąpić obok Lamporta, jest to jak najbardziej możliwe. Aby zostać prelegentem, należy , dokładnie przeczytać i postępować zgodnie z instrukcjami.
Proszę być spokojnym, gdy tylko wejdziecie w proces, otrzymacie pomoc. Komitet programowy ma wystarczające możliwości, aby wesprzeć was w samej prezentacji, jej treści i formacie. Koordynator pomoże w sprawach organizacyjnych i nie tylko.
Szczególną uwagę zwróćcie na obrazek z datami. Lipiec to dość odległa data dla uczestnika, a mówca musi zacząć działać już teraz.
Szkoła SPTDC
Konferencja odbędzie się w tym samym miejscu co szkoła SPTDC, więc dla wszystkich, którzy kupią bilet na szkołę, bilety na konferencję — z 20% zniżką.
to szkoła oferująca szeroki zakres kursów dotyczących praktycznych i teoretycznych aspektów systemów rozproszonych, prowadzone przez uznanych specjalistów w danej dziedzinie.
Szkoła będzie prowadzona w języku angielskim, oto jak wygląda lista poruszanych tematów:
- Współbieżne struktury danych: poprawność i efektywność;
- Algorytmy dla pamięci nieulotnej;
- Rozproszone obliczalności;
- Rozproszone uczenie maszynowe;
- Replikacja maszyn stanów i Paxos;
- Odporność na awarie bizantyjskie;
- Podstawy algorytmiczne blockchainów.
Oto mówcy:
- Leslie Lamport (Microsoft);
- Maurice Herlihy (Uniwersytet Browna);
- Michael Scott (Uniwersytet w Rochester);
- Dan Alistarh (IST Austria);
- Trevor Brown (Uniwersytet Waterloo);
- Eli Gafni (UCLA);
- Danny Hendler (Uniwersytet Ben Guriona);
- Achour Mostefaoui (Uniwersytet w Nantes).
z prezentacjami poprzedniej szkoły można swobodnie oglądać na YouTube:
Następne kroki
Program konferencji wciąż jest formowany. Śledźcie wiadomości na Habrze lub w mediach społecznościowych (, , ).
Jeśli naprawdę wierzycie w konferencję (lub chcecie skorzystać z wyjątkowej, promocyjnej ceny „Early Bird”) — możecie przejść na stronę i .
Do zobaczenia na Hydrze!
Źródło: habr.com
