Назария ин аст, ки шумо ҳама чизро медонед, аммо ҳеҷ чиз кор намекунад.
Амал ин аст, ки ҳама чиз кор мекунад, аммо ҳеҷ кас намедонад, ки чаро.
Дар системаҳои тақсимшуда, назария ва амалия якҷоя мешаванд:
ҳеҷ чиз кор намекунад ва ҳеҷ кас намедонад, ки чаро.
Барои исботи он, ки шӯхӣ дар эпиграф аблаҳии мутлақ аст, мо бори сеюм аст, ки SPTDC (мактаби амалия ва назарияи ҳисоббарории тақсимшуда) баргузор мекунем. Мо аллакай дар бораи таърихи мактаб, ҳаммуассисони он Петр Кузнецов ва Виталий Аксенов, инчунин иштироки JUG Ru Group дар ташкили SPTDC муҳокима кардем. гуфт дар Хабре. Бинобар ин, мо имруз дар бораи мактаб дар соли 2020, дар бораи лекцияю лекторон, инчунин дар бораи фарқиятҳои байни мактаб ва конференсия сухан меронем.
Мактаби SPTDC аз 6 июл то 9 июли соли 2020 дар Маскав баргузор мешавад.
Ҳама лексияҳо бо забони англисӣ хоҳанд буд. Мавзӯҳои асосии лексияҳо: ҳисобкунии доимии ҳамзамон, воситаҳои криптографӣ барои системаҳои тақсимшуда, усулҳои расмии санҷиши протоколҳои консенсус, мувофиқат дар системаҳои калонҳаҷм, омӯзиши мошини тақсимшуда.
Оё шумо фавран фаҳмидед, ки қаҳрамонҳои дар расм кадом рутбаи низомӣ доранд? Ман ба ту муҳаббат дорам.
Лекторону лекцияхо
Нир Шавит (Нир Шавит) - профессори MIT ва Донишгоҳи Тел-Авив, ҳаммуаллифи китоби бузург Санъати барномасозии бисёрпросессорӣ, соҳиби Ҷоизаи Dijkstra барои таҳия ва татбиқ хотираи транзаксионии нармафзор (STM) ва Ҷоизаи Годел барои кори худ оид ба татбиқи топологияи алгебравӣ ба моделсозии ҳисоббарории хотираи муштарак, ҳаммуассиси ширкат Ҷодуи асаб, ки алгоритмҳои омӯзиши мошиниро барои CPU-ҳои оддӣ эҷод мекунад ва албатта дорои хусусияти худро дорад. Саҳифаҳои Википедиа бо як акси пурдабдабанок. Нир аллакай дар соли 2017 дар мактаби мо иштирок карда буд ва дар он ҷо ӯ шарҳи ҳамаҷонибаи усулҳои блокро дод (қисми 1, қисми 2). Мо ҳоло намедонем, ки Нир дар ин сол дар бораи чӣ сӯҳбат хоҳад кард, аммо мо умедворем, ки хабарҳои пешқадами илм.
Майкл Скотт (Майкл Скотт) - муҳаққиқ дар Донишгоҳи Рочестер, ки ба ҳама таҳиягарони Java ҳамчун созанда маълум аст алгоритмҳои ғайрибандӣ ва навбатҳои синхронӣ аз китобхонаи стандартии Java. Албатта, бо ҷоизаи Dijkstra барои рушд алгоритмҳои ҳамоҳангсозӣ барои ҳисобкунии хотираи муштарак ва худ Саҳифаи Википедиа. Соли гузашта, Майкл дар мактаби мо дар бораи сохторҳои додаҳои блокношуда лексия хонд (қисми 1, қисми 2). Имсол вай мегӯяд дар бораи истифодаи барномасозӣ хотираи ғайримуқаррарӣ (NVM), ки мураккабии барнома ва сарбории хотираро дар муқоиса бо хотираи "муқаррарии" хотираи дастрасии тасодуфӣ (DRAM) коҳиш медиҳад.
Кейдар меравад (Идит Кейдар) - профессори Технология ва соҳиби Индекси Хирш тақрибан 40 (ки хеле, хеле назаррас аст) барои дусад маколаи илмй дар соҳаи ҳисоббарории тақсимшуда, бисёрсоҳавӣ ва таҳаммулпазирии хатогиҳо. Идит бори аввал дар мактаби мо иштирок мекунад, ки вай лекция мехонад дар бораи ҷанбаҳои асосии кори нигаҳдории маълумотҳои тақсимшуда: эмулясияи хотираи тақсимшуда, таҳияи консенсус ва тағироти конфигуратсия.
Родриго Родригес (Родриго Родригес) - профессори Técnico, узви лаборатория INESC-ID ва муаллиф кори тадкикотй дар сохаи системахои таксимшуда. Имсол дар мактаби мо Родриго мегӯяд дар бораи мувофиқат ва ҷудошавӣ дар мағозаҳои додаҳои тақсимшуда ва инчунин истифодаи онро таҳлил хоҳад кард Теоремаҳои CAP имконпазирии дар амалия якчанд моделҳои мувофиқат ва ҷудокунӣ.
Чен Ҷинг (Ҷинг Чен) - профессори Донишгоҳи давлатии Ню-Йорк дар Стони Брук, муаллиф кори тадкикотй дар соҳаи blockchain ва олими пешбари дар Algorand - як ширкат ва платформаи blockchain, ки алгоритми консенсусро истифода мебарад, ки комилан ба он асос ёфтааст Маълумотнома. Имсол дар мактаби мо Чен дар бораи блокчейни Алгоранд ва роҳҳои ноил шудан ба хосиятҳои ҷолиби он сӯҳбат хоҳад кард: талаботҳои паст ба захираҳои компютерии шабакавӣ, имконнопазирии тақсим кардани таърихи транзаксия ва кафолати анҷоми коркарди транзаксия пас аз илова кардани он ба blockchain.
Кристиан Кашин (Кристиан Качин) профессори Донишгоҳи Берн, роҳбари гурӯҳи тадқиқотӣ дар соҳаи ҳифзи маълумот, ҳаммуаллифи китоби "Муқаддима ба барномасозии боэътимод ва бехатари тақсимшуда", таҳиягари платформаи blockchain Чорабиниҳои Hyperledger (ҳатто дар бораи ӯ сӯҳбате буд дар Habré нашр кунед) ва муаллиф кори тадкикотй дар соҳаи криптография ва амният дар системаҳои тақсимшуда. Имсол дар мактаби мо христиан лекция мехонад силсилаи чор қисмат оид ба воситаҳои криптографӣ барои ҳисоббарории тақсимшуда: криптографияи симметрӣ ва асимметрӣ, инчунин криптографияи калиди муштарак, рақамҳои бардурӯғ ва тавлиди рақамҳои тасодуфии тасдиқшаванда.
Марко Вуколич (Марко Вуколич) - тадқиқотчии IBM Research, муаллиф кор мекунад дар blockchain ва таҳиягари Hyperledger Fabric. Мо ҳоло намедонем, ки Марко имсол дар мактаби мо дар бораи чӣ сӯҳбат хоҳад кард, аммо умедворем, ки мо дар бораи навтарин пешрафтҳои ӯ дар соҳаи blockchain маълумот хоҳем гирифт: тадқиқот таназзули кор протоколҳои консенсуси тақсимшуда дар кластерҳои то 100 мошин, пахш Протоколи Мир бо тартиботи чахонй ва Таҳаммулпазирии хатогиҳои Византия ё blockchain бе блок StreamChain, кам кардани вақти коркарди транзаксия.
Прасад Ҷаянти (Прасад Ҷаянти) профессори Коллеҷи Дартмут, яке аз элитаҳо мебошад Лигаи Айви, ва муаллиф кори тадкикотй дар сохаи алгоритмхои бисьёр ришта. Имсол дар мактаби мо Прасад лекция мехонад дар бораи синхронизатсияи ришта ва алгоритмҳои татбиқи вариантҳои гуногун мутекс: Бо функсияҳои қатъ ё барқароркунӣ дар моделҳои хотираи идоранашаванда, инчунин амалиёти алоҳида хондан ва навиштан.
Алексей Готсман (Алексей Готсман) - профессори IMDEA ва муаллиф кори тадкикотй дар сохаи тафтиши программавии алгоритмхо. Мо ҳанӯз намедонем, ки Алексей имсол дар мактаби мо дар бораи чӣ лексия хонд, аммо мо ба мавзӯъе дар чорроҳаи санҷиши нармафзор ва системаҳои тақсимшуда умед мебандем.
Чаро ин мактаб асту конференция не?
Аввалан, лекторҳо дар формати академӣ сухан мегӯянд ва ҳар як лексияи калон аз ҷониби ду ҷуфт дода мешавад: "якуним соат - танаффус - якуним соати дигар." Солҳои зиёд пас аз донишгоҳ, бо одати презентатсияҳои яксоатаи конфронс ва видеоҳои 10-дақиқаии YouTube, ин метавонад душвор бошад. Лектори хуб тамоми се соатро ҷолиб хоҳад кард, аммо ҳама барои пластикии майнаи худ масъул аст.
Маслиҳати муфид: таҷриба дар сабти видеоии лексияҳои мактабӣ дар Соли 2017 ва дар Соли 2019. Хайр, кор - салом генералҳои Византия.
Сониян, лекторхо ба тадкикоти илмй диккат дода, дар бораи принципхои фундаменталй сухан меронанд системахои таксимшуда ва хисоббарории параллелй, инчунин ахбор аз пешравихои илм. Агар ҳадафи шумо зуд барномарезӣ кардани чизе бошад ва рӯзи дигар пас аз мактаб онро дар истеҳсолот ҷойгир кунед, ин метавонад душвор бошад.
Маслиҳати муфид: мақолаҳои тадқиқотии омӯзгорони мактабро дар Google Scholar и Садо Ояндасоз. Агар ба шумо хондани мақолаҳои илмӣ маъқул бошад, мактабро низ дӯст медоред.
Сеюм, SPTDC 2020 конфронс нест, зеро конфронс оид ба системаҳои тақсимшуда ва ҳисоббарории параллелӣ Гидра 2020. Ба наздикӣ дар бораи Habré бо як паёме буд шарҳи барномаи вай. Соли гузашта, SPTDC ва Hydra ҳамзамон ва дар як макон баргузор шуданд. Имсол онҳо дар санаҳо такрор намешаванд, бинобар ин онҳо барои вақт ва таваҷҷӯҳи шумо бо ҳамдигар рақобат намекунанд.
Маслиҳати муфид: Барномаи конфронси Hydra-ро санҷед ва дар бораи иштирок дар конфронси дигар пас аз мактаб фикр кунед. Ин ҳафтаи хуб хоҳад буд.
Чӣ тавр ба мактаб рафтан мумкин аст?
- Дар тақвими худ санаҳоро аз 6 июл то 9 июли соли 2020 нависед (ё беҳтараш 11 июл, то шумо метавонед пас аз дарс ба конфронси Hydra равед).
- Дил гиред, омода шавед.
- Чиптаҳоро интихоб кунед ва ба мактаб равед.
Манбаъ: will.com