SPTDC 2020 — третья школа о практике и теории распределённых вычислений

^{Theory is when you know everything but nothing works.
Practice is when everything works but no one knows why.
In distributed systems, theory and practice are combined:
nothing works and no one knows why.}

Чтобы доказать, что шутка в эпиграфе — абсолютная глупость, мы уже в третий раз проводим SPTDC (school on practice and theory of distributed computing). Об истории школы, её сооснователях Петре Кузнецове и Виталии Аксёнове, а также об участии JUG Ru Group в организации SPTDC мы уже рассказывали ^[1] на Хабре. Поэтому сегодня — о школе в 2020 году, о лекциях и лекторах, а также об отличиях школы от конференции.

Школа SPTDC пройдёт с 6 по 9 июля 2020 года в Москве.

Все лекции будут на английском языке. Основные темы лекций: persistent concurrent computing, cryptographic tools for distributed systems, formal methods for verifying consensus protocols, consistency in large-scale systems, distributed machine learning.

Сразу догадались, в каком воинском звании персонажи на картинке? Я вас обожаю.

Лекторы и лекции

Нир Шавит (Nir Shavit) — профессор в MIT и Тель-Авивском Университете, соавтор великой книги The Art of Multiprocessor Programming ^[2], обладатель премии Дейкстры ^[3] за разработку и реализацию программной транзакционной памяти ^[4] (STM) и премии Гёделя ^[5] за работу по применению алгебраической топологии к моделированию вычислений с разделяемой памятью, сооснователь компании Neural Magic ^[6], создающей быстрые алгоритмы машинного обучения для обычных CPU, и, разумеется, — обладатель собственной страницы в Википедии ^[7] с лихой и знойной фотографией. Нир уже участвовал в нашей школе в 2017 году, где сделал исчерпывающий обзор техник взятия блокировок (часть 1 ^[8], часть 2 ^[9]). О чём Нир расскажет в этом году, мы пока не знаем, но надеемся на новости с переднего края науки.

Майкл Скотт (Michael Scott) — исследователь в Рочестерском университете ^[10], известный всем Java-разработчикам как создатель неблокирующих алгоритмов и синхронных очередей ^[11] из стандартной библиотеки Java. Разумеется, с премией Дейкстры за разработку алгоритмов синхронизации для вычислений с разделяемой памятью ^[12] и собственной страницей в Википедии ^[13]. В прошлом году Майкл прочёл на нашей школе лекцию о неблокирующих структурах данных (часть 1 ^[14], часть 2 ^[15]). В этом году он расскажет ^[16] о программировании с использованием энергонезависимой памяти ^[17] (NVM), которая уменьшает сложность программ и накладные расходы на работу с памятью по сравнению с «обычной» памятью со случайным доступом (DRAM).

Идит Кейдар (Idit Keidar) — профессор в Технионе и обладательница индекса Хирша ^[18] около 40 (что очень и очень немало) за две сотни научных статей ^[19] в области распределённых вычислений, многопоточности и отказоустойчивости. Идит впервые участвует в нашей школе, где она прочтёт лекцию ^[20] о базовых аспектах работы распределённых хранилищ данных: эмуляции распределённой памяти, выработке консенсуса и изменении конфигурации.

Родриго Родригез (Rodrigo Rodrigues) — профессор в Técnico, член лаборатории INESC-ID ^[21] и автор исследовательских работ ^[22] в области распределённых систем. В этом году в нашей школе Родриго расскажет ^[23] о консистентности и изоляции в распределённых хранилищах данных, а также проанализирует с помощью CAP-теоремы ^[24] реализуемость на практике нескольких моделей консистентности и изоляции.

Чэнь Цзин (Jing Chen) — профессор в Университете штата Нью-Йорк в Стоуни-Брук, автор исследовательских работ ^[25] в области блокчейна и ведущий учёный в Algorand ^[26] — компании и блокчейн-платформе, использующей алгоритм консенсуса, полностью основанный на Proof of Stake ^[27]. В этом году в нашей школе Чэнь расскажет о блокчейне Algorand и способах достижения его интересных свойств: нетребовательности к вычислительным ресурсам сети, невозможности расщепления истории транзакций и гарантии окончания обработки транзакции после её добавления в блокчейн.

