Манораҳои Кремл дар оғӯши Гидра: конфронс оид ба ҳисоббарории параллелӣ ва тақсимшудаи Hydra 2020 дар Маскав

Соли гузашта дар Петербург буд аввалин конфронси Hydra, ба системаҳои параллелӣ ва тақсимшуда бахшида шудааст. Лауреатхо баромад карданд Ҷоизаи Dijkstra и Ҷоизаҳои Тюринг (Лесли Лэмпорт, Морис Херлихи и Майкл Скотт), созандагони компиляторҳо ва забонҳои барномасозӣ (C++, Go, Java, Kotlin), таҳиягарони пойгоҳи додаҳои тақсимшуда (Cassandra, CosmosDB, Yandex Database), инчунин созандагон ва муҳаққиқони алгоритмҳо ва сохторҳои додаҳо (CRDT, Paxos, интизор шавед) - сохторҳои ройгони маълумот). Умуман, дар ин лаҳза шумо метавонед аллакай рухсатӣ гиред, равзанаи IDE-ро кам кунед, дар YouTube рӯйхати навозишро кушоед. гузоришҳои беҳтарин Hydra 2019 - ва бигзор нақшасози вазифа каме интизор шавад.

Умуман, чунин конференция хеч вакт руй надода буд ва акнун такрор мешавад. Боз бо гузоришҳо бо забони англисӣ, зеро забони беҳтаре барои сӯҳбат дар бораи ҳисоббарории параллелӣ ва тақсимшуда вуҷуд надорад. Боз дар тобистон, 10 ва 11 июль, зеро нотикон барои тадкикот ва дарс додан вакт доранд, масалан, дар университетхои Кембриж, Рочестер ва Санкт-Петербург ва дигар вактхои сол барои онхо нест.

Вале ин дафъа Гидра дар Москва барпо мегардад, ки аксарияти иштирокчиёни конфронс соли гузашта барои шунидани гузоришҳо дар бораи консенсуси тақсимшуда ва хотираи транзаксионӣ омада буданд. Гидраи нав дорои як барномаи мураккабтар, сухангӯёни нав дар баробари қаҳрамонони соли гузашта ва инчунин эҳсоси аллакай шиноси ҳаяҷонбахши хардкори параллелӣ дар байни иштирокчиён дар се толор паҳн шудааст.

Манораҳои Кремл дар оғӯши Гидра: конфронс оид ба ҳисоббарории параллелӣ ва тақсимшудаи Hydra 2020 дар Маскав


Биёед фавран як саҳни кортҳоро бо генералҳои Византия рӯ ба рӯи миз гузорем - мо мехоҳем, ки барномаи нави Hydra муфассалтар ва гуногунтар бошад. Дафъаи гузашта бо нохун харошида будем, акнун васеътару чукуртар кобем. Инҳоянд мавзӯъҳои Hydra 2020 бо тафовут нисбат ба соли гузашта:

  Parallel systems:
* Algorithms & data structures
* Memory models
* Compilers, runtime
* Memory reclamation
* Testing & verification
* Hardware issues
* Non-volatile memory
* Transactional memory
* Scheduling algorithms & implementations
* Heterogeneous computing: CPU, GPU, FPGA, etc.
* Performance analysis, debugging, & optimization

  Distributed systems:
* Distributed computing
* Distributed machine learning/deep learning
* State machine replication & consensus
* Fault tolerance & resilience
* Testing & verification
* Hardware issues
* Blockchain & Byzantine fault tolerance
* Distributed databases, NewSQL
* Distributed stream processing
* Scheduling algorithms & implementations
* Cluster management systems
* Security
* Performance analysis, debugging, & optimization
* Peer-to-peer, gossip protocols
* Internet of things

Дар барномаи як конференция дар бораи хамаи ин чй тавр сухан рондан мумкин? Ин бешубҳа осонтар аз санҷиши хаттӣ будани амалиётҳо дар як мағозаи нави тақсимшуда бо истифода аз Ҷепсен, аммо мо кӯшиш мекунем.

Ин аст, ки кӣ аллакай дар барнома аст:

Манораҳои Кремл дар оғӯши Гидра: конфронс оид ба ҳисоббарории параллелӣ ва тақсимшудаи Hydra 2020 дар МаскавСинди Шридхаран (Синди Сридхаран) - таҳиягари системаҳои тақсимшуда аз Сан-Франсиско, муаллифи китоби кӯтоҳ Мушоҳидаи системаҳои тақсимшуда (бигиред нусхаи электронии ройгон) ва маъмул пости блог, ки дар он танҳо як мақола мавҷуд аст "Беҳтарин 2019 дар гуфтугӯҳои Tech"метавонад шуморо аз чанд рӯзи истироҳат наҷот диҳад, аммо шуморо хушбахт гузорад. Дар Hydra 2020, Синди ба шумо мегӯяд, ки чӣ тавр озмоиши системаҳои тақсимшуда, ҳатто агар онҳо давлатро нигоҳ доранд.


