ProHoster > Blog > administracja > Kremlowe wieże w ramionach Hydry: konferencja na temat przetwarzania równoległego i rozproszonego Hydra 2020 w Moskwie
Kremlowe wieże w ramionach Hydry: konferencja na temat przetwarzania równoległego i rozproszonego Hydra 2020 w Moskwie
W zeszłym roku w Petersburgu było pierwsza konferencja Hydry, dedykowane dla systemów równoległych i rozproszonych. Laureaci dokonali prezentacji Nagrody Dijkstry и Nagrody Turinga (Leslie Lamport, Maurice'a Herlihy'ego и Michaela Scotta), twórcy kompilatorów i języków programowania (C++, Go, Java, Kotlin), twórcy rozproszonych baz danych (Cassandra, CosmosDB, Yandex Database), a także twórcy i badacze algorytmów i struktur danych (CRDT, Paxos, czekaj -wolne struktury danych). Ogólnie rzecz biorąc, w tym momencie możesz już wziąć urlop, zminimalizować okno IDE, otworzyć playlistę na YouTube za pomocą najlepsze reportaże Hydra 2019 - i pozwól harmonogramowi zadań trochę poczekać.
W sumie takiej konferencji jeszcze nie było i teraz się to powtórzy. Ponownie z raportami w języku angielskim, ponieważ nie ma lepszego języka do mówienia o przetwarzaniu równoległym i rozproszonym. Ponownie latem, 10 i 11 lipca, ponieważ prelegenci mają czas na badania i nauczanie na przykład na uniwersytetach w Cambridge, Rochester i St. Petersburgu, a inne pory roku nie są dla nich.
Jednak tym razem Hydra odbędzie się w Moskwie, gdzie w zeszłym roku przybyła większość uczestników konferencji, aby wysłuchać raportów na temat rozproszonego konsensusu i pamięci transakcyjnej. Nowa Hydra to bardziej rozbudowany program, nowi prelegenci wraz z bohaterami z zeszłego roku, a także znajome już uczucie ekscytacji równoległym hardcorem rozprowadzanym wśród uczestników w trzech salach.
Od razu wyłóżmy na stół talię kart z bizantyjskimi generałami do góry – chcemy, aby program nowej Hydry był bardziej szczegółowy i zróżnicowany. Ostatnim razem drapaliśmy paznokciem, teraz kopmy szerzej i głębiej. Oto motywy Hydra 2020 różniące się w stosunku do ubiegłego roku:
Jak o tym wszystkim opowiedzieć w programie jednej konferencji? Z pewnością nie jest to prostsze niż przetestowanie linearyzacji operacji na nowym, błyszczącym sklepie rozproszonym za pomocą Jepsena, ale spróbujemy.
Nikita Koval (Nikita Koval) jest współprogramistą w zespole Kotlina, wykładowcą kursu programowania wielowątkowego w ITMO i członkiem komitetu programowego konferencji Hydra (tak, tej samej, o której jest ten artykuł). W zeszłym roku Nikita mówił o testowaniu wielowątkowych struktur danych na platformie JVM z wykorzystaniem Lin-Check, a na Hydra 2020 on powie o SegmentQueueSynchronizer - zweryfikowane przy użyciu Ramy tęczówki dla dowód Coq abstrakcja do programowania prymitywów synchronizacji.
Śledźcie nasze asynchroniczne zapowiedzi: w sumie na konferencji będzie około trzech tuzinów relacji, o reszcie poinformujemy wkrótce. Oczywiście na konferencji nie zabraknie też stref dyskusyjnych, w których konieczne będzie przetestowanie prelegentów pytaniami w jednym lub kilku wątkach, aż do osiągnięcia ogólnego konsensusu.
A jeśli będziesz mieć szczęście, Martin Kleppmann podpisze Twoją książkę.
Tak, przed konferencją Hydra 2020, czyli 6-9 lipca, odbędzie się SPTDC 2020 — trzecia szkoła letnia poświęcona teorii i praktyce obliczeń rozproszonych. Dostarczy wrażeń, jakich trudno doświadczyć na konferencji, dlatego o Szkole porozmawiamy w osobnym poście.
Co teraz? Po pierwsze, śledź aktualności na Habré i w sieciach społecznościowych (Facebook, VKontakte, Twitter).
Po drugie, jeśli już czujesz nieodpartą chęć wzięcia udziału w konferencji, zajrzyj na stronę, już możesz kupić bilety.
Po trzecie, nie przegap okazji, aby porozmawiać w komentarzach z komitetem programowym konferencji Hydra 2020. Członkowie PC chętnie porozmawiają z Państwem na przyszłe tematy konferencji.