У мінулым годзе ў Санкт-Пецярбургу прайшла , прысвечаная паралельным і размеркаваным сістэмам. З дакладамі выступалі лаўрэаты и (, и ), стваральнікі кампілятараў і моў праграмавання (C++, Go, Java, Kotlin), распрацоўшчыкі размеркаваных баз дадзеных (Cassandra, CosmosDB, Yandex Database), а таксама стваральнікі і даследчыкі алгарытмаў і структур дадзеных (CRDT, Paxos, wait-free data structures) . Увогуле, на гэтым месцы ўжо можна браць адпачынак, згортваць акно IDE, адчыняць плэйліст на YouTube з Hydra 2019 — і няхай task scheduler крыху пачакае.
Увогуле ніколі такой канферэнцыі не было, і вось зноў яна здарыцца. Зноў з дакладамі на англійскай, таму што няма лепш мовы, каб казаць аб паралельных і размеркаваных вылічэннях. Зноў улетку, 10 і 11 ліпеня, таму што спікеры паспяваюць даследаваць і выкладаць, напрыклад, ва ўніверсітэтах Кембрыджа, Рочэстэра і Санкт-Пецярбурга, і іншы час года не для іх.
Аднак на гэты раз 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
Як расказаць пра ўсё гэта ў праграме адной канферэнцыі? Гэта сапраўды не прасцей, чым пратэставаць лінеарызуемасць аперацый у новай бліскучай размеркаванай сховішчы з дапамогай , Але мы паспрабуем.
Вось хто ўжо ў праграме:
(Cindy Sridharan) — распрацоўніца размеркаваных сістэм з Сан-Францыска, аўтар невялікай кнігі (вазьміце ) і папулярнага , дзе адзін толькі артыкул «» здольная пазбавіць ад пары выходных, але пакінуць шчаслівым. На Hydra 2020 Сіндзі раскажа, як , нават калі яны захоўваюць стан.
Майкл Скот (Michael Scott) - даследчык з , вядомы ўсім Java-распрацоўнікам як стваральнік са стандартнай бібліятэкі Java. Зразумела, з прэміяй Дэйкстры за» і ўласнай . Летась Майкл зрабіў на Гідры лепшы (паводле вашых ацэнак) даклад, прысвечаны , а зараз раскажа пра и , даступнай паралельным працэсам.
(Heidi Howard) з , вядомая стварэннем алгарытму размеркаванага кансэнсусу , а таксама працай па абагульненні Flexible Paxos і . У мінулым годзе Хайдзі распавяла, як уладкована і працуе (адзін з лепшых дакладаў), а зараз паспрабуе прайсці па тонкім лёдзе паміж - І падзеліцца сваім меркаваннем аб тым, які з алгарытмаў лепш.
(Martin Kleppmann) – магчыма, нават больш вядомы даследчык з University of Cambridge, а ў мінулым – распрацоўшчык сістэм па апрацоўцы вялікіх дадзеных, які напісаў дзіўна зразумелую і таму ўнікальную кнігу аб размеркаваных сістэмах.». У мінулым годзе Марцін сваіх даследаванняў CRDT, а пра што раскажа зараз — мы .
(Nikita Koval) — распрацоўшчык каруцін у камандзе Kotlin, выкладчык курса па шматструменным праграмаванні ў ІЦМА і член праграмнага камітэта канферэнцыі Hydra (так, той самай, пра якую гэты артыкул). У мінулым годзе Мікіта распавёў аб тэставанні шматструменных структур дадзеных на платформе JVM з дапамогай , а на Hydra 2020 ён пра SegmentQueueSynchronizer - верыфікаваную з дапамогай для абстракцыю для праграмавання прымітываў сінхранізацыі.
Сачыце за нашымі асінхроннымі анонсамі: усяго на канферэнцыі будзе каля трох дзясяткаў дакладаў, хутка раскажам пра астатнія. Яшчэ, зразумела, на канферэнцыі будуць дыскусійныя зоны, дзе трэба ў адну або некалькі плыняў выпрабоўваць дакладчыкаў пытаннямі да дасягнення ўсеагульнага кансэнсусу.
А калі павязе, Марцін Клепман падпіша вам кніжку.
Так, перад канферэнцыяй Hydra 2020, а менавіта 6-9 ліпеня пройдзе - трэцяя летняя школа па тэорыі і практыцы размеркаваных вылічэнняў. На ёй вас чакаюць адчуванні, якія складана атрымаць на канферэнцыі, таму мы раскажам пра Школу ў асобным пасце.
А што зараз? Па-першае, сочыце за навінамі на Хабры і ў сацсетках (, , ).
Па-другое, калі вы ўжо адчулі непераадольнае жаданне пабываць на канферэнцыі - вывучыце сайт, там ужо можна .
Па-трэцяе, не выпусціце магчымасць пагутарыць з праграмным камітэтам канферэнцыі Hydra 2020 у каментарах. Члены ПК будуць рады пагаварыць з вамі аб тэмах будучай канферэнцыі.
Сустрэнемся на Hydra!
Крыніца: habr.com