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.

Kremliaus bokštai Hidros glėbyje: lygiagretaus ir paskirstytojo skaičiavimo konferencija „Hydra 2020“ Maskvoje


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:

  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

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.

Štai kas jau dalyvauja programoje:

Kremliaus bokštai Hidros glėbyje: lygiagretaus ir paskirstytojo skaičiavimo konferencija „Hydra 2020“ MaskvojeCindy Sridharan (Cindy Sridharan) – paskirstytų sistemų kūrėja iš San Francisko, trumpos knygos autorė Paskirstytų sistemų stebėjimas (imk nemokama elektroninė kopija) ir populiarus dienoraščio įrašas, kur yra tik vienas straipsnis “Geriausi 2019 m. „Tech Talks“.„Gali išgelbėti jus nuo kelių poilsio dienų, bet palikti jus laimingus. „Hydra 2020“ Cindy jums pasakys, kaip tai padaryti išbandyti paskirstytas sistemas, net jei jie saugo būseną.


Kremliaus bokštai Hidros glėbyje: lygiagretaus ir paskirstytojo skaičiavimo konferencija „Hydra 2020“ MaskvojeMaiklas Skotas (Michael Scott) – tyrinėtojas iš Ročesterio universitetas, visiems Java kūrėjams žinomas kaip kūrėjas neblokuojančius algoritmus ir sinchronines eiles iš Java standartinės bibliotekos. Žinoma, su Dijkstra premija už „Mastelio keitimo sinchronizavimo algoritmai bendrosios atminties keliuose procesoriuose"ir savo Vikipedijos puslapis. Praėjusiais metais Michaelas pateikė geriausią (pagal jūsų) pranešimą apie Hydra dvigubos duomenų struktūros, o dabar jis kalbės apie projektas Hodoras и saugus darbas naudojant bendrą atmintį, prieinamas lygiagrečiams procesams.


Kremliaus bokštai Hidros glėbyje: lygiagretaus ir paskirstytojo skaičiavimo konferencija „Hydra 2020“ MaskvojeHeidi Howard (Heidi Howard) – tyrinėtojasKembridžo universitetas, žinomas kaip paskirstyto konsensuso algoritmo kūrimas Lankstus Paxos, taip pat darbas apibendrinant Flexible Paxos ir Greitas Paxosas. Praėjusiais metais Heidi papasakojo, kaip tai veikia ir veikia Paxos algoritmų šeima (vienas geriausių pranešimų), o dabar pabandysiu vaikščioti plonu ledu tarp Paxos mylėtojai ir plaustų šalininkai - ir pasidalykite savo nuomone, kuris algoritmas yra geresnis.


Kremliaus bokštai Hidros glėbyje: lygiagretaus ir paskirstytojo skaičiavimo konferencija „Hydra 2020“ MaskvojeMartinas Kleppmannas (Martinas Kleppmannas) yra galbūt dar garsesnis Kembridžo universiteto mokslininkas ir buvęs didelių duomenų sistemų kūrėjas, parašęs stebėtinai aiškią ir todėl unikalią knygą apie paskirstytas sistemas.Daug duomenų reikalaujančių programų projektavimas“ Pernai Martinas pasidalino rezultatais jų CRDT tyrimų ir ką mes jums pasakysime dabar paskelbsime vėliau.


Kremliaus bokštai Hidros glėbyje: lygiagretaus ir paskirstytojo skaičiavimo konferencija „Hydra 2020“ MaskvojeNikita 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 karkasasprover 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.

Kremliaus bokštai Hidros glėbyje: lygiagretaus ir paskirstytojo skaičiavimo konferencija „Hydra 2020“ Maskvoje
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.

Iki pasimatymo Hydra!

Šaltinis: www.habr.com

Добавить комментарий