То Лесли Лампорт - автор на фундаментални трудове в разпределените изчисления и можете да го познаете и по буквите La в думата LaTeX - "Lamport TeX". Именно той за първи път, още през 1979 г., въвежда концепцията последователна последователност, и неговата статия „Как да направим мултипроцесорен компютър, който правилно да изпълнява многопроцесорни програми“ получава наградата Dijkstra (по-точно през 2000 г. наградата се нарича по стария начин: „PODC Influential Paper Award“). Има за него Статия в Уикипедия, където можете да намерите още интересни връзки. Ако сте развълнувани от решаването на проблеми на случва-преди или проблеми на византийските пълководци (BFT), те трябва да разберат, че Lamport стои зад всичко това.

И той скоро ще дойде на нашата нова конференция за разпределени изчисления - Hydra, която ще се проведе на 11-12 юли в Санкт Петербург. Да видим що за животно е.

Хидра 2019

Теми като многопоточността са едни от най-горещите теми на нашите конференции, винаги са били. Тази зала просто беше пуста, но тогава на сцената се появява човек, който говори за модела на паметта, случва се преди или многопоточно събиране на боклук и - бум! - вече под хиляда души заемат цялото налично пространство, за да седнат и да слушат внимателно. Каква е същността на този успех? Може би фактът, че всички имаме в ръцете си някакъв вид хардуер, способен да организира разпределени изчисления? Или подсъзнателно разбираме неспособността си да го заредим с истинската му стойност? Има истинска история за един петербургски квант (т.е. финансов количествен анализатор и разработчик), който се оказа с изчислителен клъстер в ръцете си, чиято пълна мощност може да се използва само от него. А какво бихте направили, ако трябва да изпълнявате задачите си с капацитет, многократно по-голям от сега?

Поради тази популярност, темата за производителността и ефективните компютри има тенденция да се разпространява в програмата на конференцията. Колко от двата дни отчети могат да се правят за изпълнение - една трета, две трети? На някои места има изкуствени ограничения, които ограничават този растеж: в допълнение към производителността, все още трябва да има място за нови уеб рамки, за някакъв вид devops или архитектурна астронавтика. Не, изпълнение, няма да ни изядеш всички!

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

Нека честно признаем, че днес всички компютри са разпределени по един или друг начин. Независимо дали става въпрос за многоядрена машина, изчислителен клъстер или широкомащабна разпределена услуга, навсякъде има много процеси, които извършват независими изчисления паралелно, синхронизирайки се един с друг. Как работи на теория и как работи на практика ще бъде във фокуса на Hydra.

Програма на конференцията

В момента програмата е в процес на разработка. Той трябва да включва доклади от основателите на теориите за разпределени системи и инженери, работещи с тях в производството.

Например вече знаем за участието на Leslie Lamport от Microsoft Research и Maurice Herlihy от Brown University.

Морис Херлихи - много известен и уважаван професор по компютърни науки, има и история за него Страница в Уикипедия, където можете да прегледате връзките и работи. Там можете да забележите цели две награди Dijkstra, първите за работа „Синхронизация без изчакване“, а вторият, по-скорошен - „Транзакционна памет: Архитектурна поддръжка за структури от данни без заключване“. Между другото, връзките дори не водят до SciHub, а до Brown University и Virginia Tech University, можете да отворите и да прочетете.

Морис ще бъде домакин на основна бележка, наречена „Блокови вериги от гледна точка на разпределени изчисления“. При интерес можете да разгледате записа на репортажа на Морис от петербургската ЮГ. Преценете колко ясно и разбираемо той предава темата.

Втората основна бележка, наречена „Двойни структури от данни“, ще гласи Майкъл Скот от университета в Рочестър. И познайте - той също има своя собствена Страница в Уикипедия. У дома в Уисконсин той е известен с работата си като декан в Университета на Уисконсин-Медисън, а в света той е човекът, който заедно с Дъг Лиа разработи онези неблокиращи алгоритми и синхронни опашки, върху които работят библиотеките на Java . Той получи своята награда Dijkstra три години след Herlihy за работата си „Алгоритми за мащабируема синхронизация на мултипроцесори със споделена памет“ (както се очакваше, тя лежи отворена в онлайн библиотеката на университета в Рочестър).

