Гэта Леслі Лэмпарт - Аўтар асноўных работ у размеркаваных вылічэннях, а яшчэ вы яго можаце ведаць па літарах 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 computability;
- 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