Хабрахабр

Основоположники теории распределенных систем в объятьях гидры

Это он впервые, ещё в 1979 году, ввёл понятие последовательной согласованности, а его статья «How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs» получила премию Дейкстры (точней, в 2000 году премия называлась по-старому: «PODC Influential Paper Award»). Это Лесли Лэмпорт — автор основополагающих работ в распределённых вычислениях, а ещё вы его можете знать по буквам La в слове LaTeX — «Lamport TeX». Если вы в восторге от решения задач на happens-before или проблемы византийских генералов (BFT), то должны понимать, что за всем этим стоит Лэмпорт.
У него есть своя статья в Википедии, где можно добыть ещё несколько интересных ссылок.

Давайте посмотрим, что это за зверь такой. А ещё он скоро приедет на нашу новую конференцию о распределённых вычислениях — Hydra, которая состоится 11-12 июля в Санкт-Петербурге.

Только что в этом зале было пустынно, но вот на сцене появляется человек, рассказывающий про модель памяти, happens-before или многопоточную сборку мусора и — бум! Темы вроде многопоточности являются одними из самых популярных на наших конференциях, всегда были такими. В чём суть этого успеха? — уже под тысячу человек занимают всё доступное место, чтобы сесть и внимательно слушать. Или в том, что подсознательно понимаем свою неспособность нагрузить его по достоинству? Может быть, в том, что все мы имеем на руках какое-нибудь железо, способное организовать распределённые вычисления? А что бы вы сделали, заполучив для выполнения своих задач мощности в разы большие, чем сейчас? Есть реальная история одного питерского кванта (то есть финансового количественного аналитика и разработчика), у которого на руках оказался вычислительный кластер, полную мощь которого может использовать лишь он один.

Сколько из двух дней докладов можно сделать про перформанс — треть, две трети? Благодаря такой популярности тема производительности и эффективных вычислений имеет свойство распространяться по программе конференций. Нет, перформанс, ты не съешь нас всех целиком! Кое-где существуют искусственные ограничения, которые лимитируют это разрастание: кроме перформанса обязательно ещё должно остаться место для новых веб-фреймворков, для какого-нибудь девопса или архитектурной астронавтики.

И вот она, Гидра. А можно пойти противоположным путём, сдаться и честно сделать конференцию, которая будет целиком про распределённые вычисления и только про них.

Будь то многоядерная машина, вычислительный кластер или масштабный распределенный сервис — везде есть множество процессов, которые параллельно выполняют независимые вычисления, синхронизируясь друг с другом. Давайте честно признаемся, что на сегодняшний день все вычисления так или иначе являются распределенными. Тому, как это устроено в теории и работает на практике, и будет посвящена Hydra.

В неё должны войти доклады от основоположников теорий распределенных систем и инженеров, работающих с ними на проде. Программа сейчас находится в стадии формирования.

Например, уже сейчас известно об участии Лесли Лэмпорта из Microsoft Research и Мориса Херлихи из Brown University.

Там вы можете заметить целых две премии Дейкстры, первая — за работу по «Wait-Free Synchronization», и вторая, более свежая — «Transactional Memory: Architectural Support for Lock-Free Data Structures». Морис Херлихи — очень известный и уважаемый профессор Computer Science, тоже со своей страничкой в Википедии, где можно пробежаться по ссылкам и работам. Кстати, ссылки ведут даже не на SciHub, а на Brown University и Virginia Tech University, можно открывать и читать.

Если интересно, можно взглянуть на запись доклада Мориса с питерского JUG. Морис собирается провести кейноут под названием «Blockchains from a distributed computing perspective». Оцените, насколько четко и понятно он доносит тему.

И угадайте, что — у него тоже есть своя страничка на Википедии. Второй кейноут под названием «Dual Data Structures» прочитает Майкл Скотт из University of Rochester. Свою премию Дейкстры он получил через три года после Херлихи, за работу «Algorithms for scalable synchronization on shared-memory multiprocessors» (как положено, она открыто лежит в онлайн-библиотеке Рочестерского Университета).
У себя в Висконсине он известен по работе деканом в университете Wisconsin-Madison, а в миру — это человек, который вместе с Doug Lea разработал те неблокирующие алгоритмы и синхронные очереди, на которых работают библиотеки Java.

Про остальных докладчиков и их темы мы будем рассказывать по мере уточнения программы и приближения к июлю. До середины июля ещё много времени.

