Menara Kremlin ing tangan Hydra: konferensi babagan komputasi paralel lan disebarake Hydra 2020 ing Moskow

Paling taun ing St Petersburg ana konferensi Hydra pisanan, darmabakti kanggo sistem podo lan mbagekke. Laureates nggawe presentasi Hadiah Dijkstra ΠΈ Penghargaan Turing (Leslie Lampor, Maurice Herlihy ΠΈ Michael Scott), pencipta kompiler lan basa pamrograman (C++, Go, Java, Kotlin), pangembang basis data sing disebarake (Cassandra, CosmosDB, Yandex Database), uga pencipta lan peneliti algoritma lan struktur data (CRDT, Paxos, ngenteni -struktur data gratis). UmumΓ©, ing titik iki sampeyan wis bisa njupuk vacation, nyilikake jendhela IDE, mbukak dhaptar lagu ing YouTube karo laporan paling apik Hydra 2019 - lan supaya panjadwal tugas ngenteni sethithik.

UmumΓ©, konferensi kasebut ora tau kedadeyan, lan saiki bakal kedadeyan maneh. Maneh karo laporan ing Inggris, amarga ora ana basa sing luwih apik kanggo ngomong babagan komputasi paralel lan disebarake. Maneh ing mangsa panas, 10 Juli lan 11 Juli, amarga pamicara duwe wektu kanggo riset lan mulang, contone, ing universitas Cambridge, Rochester lan St.

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.

Menara Kremlin ing tangan Hydra: konferensi babagan komputasi paralel lan disebarake Hydra 2020 ing Moskow


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:

  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

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.

Iki sing wis ana ing program kasebut:

Menara Kremlin ing tangan Hydra: konferensi babagan komputasi paralel lan disebarake Hydra 2020 ing MoskowCindy Sridharan (Cindy Sridharan) - pangembang sistem sing disebarake saka San Francisco, penulis buku cekak Pengamatan Sistem Distribusi (njupuk salinan elektronik free) lan populer kirim blog, sing mung ana siji artikel "Paling apik ing 2019 ing Tech Talks"Bisa nylametake sampeyan saka sawetara dina, nanging nggawe sampeyan seneng. Ing Hydra 2020, Cindy bakal ngandhani kepiye carane test sistem mbagekke, sanajan padha nyimpen negara.


Menara Kremlin ing tangan Hydra: konferensi babagan komputasi paralel lan disebarake Hydra 2020 ing MoskowMichael Scott (Michael Scott) - peneliti saka Universitas Rochester, dikenal kabeh pangembang Jawa minangka pangripta algoritma non-blocking lan antrian sinkron saka Pustaka Standar Jawa. Mesthi, kanthi Hadiah Dijkstra kanggo "Algoritma kanggo sinkronisasi sing bisa diukur ing multiprosesor memori sing dienggo bareng"lan duweke kaca Wikipedia. Paling taun, Michael menehi paling apik (miturut sampeyan) laporan ing Hydra ing struktur data ganda, lan saiki dheweke bakal ngomong babagan proyek Hodor ΠΈ karya aman karo memori sambungan, kasedhiya kanggo pangolahan paralel.


Menara Kremlin ing tangan Hydra: konferensi babagan komputasi paralel lan disebarake Hydra 2020 ing MoskowHeidi Howard (Heidi Howard) - panliti saka Universitas Cambridge, dikenal kanggo nggawe algoritma konsensus sing disebarake Paxos fleksibel, uga bisa ing generalizing Flexible Paxos lan Paxos cepet. Taun kepungkur, Heidi ngandhani cara kerjane lan kerjane Paxos kulawarga algoritma (salah siji saka laporan paling), lan saiki aku bakal nyoba kanggo lumaku ing es lancip antarane Penyayang Paxos lan panyengkuyung Rakit - lan nuduhake pendapat babagan algoritma sing luwih apik.


Menara Kremlin ing tangan Hydra: konferensi babagan komputasi paralel lan disebarake Hydra 2020 ing MoskowMartin 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.


Menara Kremlin ing tangan Hydra: konferensi babagan komputasi paralel lan disebarake Hydra 2020 ing MoskowNikita 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.

Menara Kremlin ing tangan Hydra: konferensi babagan komputasi paralel lan disebarake Hydra 2020 ing Moskow
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.

Apa saiki? Kaping pisanan, tindakake warta ing HabrΓ© lan ing jaringan sosial (Facebook, Π’ΠΊΠΎΠ½Ρ‚Π°ΠΊΡ‚Π΅, Twitter).

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.

Sampai jumpa di Hydra!

Source: www.habr.com

Add a comment