Това Лесли Лемпарт е автор на основополагающи трудове в разпределените изчисления, а вие можете да го знаете и от буквите La в думата LaTeX — «Lamport TeX». Той за пръв път, още през 1979 година, въведе понятието , а статията му печели наградата Дейкстра (по-точно, през 2000 година наградата се наричаше по-старому: «PODC Influential Paper Award»). За него има , където можете да намерите още интересни линкове. Ако сте запленени от решаването на задачи на happens-before или (BFT), то трябва да разберете, че зад всичко това стои Лемпарт.
А също така той скоро ще дойде на нашата нова конференция за разпределени изчисления — Hydra, която ще се проведе на 11-12 юли в Санкт Петербург. Нека да видим какво е това чудо.
Hydra 2019
Темите като многопоточност винаги са били едни от най-популярните на нашите конференции. Току-що в тази зала беше пусто, но ето на сцената излиза човек, който говори за модел на памет, happens-before или многопоточна събиране на боклук и — бум! — вече близо хиляда души заемат всичкото налично място, за да седят и внимателно да слушат. Каква е тайната на този успех? Може би е в това, че всички ние имаме на разположение каквото и да е оборудване, способно да организира разпределени изчисления? Или в това, че подсъзнателно осъзнаваме нашата неспособност да го натоварим стойностно? Има истинска история на един питерски квант (т.е. финансов количествен анализатор и разработчик), който разполага с изчислителен клъстер, чиято пълна мощ може да използва само той. А какво бихте направили, ако получите мощност за задачите си, която многократно надвишава тази, която имате в момента?
Благодаря такъв интерес, темата за производителността и ефективните изчисления има склонността да се разпространява из конференционната програма. Колко от двата дни доклади могат да бъдат посветени на производителността — една трета, две трети? Някои места имат изкуствени ограничения, които ограничават това разрастване: освен производителността, трябва да остане пространство за нови уеб-фреймворкове, за някакъв девопс или архитектурна астронавтика. Не, производителност, няма да ни погълнеш напълно!
Можем също да тръгнем в противоположната посока, да се предадем и честно да направим конференция, която да бъде изцяло посветена на разпределените изчисления и само на тях. И ето я, Хидра.
Нека честно признаем, че днес всички изчисления по един или друг начин са разпределени. Независимо дали става въпрос за многоядрена машина, изчислителен клъстер или мащабна разпределена услуга — навсякъде има множество процеси, които независимо извършват изчисления паралелно, синхронизирайки се помежду си. На това как е устроено в теорията и работи на практика, ще бъде посветена Хидра.
Програма на конференцията
Програмата в момента е в етап на формиране. Тя ще включва доклади от основоположниците на теорията за разпределените системи и инженери, които работят с тях в продукция.
Например, вече е известно за участието на Лесли Лампорта от Microsoft Research и Морис Херлихи от университета Браун.
Морис Херлихи е много известен и уважаван професор по компютърни науки, за когото също има , където можете да прегледате линковете и трудовете му. Там ще забележите цели две награди на Дейкстра, първата — за работа по , а втората, по-свежа — . Между другото, линковете водят дори не към SciHub, а към университета Браун и Вирджиния Тек, може да ги отворите и прочетете.
Морис ще изнесе ключова лекция на тема «Блокчейни от перспективата на разпределените изчисления». Ако е интересно, можете да разгледате записа на доклада на Морис от Санкт Петербургския JUG. Оценете колко ясно и разбираемо предава темата.
Втората ключова лекция с наименование «Двуенни структури от данни» ще изнесе Майкъл Скот от университета Рочестър. И предположете какво — той също има своя . Той е известен в Уисконсин с работата си като декан в университета Wisconsin-Madison, а в света — същият този човек, който заедно с Doug Lea разработи неблокиращите алгоритми и синхронните опашки, на които разчитат библиотеките на Java. Премията Дейкстра получава три години след Херлихи за работата "Algorithms for scalable synchronization on shared-memory multiprocessors" (както е предвидено, в онлайн библиотеката на Университета в Рочестър).
До средата на юли все още има много време. За останалите лектори и темите им ще разказваме по мярка на уточняване на програмата и наближаване до юли.
Въобще, възниква въпрос — защо правим Гидра през лятото? Защото това е мъртъв сезон, отпуските. Проблемът е, че между говорителите има университетски преподаватели и всяко друго време е заето. Просто не можехме да изберем други дати.
Дискусионни зони
На други конференции понякога се случва, че лекторът е прочел каквото трябва и веднага е заминал. Участниците дори нямат време да го потърсят — защото почти без прекъсване започва следващата лекция. Това е много болезнено, особено ако присъстват важни хора като Лэмпорт, Херлихи и Скот, а всъщност отивате на конференция, само за да се срещнете с тях и да обсъдите нещо.
При нас този проблем е решен. Веднага след своята лекция, говорителят отива в специална дискусионна зона, оборудвана поне с дъска с маркер, и ще имате доста време. Формално лекторът обещава да бъде там поне през всичкото време на почивката между лекции. В действителност тези дискусионни зони могат да се разтягат с часове (в зависимост от желанието и издръжливостта на говорителя).
Что касается Лэмпорта, если я правильно понял, он хочет как можно больше народу убедить, что — это хорошая вещь. (). Возможно, это будет хороший шанс для инженеров узнать что-то новое и полезное. Лесли предлагает такой вариант — кому это интересно, могут посмотреть его прошлые лекции и прийти с вопросами. То есть вместо кейноута может быть как бы специализированная Q&A session, а потом ещё и дикуссионная зона. Я немного погуглил и нашёл отличный (официально сдублированный ) и часовую лекцию с Microsoft Faculty Summit.
Ако сте възприемали всички тези хора като имена, излети в гранит от Википедия и на кориците на книги, съвсем време е да ги срещнете на живо! Да общувате и да задавате въпроси, на които страниците на научните статии няма да отговорят, но техните автори с радост ще се свържат.
Call for Papers
Не е тайна, че много от тези, които в момента четат статията, самите не прочут разкажат нещо достатъчно интересно. От инженерна гледна точка, от научна — от всякаква. Разпределените изчисления — много широк и дълбок тема, където има място за всички.
Ако искаш да се изявиш до Лемпорт, това е напълно възможно. За да станеш докладчик, трябва , внимателно да прочетеш всичко там и да действате, съобразно инструкциите.
Не се притеснявайте, веднага след като се включите в процеса, ще получите помощ. Програмният комитет разполага с достатъчни възможности, за да помогне със самия доклад, същността му и оформлението. Координаторът ще помогне с организационните въпроси и така нататък.
Обърнете специално внимание на изображението с датите. Юли — това е доста далечна дата за участник, а докладчикът трябва да започне да действа вече сега.
Училище SPTDC
Конференцията ще се проведе на една и съща площадка с училището SPTDC, така че за всички, които купят билет за училището, билетите за конференцията — с 20% отстъпка.
— училище, предоставящо широк набор от курсове за практическите и теоретичните аспекти на разпределените системи, водени от признати специалисти в съответната област.
Курсът ще се проведе на английски език, така че ето как изглежда списъкът на разглежданите теми:
- Паралелни структури от данни: коректност и ефективност;
- Алгоритми за нестабилна памет;
- Разпределима изчислимост;
- Разпределено машинно обучение;
- Репликация на автоматизирана машина и Paxos;
- Байцанска устойчивост на грешки;
- Алгоритмични основи на блокчейн.
Следните лектори ще обсъждат:
- Лесли Лемпорт (Microsoft);
- Морис Херлихи (Университет на Браун);
- Майкъл Скот (Университет на Рочестър);
- Дан Алистарх (IST Austria);
- Тревор Браун (Университет на Уотерло);
- Ели Гафни (UCLA);
- Дани Хендлер (Университет Бен Гурион);
- Ашур Мостефауи (Университет на Нант).
с докладите от предишната школа може свободно да се види в YouTube:
Следващи стъпки
Програмата на конференцията все още се формулира. Следете новините в Хабър или в социалните мрежи (, , ).
Ако наистина вярвате в конференцията (или искате да се възползвате от специалната стартова цена, наречена „Early Bird“) — можете да посетите сайта и .
Ще се срещнем на Hydra!
Източник: habr.com
