Kremli tornid Hydra käes: paralleel- ja hajutatud andmetöötluse konverents Hydra 2020 Moskvas

Eelmisel aastal Peterburis oli esimene Hydra konverents, mis on pühendatud paralleel- ja hajutatud süsteemidele. Laureaadid tegid ettekandeid Dijkstra auhinnad и Turingi auhinnad (Leslie Lamport, Maurice Herlihy и Michael Scott), kompilaatorite ja programmeerimiskeelte (C++, Go, Java, Kotlin), hajutatud andmebaaside (Cassandra, CosmosDB, Yandex Database) arendajad, aga ka algoritmide ja andmestruktuuride (CRDT, Paxos, oota) loojad ja uurijad -tasuta andmestruktuurid). Üldiselt saate sel hetkel juba puhkuse võtta, IDE akent minimeerida, YouTube'is esitusloendit avada parimad aruanded Hydra 2019 – ja laske ülesannete planeerijal veidi oodata.

Üldiselt pole sellist konverentsi kunagi toimunud ja nüüd juhtub see uuesti. Jällegi ingliskeelsete reportaažidega, sest paralleel- ja hajutatud andmetöötlusest rääkimiseks pole paremat keelt. Taas suvel, 10. ja 11. juulil, sest esinejatel on aega uurida ja õpetada näiteks Cambridge'i, Rochesteri ja Peterburi ülikoolides ning muu aastaaeg pole nende jaoks.

Hydra peetakse seekord aga Moskvas, kuhu enamik konverentsil osalejaid tuli eelmisel aastal kuulama aruandeid hajutatud konsensuse ja tehingumälu kohta. Uuel Hydral on keerulisem programm, uued kõlarid koos eelmise aasta kangelastega, aga ka juba tuttav tunne paralleelse hardcore’i põnevusest, mis jaguneb osalejate vahel kolmes saalis.

Kremli tornid Hydra käes: paralleel- ja hajutatud andmetöötluse konverents Hydra 2020 Moskvas


Paneme kohe lauale kaardipaki, Bütsantsi kindralid näoga ülespoole – me tahame, et uus Hydra programm oleks üksikasjalikum ja mitmekesisem. Eelmine kord kratsisime küünega, nüüd kaevame laiemalt ja sügavamalt. Siin on Hydra 2020 teemad eelmise aastaga võrreldes:

  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

Kuidas sellest kõigest ühe konverentsi programmis rääkida? See pole kindlasti lihtsam kui operatsioonide lineariseeritavuse testimine säravas uues hajutatud poes, kasutades Jepsen, aga me proovime.

Siin on, kes on juba programmis:

Kremli tornid Hydra käes: paralleel- ja hajutatud andmetöötluse konverents Hydra 2020 MoskvasCindy Sridharan (Cindy Sridharan) - hajutatud süsteemide arendaja San Franciscost, lühikese raamatu autor Hajutatud süsteemide jälgitavus (võta tasuta elektrooniline koopia) ja populaarne blogi postitus, kus on ainult üks artikkel "Tech Talksis 2019. aasta parim"Võib päästa teid paarist puhkepäevast, kuid jätab teid õnnelikuks. Messil Hydra 2020 räägib Cindy teile, kuidas testida hajutatud süsteeme, isegi kui nad salvestavad olekut.


Kremli tornid Hydra käes: paralleel- ja hajutatud andmetöötluse konverents Hydra 2020 MoskvasMichael Scott (Michael Scott) - uurija aastast Rochesteri ülikool, mida kõik Java arendajad teavad kui selle loojat mitteblokeerivad algoritmid ja sünkroonsed järjekorrad Java standardteegist. Muidugi koos Dijkstra auhinnaga "Algoritmid skaleeritavaks sünkroonimiseks jagatud mäluga multiprotsessoritel"ja oma Wikipedia leht. Eelmisel aastal andis Michael parima (teie sõnul) Hydra kohta aruande kahesugused andmestruktuurid, ja nüüd ta räägib sellest projekt Hodor и turvaline töö ühismäluga, saadaval paralleelsete protsesside jaoks.


Kremli tornid Hydra käes: paralleel- ja hajutatud andmetöötluse konverents Hydra 2020 MoskvasHeidi Howard (Heidi Howard) - uurija kohta Cambridge'i Ülikool, mis on tuntud hajutatud konsensusalgoritmi loomise poolest Paindlikud Paxod, samuti tööd Paindlike Paxose üldistamisel ja Kiired Paxos. Eelmisel aastal rääkis Heidi, kuidas see käib ja käib Paxose algoritmide perekond (üks parimaid aruandeid) ja nüüd proovin vahepeal õhukesel jääl kõndida Paxose armastajad ja Parve toetajad — ja jagage oma arvamust, milline algoritm on parem.


Kremli tornid Hydra käes: paralleel- ja hajutatud andmetöötluse konverents Hydra 2020 MoskvasMartin Kleppmann (Martin Kleppmann) on ehk veelgi kuulsam teadlane Cambridge'i ülikoolist ja endine suurandmete süsteemide arendaja, kes kirjutas üllatavalt selge ja seetõttu ainulaadse raamatu hajutatud süsteemide kohta.Andmemahukate rakenduste kavandamine" Eelmisel aastal Martin jagas tulemusi nende CRDT-uuringutest ja sellest, mida me teile nüüd räägime anname teada hiljem.


Kremli tornid Hydra käes: paralleel- ja hajutatud andmetöötluse konverents Hydra 2020 MoskvasNikita Koval (Nikita Koval) on Kotlini meeskonna korutiiniarendaja, ITMO mitmelõimelise programmeerimise kursuse õpetaja ja Hydra konverentsi programmikomitee liige (jah, just see artikkel räägib). Eelmisel aastal rääkis Nikita mitme lõimega andmestruktuuride testimisest JVM-i platvormil Lin-Check, ja Hydra 2020 ta ütleb SegmentQueueSynchronizeri kohta – kontrollitud kasutades Iirise raamistik eest tõestaja Coq abstraktsioon sünkroniseerimisprimitiivide programmeerimiseks.


Jälgi meie asünkroonseid teateid: kokku tuleb konverentsil kolmkümmend ettekannet, ülejäänutest räägime peagi. Samuti on loomulikult konverentsil arutelutsoonid, kus on vaja testida esinejaid küsimustega ühes või mitmes lõimes kuni üldise konsensuseni.

Kremli tornid Hydra käes: paralleel- ja hajutatud andmetöötluse konverents Hydra 2020 Moskvas
Ja kui veab, allkirjastab Martin Kleppmann teie raamatu.

Jah, enne Hydra 2020 konverentsi, nimelt 6.-9.juuli, toimub SPTDC 2020 — kolmas hajutatud andmetöötluse teooria ja praktika suvekool. See annab teile aistinguid, mida konverentsil on raske saada, seega räägime Koolist eraldi postituses.

Mis nüüd? Esiteks jälgige uudiseid Habres ja sotsiaalvõrgustikes (Facebook, Vkontakte, puperdama).

Teiseks, kui tunned juba vastupandamatut soovi konverentsil osaleda, veebilehte uudistama, siis juba saad pileteid ostma.

Kolmandaks, ärge jätke kasutamata võimalust vestelda kommentaarides Hydra 2020 konverentsi programmikomiteega. PC liikmed räägivad teiega hea meelega tulevastel konverentside teemadel.

Kohtumiseni Hydras!

Allikas: www.habr.com

Lisa kommentaar