ин Лесли Лэмпорт - муаллифи корҳои бунёдӣ дар компютерҳои тақсимшуда ва шумо инчунин метавонед ӯро бо ҳарфҳои Ла дар калима шиносед LaTeX - "Lamport TeX". Маҳз ӯ аввалин бор дар соли 1979 ин консепсияро ҷорӣ карда буд , ва мақолаи ӯ ҷоизаи Dijkstra гирифт (аниқтараш, соли 2000 ҷоиза ба тарики кӯҳна номида мешуд: "Ҷоизаи бонуфузи коғази PODC"). Дар бораи ӯ вуҷуд дорад , ки дар он шумо метавонед якчанд истинодҳои ҷолибтар гиред. Агар шумо дар бораи ҳалли мушкилот ҳаяҷон бошед - пеш аз он ё (BFT), онҳо бояд фаҳманд, ки Лампорт дар паси ин ҳама аст.
Ва ӯ ба зудӣ ба конфронси нави мо оид ба компютерҳои тақсимшуда - Hydra, ки 11-12 июл дар Санкт-Петербург баргузор мешавад, меояд. Биёед бубинем, ки он чӣ гуна ҳайвон аст.
Гидра 2019
Мавзӯъҳо ба монанди multithreading баъзе аз мавзӯъҳои доғтарин дар конфронсҳои мо ҳастанд, ҳамеша буданд. Ин толор танҳо холӣ буд, аммо баъд дар саҳна шахсе пайдо мешавад, ки дар бораи модели хотира гап мезанад, ҷамъоварии партовҳои пеш аз ва ё бисёр ришта рӯй медиҳад ва - бум! — аллакай дар зери хазор нафар одамон тамоми чои мав-чударо ишгол мекунанд, то нишаста бодиккат гуш кунанд. Мохияти ин муваффакият дар чист? Шояд далели он, ки ҳамаи мо дар дасти мо як навъ сахтафзоре дорем, ки қодир ба ташкили ҳисоббарории тақсимшуда аст? Ё ин ки мо ба таври возеҳ дарк карда натавонистем, ки онро ба арзиши аслии худ бор кунем? Қиссаи воқеии як квантии Петербург (яъне таҳлилгари миқдорӣ ва таҳиягари молиявӣ), ки дар дасташ кластери ҳисоббарорӣ ба анҷом расид, ки қудрати пурраи онро танҳо ӯ метавонад истифода барад. Ва шумо чӣ кор мекардед, агар шумо вазифаҳои худро бо иқтидори чандин маротиба зиёдтар аз ҳозир иҷро кунед?
Ба шарофати ин маъруфият, мавзӯи иҷроиш ва ҳисоббарории муассир дар тамоми барномаи конфронс паҳн мешавад. Аз ду рУзи хисобот дар бораи ичрои кор чй кадар хисобот додан мумкин аст — сеяк, сеяк? Дар баъзе ҷойҳо маҳдудиятҳои сунъӣ мавҷуданд, ки ин афзоишро маҳдуд мекунанд: илова бар иҷрои кор, бояд барои чаҳорчӯбаҳои нави веб, барои як навъ девопҳо ё астронавтикаи меъморӣ ҷой мавҷуд бошад. Не, спектакль, шумо хамаи моро пурра намехуред!
Ё шумо метавонед бо роҳи муқобил биравед, таслим шавед ва ростқавлона конфронс созед, ки комилан дар бораи компютерҳои тақсимшуда ва танҳо дар бораи онҳо бошад. Ва ин ҷост, Гидра.
Биёед, ростқавлона иқрор шавем, ки имрӯз ҳама компютерҳо ин ё он тарз тақсим карда шудаанд. Новобаста аз он ки он мошини бисёраслӣ, кластери ҳисоббарорӣ ё хидматрасонии васеъмиқёси тақсимшуда аст, дар ҳама ҷо равандҳои зиёде мавҷуданд, ки ҳисобҳои мустақилро дар мувозӣ ва ҳамоҳангсозӣ бо ҳамдигар иҷро мекунанд. Он дар назария ва чӣ гуна дар амалия чӣ гуна кор мекунад, диққати Hydra хоҳад буд.
Барномаи конференция
Барнома дар ҳоли таҳия қарор дорад. Дар он бояд маърузахои асосгузорони назарияхои системахои таксимшуда ва инженерхое, ки бо онхо дар истехсолот кор мекунанд, дохил карда шаванд.
Масалан, мо аллакай дар бораи иштироки Лесли Лампорт аз Microsoft Research ва Морис Ҳерлихи аз Донишгоҳи Браун медонем.
Морис Херлихи - профессори хеле машҳур ва мӯҳтарами илмҳои компютерӣ, дар бораи ӯ низ як ҳикоя вуҷуд дорад , ки шумо метавонед аз болои пайвандҳо ва корҳо рафта. Дар он ҷо шумо метавонед ду ҷоизаи Dijkstra-ро мушоҳида кунед, ки аввалин барои кор , ва дуюм, навтарин - . Дар омади гап, истинодҳо ҳатто ба SciHub оварда намерасонанд, балки ба Донишгоҳи Браун ва Донишгоҳи Технологии Вирҷиния, шумо метавонед кушоед ва хонед.
Морис ният дорад як маърӯзаи калидӣ бо номи "Блокчейнҳо аз нуқтаи назари компютерии тақсимшуда" баргузор шавад. Агар таваҷҷуҳ дошта бошед, метавонед ба сабти гузориши Морис аз ҶУГ-и Санкт-Петербург нигаред. Баҳо диҳед, ки ӯ мавзӯъро то чӣ андоза равшан ва фаҳмо баён мекунад.
Маърӯзаи дуюм бо номи "Сохтори маълумотҳои дугона" хонда мешавад Майкл Скотт аз Донишгоҳи Рочестер. Ва тахмин кунед, ки ӯ ҳам худашро дорад . Дар хона дар Висконсин, вай бо кори худ ба ҳайси декани Донишгоҳи Висконсин-Мэдисон маъруф аст ва дар ҷаҳон ӯ шахсест, ки дар якҷоягӣ бо Дуг Ли алгоритмҳои ғайрибандӣ ва навбатҳои синхронӣ, ки китобхонаҳои Java кор мекунанд, таҳия кардаанд. . Ӯ ҷоизаи Dijkstra-и худро се сол пас аз Ҳерлиҳӣ барои кори худ "Алгоритмҳо барои синхронизатсияи миқёспазир дар бисёрпросессорҳои хотираи муштарак" гирифт (тавре ки интизор мерафт, дар китобхонаи онлайни Донишгоҳи Рочестер).
То нимаи мохи июль вакти зиёде мондааст. Мо ба шумо дар бораи дигар баромадкунандагон ва мавзӯъҳои онҳо ҳангоми такмил додани барнома ва наздик шудани моҳи июл нақл хоҳем кард.
Умуман, саволе ба миён меояд, ки чаро мо Гидраро дар тобистон месозем? Охир, ин мавсими истироҳат аст, ид аст. Гап дар сари он аст, ки дар байни нотикон устодони донишгоҳҳо ҳастанд ва ҳар вақти дигар барои онҳо банд аст. Мо танҳо санаҳои дигарро интихоб карда натавонистем.
Минтақаҳои баҳс
Дар дигар конференцияхо хам чунин мешавад, ки маърузачй чизи заруриро хонда, фавран баромада меравад. Иштирокчиён ҳатто барои ҷустуҷӯи он вақт надоранд - охир, гузориши навбатӣ қариб бе фосила оғоз меёбад. Ин бисёр аламовар аст, хусусан вақте ки одамони муҳим ба мисли Лампорт, Ҳерлиҳи ва Скотт дар он ҷо ҳастанд ва шумо воқеан ба конфронс танҳо барои вохӯрӣ бо онҳо ва дар бораи чизе сӯҳбат кардан меравед.
Мо ин масъаларо ҳал кардем. Дарҳол пас аз гузориши худ нотик ба майдони махсуси мубоҳисавӣ меравад, ки бо ҳадди аққал тахтаи сафед бо маркер муҷаҳҳаз шудааст ва шумо вақти зиёд доред. Ба таври расмй нотик ваъда медихад, ки акаллан дар вакти танаффуси байни маърузахо дар он чо хоханд буд. Дар асл, ин соҳаҳои муҳокима метавонад соатхо дароз кашидан (вобаста ба майлу тобоварии суханвар).
Дар мавриди Лэмпорт бошад, агар ман дуруст фаҳмам, вай мехоҳад, ки ҳарчи бештари одамонро ба ин бовар кунонад — ин кори хуб аст. (). Шояд ин барои муҳандисон як чизи нав ва муфидро омӯзад. Лесли ин вариантро пешниҳод мекунад - ҳар касе, ки таваҷҷӯҳ дорад, метавонад лексияҳои гузаштаи худро тамошо кунад ва бо саволҳо биёяд. Яъне, ба ҷои сухани асосӣ, метавон гуфт, ки гӯё як ҷаласаи махсуси саволу ҷавоб ва сипас минтақаи дигари баҳс вуҷуд дошта бошад. Ман каме google-ро ҷустуҷӯ кардам ва як чизи олӣ ёфтам (расмӣ номгузорӣ шудааст ) ва лекцияи соатй бо Саммити факултети Microsoft.
Агар шумо дар бораи ҳамаи ин одамон ҳамчун номҳои дар гранит аз Википедиа ва дар муқоваи китобҳо навишташуда фикр мекардед, вақти он расидааст, ки бо онҳо вохӯред! Сӯҳбат кунед ва саволҳо диҳед, ки саҳифаҳои мақолаҳои илмӣ ҷавоб намедиҳанд, аммо муаллифони онҳо аз тамос шудан хушҳоланд.
Ҷустуҷӯ барои коғазҳо
Пӯшида нест, ки бисёре аз онҳое, ки ҳоло мақоларо мехонанд, аз гуфтани чизи ҷолиб худашон намехоҳанд. Аз нуктаи назари инженерй, аз нуктаи назари илмй, аз хар чихат. Компютерҳои тақсимшуда як мавзӯи хеле васеъ ва амиқ аст, ки дар он ҷо барои ҳама ҷой дорад.
Агар шумо хоҳед, ки дар баробари Лэмпорт бозӣ кунед, ин комилан имконпазир аст. Барои сухангӯ шудан ба шумо лозим аст , ҳама чизро дар он ҷо бодиққат хонед ва онро мувофиқи дастурҳо иҷро кунед.
Ором бошед, ҳамин ки шумо ба раванд пайваст мешавед, ба шумо кӯмак мекунанд. Кумитаи барномавӣ дорои захираҳои кофӣ барои кӯмак ба худи гузориш, моҳият ва тарҳрезии он мебошад. Ҳамоҳангсоз ба шумо дар ҳалли масъалаҳои ташкилӣ ва ғайра кӯмак мекунад.
Диққати махсус ба расм бо санаҳо. Июль барои иштирокчӣ санаи хеле дур аст ва нотиқ бояд ҳоло ба фаъолият шурӯъ кунад.
Мактаби SPTDC
Конфронс дар як макон бо мактаби SPTDC баргузор мешавад, бинобар ин барои ҳар касе, ки барои мактаб чипта мехарад, чиптаҳои конфронс - бо тахфифи 20%.
- мактабе, ки доираи васеи курсҳоро оид ба ҷанбаҳои амалӣ ва назариявии системаҳои тақсимшуда пешкаш мекунад, ки аз ҷониби мутахассисони шинохтаи соҳаи дахлдор таълим дода мешаванд.
Мактаб бо забони англисӣ баргузор мешавад, бинобар ин рӯйхати мавзӯъҳои фаро гирифташуда ин аст:
- Сохторҳои ҳамзамон маълумот: дурустӣ ва самаранокӣ;
- Алгоритмҳо барои хотираи ғайрифаъол;
- Ҳисоббарории тақсимшуда;
- омӯзиши мошини тақсимшуда;
- Репликатсияи давлатӣ-мошин ва Paxos;
- Таҳаммулпазирии айби Византия;
- Асосҳои алгоритмии блокчейнҳо.
Маърузачиёни зерин ба сухан мебароянд:
- Лесли Лампорт (Microsoft);
- Морис Ҳерлихи (Донишгоҳи Браун);
- Майкл Скотт (Донишгоҳи Рочестер);
- Дан Алстарх (Австрияи IST);
- Тревор Браун (Донишгоҳи Ватерлоо);
- Эли Гафни (UCLA);
- Дэнни Ҳендлер (Донишгоҳи Бен Гурион);
- Acour Mostefaoui (Донишгоҳи Нант).
бо гузоришҳои мактаби қаблӣ метавонед дар YouTube озодона тамошо кунед:
Қадамҳои оянда
Барномаи конференсия ҳоло ҳам таҳия карда мешавад. Хабарҳоро дар Habré ё дар шабакаҳои иҷтимоӣ пайгирӣ кунед (, , ).
Агар шумо воқеан ба конфронс бовар кунед (ё мехоҳед аз нархи махсуси ибтидоӣ истифода баред, чунон ки мегӯянд, "Парранда барвақт") - шумо метавонед ба сайт равед ва .
Дар Hydra вохӯред!
Манбаъ: will.com