ProHoster > BLOG > administrare > Turnurile Kremlinului în brațele Hydra: conferință despre calculul paralel și distribuit Hydra 2020 la Moscova
Turnurile Kremlinului în brațele Hydra: conferință despre calculul paralel și distribuit Hydra 2020 la Moscova
Anul trecut la Sankt Petersburg a fost prima conferință Hydra, dedicat sistemelor paralele și distribuite. Laureații au făcut prezentări Premiul Dijkstra и Premiile Turing (Leslie Lampport, Maurice Herlihy и Michael Scott), creatori de compilatoare și limbaje de programare (C++, Go, Java, Kotlin), dezvoltatori de baze de date distribuite (Cassandra, CosmosDB, Yandex Database), precum și creatori și cercetători de algoritmi și structuri de date (CRDT, Paxos, așteptați -structuri de date libere) . În general, în acest moment vă puteți lua deja o vacanță, puteți minimiza fereastra IDE, puteți deschide o listă de redare pe YouTube cu cele mai bune reportaje Hydra 2019 - și lăsați programatorul de sarcini să aștepte puțin.
În general, o astfel de conferință nu a avut loc niciodată, iar acum se va întâmpla din nou. Din nou cu rapoarte în engleză, pentru că nu există un limbaj mai bun pentru a vorbi despre calculul paralel și distribuit. Din nou vara, 10 și 11 iulie, pentru că vorbitorii au timp să cerceteze și să predea, de exemplu, la universitățile din Cambridge, Rochester și Sankt Petersburg, iar alte perioade ale anului nu sunt pentru ei.
Cu toate acestea, de data aceasta Hydra va avea loc la Moscova, unde majoritatea participanților la conferință au venit anul trecut pentru a asculta rapoarte despre consensul distribuit și memoria tranzacțională. Noul Hydra prezintă un program mai complicat, difuzoare noi împreună cu eroii anului trecut, precum și sentimentul deja familiar al entuziasmului de hardcore paralel distribuit între participanți în trei săli.
Să punem imediat un pachet de cărți pe masă cu generalii bizantini cu fața în sus - vrem ca noul program al Hydra să fie mai detaliat și mai variat. Ultima dată când ne-am zgâriat cu unghia, acum să săpăm mai larg și mai adânc. Iată temele Hydra 2020 cu o diferență față de anul trecut:
Cum să vorbim despre toate acestea în programul unei conferințe? Cu siguranță nu este mai simplu decât testarea liniarizării operațiunilor într-un magazin distribuit nou strălucitor folosind Jepsen, dar vom încerca.
Martin Kleppmann (Martin Kleppmann) este poate un cercetător și mai faimos de la Universitatea din Cambridge și un fost dezvoltator de sisteme de date mari, care a scris o carte surprinzător de clară și, prin urmare, unică despre sistemele distribuite.Proiectarea aplicațiilor intensive în date" Anul trecut Martin a împărtășit rezultatele a cercetării lor CRDT și ceea ce vă vom spune acum vom anunta mai tarziu.
Nikita Koval (Nikita Koval) este un dezvoltator de rutină în echipa Kotlin, profesor la un curs de programare multi-threaded la ITMO și membru al comitetului de program al conferinței Hydra (da, chiar despre cel despre care este vorba în acest articol). Anul trecut, Nikita a vorbit despre testarea structurilor de date multi-threaded pe platforma JVM folosind Lin-Check, iar la Hydra 2020 el va spune despre SegmentQueueSynchronizer - verificat folosind Cadrul irisului pentru doveditor Coq abstractizare pentru programarea primitivelor de sincronizare.
Urmăriți anunțurile noastre asincrone: în total vor fi aproximativ trei duzini de rapoarte la conferință, despre restul vă vom spune în curând. De asemenea, bineînțeles, la conferință vor exista zone de discuții în care este necesar să se testeze vorbitorii cu întrebări într-unul sau mai multe fire până se ajunge la un consens general.
Și dacă ai noroc, Martin Kleppmann îți va semna cartea.
Da, înainte de conferința Hydra 2020, și anume 6-9 iulie, va exista SPTDC 2020 — a treia școală de vară despre teoria și practica calculului distribuit. Vă va oferi senzații greu de obținut la o conferință, așa că vom vorbi despre Școală într-o postare separată.
Ce acum? În primul rând, urmăriți știrile de pe Habré și de pe rețelele de socializare (Facebook, Vkontakte, Twitter).
În al doilea rând, dacă simți deja o dorință irezistibilă de a participa la conferință, explorează site-ul, poți deja cumpăra bilete.
În al treilea rând, nu ratați ocazia de a discuta cu comitetul de program al conferinței Hydra 2020 în comentarii. Membrii PC vor fi bucuroși să vorbească cu dumneavoastră despre subiectele viitoare ale conferințelor.