To Leslie Lamport - autor fundamentalnych prac z zakresu przetwarzania rozproszonego, którego można poznać także po literach La w słowie LaTeX — „Lamport TeX”. To on po raz pierwszy, już w 1979 roku, wprowadził tę koncepcję spójna konsystencjai jego artykuł „Jak zrobić komputer wieloprocesorowy, który poprawnie wykonuje programy wieloprocesowe” otrzymał nagrodę Dijkstry (dokładniej w 2000 roku nagrodę nazywano po staremu: „PODC Influential Paper Award”). Jest o nim Artykuł w Wikipedii, gdzie można uzyskać więcej ciekawych linków. Jeśli jesteś podekscytowany rozwiązywaniem problemów na temat dzieje się przed lub problemy bizantyjskich generałów (BFT), muszą zrozumieć, że za tym wszystkim stoi Lamport.

A już niedługo zawita na naszą nową konferencję dotyczącą przetwarzania rozproszonego - Hydra, która odbędzie się w dniach 11-12 lipca w St. Petersburgu. Zobaczmy, co to za zwierzę.

Hydra 2019

Tematy takie jak wielowątkowość są jednymi z najgorętszych tematów na naszych konferencjach i zawsze były. Po prostu było pusto w tej sali, ale potem na scenie pojawia się osoba, która mówi o modelu pamięci, dzieje-przed lub wielowątkowym wyrzucaniu śmieci i - bum! - już niespełna tysiąc osób zajmuje całą dostępną przestrzeń, by usiąść i uważnie posłuchać. Jaka jest istota tego sukcesu? Może fakt, że wszyscy mamy w rękach jakiś sprzęt zdolny do organizowania przetwarzania rozproszonego? A może podświadomie rozumiemy naszą niezdolność do załadowania go do jego prawdziwej wartości? Istnieje prawdziwa historia pewnego petersburskiego kwanta (czyli finansowego analityka ilościowego i programisty), który skończył z klastrem obliczeniowym w swoich rękach, którego pełną moc może wykorzystać tylko on sam. A co byś zrobił, gdybyś musiał realizować swoje zadania z możliwościami wielokrotnie większymi niż teraz?

Ze względu na tę popularność temat wydajności i wydajnego przetwarzania często pojawia się w programie konferencji. Ile z dwóch dni raportów można sporządzić na temat wydajności - jedna trzecia, dwie trzecie? W niektórych miejscach istnieją sztuczne ograniczenia, które ograniczają ten wzrost: oprócz wydajności musi być jeszcze miejsce na nowe frameworki sieciowe, na pewnego rodzaju devopy lub architektoniczną astronautykę. Nie, występie, nie zjesz nas wszystkich w całości!

Albo można pójść w drugą stronę, poddać się i uczciwie zrobić konferencję, która będzie w całości poświęcona przetwarzaniu rozproszonemu i tylko o nich. I oto jest, Hydra.

Przyznajmy szczerze, że dzisiaj całe przetwarzanie danych jest w taki czy inny sposób rozproszone. Niezależnie od tego, czy jest to maszyna wielordzeniowa, klaster obliczeniowy czy rozproszona usługa na dużą skalę, wszędzie istnieje wiele procesów, które wykonują równolegle niezależne obliczenia i synchronizują się ze sobą. Hydra skupi się na tym, jak to działa w teorii i jak działa w praktyce.

Program konferencji

Program jest obecnie w trakcie opracowywania. Powinien zawierać raporty twórców teorii systemów rozproszonych i inżynierów pracujących z nimi w produkcji.

Wiemy już np. o udziale Lesliego Lamporta z Microsoft Research i Maurice'a Herlihy'ego z Brown University.

Maurice'a Herlihy'ego - bardzo znany i szanowany profesor informatyki, jest też o nim opowieść strona Wikipedii, gdzie możesz przeglądać linki i działa. Można tam zauważyć aż dwie nagrody Dijkstry, pierwszą za pracę „Synchronizacja bez czekania”, a drugi, nowszy — „Pamięć transakcyjna: wsparcie architektoniczne dla struktur danych bez blokad”. Nawiasem mówiąc, linki nie prowadzą nawet do SciHub, ale do Brown University i Virginia Tech University, możesz otworzyć i przeczytać.

Maurice będzie gospodarzem przemówienia zatytułowanego „Łańcuchy bloków z perspektywy przetwarzania rozproszonego”. Zainteresowanych zapraszamy do obejrzenia nagrania relacji Maurice'a z petersburskiego JUG. Oceń, jak jasno i zrozumiale przekazuje temat.

Przeczytamy drugą myśl przewodnią o nazwie „Dual Data Structures”. Michaela Scotta z Uniwersytetu w Rochester. I zgadnij co - on też ma swoje strona Wikipedii. W domu w Wisconsin jest znany ze swojej pracy jako dziekan na Uniwersytecie Wisconsin-Madison, a na świecie jest człowiekiem, który wraz z Dougiem Leą opracował algorytmy nieblokujące i kolejki synchroniczne, na których działają biblioteki Java . Nagrodę Dijkstry otrzymał trzy lata po Herlihy za pracę „Algorytmy skalowalnej synchronizacji na wieloprocesorach z pamięcią współdzieloną” (zgodnie z oczekiwaniami, leży otwarta w bibliotece internetowej Uniwersytetu w Rochester).

