Mga tore ng Kremlin sa mga bisig ng Hydra: kumperensya sa parallel at distributed computing Hydra 2020 sa Moscow

Noong nakaraang taon sa St. Petersburg unang kumperensya ng Hydranakatuon sa parallel at distributed system. Ang mga laureate ay gumawa ng mga presentasyon Mga Premyo ng Dijkstra и Mga parangal sa Turing (Leslie Lampor, Maurice Herlihy и Michael Scott), mga tagalikha ng mga compiler at programming language (C++, Go, Java, Kotlin), mga developer ng mga distributed database (Cassandra, CosmosDB, Yandex Database), pati na rin ang mga tagalikha at mananaliksik ng mga algorithm at istruktura ng data (CRDT, Paxos, maghintay -mga libreng istruktura ng data) . Sa pangkalahatan, sa puntong ito maaari ka nang magbakasyon, i-minimize ang window ng IDE, magbukas ng playlist sa YouTube gamit ang ang pinakamahusay na mga ulat Hydra 2019 - at hayaang maghintay ng kaunti ang task scheduler.

Sa pangkalahatan, hindi pa nagkaroon ng ganoong kumperensya, at ngayon ito ay mangyayari muli. Muli na may mga ulat sa Ingles, dahil walang mas mahusay na wika upang pag-usapan ang parallel at distributed computing. Muli sa tag-araw, Hulyo 10 at 11, dahil ang mga tagapagsalita ay may oras upang magsaliksik at magturo, halimbawa, sa mga unibersidad ng Cambridge, Rochester at St. Petersburg, at iba pang mga oras ng taon ay hindi para sa kanila.

Gayunpaman, sa pagkakataong ito ay gaganapin ang Hydra sa Moscow, kung saan ang karamihan sa mga kalahok sa kumperensya ay nagmula noong nakaraang taon upang makinig sa mga ulat sa ipinamahagi na pinagkasunduan at transactional memory. Sa bagong Hydra mayroong isang mas masalimuot na programa, mga bagong tagapagsalita kasama ang mga bayani ng nakaraang taon, pati na rin ang pamilyar na pakiramdam ng kagalakan na ipinamahagi sa mga kalahok mula sa parallel hardcore sa tatlong bulwagan.

Agad tayong maglatag ng isang deck ng mga baraha sa mesa na may nakataas na mga kamiseta ng mga heneral ng Byzantine - gusto nating maging mas detalyado at iba-iba ang programa ng bagong Hydra. Noong nakaraan na nagkamot tayo ng kuko, ngayon ay humukay tayo ng mas malawak at mas malalim. Narito ang mga tema ng Hydra 2020 na may pagkakaiba sa nakaraang taon:

  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


Paano sasabihin ang lahat ng ito sa programa ng isang kumperensya? Ito ay tiyak na hindi mas madali kaysa sa pagsubok sa linearizability ng mga operasyon sa isang makintab na bagong ipinamamahagi na tindahan na may Jepsenpero susubukan namin.

Narito kung sino ang nasa programa:

Cindy Sridharan (Cindy Sridharan) ay isang distributed system developer mula sa San Francisco, may-akda ng isang maikling aklat Naipamahagi na Sistema ng Pagmamasid (kunin libreng elektronikong kopya) at sikat post ng blog, kung saan isang artikulo lang "Pinakamahusay sa 2019 sa Tech Talks"Nakakapag-alis ng ilang araw na bakasyon, ngunit umalis na masaya. Sa Hydra 2020, ipapakita sa iyo ni Cindy kung paano pagsubok na ipinamahagi na mga sistema, kahit na nag-iimbak sila ng estado.


