Това Лесли Лампорт — автор на основополагащи трудове в разпределеното изчисление, а също така можете да го познавате по буквите La в думата LaTeX — «Lamport TeX». Именно той първи, още през 1979 година, въведе понятието , а неговата статия получи наградата Дейкстра (по-точно, през 2000 година наградата беше наречена по-старата: «PODC Influential Paper Award»). За него има , където можете да намерите още интересни линкове. Ако сте впечатлени от решаването на задачи на happens-before или (BFT), трябва да разберете, че зад всичко това стои Лампорт.
А освен това той скоро ще дойде на нашата нова конференция за разпределени изчисления — Hydra, която ще се проведе на 11-12 юли в Санкт Петербург. Нека видим какво представлява това животно.
Hydra 2019
Темите за многопоточността са едни от най-популярните на нашите конференции и винаги са били такива. Току-що в тази зала беше празно, но ето че на сцената се появява човек, който говори за модел на паметта, happens-before или многопоточна сборка на боклук и — бум! — вече почти хиляда души заемат всичкото налично пространство, за да седнат и слушат внимателно. В чем е тайната на този успех? Може би, в това че всеки от нас има под ръка някакво железо, способно да организира разпределени изчисления? Или в това, че подсъзнателно разбираме своята неспособност да го натоварим по достойнство? Има реална история на един питерски кванта (тоест финансов количествен аналитик и разработчик), който разполага с изчислителен клъстер, чиято пълна мощ той може да използва само сам. А какво бихте направили, ако получихте за вашите задачи мощности многократно по-големи, отколкото имате сега?
Благодаря популярността на темата за производителността и ефективните изчисления, тя се разпространява в програмите на конференциите. Колко от двата дни с доклади могат да бъдат посветени на производителността – една трета, две трети? Има места, където съществуват изкуствени ограничения, които ограничават това разширяване: освен производителността, трябва да остане място и за нови уеб фреймуъркове, за DevOps или архитектурна астронавтика. Не, производителност, няма да ни погълнеш изцяло!
Може да поемем обратно пътя, да се предадем и честно да организираме конференция, която изцяло ще бъде посветена на разпределените изчисления и само на тях. И ето я, Хидра.
Нека бъдем честни, че днес всички изчисления по един или друг начин са разпределени. Независимо дали става дума за многоядрена машина, компютърен клъстер или мащабна разпределена услуга – навсякъде има множество процеси, които паралелно изпълняват независими изчисления, синхронизирани помежду си. На теория как това е устроено и как работи на практика ще бъде посветена Хидра.
Програма на конференцията
Програмата в момента е в етап на формулиране. В нея ще бъдат включени доклади от основоположниците на теориите за разпределени системи и инженери, работещи с тях на производствени системи.
Например, вече е известно за участието на Лесли Лампарт от Microsoft Research и Морис Херлихи от Университета на Браун.
Морис Херлихи — много известен и уважаван професор по компютърни науки, за него също има , където може да се прегледат линковете и работите му. Там можете да забележите цели две награди на Дейкстра, първата — за работа по , а втората, по-нова — . Между другото, линковете водят дори не на SciHub, а на Университета на Браун и Университета Вирджиния Тек, може да се отворят и прочетат.
Морис ще изнесе ключова лекция на тема «Blockchains from a distributed computing perspective». Ако е интересно, можете да погледнете записа на лекцията на Морис от питерския JUG. Оценете колко ясно и разбираемо предава темата.
Втората ключова лекция на тема «Dual Data Structures» ще изнесе Майкъл Скот от Университета на Рочестър. И познайте какво — той също така има своя . В Уисконсин той известен с по работе деканом в университете Wisconsin-Madison, а в широком смысле — это человек, который вместе с Doug Lea разработал неблокирующие алгоритмы и синхронные очереди, на которых работают библиотеки Java. Свою премию Дейкстры он получил через три года после Херлихи за работу «Algorithms for scalable synchronization on shared-memory multiprocessors» (как и положено, в онлайн-библиотеке на Рочестерском Университете).
До средата на юли остава много време. За останалите докладчици и темите им ще разказваме с уточняването на програмата и приближаването до юли.
Всъщност, се появява въпрос — защо организираме Гидра през лятото? В крайна сметка, това е мъртъв сезон, време за отпуск. Проблемът е, че сред спикерите има университетски преподаватели, и всяко друго време е заето. Просто не можехме да изберем други дати.
Дискусионни зони
На други конференции се случва така, че докладчикът е прочел каквото трябва и веднага е напуснал. Участниците даже нямат време да го търсят — тъй като почти без прекъсване започва следващият доклад. Това е много неудобно, особено ако присъстват важни личности като Лемпорт, Херлихи и Скот, и вие всъщност присъствате на конференцията, само за да се срещнете с тях и да обсъдите нещо.
У нас този проблем е решен. Веднага след своето изказване, спикерът отива в специална дискусионна зона, оборудвана поне с дъска с маркер, и имате доста голям запас от време. Формално докладчикът обещава да бъде там поне през времето на междудокладните почивки. В реалността тези дискусионни зони могат да продължават с часове (в зависимост от желанието и издръжливостта на спикера).
Що се отнася до Лемпорт, ако съм разбрал правилно, той иска да убеди повече хора, че — това е нещо добро. (). Вероятно, това ще бъде добър шанс за инженерите да научат нещо ново и полезно. Лесли предлага такъв вариант — който е заинтересован, може да се запознае с предишните му лекции и да дойде с въпроси. Тоест, вместо основна лекция, може да има вид специализирана Q&A сесия, а след това и дискусионна зона. Погледах малко в интернет и намерих страхотен (официално дублиран ) и часова лекция с Microsoft Faculty Summit.
Ако сте възприемали всичките тези хора като имена, изсечени в гранит от Wikipedia и кориците на книги — време е да ги срещнете на живо! Разговарайте и задавайте въпроси, на които страниците на научни статии няма да отговорят, но техните автори с радост ще влязат в контакт.
Призив за статии
Не е тайна, че много от читателите на тази статия също са готови да споделят нещо наистина интересно. От инженерна или научна гледна точка — независимо. Разпределените изчисления са много широка и дълбока тема, където има място за всеки.
Ако искате да се изкажете до Лампорт, това е напълно възможно. За да станете лектор, трябва , да прочетете внимателно всичко там и да постъпите според инструкциите.
Бъдете спокойни, веднага след като се включите в процеса, ще получите помощ. Програмният комитет разполага с достатъчно възможности, за да помогне с работата, нейната същност и оформлението. Координаторът ще помогне с организационните въпроси и т.н.
Обърнете специално внимание на картинката с датите. Юли е доста далечна дата за участниците, а лекторите трябва да започнат да действат вече сега.
SPTDC School
Конференцията ще се проведе на една площадка със SPTDC School, така че за всички купили билет за училище, билетите за конференцията — с отстъпка от 20%.
— училище, предлагащо широк спектър от курсове по практически и теоретични аспекти на разпределените системи, водени от признати специалисти в съответната област.
Училището ще се провежда на английски език, затова ето как изглежда списъкът с разглежданите теми:
- Конкурентни структури от данни: правилност и ефективност;
- Алгоритми за неволатилна памет;
- Разпределима изчислимост;
- Разпределено машинно обучение;
- Репликация на състоянието на машини и Paxos;
- Биткойнска устойчивост на неуспех;
- Алгоритмични основи на блокчейните.
Следващите лектори ще бъдат:
- Лесли Лампор (Microsoft);
- Морис Херлихи (Университет Браун);
- Майкъл Скот (Университет Рочестър);
- Дан Алистър (IST Austria);
- Тревор Браун (Университет на Ватерло);
- Ели Гафни (UCLA);
- Дани Хендлер (Университет Бен Гурион);
- Ашур Мостефауи (Университет Нант).
с доклади от предишното училище може да бъде свободно гледан в YouTube:
Следващи стъпки
Програмата на конференцията все още се формира. Следете новините в Хабр или в социалните мрежи (, , ).
Ако наистина вярвате в конференцията (или искате да се възползвате от специалната начална цена, наречена „Ранна птица“) — можете да посетите сайта и .
Ще се срещнем на Hydra!
Източник: habr.com