До средата на юли има още много време. Ще ви разкажем за други лектори и техните теми, докато усъвършенстваме програмата и наближаваме юли.

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

Дискусионни зони

На други конференции се случва ораторът да прочете каквото трябва и веднага да си тръгне. Участниците дори нямат време да го търсят - в крайна сметка следващият доклад започва почти без празнина. Много боли, особено когато важни хора като Лампорт, Херлихи и Скот са там, а вие всъщност отивате на конференцията само за да се срещнете с тях и да поговорите за нещо.

Решихме този проблем. Веднага след доклада си ораторът отива в специална дискусионна зона, оборудвана поне с бяла дъска с маркер, и имате доста време. Формално говорителят обещава да присъства поне в паузата между докладите. В действителност тези дискусионни зони мога разтягайте часове наред (в зависимост от желанието и издръжливостта на говорещия).

Колкото до Лампорт, ако разбирам правилно, той иска да убеди възможно най-много хора в това TLA+ - това е хубаво нещо. (Статия за TLA+ в Wikipedia). Може би това ще бъде добър шанс за инженерите да научат нещо ново и полезно. Лесли предлага този вариант - който се интересува може да гледа миналите му лекции и да идва с въпроси. Тоест, вместо основна бележка, може да има, така да се каже, специализирана сесия с въпроси и отговори и след това друга дискусионна зона. Потърсих малко в гугъл и намерих страхотен TLA+ курс (официално дублиран плейлист в youtube) и един час лекция „Мислене над кода“ от срещата на върха на факултета на Microsoft.

Ако сте смятали всички тези хора за имена, излети в гранит от Уикипедия и върху корици на книги, време е да ги срещнете на живо! Чатете и задавайте въпроси, на които страниците с научни статии няма да отговорят, но техните автори ще се радват да се свържат.

Покана за участие

Не е тайна, че много от тези, които сега четат статията, не са склонни сами да разкажат нещо достатъчно интересно. От инженерна гледна точка, от научна гледна точка, от всяка гледна точка. Разпределеното изчисление е много широка и дълбока тема, където има място за всеки.

Ако искате да играете заедно с Лампорт, това е напълно възможно. За да станете говорител, трябва следвайте връзката, внимателно прочетете всичко там и го направете според инструкциите.

Бъдете спокойни, веднага щом се свържете с процеса, ще ви бъде помогнато. Програмният комитет разполага с достатъчно ресурси, за да подпомогне самия доклад, неговата същност и дизайн. Координаторът ще ви помогне да се справите с организационни въпроси и т.н.

Обърнете специално внимание на картинката с датите. Юли е доста далечна дата за участника и говорителят трябва да започне да действа сега.

SPTDC училище

Конференцията ще се проведе на същия сайт с училището SPTDC, така че за всеки, който закупи билет за училището, билети за конференцията - с отстъпка 20%.

Лятно училище по практика и теория на разпределените изчисления (SPTDС) - училище, което предлага широка гама от курсове по практически и теоретични аспекти на разпределените системи, които се преподават от признати експерти в съответната област.

Училището ще се проведе на английски език, така че ето списъкът с обхванати теми:

• Конкурентни структури от данни: коректност и ефективност;
• Алгоритми за енергонезависима памет;
• Разпределена изчислимост;
• разпределено машинно обучение;
• Репликация на държавна машина и Paxos;
• Византийска отказоустойчивост;
• Алгоритмични основи на блокчейните.

Ще говорят следните лектори:

• Лесли Лампорт (Microsoft);
• Морис Херлихи (Университет Браун);
• Майкъл Скот (Университет на Рочестър);
• Дан Алистарх (IST Австрия);
• Тревър Браун (Университет Ватерло);
• Ели Гафни (UCLA);
• Дани Хендлър (Университет Бен Гурион);
• Achour Mostefaoui (Университет на Нант).

плейлист с докладите от предишното училище могат да се гледат свободно в YouTube:

Следващи шаги

Програмата на конференцията все още се формира. Следете новините на Habré или в социалните мрежи (fb, vk, кикотене).

Ако наистина вярвате в конференцията (или искате да се възползвате от специалната начална цена, както се казва, "Early Bird") - можете да отидете на сайта и закупуване на билети.

Ще се видим в Hydra!

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