ProHoster > Dienoraštis > Administravimas > Kremliaus bokštai Hidros glėbyje: lygiagretaus ir paskirstytojo skaičiavimo konferencija „Hydra 2020“ Maskvoje
Kremliaus bokštai Hidros glėbyje: lygiagretaus ir paskirstytojo skaičiavimo konferencija „Hydra 2020“ Maskvoje
Pernai Sankt Peterburge buvo pirmoji „Hydra“ konferencija, skirtas lygiagrečioms ir paskirstytoms sistemoms. Laureatai skaitė pranešimus Dijkstra premija и Turingo apdovanojimai (Leslie Lamport, Morisas Herlihy и Maiklas Skotas), kompiliatorių ir programavimo kalbų kūrėjai (C++, Go, Java, Kotlin), paskirstytų duomenų bazių kūrėjai (Cassandra, CosmosDB, Yandex Database), taip pat algoritmų ir duomenų struktūrų (CRDT, Paxos, palauk) kūrėjai ir tyrinėtojai. -nemokamos duomenų struktūros). Apskritai šiuo metu jau galite atostogauti, sumažinti IDE langą, atidaryti grojaraštį „YouTube“ su geriausi reportažai „Hydra 2019“ – ir leiskite užduočių planuokliui šiek tiek palaukti.
Apskritai tokios konferencijos dar nebuvo, o dabar pasikartos. Vėl su pranešimais anglų kalba, nes nėra geresnės kalbos apie lygiagretųjį ir paskirstytą skaičiavimą. Vėl vasarą, liepos 10 ir 11 d, nes pranešėjai turi laiko tyrinėti ir dėstyti, pavyzdžiui, Kembridžo, Ročesterio ir Sankt Peterburgo universitetuose, o kiti metų laikai jiems netinka.
Tačiau šį kartą „Hydra“ vyks Maskvoje, kur praėjusiais metais dauguma konferencijos dalyvių atvyko pasiklausyti pranešimų apie paskirstytą sutarimą ir operacijų atmintį. Naujajame „Hydra“ – įmantresnė programa, nauji garsiakalbiai kartu su praėjusių metų herojais, taip pat jau pažįstamas paralelinio hardcore jaudulys, paskirstytas tarp dalyvių trijose salėse.
Nedelsdami pastatykime ant stalo kortų kaladę su Bizantijos generolais į viršų – norime, kad naujoji „Hydra“ programa būtų detalesnė ir įvairesnė. Praėjusį kartą krapštėm nagu, dabar kaskime plačiau ir giliau. Štai „Hydra 2020“ temos su skirtumu, palyginti su praėjusiais metais:
Kaip apie visa tai kalbėti vienos konferencijos programoje? Tai tikrai nėra paprasčiau, nei patikrinti operacijų tiesiškumą naujoje blizgančioje paskirstytoje parduotuvėje naudojant Jepsenas, bet pasistengsim.
Nikita Kovalis (Nikita Koval) yra „Kotlin“ komandos „Kotlin“ komandos kūrėja, ITMO daugiasriegio programavimo kurso mokytoja ir „Hydra“ konferencijos programos komiteto narė (taip, apie tą patį yra šis straipsnis). Praėjusiais metais Nikita kalbėjo apie kelių gijų duomenų struktūrų testavimą JVM platformoje naudojant Lin-Check, o „Hydra 2020“ jis pasakys apie SegmentQueueSynchronizer – patikrinta naudojant Iris karkasas už prover Coq abstrakcija sinchronizacijos primityvams programuoti.
Sekite mūsų asinchroninius pranešimus: iš viso konferencijoje bus apie tris dešimtis pranešimų, apie kitus papasakosime netrukus. Taip pat, be abejo, konferencijoje bus diskusijų zonos, kuriose reikia išbandyti pranešėjus su klausimais vienoje ar keliose gijose, kol bus pasiektas bendras sutarimas.
Ir jei jums pasiseks, Martinas Kleppmannas pasirašys jūsų knygą.
Taip, iki „Hydra 2020“ konferencijos, būtent liepos 6-9 dienomis, bus SPTDC 2020 — trečioji vasaros mokykla paskirstytojo skaičiavimo teorijos ir praktikos tema. Tai suteiks jums pojūčių, kuriuos sunku pasiekti konferencijoje, todėl apie Mokyklą kalbėsime atskirame įraše.
Kas dabar? Pirmiausia sekite naujienas Habré ir socialiniuose tinkluose (Facebook, Vkontakte, Twitter).
Antra, jei jau jaučiate nenugalimą norą dalyvauti konferencijoje, naršyti svetainėje, jau galite pirkti bilietus.
Trečia, nepraleiskite progos pabendrauti su Hydra 2020 konferencijos programos komitetu komentaruose. PC nariai mielai pakalbės su jumis būsimomis konferencijos temomis.