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.

Menara Kremlin dina panangan Hydra: konperénsi ngeunaan komputasi paralel sareng disebarkeun Hydra 2020 di Moskow


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:

  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

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.

Ieu saha anu parantos aya dina program éta:

Menara Kremlin dina panangan Hydra: konperénsi ngeunaan komputasi paralel sareng disebarkeun Hydra 2020 di MoskowCindy Sridharan (Cindy Sridharan) - pamekar sistem disebarkeun ti San Fransisco, panulis buku pondok Disebarkeun Systems Observability (nyandak salinan éléktronik bébas) jeung populér postingan blog, dimana ngan aya hiji artikel "Pangalusna tina 2019 dina Tech Talks"Tiasa nyalametkeun anjeun tina sababaraha dinten libur, tapi ninggalkeun anjeun senang. Dina Hydra 2020, Cindy bakal nyarioskeun ka anjeun kumaha nguji sistem disebarkeun, sanajan aranjeunna nyimpen kaayaan.


Menara Kremlin dina panangan Hydra: konperénsi ngeunaan komputasi paralel sareng disebarkeun Hydra 2020 di MoskowMichael témbal (Michael Scott) - panalungtik ti Universitas Rochester, dipikawanoh ka sadaya pamekar Java salaku pencipta algoritma non-blocking jeung antrian sinkron ti Perpustakaan Standar Java. Tangtosna, kalayan Hadiah Dijkstra pikeun "Algoritma pikeun sinkronisasi scalable on dibagikeun-memori multiprocessors"sareng sorangan kaca Wikipedia. Taun ka tukang, Michael masihan pangalusna (nurutkeun anjeun) laporan on Hydra on struktur data ganda, tur ayeuna anjeunna bakal ngobrol ngeunaan proyék Hodor и karya aman kalawan memori dibagikeun, sadia pikeun prosés paralel.


Menara Kremlin dina panangan Hydra: konperénsi ngeunaan komputasi paralel sareng disebarkeun Hydra 2020 di MoskowHeidi Howard (Heidi Howard) - panalungtik ti Universitas Cambridge, dipikawanoh pikeun nyieun hiji algoritma konsensus disebarkeun Paxos fléksibel, kitu ogé gawé dina generalizing fléksibel Paxos na Paxos gancang. Taun ka tukang, Heidi nyarioskeun kumaha jalanna sareng jalanna Paxos kulawarga algoritma (salah sahiji laporan pangalusna), tur ayeuna kuring baris coba leumpang dina és ipis antara pencinta Paxos jeung ngarojong Rakit - sareng bagikeun pendapatna ngeunaan algoritma mana anu langkung saé.


Menara Kremlin dina panangan Hydra: konperénsi ngeunaan komputasi paralel sareng disebarkeun Hydra 2020 di MoskowMartin 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é.


Menara Kremlin dina panangan Hydra: konperénsi ngeunaan komputasi paralel sareng disebarkeun Hydra 2020 di MoskowNikita 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.

Menara Kremlin dina panangan Hydra: konperénsi ngeunaan komputasi paralel sareng disebarkeun Hydra 2020 di Moskow
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.

Sampai jumpa di Hydra!

sumber: www.habr.com

Tambahkeun komentar