Кристиан Кашин ^[28] (Christian Cachin) — профессор в Бернском университете, возглавляющий исследовательскую группу в области защиты данных, соавтор книги «Introduction to Reliable and Secure Distributed Programming ^[29]», разработчик блокчейн-платформы Hyperledger Fabric ^[30] (о ней даже был пост на Хабре ^[31]) и автор исследовательских работ ^[32] в области криптографии и безопасности в распределённых системах. В этом году в нашей школе Кристиан прочитает лекцию ^[33] из четырёх частей о критографических инструментах для распределённых вычислений: симметричной и асимметричной криптографии, а также о криптографии с разделяемым ключом ^[34], псевдослучайных числах и верифицируемой генерации случайных чисел ^[35].

Марко Вуколич ^[36] (Marko Vukolic) — исследователь в IBM Research, автор работ ^[37] в области блокчейна и разработчик Hyperledger Fabric. Мы пока не знаем, о чём Марко расскажет в нашей школе в этом году, но надеемся, что узнаем о его новейших разработках в области блокчейна: исследовании деградации производительности ^[38] протоколов распределённого консенсуса на кластерах до 100 машин, широковещательном протоколе Mir ^[39] с глобальным порядком и Византийской отказоустойчивостью ^[40] или безблочном блокчейне StreamChain ^[41], минимизирующем время обработки транзакций.

Прасад Джаянти (Prasad Jayanti) — профессор в Дартмутском колледже, входящем в элитную Лигу Плюща ^[42], и автор исследовательских работ ^[43] в области многопоточных алгоритмов. В этом году в нашей школе Прасад прочитает лекцию ^[44] о синхронизации потоков и алгоритмах для реализации различных вариантов мьютекса ^[45]: с функциями прерывания или восстановления в моделях энергонезависимой памяти, а также с раздельными операциями чтения и записи.

Алексей Гоцман (Alexey Gotsman) — профессор в IMDEA и автор исследовательских работ ^[46] в области программной верификации алгоритмов. Мы пока не знаем, о чём Алексей прочитает лекцию в нашей школе в этом году, но рассчитываем на тему на пересечении программной верификации и распределённых систем.

Почему это школа, а не конференция?

Во-первых, лекторы выступают в академическом формате и читают каждую большую лекцию две пары: «полтора часа — перерыв — ещё полтора часа». Через много лет после университета, с привычкой к часовым докладам на конференциях да 10-минутным роликам на Ютубе — это может быть непросто. Хороший лектор сделает все три часа интересными, но за пластичность собственного мозга ^[47] каждый отвечает сам.

Полезный совет: потренируйтесь на видеозаписях лекций школы в 2017 году ^[48] и в 2019 году ^[48]. Прощай, работа — привет, византийские генералы.

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

Полезный совет: поищите исследовательские работы лекторов школы на Google Scholar ^[49] и arXiv.org ^[50]. Если вам по кайфу читать научные пейперы, школа тоже понравится.

В-третьих, школа SPTDC 2020 — не конференция, потому что конференция о распределённых системах и параллельных вычислениях — это Hydra 2020 ^[51]. Недавно на Хабре был пост с обзором её программы ^[52]. В прошлом году SPTDC и Hydra проходили одновременно и на одной площадке. В этом году они не пересекаются по датам, поэтому не конкурируют друг с другом за ваше время и внимание.

Полезный совет: посмотрите программу конференции Hydra и подумайте о том, чтобы после школы посетить ещё и конференцию. Это будет неплохая неделька.

Как попасть в школу?

• Запишите в календарь даты с 6 по 9 июля 2020 года (а лучше — по 11 июля, чтобы после школы сходить на конференцию Hydra).
• Соберитесь с духом, подготовьтесь.
• Выбирайте билеты ^[53] и идите в школу.

Автор: Игорь Луканин

Источник ^[54]