Menara Kremlin dalam pelukan Hydra: persidangan pengkomputeran selari dan teragih Hydra 2020 di Moscow

Tahun lepas di St. Petersburg ada persidangan Hydra pertama, khusus untuk sistem selari dan teragih. Pemenang membuat persembahan Hadiah Dijkstra ΠΈ Anugerah Turing (Leslie Lamport, Maurice Herlihy ΠΈ Michael Scott), pencipta penyusun dan bahasa pengaturcaraan (C++, Go, Java, Kotlin), pembangun pangkalan data teragih (Cassandra, CosmosDB, Pangkalan Data Yandex), serta pencipta dan penyelidik algoritma dan struktur data (CRDT, Paxos, tunggu -struktur data percuma) . Secara umum, pada ketika ini anda sudah boleh bercuti, meminimumkan tetingkap IDE, membuka senarai main di YouTube dengan laporan terbaik Hydra 2019 - dan biarkan penjadual tugas menunggu sedikit.

Secara umum, persidangan sedemikian tidak pernah berlaku, dan kini ia akan berlaku lagi. Sekali lagi dengan laporan dalam bahasa Inggeris, kerana tiada bahasa yang lebih baik untuk bercakap tentang pengkomputeran selari dan teragih. Sekali lagi pada musim panas, 10 dan 11 Julai, kerana penceramah mempunyai masa untuk menyelidik dan mengajar, sebagai contoh, di universiti Cambridge, Rochester dan St. Petersburg, dan masa-masa lain dalam setahun bukan untuk mereka.

Bagaimanapun, kali ini Hydra akan diadakan di Moscow, di mana kebanyakan peserta persidangan datang tahun lepas untuk mendengar laporan mengenai konsensus yang diedarkan dan ingatan transaksi. Hydra baharu menampilkan program yang lebih rumit, penceramah baharu bersama wira-wira tahun lepas, serta perasaan yang sudah biasa tentang keseronokan tegar selari yang diedarkan di kalangan peserta di tiga dewan.

Menara Kremlin dalam pelukan Hydra: persidangan pengkomputeran selari dan teragih Hydra 2020 di Moscow


Mari segera letakkan dek kad di atas meja dengan jeneral Byzantine menghadap ke atas - kami mahu program Hydra baharu menjadi lebih terperinci dan pelbagai. Kali terakhir kita menggaru dengan kuku, sekarang mari kita gali lebih luas dan dalam. Berikut ialah tema Hydra 2020 dengan perbezaan berbanding tahun lepas:

  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

Bagaimana untuk bercakap tentang semua ini dalam program satu persidangan? Ia sememangnya tidak lebih mudah daripada menguji kebolehlinearan operasi pada kedai teragih baharu yang berkilat menggunakan Jepsen, tetapi kami akan cuba.

Berikut ialah siapa yang sudah menyertai program ini:

Menara Kremlin dalam pelukan Hydra: persidangan pengkomputeran selari dan teragih Hydra 2020 di MoscowCindy Sridharan (Cindy Sridharan) - pembangun sistem pengedaran dari San Francisco, pengarang buku pendek Kebolehcerapan Sistem Teragih (ambil salinan elektronik percuma) dan popular post blog, di mana hanya terdapat satu artikel β€œTerbaik 2019 dalam Tech Talks"Boleh menyelamatkan kamu daripada cuti beberapa hari, tetapi membuatkan kamu gembira. Di Hydra 2020, Cindy akan memberitahu anda caranya menguji sistem teragih, walaupun mereka menyimpan keadaan.


Menara Kremlin dalam pelukan Hydra: persidangan pengkomputeran selari dan teragih Hydra 2020 di MoscowMichael Scott (Michael Scott) - penyelidik dari Universiti Rochester, dikenali oleh semua pembangun Java sebagai pencipta algoritma tidak menyekat dan baris gilir segerak daripada Perpustakaan Standard Java. Sudah tentu, dengan Hadiah Dijkstra untuk β€œAlgoritma untuk penyegerakan berskala pada multipemproses memori kongsi"dan memiliki halaman Wikipedia. Tahun lepas, Michael memberikan laporan terbaik (mengikut anda) mengenai Hydra pada dwi struktur data, dan sekarang dia akan bercakap tentang projek Hodor ΠΈ kerja selamat dengan ingatan bersama, tersedia untuk proses selari.


