Основачите на теоријата на дистрибуирани системи во прегратките на хидрата

Основачите на теоријата на дистрибуирани системи во прегратките на хидратаТоа Лесли Лампорт е автор на основни дела во дистрибуирани компјутери, а можеби го познавате и по буквите Ла во зборот LaTeX - "Lamport TeX". Токму тој прв, во далечната 1979 година, го претстави концептот секвенцијална конзистентност, и неговата статија „Како да направите мултипроцесорски компјутер кој правилно ги извршува програмите со повеќе процеси“ ја доби наградата Дијкстра (поточно, во 2000 година наградата беше наречена на стариот начин: „ПОДЦ Влијателна награда за хартија“). Има за него Статија на Википедија, каде што можете да добиете уште неколку интересни врски. Ако сте возбудени за решавање на проблемите што се случуваат-пред или проблеми на византиските генерали (BFT), тогаш мора да разберете дека Лампорт стои зад сето ова.

Тој, исто така, наскоро ќе дојде и на нашата нова конференција за дистрибуирани компјутери - Хидра, која ќе се одржи на 11-12 јули во Санкт Петербург. Ајде да видиме какво животно е ова.

Хидра 2019

Темите како мултинишката се меѓу најпопуларните на нашите конференции, отсекогаш биле. Токму сега оваа соба беше напуштена, но потоа на сцената се појавува човек кој зборува за моделот на меморија, се случува-пред или повеќенишки собирање ѓубре и - бум! — веќе околу илјада луѓе го заземаат целиот расположлив простор за да седнат и внимателно да слушаат. Која е суштината на овој успех? Можеби тоа е затоа што сите имаме при рака некој вид хардвер што може да организира дистрибуирано пресметување? Или потсвесно ја разбираме нашата неспособност да го вчитаме како што заслужува? Постои вистинска приказна за еден квант од Санкт Петербург (т.е. финансиски квантитативен аналитичар и развивач), кој се нашол во посед на компјутерски кластер, чија целосна моќ може да ја искористи само тој. Што би направиле доколку имате капацитет да ги извршувате вашите задачи што е многукратно поголем отколку што е сега?

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

Или можете да одите на спротивен начин, да се откажете и искрено да направите конференција која целосно ќе биде за дистрибуирани компјутери и само за нив. И еве го, Хидра.

Ајде искрено да признаеме дека денес сите пресметки се распределени на овој или оној начин. Без разлика дали се работи за машина со повеќе јадра, компјутерски кластер или дистрибуирана услуга од големи размери, насекаде има многу процеси кои вршат независни пресметки паралелно, синхронизирајќи се едни со други. Hydra ќе биде посветена на тоа како ова функционира во теорија и како функционира во пракса.

Конференциска програма

Програмата моментално е во фаза на формирање. Тоа треба да вклучува извештаи од основачите на теориите за дистрибуирани системи и инженери кои работат со нив во производството.

На пример, веќе е познато учеството на Лесли Лампорт од Мајкрософт Рисрч и Морис Херлихи од Универзитетот Браун.

Основачите на теоријата на дистрибуирани системи во прегратките на хидрата Морис Херлихи - многу познат и почитуван професор по компјутерски науки, има и информации за него Страница на Википедија, каде што можете да пребарувате низ врски и дела. Таму може да се забележат две награди Dijkstra, првата за работа „Синхронизација без чекање“, и втората, понова - „Трансакциска меморија: Архитектонска поддршка за структури на податоци без заклучување“. Патем, врските не водат ни до SciHub, туку до Универзитетот Браун и Техничкиот универзитет во Вирџинија, можете да отворите и да читате.

Морис ќе одржи главен говор наречен „Блокчејн од перспектива на дистрибуирани компјутери“. Доколку сте заинтересирани, можете да ја погледнете снимката од извештајот на Морис од ЈУГ во Санкт Петербург. Оценете колку јасно и разбирливо ја пренесува темата.

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

Има уште многу време до средината на јули. Ќе ви кажеме за преостанатите говорници и нивните теми додека ја усовршуваме програмата и се приближуваме до јули.

