Teoria jest wtedy, gdy wiesz wszystko, ale nic nie działa.
Praktyka jest wtedy, gdy wszystko działa, ale nikt nie wie dlaczego.
systemy rozproszone, teoria i praktyka są połączone:
nic nie działa i nikt nie wie dlaczego.
Aby udowodnić, że żart z sentencji to absolutna bzdura, już po raz trzeci organizujemy SPTDC (szkoła praktyki i teorii przetwarzania rozproszonego). O historii szkoły, jej współzałożycielach Petru Kuzniecowie i Witaliju Aksjonowie oraz udziale Grupy JUG Ru w organizacji SPTDC pisaliśmy już powiedział na Habr. Dlatego dziś jest o szkole w 2020 roku, o wykładach i prelegentach, a także o różnicach między szkołą a konferencją.
Szkoła SPTDC odbędzie się w dniach 6-9 lipca 2020 r. w Moskwie.
Wszystkie wykłady będą prowadzone w języku angielskim. Tematyka wykładów: trwałe obliczenia współbieżne, narzędzia kryptograficzne dla systemów rozproszonych, formalne metody weryfikacji protokołów konsensusu, spójność w systemach wielkoskalowych, rozproszone uczenie maszynowe.
Czy od razu zgadłeś, jaki stopień wojskowy mają postacie na zdjęciu? Uwielbiam Cię.
Wykładowcy i wykłady
Nir Szawit (Nir Shavit) jest profesorem na MIT i Uniwersytecie w Tel Awiwie, współautorem świetnej książki Sztuka programowania wieloprocesorowego, właściciel Nagrody Dijkstry do opracowania i wdrożenia programowa pamięć transakcyjna (STM) i Nagroda Gödla za pracę nad zastosowaniem topologii algebraicznej do symulacji obliczeń z pamięcią współdzieloną, współzałożyciel firmy Magia neuronowa, który tworzy szybkie algorytmy uczenia maszynowego dla konwencjonalnych procesorów i oczywiście ma swoje własne strony Wikipedii z efektowną i zmysłową fotografią. Nir uczestniczył już w naszej szkole w 2017 roku, gdzie dał wyczerpujący przegląd technik blokowania (Część 1, Część 2). O czym Nir opowie w tym roku, jeszcze nie wiemy, ale mamy nadzieję na wieści z najnowocześniejszej nauki.
Michaela Scotta (Michael Scott) jest badaczem ds Uniwersytet w Rochesterze, znany wszystkim programistom Javy jako twórca algorytmy nieblokujące i kolejki synchroniczne ze standardowej biblioteki Javy. Oczywiście z nagrodą Dijkstra's Design Award algorytmy synchronizacji dla obliczeń z pamięcią współdzieloną i własne strona Wikipedii. W zeszłym roku Michał wygłosił w naszej szkole wykład na temat nieblokujących się struktur danych (Część 1, Część 2). W tym roku on powie o programowaniu za pomocą pamięć nieulotna (NVM), co zmniejsza złożoność programu i obciążenie pamięci w porównaniu ze „zwykłą” pamięcią o dostępie swobodnym (DRAM).
Idit Keidar (Idit Keidar) - Profesor w Technion i właściciel Indeks Hirscha około 40 (co jest bardzo, bardzo dużo) za dwieście artykułów naukowych w dziedzinie przetwarzania rozproszonego, wielowątkowości i odporności na uszkodzenia. Eidit uczestniczy w naszej szkole po raz pierwszy, gdzie ona dać wykład o podstawowych aspektach pracy rozproszonych hurtowni danych: emulacja rozproszonej pamięci, budowanie konsensusu i zmiany konfiguracji.
Rodrigo Rodrigueza (Rodrigo Rodrigues) - profesor Técnico, członek laboratorium ID INESC i autor Praca badawcza w dziedzinie systemów rozproszonych. W tym roku w naszej szkole Rodrigo powie o spójności i izolacji w rozproszonych hurtowniach danych, a także przeanalizuje użycie Twierdzenia CAP wykonalność w praktyce kilku modeli spójności i izolacji.
Chen Ching (Jing Chen) jest profesorem na Uniwersytecie Stanowym Nowego Jorku w Stony Brook, autorem Praca badawcza w dziedzinie blockchain i czołowym naukowcem w Algorand — firma i platforma blockchain wykorzystująca algorytm konsensusu w całości oparty na Dowód stawki. W tym roku w naszej szkole Chen opowie o blockchainie Algorand i sposobach na osiągnięcie jego ciekawych właściwości: mało wymagających sieciowych zasobów obliczeniowych, niemożności dzielenia historii transakcji oraz gwarancji zakończenia przetwarzania transakcji po dodaniu jej do blockchaina.
Krystian Kaszyn (Christian Cachin) jest profesorem Uniwersytetu w Bernie, szefem grupy badawczej w dziedzinie ochrony danych, współautorem książki „Wprowadzenie do niezawodnego i bezpiecznego programowania rozproszonego”, twórca platformy blockchain Tkanina Hyperledger (o niej nawet było post na Habré) i autor Praca badawcza w dziedzinie kryptografii i bezpieczeństwa w systemach rozproszonych. W tym roku w naszej szkole Chrześcijanin dać wykład w czterech częściach o narzędziach kryptograficznych dla przetwarzania rozproszonego: kryptografii symetrycznej i asymetrycznej, a także o kryptografia klucza współdzielonego, liczby pseudolosowe i weryfikowalne generowanie liczb losowych.
Marko Vukolić (Marko Vukolic) jest badaczem w IBM Research, autorem prac w blockchain i twórca Hyperledger Fabric. Nie wiemy jeszcze, o czym Marco opowie w naszej szkole w tym roku, ale mamy nadzieję, że poznamy jego najnowsze osiągnięcia w dziedzinie blockchain: badania obniżenie wydajności rozproszone protokoły konsensusu w klastrach do 100 maszyn, rozgłaszanie Protokół Mir z globalnym porządkiem i Bizantyjska tolerancja błędów lub bezblokowy łańcuch blokowy Łańcuch strumieniowyminimalizacja czasu przetwarzania transakcji.
Prasad Jayanti (Prasad Jayanti) jest profesorem w Dartmouth College, należącym do elity liga bluszczowa, oraz autor Praca badawcza w dziedzinie algorytmów wielowątkowych. W tym roku w naszej szkole Prasad dać wykład o synchronizacji wątków i algorytmach implementacji różnych opcji muteks: z funkcjami przerwania lub przywracania w modelach z pamięcią nieulotną oraz z oddzielnymi operacjami odczytu i zapisu.
Aleksiej Gotsman (Alexey Gotsman) jest profesorem w IMDEA i autorem Praca badawcza w zakresie programowej weryfikacji algorytmów. Nie wiemy jeszcze, co Alexey będzie wykładał w naszej szkole w tym roku, ale nie możemy się doczekać tematu z pogranicza weryfikacji oprogramowania i systemów rozproszonych.
Dlaczego to jest szkoła, a nie konferencja?
Po pierwsze, wykładowcy przemawiają w formacie akademickim i czytają dwie pary każdego dużego wykładu: "półtorej godziny - przerwa - jeszcze półtorej godziny." Wiele lat po studiach, z nawykiem godzinnych rozmów konferencyjnych i 10-minutowych filmów na YouTube, może to być trudne. Dobry wykładowca sprawi, że wszystkie trzy godziny będą interesujące, ale każdy odpowiada za plastyczność własnego mózgu.
Pomocna wskazówka: Poćwicz na nagraniach wideo wykładów szkolnych w 2017 roku i 2019 roku. Do widzenia, pracy - witajcie, bizantyjscy generałowie.
Po drugie, wykładowcy skupiają się na badaniach naukowych i rozmawiają o podstawach systemów rozproszonych i obliczeń równoległych, a także wiadomości z najnowocześniejszej nauki. Jeśli twoim celem jest szybkie napisanie czegoś i wdrożenie go do produkcji następnego dnia po szkole w pościgu, może to być również trudne.
Pomocna wskazówka: Poszukaj prac badawczych wykładowców szkoły na stronie Google Scholar и arXiv.org. Jeśli lubisz czytać artykuły naukowe, szkoła też ci się spodoba.
Po trzecie, szkoła SPTDC 2020 nie jest konferencją, ponieważ konferencja dotycząca systemów rozproszonych i obliczeń równoległych jest Hydra 2020. Ostatnio na Habré był post z przegląd swojego programu. W zeszłym roku SPTDC i Hydra odbyły się jednocześnie iw tym samym miejscu. W tym roku nie pokrywają się terminami, więc nie konkurują ze sobą o Twój czas i uwagę.
Pomocna wskazówka: Sprawdź program konferencji Hydra i rozważ udział w konferencji również po szkole. To będzie dobry tydzień.
Jak dostać się do szkoły?
- Zapiszcie w kalendarzu daty od 6 lipca do 9 lipca 2020 (a najlepiej do 11 lipca, żeby po szkole pojechać na konferencję Hydry).
- Odwagi, przygotuj się.
- Wybierz bilety I idź do szkoły.
Źródło: www.habr.com