Це Леслі Лемпорт - автор основних робіт у розподілених обчисленнях, а ще ви його можете знати за літерами La у слові LaTeX - "Lamport TeX". Це він уперше, ще 1979 року, ввів поняття , а його стаття отримала премію Дейкстри (точніше, в 2000 році премія називалася по-старому: PODC Influential Paper Award). Про нього є , де можна знайти ще кілька цікавих посилань. Якщо ви в захваті від вирішення завдань на happens-before або (BFT), то маємо розуміти, що за всім цим стоїть Лемпорт.
А ще він незабаром приїде на нашу нову конференцію про розподілені обчислення - Hydra, яка відбудеться 11-12 липня в Санкт-Петербурзі. Давайте подивимося, що то за звір такий.
Гідра 2019
Теми на кшталт багатопоточності є одними з найпопулярніших на наших конференціях, які завжди були такими. Щойно в цьому залі було порожньо, але на сцені з'являється людина, яка розповідає про модель пам'яті, happens-before або багатопотокове складання сміття і — бум! — уже під тисячу людей посідають усе доступне місце, щоб сісти та уважно слухати. У чому сутність цього успіху? Можливо, у тому, що ми маємо на руках якесь залізо, здатне організувати розподілені обчислення? Або в тому, що підсвідомо розуміємо свою нездатність навантажити його належним чином? Є реальна історія одного пітерського кванта (тобто фінансового кількісного аналітика та розробника), у якого на руках виявився обчислювальний кластер, повну міць якого може використати лише він один. А що б ви зробили, отримавши для виконання своїх завдань потужності в рази більші, ніж зараз?
Завдяки такій популярності тема продуктивності та ефективних обчислень має властивість поширюватись за програмою конференцій. Скільки із двох днів доповідей можна зробити про перформанс — третину, дві третини? Де-не-де існують штучні обмеження, які лімітують це розростання: крім перформансу обов'язково ще має залишитися місце для нових веб-фреймворків, для якогось девопса або архітектурної астронавтики. Ні, перформансе, ти не з'їси нас усіх!
А можна піти протилежним шляхом, здатися і чесно зробити конференцію, яка буде цілком про розподілені обчислення і лише про них. І ось вона, Гідра.
Давайте чесно зізнаємося, що на сьогоднішній день усі обчислення так чи інакше є розподіленими. Чи то багатоядерна машина, чи обчислювальний кластер, чи масштабний розподілений сервіс — скрізь є безліч процесів, які паралельно виконують незалежні обчислення, синхронізуючись один з одним. Тому, як це влаштовано теоретично і працює на практиці, і буде присвячена Hydra.
Програма конференції
Програма зараз перебуває у стадії формування. До неї мають увійти доповіді від основоположників теорій розподілених систем та інженерів, які працюють із ними на продажі.
Наприклад, вже зараз відомо про участь Леслі Лемпорта з Microsoft Research та Моріса Херліхі з Brown University.
Моріс Херліхі - дуже відомий і шановний професор Computer Science, про нього теж є , де можна пробігтися за посиланнями та роботами. Там ви можете помітити аж дві премії Дейкстри, перша — за роботу з , і друга, свіжіша — . До речі, посилання ведуть навіть не на SciHub, а на Brown University та Virginia Tech University, можна відкривати та читати.
Моріс збирається провести кейноут під назвою "Blockchains from a distributed computing perspective". Якщо цікаво, можна подивитись запис доповіді Моріса з пітерського JUG. Оцініть, наскільки чітко та зрозуміло він доносить тему.
Другий кейноут під назвою "Dual Data Structures" прочитає Майкл Скотт з University of Rochester. І вгадайте, що — він теж має свою . У себе у Вісконсіні він відомий по роботі деканом в університеті Wisconsin-Madison, а у світі — це людина, яка разом із Doug Lea розробила ті неблокуючі алгоритми та синхронні черги, на яких працюють бібліотеки Java. Свою премію Дейкстри він отримав через три роки після Херліхи, за роботу "Algorithms for scalable synchronization on shared-memory multiprocessors" (як належить, онлайн-бібліотеці Рочестерського Університету).
До середини липня ще багато часу. Про решту доповідачів та їхні теми ми розповідатимемо в міру уточнення програми та наближення до липня.
Взагалі виникає питання — а чому ми робимо Гідру влітку? Адже це мертвий сезон, відпустки. Проблема в тому, що серед спікерів є універські викладачі і будь-який інший час у них зайнято. Ми просто не могли вибрати інші дати.
Дискусійні зони
На інших конференціях так буває, що доповідач прочитав все і тут же пішов. У учасників навіть немає часу його шукати, адже майже без проміжку починається наступна доповідь. Це дуже боляче, особливо якщо присутні такі важливі люди, як Лемпорт, Герліхи і Скотт, і ви взагалі йдете на конференцію, тільки щоб з ними зустрітися і щось обговорити.
У нас цю проблему вирішено. Відразу після своєї доповіді спікер відправляється в спеціальну дискусійну зону, обладнану як мінімум дошкою з маркером, і у вас є досить великий запас часу. Формально доповідач обіцяє перебувати там щонайменше весь час перерви між доповідями. Насправді ці дискусійні зони можуть розтягуватися годинами безперервно (залежить від бажання і витривалості спікера).
Що стосується Лемпорта, якщо я правильно зрозумів, він хоче якнайбільше народу переконати, що - Це хороша річ. (). Можливо, це буде добрий шанс для інженерів дізнатися щось нове та корисне. Леслі пропонує такий варіант — кому це цікаво, можуть подивитись його минулі лекції та прийти з питаннями. Тобто замість кейноуту може бути спеціалізована Q&A session, а потім ще й дикусійна зона. Я трохи зиркнув і знайшов чудовий (офіційно дубльований ) та годинну лекцію із Microsoft Faculty Summit.
Якщо ви сприймали всіх цих людей як відлиті у граніті імена з Вікіпедії та на обкладинках книг — саме час зустріти їх наживо! Поспілкуватися та поставити запитання, на які не дадуть відповіді сторінки наукових статей, але їх автори з радістю підуть на контакт.
Запрошення прислати статтю
Не секрет, що багато хто з тих, хто зараз читає статтю, сам не проти розповісти щось досить цікаве. З інженерної точки зору, з наукової – з будь-якої. Розподілені обчислення — дуже широка та глибока тема, де є місце для всіх.
Якщо ти хочеш виступити поруч із Лемпортом, це цілком можливо. Щоб стати доповідачем, потрібно , уважно там все прочитати та зробити згідно з інструкціями.
Будьте спокійні, як тільки ви підключитеся до процесу, вам допоможуть. Програмний комітет має достатні можливості, щоб допомогти з самою доповіддю, її суттю та оформленням. Координатор допоможе розібратися з організаційними питаннями тощо.
Особлива увага на картинку з датами. Липень — це досить далека дата для учасника, а доповідачу треба діяти вже зараз.
Школа SPTDC
Конференція пройде на одному майданчику зі школою SPTDС, тому для всіх, хто придбає квиток на школу, квитки на конференцію — зі знижкою 20%.
— школа, що надає широкий діапазон курсів про практичні та теоретичні аспекти розподілених систем, які ведуть визнані спеціалісти у відповідній галузі.
Школа буде проводитися англійською мовою, тому ось так виглядає список тем:
- Concurrent data structures: correctness and efficiency;
- Algorithms for non-volatile memory;
- Розповсюджений комп'ютерність;
- 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:
наступні кроки
Програма конференції все ще формується. Слідкуйте за новинами на Хабре або в соцмережах (, , ).
Якщо ви дійсно вірите в конференцію (або хочете скористатися спеціальною стартовою вартістю, що називається «Early Bird») — можна перейти на сайт і .
Зустрінемось на Hydra!
Джерело: habr.com