Menara Kremlin dalam pelukan Hydra: persidangan pengkomputeran selari dan teragih Hydra 2020 di MoscowHeidi Howard (Heidi Howard) - penyelidik daripada Universiti Cambridge, dikenali kerana mencipta algoritma konsensus teragih Paxos yang fleksibel, serta mengusahakan pengitlak Paxos Fleksibel dan Paxos cepat. Tahun lepas, Heidi memberitahu cara ia berfungsi dan berfungsi Keluarga algoritma Paxos (salah satu laporan terbaik), dan sekarang saya akan cuba berjalan di atas ais nipis antara Pencinta Paxos dan penyokong Rakit β€” dan berkongsi pendapatnya tentang algoritma yang lebih baik.


Menara Kremlin dalam pelukan Hydra: persidangan pengkomputeran selari dan teragih Hydra 2020 di MoscowMartin Kleppmann (Martin Kleppmann) mungkin seorang penyelidik yang lebih terkenal dari University of Cambridge, dan bekas pembangun sistem data besar, yang menulis buku yang sangat jelas dan oleh itu unik mengenai sistem teragih "Merekabentuk Aplikasi Intensif Data" Tahun lepas Martin berkongsi hasilnya penyelidikan CRDT mereka, dan perkara yang akan kami beritahu anda sekarang kami akan umumkan kemudian.


Menara Kremlin dalam pelukan Hydra: persidangan pengkomputeran selari dan teragih Hydra 2020 di MoscowNikita Koval (Nikita Koval) ialah pembangun coroutine dalam pasukan Kotlin, seorang guru kursus tentang pengaturcaraan berbilang benang di ITMO dan ahli jawatankuasa program persidangan Hydra (ya, artikel ini adalah mengenainya). Tahun lepas Nikita bercakap tentang menguji struktur data berbilang benang pada platform JVM menggunakan Lin-Semak, dan pada Hydra 2020 dia akan memberitahu tentang SegmentQueueSynchronizer - disahkan menggunakan Rangka kerja Iris untuk prover Coq abstraksi untuk primitif penyegerakan pengaturcaraan.


Ikuti pengumuman tak segerak kami: secara keseluruhan akan terdapat kira-kira tiga dozen laporan pada persidangan itu, kami akan memberitahu anda tentang yang lain tidak lama lagi. Juga, sudah tentu, pada persidangan itu akan ada zon perbincangan di mana perlu untuk menguji penceramah dengan soalan dalam satu atau beberapa utas sehingga konsensus umum dicapai.

Menara Kremlin dalam pelukan Hydra: persidangan pengkomputeran selari dan teragih Hydra 2020 di Moscow
Dan jika anda bernasib baik, Martin Kleppmann akan menandatangani buku anda.

Ya, sebelum persidangan Hydra 2020, iaitu 6-9 Julai, akan ada SPTDC 2020 β€” sekolah musim panas ketiga mengenai teori dan amalan pengkomputeran teragih. Ia akan memberi anda sensasi yang sukar diperoleh pada persidangan, jadi kami akan bercakap tentang Sekolah dalam jawatan yang berasingan.

Apa sekarang? Pertama, ikuti berita di HabrΓ© dan di rangkaian sosial (Facebook, Vkontakte, Twitter).

Kedua, jika anda sudah merasakan keinginan yang tidak dapat ditolak untuk menghadiri persidangan itu, terokai laman web, anda sudah boleh membeli tiket.

Ketiga, jangan lepaskan peluang untuk berbual dengan jawatankuasa program persidangan Hydra 2020 dalam ulasan. Ahli PC akan gembira untuk bercakap dengan anda tentang topik persidangan akan datang.

Jumpa anda di Hydra!

Sumber: www.habr.com

Tambah komen