Nanging, wektu iki Hydra bakal dianakake ing Moskow, ing ngendi umume peserta konferensi teka taun kepungkur kanggo ngrungokake laporan babagan konsensus sing disebarake lan memori transaksional. Hydra anyar nampilake program sing luwih rumit, pamicara anyar bebarengan karo para pahlawan taun kepungkur, uga perasaan sing wis dikenal babagan kasenengan paralel hardcore sing disebarake ing antarane para peserta ing telung aula.
Ayo langsung nyelehake dek kertu ing meja karo jenderal Bizantium madhep munggah - kita pengin program Hydra anyar dadi luwih rinci lan mawarni-warni. Pungkasan kita ngeruk nganggo kuku, saiki ayo digali luwih amba lan luwih jero. Mangkene tema Hydra 2020 sing beda karo taun kepungkur:
Kepiye carane ngomong babagan kabeh iki ing program siji konferensi? Mesthine ora luwih gampang tinimbang nyoba linearizability operasi ing toko sing disebarake anyar sing mengkilat nggunakake Jepsen, nanging kita bakal nyoba.
Martin Kleppmann (Martin Kleppmann) bisa uga dadi peneliti sing luwih misuwur saka Universitas Cambridge, lan mantan pangembang sistem data gedhe, sing nulis buku sing jelas lan unik babagan sistem sing disebarake "Ngrancang Aplikasi Data-Intensif" Taun kepungkur Martin nuduhake asil saka riset CRDT, lan apa sing bakal kita pituturake saiki kita bakal ngumumake mengko.
Nikita Koval (Nikita Koval) minangka pangembang coroutine ing tim Kotlin, guru kursus pemrograman multi-threaded ing ITMO, lan anggota panitia program konferensi Hydra (ya, artikel iki babagan). Taun kepungkur Nikita ngomong babagan nguji struktur data multi-threaded ing platform JVM nggunakake Lin-Mriksa, lan ing Hydra 2020 dheweke bakal ngomong babagan SegmentQueueSynchronizer - diverifikasi nggunakake kerangka Iris kanggo prover Coq abstraksi kanggo program sinkronisasi primitif.
Tindakake pengumuman sing ora sinkron: total bakal ana udakara telung rolas laporan ing konferensi kasebut, kita bakal ngandhani babagan liyane. Uga, mesthine, ing konferensi bakal ana zona diskusi sing perlu kanggo nguji penutur kanthi pitakonan ing siji utawa sawetara utas nganti konsensus umum tekan.
Lan yen sampeyan lagi bejo, Martin Kleppmann bakal mlebu buku sampeyan.
Ya, sadurunge konferensi Hydra 2020, yaiku 6-9 Juli, bakal ana SPTDC 2020 - sekolah musim panas katelu ing teori lan praktik komputasi sing disebarake. Iki bakal menehi sensasi sing angel ditindakake ing konferensi, mula kita bakal ngomong babagan Sekolah ing kiriman sing kapisah.
Sareh, yen sampeyan wis aran kepinginan irresistible kanggo rawuh konferensi, njelajah website, sampeyan wis bisa tuku tiket.
Katelu, aja kantun kesempatan kanggo ngobrol karo panitia program konferensi Hydra 2020 ing komentar. Anggota PC bakal seneng ngomong karo sampeyan babagan topik konferensi ing mangsa ngarep.