Theory is when you know everything but nothing works.
Практыка з'яўляецца, калі ўсе працы ня маюць аднаго значэння, дзе.
In distributed systems, тэорыі і практыкі з'яўляюцца:
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 і Тэль-Авіўскім Універсітэце, суаўтар вялікай кнігі The Art of Multiprocessor Programming, уладальнік прэміі Дэйкстры за распрацоўку і рэалізацыю праграмнай транзакцыйнай памяці (STM) і прэміі Гёдэля за працу па ўжыванні алгебраічнай тапалогіі да мадэлявання вылічэнняў з падзялянай памяццю, сузаснавальнік кампаніі Neural Magic, Якая стварае хуткія алгарытмы машыннага навучання для звычайных 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 і спосабы дасягнення яго цікавых уласцівасцей: непатрабавальнасць да вылічальных рэсурсаў сеткі, немагчымасць расшчаплення гісторыі транзакцый і гарантыі заканчэння апрацоўкі транзакцыі пасля яе дадання ў блокчэйн.
Крысціян Кашын (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