Michael Scott (Michael Scott) - mananaliksik mula sa University of Rochester, na kilala sa lahat ng mga developer ng Java bilang tagalikha ng mga hindi nakaharang na algorithm at magkakasabay na pila mula sa Java standard library. Siyempre, kasama ang Dijkstra Prize para sa "Algorithm para sa scalable na pag-synchronize sa shared-memory multiprocessors»at pagmamay-ari pahina ng Wikipedia. Noong nakaraang taon, binigyan ni Michael si Hydra ng pinakamahusay (ayon sa iyo) na ulat sa dalawahang istruktura ng dataat ngayon pag-usapan ang proyekto ng Hodor и ligtas na nagtatrabaho sa nakabahaging memoryamagagamit sa mga parallel na proseso.


Heidi Howard (Heidi Howard) mananaliksik ng University of Cambridge, na kilala sa paglikha ng isang distributed consensus algorithm Flexible Paxos, pati na rin ang paggawa sa generalization ng Flexible Paxos at Mabilis na Paxos. Noong nakaraang taon, sinabi ni Heidi kung paano ito gumagana at kung paano Pamilya ng mga algorithm ng Paxos (isa sa mga pinakamahusay na ulat), at ngayon ay susubukan niyang maglakad sa manipis na yelo sa pagitan Mga mahilig sa Paxos at mga tagasuporta ng Balsa — at ibahagi ang iyong opinyon tungkol sa kung aling algorithm ang mas mahusay.


Martin Kleppmann (Martin Kleppmann) ay marahil ang mas kilalang mananaliksik sa Unibersidad ng Cambridge, at isang dating developer ng malaking data system, na nagsulat ng isang napakalinaw at samakatuwid ay kakaibang libro sa mga distributed system "Pagdidisenyo ng Data-Intensive Application". Martin noong nakaraang taon ibinahagi ang mga resulta ng kanilang pananaliksik CRDT, at kung ano ang sasabihin ngayon - kami mag-aanunsyo mamaya.


Nikita Koval (Nikita Koval) ay isang developer ng mga coroutine sa Kotlin team, isang lecturer sa isang kurso sa multithreaded programming sa ITMO at isang miyembro ng komite ng programa ng Hydra conference (oo, ang tungkol sa kung saan ang artikulong ito). Noong nakaraang taon, nagsalita si Nikita tungkol sa pagsubok ng mga multi-threaded na istruktura ng data sa JVM platform gamit lin-check, at sa Hydra 2020 ito ay sasabihin tungkol sa SegmentQueueSynchronizer - na-verify gamit Iris framework para sa Prover Coq abstraction para sa programming synchronization primitives.


Sundin ang aming mga asynchronous na anunsyo: magkakaroon ng humigit-kumulang tatlong dosenang mga ulat sa kumperensya, sasabihin namin sa iyo ang tungkol sa iba pa. Gayundin, siyempre, magkakaroon ng mga zone ng talakayan sa kumperensya, kung saan kailangan mong subukan ang mga nagsasalita ng mga tanong sa isa o ilang mga stream hanggang sa maabot ang isang pangkalahatang pinagkasunduan.

At kung papalarin ka, pipirmahan ka ni Martin Kleppmann ng isang libro.

Oo, bago ang kumperensya ng Hydra 2020, katulad noong Hulyo 6-9, SPTDC 2020 — ang ikatlong summer school sa teorya at kasanayan ng distributed computing. Doon ay makakahanap ka ng mga sensasyon na mahirap makuha sa kumperensya, kaya pag-uusapan natin ang tungkol sa Paaralan sa isang hiwalay na post.

Ano ngayon? Una, sundan ang balita sa Habré at sa mga social network (Facebook, Vkontakte, kaba).

Pangalawa, kung naramdaman mo na ang hindi mapaglabanan na pagnanais na dumalo sa kumperensya, pag-aralan ang site, doon mo na bumili ng mga tiket.

Pangatlo, huwag palampasin ang pagkakataong makipag-chat sa komite ng programa ng kumperensya ng Hydra 2020 sa mga komento. Ang mga miyembro ng PC ay magiging masaya na makipag-usap sa iyo tungkol sa mga paksa ng paparating na kumperensya.

See you sa Hydra!

Pinagmulan: www.habr.com