Ведь это мертвый сезон, отпуска. Вообще, возникает вопрос — а почему мы делаем Гидру летом? Мы просто не могли выбрать другие даты. Проблема в том, что среди спикеров есть универские преподаватели, и любое другое время у них занято.

У участников даже нет времени его искать — ведь почти без промежутка начинается следующий доклад. На других конференциях так бывает, что докладчик прочитал что надо и тут же ушёл. Это очень больно, особенно если присутствуют такие важные люди, как Лэмпорт, Херлихи и Скотт, и вы вообще-то идёте на конференцию, только чтобы с ними встретиться и что-то обсудить.

Сразу после своего доклада, спикер отправляется в специальную дискуссионную зону, оборудованную как минимум доской с маркером, и у вас есть довольно большой запас времени. У нас эта проблема решена. В реальности эти дискуссионные зоны могут растягиваться часами напролёт (зависит от желания и выносливости спикера). Формально докладчик обещает находиться там как минимум всё время перерыва между докладами.

(Статья про TLA+ на Википедии). Что касается Лэмпорта, если я правильно понял, он хочет как можно больше народу убедить, что TLA+ — это хорошая вещь. Лесли предлагает такой вариант — кому это интересно, могут посмотреть его прошлые лекции и прийти с вопросами. Возможно, это будет хороший шанс для инженеров узнать что-то новое и полезное. Я немного погуглил и нашёл отличный курс по TLA+ (официально сдублированный плейлистом на YouTube) и часовую лекцию «Thinking Above the Code» с Microsoft Faculty Summit. То есть вместо кейноута может быть как бы специализированная Q&A session, а потом ещё и дикуссионная зона.

Пообщаться и задать вопросы, на которые не ответят страницы научных статей, но их авторы с радостью пойдут на контакт. Если вы воспринимали всех этих людей как отлитые в граните имена из Википедии и на обложках книг — самое время встретить их вживую!

С инженерной точки зрения, с научной — с любой. Не секрет, что многие из тех, кто сейчас читает статью, сами не прочь рассказать что-то достаточно интересное. Распределённые вычисления — очень широкая и глубокая тема, где есть место всем.

Чтобы стать докладчиком, нужно перейти по ссылке, внимательно там всё прочитать и сделать согласно инструкциям. Если ты хочешь выступить рядом с Лэмпортом, это вполне возможно.

Программный комитет обладает достаточными возможностями, чтобы помочь с самим докладом, его сутью и оформлением. Будьте спокойны, как только вы подключитесь к процессу, вам помогут. Координатор поможет разобраться с организационными вопросами и так далее.

Июль — это довольно далёкая дата для участника, а докладчику нужно начинать действовать уже сейчас. Особое внимание на картинку с датами.

Конференция пройдет на одной площадке со школой SPTDС, поэтому для всех, кто купит билет на школу, билеты на конференцию — со скидкой 20%.

Summer School on Practice and Theory of Distributed Computing (SPTDС) — школа, предоставляющая широкий диапазон курсов о практических и теоретических аспектах распределённых систем, которые ведут признанные специалисты в соответствующей области.

Школа будет проводиться на английском языке, поэтому вот так выглядит список рассматриваемых тем:

  • Concurrent data structures: correctness and efficiency;
  • Algorithms for non-volatile memory;
  • Distributed computability;
  • Distributed machine learning;
  • State-machine replication and Paxos;
  • Byzantine fault-tolerance;
  • Algorithmic basics of blockchains.

Выступать будут следующие спикеры:

  • Leslie Lamport (Microsoft);
  • Maurice Herlihy (Brown University);
  • Michael Scott (University of Rochester);
  • Dan Alistarh (IST Austria);
  • Trevor Brown (University of Waterloo);
  • Eli Gafni (UCLA);
  • Danny Hendler (Ben Gurion University);
  • Achour Mostefaoui (University of Nantes).

Плейлист с докладами предыдущей школы можно свободно посмотреть на YouTube:

Следите за новостями на Хабре или в соцсетях (fb, vk, twitter). Программа конференции всё ещё формируется.

Если вы действительно верите в конференцию (или хотите воспользоваться специальной стартовой стоимостью, что называется, «Early Bird») — можно перейти на сайт и приобрести билеты.

Встретимся на Hydra!

Теги
Показать больше

Похожие статьи

Добавить комментарий

Ваш e-mail не будет опубликован. Обязательные поля помечены *

Кнопка «Наверх»
Закрыть