Манораҳои Кремл дар оғӯши Гидра: конфронс оид ба ҳисоббарории параллелӣ ва тақсимшудаи Hydra 2020 дар МаскавМайкл Скотт (Майкл Скотт) - муҳаққиқ аз Донишгоҳи Рочестер, ки ба ҳама таҳиягарони Java ҳамчун созанда маълум аст алгоритмҳои ғайрибандӣ ва навбатҳои синхронӣ аз китобхонаи стандартии Java. Албатта, бо ҷоизаи Dijkstra барои "Алгоритмҳо барои ҳамоҳангсозии миқёспазир дар бисёрпросессорҳои хотираи муштарак"ва худ Саҳифаи Википедиа. Соли гузашта Майкл беҳтарин гузоришро (ба гуфтаи шумо) дар бораи Hydra on дод сохторҳои дугонаи маълумот, ва ҳоло ӯ дар бораи он сӯҳбат хоҳад кард лоиҳаи Ҳодор и кори бехатар бо хотираи муштарак, барои равандҳои мувозӣ дастрас.


Манораҳои Кремл дар оғӯши Гидра: конфронс оид ба ҳисоббарории параллелӣ ва тақсимшудаи Hydra 2020 дар МаскавҲейди Ховард (Ҳайди Ховард) - муҳаққиқ аз он Донишгоҳи Кембриҷ, ки барои эҷоди алгоритми консенсуси тақсимшуда маълум аст Paxos чандир, инчунин кор оид ба умумгардонии Flexible Paxos ва Paxos зуд. Соли гузашта Ҳейди нақл кард, ки он чӣ гуна кор мекунад ва кор мекунад Оилаи алгоритмҳои Paxos (яке аз гузоришҳои беҳтарин), ва ҳоло ман кӯшиш мекунам, ки дар байни яхи борик роҳ равам Дӯстдорони Paxos ва тарафдорони Raft — ва андешаи худро дар бораи кадом алгоритм беҳтар аст мубодила кунед.


Манораҳои Кремл дар оғӯши Гидра: конфронс оид ба ҳисоббарории параллелӣ ва тақсимшудаи Hydra 2020 дар МаскавМартин Клеппман (Мартин Клеппман) шояд як муҳаққиқи боз ҳам машҳури Донишгоҳи Кембриҷ ва як таҳиягари собиқи системаҳои додаҳои калон бошад, ки дар бораи системаҳои тақсимшуда китоби аҷибе равшан ва аз ин рӯ беназир навиштааст "Тарҳрезии барномаҳои пуршиддат" Соли гузашта Мартин натицахоро мубодила карданд дар бораи тадқиқоти CRDT ва он чизе ки мо ҳоло ба шумо мегӯям баъдтар эълон мекунем.


Манораҳои Кремл дар оғӯши Гидра: конфронс оид ба ҳисоббарории параллелӣ ва тақсимшудаи Hydra 2020 дар МаскавНикита Коваль (Никита Коваль) як таҳиягари корутин дар гурӯҳи Котлин, муаллими курси барномасозии бисёрсоҳавӣ дар ITMO ва узви кумитаи барномаҳои конфронси Hydra (бале, маҳз ҳамон чизест, ки ин мақола дар бораи он аст). Соли гузашта Никита дар бораи озмоиши сохторҳои маълумотҳои бисёрсоҳавӣ дар платформаи JVM истифода кард Лин-Чек, ва дар Hydra 2020 ӯ мегӯяд дар бораи SegmentQueueSynchronizer - бо истифода аз санҷида Чаҳорчӯбаи Айрис барои провер Кок абстраксия барои примитивҳои ҳамоҳангсозии барномасозӣ.


Эълонҳои асинхронии моро пайгирӣ кунед: дар маҷмӯъ дар конфронс тақрибан се даҳҳо гузоришҳо шунида мешаванд, мо дар бораи боқимондаро ба зудӣ ба шумо хабар медиҳем. Инчунин, албатта, дар конфронс минтақаҳои мубоҳисавӣ вуҷуд доранд, ки дар он бояд баромадкунандагонро бо саволҳо дар як ё якчанд ришта то ба даст овардани ризоияти умумӣ санҷидан лозим аст.

Манораҳои Кремл дар оғӯши Гидра: конфронс оид ба ҳисоббарории параллелӣ ва тақсимшудаи Hydra 2020 дар Маскав
Ва агар шумо хушбахт бошед, Мартин Клепманн китоби шуморо имзо мекунад.

Бале, пеш аз конфронси Hydra 2020, яъне 6-9 июл, баргузор мешавад SPTDC 2020 — мактаби сейуми тобистона оид ба назария ва амалияи хисоббарори таксимшуда. Он ба шумо эҳсосоте медиҳад, ки дар конфронс ба даст овардан душвор аст, аз ин рӯ мо дар бораи Мактаб дар як мақолаи алоҳида сӯҳбат хоҳем кард.

Ҳоло чӣ? Аввалан, хабарҳоро дар Habré ва шабакаҳои иҷтимоӣ пайгирӣ кунед (Facebook, ВКонтакте, Twitter).

Дуюм, агар шумо аллакай хоҳиши бебозгашти иштирок дар конфронсро эҳсос кунед, вебсайтро омӯзед, шумо аллакай метавонед чиптаҳо харед.

Сеюм, имкони сӯҳбатро бо кумитаи барномаи конфронси Hydra 2020 дар шарҳҳо аз даст надиҳед. Аъзои компютер бо хушҳолӣ бо шумо дар бораи мавзӯъҳои конфронси оянда сӯҳбат хоҳанд кард.

Дар Hydra вохӯред!

Манбаъ: will.com

Илова Эзоҳ