ProHoster > Blog > Uprava > Kremeljski stolpi v naročju Hydre: konferenca o vzporednem in porazdeljenem računalništvu Hydra 2020 v Moskvi
Kremeljski stolpi v naročju Hydre: konferenca o vzporednem in porazdeljenem računalništvu Hydra 2020 v Moskvi
Lani v Sankt Peterburgu je bilo prva konferenca Hydra, namenjen vzporednim in porazdeljenim sistemom. Nagrajenci so imeli predstavitve Dijkstra nagrade и Turingove nagrade (Leslie Lamport, Maurice Herlihy и Michael Scott), ustvarjalci prevajalnikov in programskih jezikov (C++, Go, Java, Kotlin), razvijalci porazdeljenih baz podatkov (Cassandra, CosmosDB, Yandex Database), kot tudi ustvarjalci in raziskovalci algoritmov in podatkovnih struktur (CRDT, Paxos, čakaj -proste podatkovne strukture). Na splošno lahko na tej točki že vzamete dopust, minimizirate okno IDE, odprete seznam predvajanja na YouTubu z najboljša poročila Hydra 2019 - in naj načrtovalnik opravil malo počaka.
Na splošno take konference še ni bilo, zdaj pa se bo ponovila. Spet s poročili v angleščini, ker ni boljšega jezika za govor o vzporednem in porazdeljenem računalništvu. Ponovno poleti, 10. in 11. julija, saj imajo govorci čas za raziskovanje in poučevanje na primer na univerzah v Cambridgeu, Rochestru in St. Petersburgu, drugi letni časi pa niso zanje.
Vendar bo Hydra tokrat potekala v Moskvi, od koder je večina udeležencev konference lani prišla poslušat poročila o porazdeljenem konsenzu in transakcijskem pomnilniku. Novo Hydro odlikuje bolj zapleten program, novi govorci in junaki lanskega leta ter že znani občutek vznemirljivosti vzporednega hardcora, porazdeljenega med udeležence v treh dvoranah.
Takoj dajmo na mizo komplet kart z bizantinskimi generali, obrnjenimi navzgor - želimo, da bo program nove Hidre bolj podroben in raznolik. Zadnjič smo praskali z nohtom, zdaj pa kopljemo širše in globlje. Tukaj so teme Hydra 2020 z razliko glede na lansko leto:
Kako o vsem tem govoriti v programu ene konference? Zagotovo ni preprostejše od testiranja linearizabilnosti operacij na bleščeči novi distribuirani trgovini z uporabo jepsen, ampak bomo poskusili.
Nikita Koval (Nikita Koval) je razvijalec korutin v ekipi Kotlin, učitelj tečaja o večnitnem programiranju na ITMO in član programskega odbora konference Hydra (ja, prav tiste, o kateri govori ta članek). Lansko leto je Nikita govoril o testiranju večnitnih podatkovnih struktur na platformi JVM z uporabo Lin-Check, na Hydri 2020 pa ga bo povedal o SegmentQueueSynchronizer - preverjeno z uporabo Okvir šarenice za dokazilo Coq abstrakcija za programiranje sinhronizacijskih primitivov.
Sledite našim asinhronim napovedim: skupno bo na konferenci približno tri ducate poročil, o ostalih vam bomo povedali kmalu. Seveda bodo na konferenci tudi diskusijske cone, kjer je potrebno preizkušati govorce z vprašanji v eni ali več temah, dokler ne dosežemo splošnega soglasja.
In če boste imeli srečo, vam bo Martin Kleppmann podpisal knjigo.
Da, pred konferenco Hydra 2020, in sicer od 6. do 9. julija, bo SPTDC 2020 — tretja poletna šola teorije in prakse porazdeljenega računalništva. Dala vam bo občutke, ki jih na konferenci težko dobite, zato bomo o Šoli govorili v ločenem prispevku.
Drugič, če že čutite neustavljivo željo po udeležbi na konferenci, raziščite spletno stran, že lahko kupiti vstopnice.
Tretjič, ne zamudite priložnosti za klepet s programskim odborom konference Hydra 2020 v komentarjih. Člani PC-ja se bodo z veseljem pogovarjali z vami o prihodnjih temah konference.