Menara Kremlin dalam Pelukan Hydra: Hydra 2020 Konferensi Komputasi Paralel dan Terdistribusi

Konferensi Hydra pertama yang didedikasikan untuk sistem paralel dan terdistribusi diadakan di St. Petersburg tahun lalu . Presentasi dilakukan oleh pemenang Dijkstra Prize dan Turing Prize ( Leslie Lampport , Maurice Herlichi dan Michael Scott ), pencipta kompiler dan bahasa pemrograman (C ++, Go, Java, Kotlin), pengembang database terdistribusi (Cassandra, CosmosDB, Database Yandex), juga pencipta dan peneliti algoritma dan struktur data (CRDT, Paxos, struktur data tunggu gratis). Secara umum, Anda sudah bisa berlibur di tempat ini, meminimalkan jendela IDE, membuka daftar putar YouTube dengan laporan Hydra 2019 terbaik - dan biarkan penjadwal tugas menunggu sebentar.

Secara umum, tidak pernah ada konferensi seperti itu, dan sekarang itu akan terjadi lagi. Lagi dengan laporan dalam bahasa Inggris , karena tidak ada bahasa yang lebih baik untuk berbicara tentang komputasi paralel dan terdistribusi. Lagi di musim panas, 6-9 Juli , karena pembicara punya waktu untuk belajar dan mengajar, misalnya, di universitas Cambridge, Rochester dan St. Petersburg, dan waktu-waktu lain dalam setahun bukan untuk mereka.

Hydra baru memiliki program yang lebih rumit, pembicara baru bersama dengan pahlawan tahun lalu, serta perasaan akrab tentang antusiasme yang didistribusikan di antara para peserta dari hardcore paralel di tiga kamar.




Segera berbaring di atas meja setumpuk kartu dengan kemeja para jenderal Bizantium ke atas - kami ingin program Hydra baru menjadi lebih rinci dan beragam. Terakhir kali kami menggaruk dengan kuku, sekarang kami akan menggali lebih luas dan lebih dalam. Berikut adalah tema Hydra 2020 dengan perbedaan dari tahun lalu: Bagaimana membicarakan semua ini dalam program satu konferensi? Ini tentu saja tidak lebih mudah daripada menguji kelurusan operasi di penyimpanan terdistribusi baru yang mengilap menggunakan Jepsen , tetapi kami akan mencoba. Inilah yang sudah ada dalam program: Cindy Sridharan adalah pengembang sistem terdistribusi yang berbasis di San Francisco, penulis buku kecil Distributed Systems Observability (dapatkan salinan elektronik gratis ) dan blog populer

  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






, di mana hanya artikel " Best of 2019 in Tech Talks " yang dapat menghemat beberapa hari, tetapi membuat mereka senang. Di Hydra 2020, Cindy akan berbicara tentang bagaimana menguji sistem terdistribusi , bahkan jika mereka menyimpan keadaan.

Michael Scott adalah seorang peneliti di University of Rochester , yang dikenal oleh semua pengembang Java sebagai pencipta algoritma non-blocking dan antrian sinkron dari perpustakaan Java standar. Tentu saja, dengan Dijkstra Award untuk " Algoritma untuk sinkronisasi terukur pada multiprosesor bersama-memori " dan halaman Wikipedia sendiri . Tahun lalu, Michael menjadikan Hydra laporan terbaik (menurut perkiraan Anda)struktur data ganda , dan sekarang dia akan berbicara tentang proyek Hodor dan kerja aman dengan memori bersama yang tersedia untuk proses paralel.

Heidi Howard adalah seorang peneliti di University of Cambridge , yang dikenal karena membuat Algoritma Konsensus Terdistribusi Paxos Fleksibel , serta menggeneralisasikan Paxos Fleksibel dan Fast Paxos . Tahun lalu, Heidi berbicara tentang bagaimana keluarga algoritma Paxos diatur dan bekerja (salah satu laporan terbaik), dan sekarang dia akan mencoba berjalan di atas es tipis antara pecinta Paxos dan pendukung Raft - dan berbagi pendapatnya tentang algoritma mana yang lebih baik.

Martin Kleppmann bahkan mungkin seorang peneliti yang lebih dikenal di Universitas Cambridge, dan di masa lalu, seorang pengolah data besar yang menulis buku yang mengejutkan dapat dimengerti dan karenanya unik tentang sistem terdistribusi yang disebut Merancang Aplikasi Intensif Data . Tahun lalu, Martin membagikan hasil penelitian CRDT-nya, dan apa yang akan ia bicarakan sekarang - akan kami umumkan nanti .

Nikita Koval(Nikita Koval) adalah pengembang coroutine di tim Kotlin, seorang guru kursus pemrograman multi-utas di ITMO, dan anggota komite program konferensi Hydra (ya, yang tentang artikel ini). Tahun lalu, Nikita berbicara tentang pengujian struktur data multi-threaded pada platform JVM menggunakan Lin-Check , dan pada Hydra 2020 ia akan berbicara tentang SegmentQueueSynchronizer - sebuah abstraksi yang diverifikasi oleh kerangka kerja Iris untuk Coq prover untuk pemrograman sinkronisasi primitif.

Ikuti pengumuman asinkron kami: secara total akan ada sekitar tiga lusin laporan di konferensi, kami akan segera membicarakan sisanya. Tetap, tentu saja, akan ada zona diskusi di konferensi, di mana perlu menguji pembicara dengan pertanyaan dalam satu aliran atau lebih sampai konsensus tercapai.


Dan jika Anda beruntung, Martin Kleppmann akan menandatangani buku untuk Anda.

Ya, sejalan dengan konferensi Hydra 2020, yaitu 6-9 Juli, SPTDC 2020 , sekolah musim panas ketiga dalam teori dan praktik komputasi terdistribusi , akan diadakan . Di sana Anda akan menemukan sensasi yang sulit didapat di konferensi, jadi kami akan berbicara tentang Sekolah di pos terpisah.

Apa sekarang? Pertama, ikuti berita di Habré dan di jejaring sosial ( Facebook , Vkontakte , Twitter)

Kedua, jika Anda sudah merasakan keinginan yang tak tertahankan untuk menghadiri konferensi - mempelajari situs tersebut, di sana Anda sudah dapat membeli tiket .

Ketiga, jangan lewatkan kesempatan untuk mengobrol dengan komite program konferensi Hydra 2020 dalam komentar. Anggota PC akan senang berbicara dengan Anda tentang topik konferensi yang akan datang.

Temui aku di Hydra!