Do połowy lipca zostało jeszcze sporo czasu. Opowiemy Ci o innych prelegentach i ich tematach, gdy będziemy dopracowywać program i zbliżać się do lipca.

Generalnie nasuwa się pytanie - po co robimy Hydrę latem? W końcu to poza sezonem, wakacje. Problem w tym, że wśród prelegentów są profesorowie uniwersyteccy i każdy inny czas jest dla nich zajęty. Po prostu nie mogliśmy wybrać innego terminu.

Strefy dyskusji

Na innych konferencjach zdarza się, że prelegent czyta to, co konieczne i od razu wychodzi. Uczestnicy nie mają nawet czasu jej szukać – w końcu kolejna relacja zaczyna się niemal bez przerwy. To bardzo boli, zwłaszcza gdy są obecni tak ważni ludzie, jak Lamport, Herlihy i Scott, a tak naprawdę idziesz na konferencję tylko po to, żeby się z nimi spotkać i o czymś porozmawiać.

Rozwiązaliśmy ten problem. Od razu po swoim referacie mówca udaje się do specjalnego obszaru dyskusyjnego wyposażonego przynajmniej w tablicę z pisakiem, a czasu jest całkiem sporo. Formalnie prelegent obiecuje być przynajmniej w przerwie między referatami. W rzeczywistości te obszary dyskusji puszka rozciągać się godzinami (w zależności od chęci i wytrzymałości mówcy).

Jeśli chodzi o Lamporta, jeśli dobrze rozumiem, chce on przekonać do tego jak najwięcej osób TLA+ - to coś dobrego. (Artykuł o TLA+ na Wikipedii). Być może będzie to dobra okazja dla inżynierów do nauczenia się czegoś nowego i przydatnego. Leslie oferuje taką opcję - każdy zainteresowany może obejrzeć jego poprzednie wykłady i przyjść z pytaniami. Oznacza to, że zamiast keynote może odbyć się niejako specjalistyczna sesja pytań i odpowiedzi, a potem kolejna strefa dyskusji. Pogooglowałem trochę i znalazłem super Kurs TLA+ (oficjalnie dubbingowany playlista na youtubie) i godzinny wykład „Myślenie ponad kodem” ze Szczytem Wydziału Microsoftu.

Jeśli myślałeś o tych wszystkich ludziach jako o nazwiskach wykutych w granicie z Wikipedii i na okładkach książek, czas poznać ich na żywo! Czatuj i zadawaj pytania, na które nie dadzą odpowiedzi strony artykułów naukowych, ale ich autorzy chętnie nawiążą kontakt.

Call for Papers

Nie jest tajemnicą, że wielu z tych, którzy teraz czytają ten artykuł, nie ma nic przeciwko opowiadaniu czegoś wystarczająco interesującego. Z inżynierskiego punktu widzenia, z naukowego punktu widzenia, z dowolnego punktu widzenia. Obliczenia rozproszone to bardzo szeroki i głęboki temat, w którym znajdzie się miejsce dla każdego.

Jeśli chcesz grać u boku Lamporta, jest to całkowicie możliwe. Aby zostać mówcą, potrzebujesz Śledź ten link, uważnie przeczytaj wszystko tam i wykonaj zgodnie z instrukcjami.

Bądź spokojny, jak tylko połączysz się z procesem, otrzymasz pomoc. Rada programowa dysponuje wystarczającymi zasobami, aby pomóc w samym raporcie, jego treści i konstrukcji. Koordynator pomoże Ci uporać się z kwestiami organizacyjnymi i tak dalej.

Zwróć szczególną uwagę na obrazek z datami. Lipiec to dość odległy termin dla uczestnika, a prelegent musi zacząć działać już teraz.

szkoła SPTDC

Konferencja odbędzie się w tym samym miejscu co szkoła SPTDC, więc dla każdego, kto kupi bilet do szkoły, bilety na konferencję - z rabatem 20%.

Letnia Szkoła Praktyki i Teorii Obliczeń Rozproszonych (SPTDС) - szkoła oferująca szeroki wachlarz kursów dotyczących praktycznych i teoretycznych aspektów systemów rozproszonych, prowadzonych przez uznanych ekspertów w danej dziedzinie.

Szkoła będzie prowadzona w języku angielskim, więc oto lista poruszanych tematów:

• Współbieżne struktury danych: poprawność i wydajność;
• Algorytmy pamięci nieulotnej;
• Obliczalność rozproszona;
• rozproszone uczenie maszynowe;
• Replikacja maszyny stanowej i Paxos;
• Bizantyjska tolerancja na błędy;
• Algorytmiczne podstawy łańcuchów bloków.

Wystąpią następujący prelegenci:

• 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).

лейлист ze sprawozdaniami z poprzedniej szkoły można bezpłatnie obejrzeć na YouTube:

Kolejne kroki

Program konferencji jest jeszcze w trakcie kształtowania. Śledź wiadomości na Habré lub w sieciach społecznościowych (fb, vk, i twitterze).

Jeśli naprawdę wierzysz w konferencję (lub chcesz skorzystać ze specjalnej ceny startowej, jak to mówią „Early Bird”) – możesz wejść na stronę i kupić bilety.

Do zobaczenia na Hydrze!

Źródło: www.habr.com