ProHoster > Blogi > Haldamine > Kremli tornid Hydra käes: paralleel- ja hajutatud andmetöötluse konverents Hydra 2020 Moskvas
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.
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:
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.
Martin 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.
Nikita 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.
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.
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.