SPTDC 2020 - третото училище по практика и теория на разпределените изчисления

Теорията е, когато знаеш всичко, но нищо не работи.
Практика е, когато всичко работи, но никой не знае защо.
разпределени системи, теорията и практиката се комбинират:
нищо не работи и никой не знае защо.

За да докажем, че шегата в епиграфа е абсолютна глупост, провеждаме SPTDC (училище по практика и теория на разпределените изчисления) за трети път. За историята на училището, неговите съоснователи Петър Кузнецов и Виталий Аксьонов, както и участието на JUG Ru Group в организацията SPTDC, ние вече каза на Хабр. Затова днес е за училището през 2020 г., за лекциите и лекторите, както и за разликите между училището и конференцията.

Училището SPTDC ще се проведе от 6 до 9 юли 2020 г. в Москва.

Всички лекции ще бъдат на английски език. Теми на лекцията: устойчиви паралелни изчисления, криптографски инструменти за разпределени системи, формални методи за проверка на консенсусни протоколи, съгласуваност в широкомащабни системи, разпределено машинно обучение.

Веднага ли познахте какво военно звание са героите на снимката? Обожавам те.

Преподаватели и лекции

Нир Шавит (Нир Шавит) е професор в MIT и университета в Тел Авив, съавтор на страхотна книга Изкуството на многопроцесорното програмиране, собственик Награди Дейкстра за разработването и внедряването софтуерна транзакционна памет (STM) и Награда Гьодел за работата си върху приложението на алгебрична топология към симулацията на изчисления със споделена памет, съосновател на компанията Невронна магия, който създава бързи алгоритми за машинно обучение за конвенционални процесори и, разбира се, има собствен Страници в Уикипедия със зашеметяваща и знойна фотография. Нир вече участва в нашето училище през 2017 г., където направи изчерпателен преглед на техниките за блокиране (част 1, част 2). За какво ще говори Нир тази година, все още не знаем, но се надяваме на новини от върховете на науката.


Майкъл Скот (Майкъл Скот) е изследовател в Университет на Рочестър, познат на всички Java разработчици като създател на неблокиращи алгоритми и синхронни опашки от стандартната библиотека на Java. Разбира се, с наградата за дизайн на Dijkstra алгоритми за синхронизиране за изчисления със споделена памет и собствени Страница в Уикипедия. Миналата година Майкъл изнесе лекция в нашето училище за неблокиращи структури от данни (част 1, част 2). Тази година той ще разбере относно използването на програмиране енергонезависима памет (NVM), което намалява сложността на програмата и натоварването на паметта в сравнение с "обикновената" памет с произволен достъп (DRAM).


Отива Кейдар (Идит Кейдар) е професор в Технион и собственик на Индекс на Хирш около 40 (което е много, много) за двеста научни статии в областта на разпределените изчисления, многонишковостта и устойчивостта на грешки. Ейдит за първи път участва в нашето училище, където тя изнесе лекция за основните аспекти на работата на разпределените хранилища за данни: емулация на разпределена памет, консенсусно развитие и промени в конфигурацията.


Родриго Родригес (Родриго Родригес) - професор в Técnico, член на лабораторията ID на INESC и автор изследователска работа в областта на разпределените системи. Тази година в нашето училище Родриго ще разбере относно съгласуваността и изолацията в разпределените хранилища за данни, а също така ще анализира използването CAP теореми приложимост на практика на няколко модела на съгласуваност и изолация.


Чен Чинг (Дзин Чен) е професор в Държавния университет на Ню Йорк в Стоуни Брук, автор изследователска работа в областта на блокчейн и водещ учен в Algorand — компания и блокчейн платформа, използваща консенсусен алгоритъм, изцяло базиран на Доказателство за залога. Тази година в нашето училище Чен ще говори за блокчейна Algorand и начините за постигане на неговите интересни свойства: невзискателност към мрежови изчислителни ресурси, невъзможност за разделяне на историята на транзакциите и гарантиране на завършването на обработката на транзакциите след добавянето й към блокчейна.


