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 ми вже розповідали на Хабрі. Тому сьогодні — про школу у 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 та Тель-Авівському Університеті, співавтор великої книги Мистецтво багатопроцесорного програмування, володар премії Дейкстри за розробку та реалізацію програмної транзакційної пам'яті (STM) та премії Геделя за роботу із застосування алгебраїчної топології до моделювання обчислень з пам'яттю, що розділяється, співзасновник компанії Нейронна магія, Що створює швидкі алгоритми машинного навчання для звичайних CPU, і, зрозуміло, - володар власної сторінки у Вікіпедії з лихою та спекотною фотографією. Нір вже брав участь у нашій школі у 2017 році, де зробив вичерпний огляд технік взяття блокувань (частина 1, частина 2). Про що Нір розповість цього року ми поки не знаємо, але сподіваємося на новини з переднього краю науки.
Майкл Скотт (Michael Scott) - дослідник у Рочестерський університет, відомий всім Java-розробникам як творець неблокуючих алгоритмів та синхронних черг із стандартної бібліотеки Java. Зрозуміло, з премією Дейкстри за розробку алгоритмів синхронізації для обчислень з пам'яттю, що розділяється та власною сторінкою у Вікіпедії. Минулого року Майкл прочитав на нашій школі лекцію про неблокуючі структури даних (частина 1, частина 2). Цього року він розповість про програмування з використанням енергонезалежної пам'яті (NVM), яка зменшує складність програм та накладні витрати на роботу з пам'яттю в порівнянні зі «звичайною» пам'яттю з випадковим доступом (DRAM).
Іде Кейдар (Idit Keidar) — професор у Техніоні та володарка індексу Хірша близько 40 (що дуже і дуже чимало) за дві сотні наукових статей в області розподілених обчислень, багатопоточності та відмовостійкості. Іде вперше бере участь у нашій школі, де вона прочитає лекцію про базові аспекти роботи розподілених сховищ даних: емуляції розподіленої пам'яті, вироблення консенсусу та зміну конфігурації.
Родріго Родрігез (Rodrigo Rodrigues) – професор у Técnico, член лабораторії INESC-ID і автор дослідницьких робіт у сфері розподілених систем. Цього року у нашій школі Родріго розповість про консистентність та ізоляцію у розподілених сховищах даних, а також проаналізує за допомогою CAP-теореми реалізованість на практиці кількох моделей консистентності та ізоляції.
Чень Цзін (Jing Chen) - професор в Університеті штату Нью-Йорк у Стоуні-Брук, автор дослідницьких робіт в області блокчейну та провідний учений у Algorand - компанії та блокчейн-платформі, що використовує алгоритм консенсусу, повністю заснований на Доведення ставок. Цього року в нашій школі Чень розповість про блокчейн Algorand та способи досягнення його цікавих властивостей: невибагливість до обчислювальних ресурсів мережі, неможливість розщеплення історії транзакцій та гарантії закінчення обробки транзакції після її додавання до блокчейну.
Крістіан Кашин (Christian Cachin) - професор у Бернському університеті, який очолює дослідницьку групу в галузі захисту даних, співавтор книги «Introduction to Reliable and Secure Distributed Programming», розробник блокчейн-платформи Тканина Hyperledger (про неї навіть був пост на Хабрі) та автор дослідницьких робіт в галузі криптографії та безпеки у розподілених системах. Цього року у нашій школі Крістіан прочитає лекцію з чотирьох частин про критографічні інструменти для розподілених обчислень: симетричної та асиметричної криптографії, а також про криптографії з ключом, що розділяється, псевдовипадкових числах та генерації випадкових чисел, що верифікується.
Марко Вуколіч (Marko Vukolic) - дослідник в IBM Research, автор робіт в області блокчейна та розробник Hyperledger Fabric. Ми поки не знаємо, про що Марко розповість у нашій школі цього року, але сподіваємося, що дізнаємося про його новітні розробки в галузі блокчейну: дослідження деградації продуктивності протоколів розподіленого консенсусу на кластерах до 100 машин, широкомовному протоколі Mir з глобальним порядком та Візантійською відмовостійкістю або безблоковому блокчейні StreamChain, що мінімізує час обробки транзакцій.
Прасад Джаянті (Prasad Jayanti) - професор у Дартмутському коледжі, що входить до елітної Лігу Плюща, і автор дослідницьких робіт у сфері багатопотокових алгоритмів. Цього року у нашій школі Прасад прочитає лекцію про синхронізацію потоків та алгоритми для реалізації різних варіантів м'ютексу: з функціями переривання або відновлення в моделях енергонезалежної пам'яті, а також із роздільними операціями читання та запису.
Олексій Гоцман (Alexey Gotsman) - професор в IMDEA та автор дослідницьких робіт у сфері програмної верифікації алгоритмів. Ми поки що не знаємо, про що Олексій прочитає лекцію у нашій школі цього року, але розраховуємо на тему на перетині програмної верифікації та розподілених систем.
Чому це школа, а чи не конференція?
По-перше, лектори виступають в академічному форматі та читають кожну велику лекцію дві пари: "Півтори години - перерва - ще півтори години". Через багато років після університету, зі звичкою до годинникових доповідей на конференціях та 10-хвилинним роликам на Ютубі, це може бути непросто. Хороший лектор зробить усі три години цікавими, але за пластичність власного мозку кожен відповідає сам.
Корисна порада: потренуйтеся на відеозаписах лекцій школи 2017 році і в 2019 році. Прощавай, робота – привіт, візантійські генерали.
По-друге, лектори фокусуються на наукових дослідженнях та розповідають як про фундаментальні засади розподілених систем та паралельних обчислень, так і про новини з переднього краю науки. Якщо ваша мета — наступного дня після школи гарячими слідами швидко щось запрограмувати і задеплоїти в продакшн — це теж може бути непросто.
Корисна порада: пошукайте дослідні роботи лекторів школи на Google Scholar и arXiv.org. Якщо вам за кайфом читати наукові пейпери, школа теж сподобається.
По-третє, школа SPTDC 2020 — не конференція, тому що конференція про розподілені системи та паралельні обчислення — це Гідра 2020. Нещодавно на Хабрі був піст з оглядом її програми. Минулого року SPTDC та Hydra проходили одночасно і на одному майданчику. Цього року вони не перетинаються за датами, тому не конкурують один з одним за ваш час та увагу.
Корисна порада: перегляньте програму конференції Hydra і подумайте про те, щоб після школи відвідати ще й конференцію. Це буде хороший тиждень.
Як потрапити до школи?
- Запишіть у календар дати з 6 по 9 липня 2020 року (а краще по 11 липня, щоб після школи сходити на конференцію Hydra).
- Зберіться з духом, підготуйтеся.
- Вибирайте квитки і йдіть до школи.
Джерело: habr.com