Kreml tornyok a Hydra karjaiban: konferencia a párhuzamos és elosztott számítástechnikáról Hydra 2020 Moszkvában

Tavaly Szentpéterváron volt első Hydra konferencia, amelyet párhuzamos és elosztott rendszereknek szenteltek. A díjazottak előadásokat tartottak Dijkstra-díjak и Turing-díjak (Leslie Lamport, Maurice Herlihy и Michael Scott), fordítók és programozási nyelvek (C++, Go, Java, Kotlin), elosztott adatbázisok fejlesztői (Cassandra, CosmosDB, Yandex Database), valamint algoritmusok és adatstruktúrák készítői és kutatói (CRDT, Paxos, várj) -szabad adatszerkezetek) . Általánosságban elmondható, hogy ezen a ponton már lehet nyaralni, minimalizálni az IDE ablakot, megnyitni egy lejátszási listát a YouTube-on a legjobb riportok Hydra 2019 – és várjon egy kicsit a feladatütemező.

Általánosságban elmondható, hogy ilyen konferencia még soha nem volt, és most újra meg fog történni. Ismét angol nyelvű riportokkal, mert nincs jobb nyelv a párhuzamos és elosztott számítástechnikáról. Újra nyáron, július 10-én és 11-én, mert az előadóknak van idejük kutatni és tanítani például a cambridge-i, a rochesteri és a szentpétervári egyetemeken, az év többi időszaka pedig nem nekik való.

A Hydra ezúttal azonban Moszkvában kerül megrendezésre, ahol tavaly a konferencia résztvevőinek többsége eljött, hogy meghallgathassa az elosztott konszenzusról és a tranzakciós memóriáról szóló beszámolókat. Az új Hydra egy bonyolultabb programot, új hangszórókat és a tavalyi hősöket, valamint a párhuzamos hardcore izgalmának már megszokott érzését, amely három teremben osztozik a résztvevők között.

Kreml tornyok a Hydra karjaiban: konferencia a párhuzamos és elosztott számítástechnikáról Hydra 2020 Moszkvában


Azonnal tegyünk le egy pakli kártyalapot az asztalra a bizánci tábornokokkal felfelé - szeretnénk, ha az új Hydra programja részletesebb és változatosabb lenne. Múltkor körömmel vakartunk, most ássunk szélesebbre és mélyebbre. Íme a Hydra 2020 témák a tavalyi évhez képest eltéréssel:

  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

Hogyan beszéljünk minderről egy konferencia programjában? Ez biztosan nem egyszerűbb, mint tesztelni a műveletek linearizálhatóságát egy fényes, új elosztott áruházon a Jepsen, de megpróbáljuk.

Íme, aki már benne van a programban:

Kreml tornyok a Hydra karjaiban: konferencia a párhuzamos és elosztott számítástechnikáról Hydra 2020 MoszkvábanCindy Sridharan (Cindy Sridharan) - elosztott rendszerek fejlesztője San Francisco-ból, egy rövid könyv szerzője Elosztott rendszerek megfigyelhetősége (vesz ingyenes elektronikus másolat) és népszerű blogbejegyzés, ahol csak egy cikk van2019 legjobbjai a Tech Talksban"megmenthet néhány nap szabadságtól, de boldoggá tesz. A Hydra 2020 kiállításon Cindy elmondja, hogyan tesztelje az elosztott rendszereket, még akkor is, ha állapotot tárolnak.


Kreml tornyok a Hydra karjaiban: konferencia a párhuzamos és elosztott számítástechnikáról Hydra 2020 MoszkvábanMichael Scott (Michael Scott) - kutató a University of Rochester, amelyet minden Java fejlesztő a készítőjeként ismer nem blokkoló algoritmusok és szinkron sorok a Java Standard Library-ból. Természetesen a Dijkstra-díjjalAlgoritmusok méretezhető szinkronizáláshoz osztott memóriás többprocesszorokon"és saját Wikipédia oldal. Tavaly Michael adta a legjobb (szerinted) jelentést a Hydráról kettős adatszerkezetek, és most arról fog beszélni projekt Hodor и biztonságos munkavégzés megosztott memóriával, párhuzamos folyamatok számára elérhető.


Kreml tornyok a Hydra karjaiban: konferencia a párhuzamos és elosztott számítástechnikáról Hydra 2020 MoszkvábanHeidi Howard (Heidi Howard) - kutató A University of Cambridgeelosztott konszenzus-algoritmus létrehozásáról ismert Rugalmas Paxos, valamint a Flexible Paxos általánosításán és a Gyors Paxos. Tavaly Heidi elmondta, hogyan működik és működik Paxos algoritmuscsalád (az egyik legjobb riport), és most megpróbálok vékony jégen sétálni között Paxos szerelmesei és Raft támogatói - és ossza meg véleményét arról, hogy melyik algoritmus a jobb.


Kreml tornyok a Hydra karjaiban: konferencia a párhuzamos és elosztott számítástechnikáról Hydra 2020 MoszkvábanKleppmann Márton (Martin Kleppmann) a Cambridge-i Egyetem talán még híresebb kutatója, a big data rendszerek egykori fejlesztője, aki meglepően világos és ezért egyedülálló könyvet írt az elosztott rendszerekről.Adatintenzív alkalmazások tervezése" Tavaly Martin megosztotta az eredményeket CRDT-kutatásukról, és amit most elmondunk később közöljük.


Kreml tornyok a Hydra karjaiban: konferencia a párhuzamos és elosztott számítástechnikáról Hydra 2020 MoszkvábanNikita Koval (Nikita Koval) a Kotlin csapat korutinfejlesztője, az ITMO többszálas programozási kurzusának tanára, valamint a Hydra konferencia programbizottságának tagja (igen, ez a cikk éppen erről szól). Nikita tavaly beszélt a többszálú adatstruktúrák JVM platformon történő teszteléséről Lin-Check, a Hydra 2020 kiállításon pedig ő meg fogja mondani a SegmentQueueSynchronizerről – a használatával ellenőrizve Írisz keret a bizonyító Coq absztrakció a szinkronizációs primitívek programozásához.


Kövesse aszinkron közleményeinket: összesen mintegy háromtucatnyi beszámoló lesz a konferencián, a többiről hamarosan beszámolunk. Természetesen a konferencián lesznek olyan vitazónák is, ahol egy vagy több szálban kérdésekkel kell tesztelni az előadókat, amíg általános konszenzus nem születik.

Kreml tornyok a Hydra karjaiban: konferencia a párhuzamos és elosztott számítástechnikáról Hydra 2020 Moszkvában
És ha szerencséd van, Martin Kleppmann aláírja a könyvedet.

Igen, a Hydra 2020 konferencia előtt, mégpedig július 6-9 SPTDC 2020 — a harmadik nyári iskola az elosztott számítástechnika elméletéről és gyakorlatáról. Olyan szenzációkat fog okozni, amelyeket egy konferencián nehéz elérni, ezért az Iskoláról külön bejegyzésben fogunk beszélni.

És most? Először is kövesse a híreket a Habré oldalon és a közösségi oldalakon (Facebook, Vkontakte, Twitter).

Másodszor, ha már ellenállhatatlan vágyat érzel, hogy részt vegyen a konferencián, böngésszen a weboldalon, akkor már megteheti jegyeket vásárolni.

Harmadszor, ne hagyja ki a lehetőséget, hogy a megjegyzésekben csevegjen a Hydra 2020 konferencia programbizottságával. A PC-tagok szívesen beszélgetnek Önnel a konferencia jövőbeli témáiról.

Találkozunk a Hydrában!

Forrás: will.com

Hozzászólás