Во принцип, се поставува прашањето - зошто ја правиме Хидра во лето? На крајот на краиштата, ова е ниска сезона, празници. Проблемот е што меѓу говорниците има и универзитетски професори, а секое друго време е зафатено за нив. Едноставно не можевме да избереме други датуми.

Области за дискусија

На други конференции се случува говорникот да прочита што му треба и веднаш да си замине. Учесниците немаат ни време да го бараат - на крајот на краиштата, следниот извештај започнува речиси без интервал. Ова е многу болно, особено ако се присутни важни луѓе како Лампорт, Херлихи и Скот, а вие всушност одите на конференцијата само за да ги запознаете и да разговарате за нешто.

Го решивме овој проблем. Веднаш по неговиот извештај, говорникот оди во посебна област за дискусија, опремена со барем табла со маркер, а вие имате доста време. Формално, говорникот ветува дека ќе биде таму барем во текот на целата пауза помеѓу презентациите. Во реалноста, овие области за дискусија може да се протегаат со часови (во зависност од желбата и издржливоста на говорникот).

Што се однесува до Лампорт, ако добро разбирам, тој сака да убеди што повеќе луѓе во тоа TLA+ - ова е добра работа. (Статија за TLA+ на Википедија). Можеби ова ќе биде добра шанса за инженерите да научат нешто ново и корисно. Лесли ја нуди оваа опција - заинтересираните можат да ги гледаат неговите минати предавања и да дојдат со прашања. Односно, наместо воведен говор, може да има специјализирана сесија за прашања и одговори, а потоа и зона за дискусија. Направив гуглање и најдов одличен. TLA+ курс (официјално наречен плејлиста на YouTube) и едночасовно предавање „Размислување над кодот“ од Самитот на Факултетот Мајкрософт.

Ако ги сфативте сите овие луѓе како имиња изнесени во гранит од Википедија и на корици на книги, време е лично да ги запознаете! Разговарајте и поставувајте прашања на кои страниците со научни статии нема да одговорат, но нивните автори со задоволство ќе остварат контакт.

Повик за трудови

Не е тајна дека многумина од оние кои сега ја читаат статијата не сакаат да ни кажат нешто доста интересно. Од инженерска гледна точка, од научна гледна точка - од која било гледна точка. Дистрибуираните компјутери се многу широка и длабока тема каде што има простор за секого.

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

Бидете сигурни, штом ќе се вклучите во процесот, тие ќе ви помогнат. Програмскиот комитет има доволно способности да помогне со самиот извештај, неговата суштина и дизајн. Координаторот ќе ви помогне да ги средите организациските прашања и така натаму.

Обрнете посебно внимание на сликата со датумите. Јули е прилично далечен датум за учесникот, но говорникот треба да почне да дејствува сега.

Основачите на теоријата на дистрибуирани системи во прегратките на хидрата

Училиште СПТДЦ

Конференцијата ќе се одржи на истата локација како и училиштето СПТДЦ, така што за сите што ќе купат билет за училиштето, билети за конференцијата ќе бидат со 20% попуст.

Летна школа за пракса и теорија на дистрибуирани компјутери (SPTDC) е училиште кое обезбедува широк спектар на курсеви за практичните и теоретските аспекти на дистрибуираните системи, подучени од признати експерти во соодветната област.

Школата ќе се одржува на англиски јазик, па вака изгледа списокот на опфатени теми:

  • Истовремени структури на податоци: исправност и ефикасност;
  • Алгоритми за неиспарлива меморија;
  • Дистрибуирана пресметливост;
  • Дистрибуирано машинско учење;
  • Репликација на држава-машина и Паксос;
  • Византиска толеранција на грешки;
  • Алгоритамски основи на блокчејн.

Ќе зборуваат следните говорници:

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

плејлиста Слободно можете да ги гледате извештаите од претходното училиште на YouTube:

Следни чекори

Програмата на конференцијата се уште се формира. Следете ги вестите на Хабре или на социјалните мрежи (fb, vk, Твитер).

Ако навистина верувате во конференцијата (или сакате да ја искористите специјалната влезна цена, т.н. „Early Bird“), можете да отидете на веб-страницата и купи билети.

Се гледаме во Хидра!

Извор: www.habr.com

Додадете коментар