Кристиян Кашин (Кристиан Качин) е професор в университета в Берн, ръководител на изследователска група в областта на защитата на данните, съавтор на книгата "Въведение в надеждното и сигурно разпределено програмиране”, разработчик на блокчейн платформа Плат за хиперлингер (за нея дори беше публикувайте на Хабре) и автор изследователска работа в областта на криптографията и сигурността в разпределени системи. Тази година в нашето училище Християн изнесе лекция в четири части за криптографски инструменти за разпределени изчисления: симетрична и асиметрична криптография, а също и за криптография със споделен ключ, псевдослучайни числа и проверено генериране на случайни числа.


Марко Вуколич (Марко Вуколич) е изследовател в IBM Research, автор на работа в блокчейн и разработчик на Hyperledger Fabric. Все още не знаем за какво ще говори Марко в нашето училище тази година, но се надяваме да научим за последните му разработки в областта на блокчейн: изследване влошаване на производителността разпределени консенсусни протоколи на клъстери от до 100 машини, излъчване протокол Мир с глобалния ред и Византийска отказоустойчивост или блокчейн без блокове StreamChainминимизиране на времето за обработка на транзакциите.


Прасад Джаянти (Прасад Джаянти) е професор в Dartmouth College, част от елита бръшлян лига, и авторът изследователска работа в областта на многонишковите алгоритми. Тази година в нашето училище Прасад изнесе лекция за синхронизация на нишки и алгоритми за прилагане на различни опции мютекс: с функции за прекъсване или възстановяване в модели с енергонезависима памет и с отделни операции за четене и запис.


Алексей Гоцман (Алексей Гоцман) е професор в IMDEA и автор изследователска работа в областта на програмната проверка на алгоритми. Все още не знаем какво ще преподава Алексей в нашето училище тази година, но с нетърпение очакваме тема в пресечната точка на проверката на софтуера и разпределените системи.

Защо това е училище, а не конференция?

Първо, лекторите говорят в академичен формат и четат две двойки от всяка голяма лекция: "час и половина - почивка - още час и половина." Много години след колежа, с навик на едночасови конферентни разговори и 10-минутни видеоклипове в YouTube, това може да бъде трудно. Добрият лектор ще направи и трите часа интересни, но всеки е отговорен за пластичността на собствения си мозък.

Полезен съвет: Упражнявайте се върху видеозаписи на училищни лекции в 2017 години и 2019 години. Довиждане, работа - здравейте, византийски генерали.

Второ, лекторите се фокусират върху научни изследвания и говорят за основите разпределени системи и паралелни изчисления, както и новини от авангарда на науката. Ако целта ви е бързо да кодирате нещо и да го внедрите в производство на следващия ден след училище по горещо преследване, това също може да бъде трудно.

Полезен съвет: Потърсете научните трудове на преподавателите в училището на Google Scholar и arXiv.org. Ако обичате да четете научни статии, ще ви хареса и училището.

Трето, училището SPTDC 2020 не е конференция, защото конференцията за разпределени системи и паралелни изчисления е Хидра 2020. Наскоро на Habré имаше публикация с преглед на неговата програма. Миналата година SPTDC и Hydra се проведоха едновременно и на едно и също място. Тази година те не се припокриват по дати, така че не се състезават помежду си за вашето време и внимание.

Полезен съвет: Вижте програмата на конференцията Hydra и помислете дали да не присъствате на конференцията и след училище. Това ще бъде добра седмица.

Как да стигна до училище?

• Запишете датите от 6 юли до 9 юли 2020 г. в календара (или по-добре до 11 юли, за да отидете на конференцията Hydra след училище).
• Вземете сърце, пригответе се.
• Изберете билети и ходи на училище.

Източник: www.habr.com