ProHoster > Blog > Administrasi > Menara Kremlin dina panangan Hydra: konperénsi ngeunaan komputasi paralel sareng disebarkeun Hydra 2020 di Moskow
Menara Kremlin dina panangan Hydra: konperénsi ngeunaan komputasi paralel sareng disebarkeun Hydra 2020 di Moskow
Taun ka tukang di St Petersburg aya konferensi Hydra munggaran, dedicated ka sistem paralel jeung disebarkeun. Laureates nyieun presentasi Hadiah Dijkstra и panghargaan Turing (Leslie Lampor, Maurice Herlihy и Michael témbal), panyipta kompiler sareng basa pamrograman (C ++, Go, Java, Kotlin), pamekar database anu disebarkeun (Cassandra, CosmosDB, Yandex Database), ogé panyipta sareng panaliti algoritma sareng struktur data (CRDT, Paxos, antosan. -struktur data bébas). Sacara umum, dina titik ieu anjeun parantos tiasa nyandak liburan, ngaleutikan jandela IDE, muka daptar puter dina YouTube sareng laporan pangalusna Hydra 2019 - sareng ngantepkeun jadwal tugas antosan sakedik.
Sacara umum, konperénsi sapertos kitu henteu kantos kajantenan, sareng ayeuna éta bakal kajantenan deui. Kitu deui laporan dina basa Inggris, sabab euweuh basa hadé ngobrol ngeunaan komputasi paralel jeung disebarkeun. Deui dina usum panas, 10 Juli jeung 11, sabab speaker boga waktu pikeun panalungtikan sarta ngajar, contona, di universitas Cambridge, Rochester jeung St.
Nanging, waktos ieu Hydra bakal dilaksanakeun di Moskow, Ti mana lolobana pamilon konferensi datang taun ka tukang pikeun ngadéngékeun laporan ngeunaan konsensus disebarkeun sarta memori transactional. Hydra anyar boga program leuwih intricate, speaker anyar babarengan jeung pahlawan taun ka tukang, kitu ogé rarasaan geus akrab tina pikagumbiraeun hardcore paralel disebarkeun diantara pamilon dina tilu aula.
Hayu urang langsung nempatkeun dek kartu dina méja sareng jenderal Bizantium ngadep - kami hoyong program Hydra énggal janten langkung rinci sareng variatif. Panungtungan waktu urang scratched ku kuku, ayeuna hayu urang ngagali lega tur leuwih jero. Ieu mangrupikeun téma Hydra 2020 kalayan bédana dibandingkeun taun ka tukang:
Kumaha ngobrolkeun sadayana ieu dina program hiji konperénsi? Éta pasti henteu langkung saderhana tibatan nguji linearizability operasi dina toko anu disebarkeun anyar anu ngagurilap ngagunakeun Jepsen, tapi urang coba.
Martin Kleppmann (Martin Kleppmann) sugan hiji panalungtik malah leuwih kasohor ti Universitas Cambridge, sarta urut pamekar sistem data badag, anu nulis buku heran jelas tur kituna unik dina sistem disebarkeun ".Ngarancang Aplikasi Data-intensif" Taun ka tukang Martin dibagikeun hasil panalungtikan CRDT maranéhanana, sarta naon urang bakal ngabejaan ka maneh ayeuna kami bakal ngumumkeun engké.
Nikita Koval (Nikita Koval) mangrupikeun pamekar coroutine dina tim Kotlin, guru kursus program multi-threaded di ITMO, sareng anggota panitia program konferensi Hydra (enya, sami sareng tulisan ieu). Taun ka tukang Nikita ngobrol ngeunaan nguji struktur data multi-threaded dina platform JVM ngagunakeun Lin-Cék, sareng di Hydra 2020 anjeunna nyaritakeun ngeunaan SegmentQueueSynchronizer - diverifikasi ngagunakeun kerangka Iris keur prover Coq abstraksi pikeun programming sinkronisasi primitif.
Turutan pengumuman asynchronous kami: total bakal aya ngeunaan tilu belasan laporan dina konférénsi éta, kami bakal ngabejaan Anjeun tentang sésana geura-giru. Ogé, tangtosna, dina konperénsi éta bakal aya zona diskusi dimana anjeun kedah nguji panyatur sareng patarosan dina hiji atanapi sababaraha utas dugi ka konsensus umum.
Sareng upami anjeun untung, Martin Kleppmann bakal nandatanganan buku anjeun.
Leres, sateuacan konperénsi Hydra 2020, nyaéta 6-9 Juli, bakal aya SPTDC 2020 - sakola usum panas katilu dina téori jeung praktek komputasi disebarkeun. Éta bakal masihan anjeun sensasi anu sesah dipendakan dina konperénsi, janten kami bakal ngobrol ngeunaan Sakola dina tulisan anu misah.
Naon ayeuna? Mimiti, turutan warta ngeunaan Habré sareng dina jaringan sosial (Facebook, VKontakte, Twitter).
Bréh, lamun geus ngarasa hiji kahayang irresistible hadir konferensi, ngajalajah website, anjeun geus bisa meuli tiket.
Katilu, ulah luput kasempetan pikeun ngobrol sareng panitia program konperénsi Hydra 2020 dina koméntar. anggota PC bakal senang ngobrol sareng anjeun ngeunaan jejer konferensi hareup.