SPTDC 2020 - sekolah ketiga mengenai amalan dan teori pengkomputeran teragih

Teori ialah apabila anda tahu segala-galanya tetapi tidak ada yang berkesan.
Amalan adalah apabila semuanya berfungsi tetapi tiada siapa yang tahu mengapa.
Dalam sistem teragih, teori dan amalan digabungkan:
tiada apa yang berfungsi dan tiada siapa yang tahu mengapa.

Untuk membuktikan bahawa jenaka dalam epigraf itu adalah kebodohan mutlak, kami mengadakan SPTDC (sekolah amalan dan teori pengkomputeran teragih) untuk kali ketiga. Kami telah membincangkan sejarah sekolah, pengasas bersama Pyotr Kuznetsov dan Vitaly Aksyonov, serta penyertaan Kumpulan JUG Ru dalam menganjurkan SPTDC memberitahu pada Habré. Oleh itu, hari ini kita bercakap tentang sekolah pada tahun 2020, tentang kuliah dan pensyarah, serta tentang perbezaan antara sekolah dan persidangan.

Sekolah SPTDC akan diadakan dari 6 Julai hingga 9 Julai 2020 di Moscow.

Semua kuliah akan dalam bahasa Inggeris. Topik utama kuliah: pengkomputeran serentak berterusan, alat kriptografi untuk sistem teragih, kaedah formal untuk mengesahkan protokol konsensus, konsisten dalam sistem berskala besar, pembelajaran mesin teragih.

Adakah anda segera meneka apakah pangkat tentera watak-watak dalam gambar itu? Saya memuja awak.

Pensyarah dan syarahan

Nir Shavit (Nir Shavit) - profesor di MIT dan Universiti Tel Aviv, pengarang bersama buku yang hebat Seni Pengaturcaraan Berbilang Pemproses, pemilik Hadiah Dijkstra untuk pembangunan dan pelaksanaan memori transaksi perisian (STM) dan Hadiah Gödel untuk kerjanya mengenai aplikasi topologi algebra kepada pemodelan pengkomputeran memori bersama, pengasas bersama syarikat Sihir saraf, yang mencipta algoritma pembelajaran mesin pantas untuk CPU biasa, dan, sudah tentu, mempunyai algoritmanya sendiri halaman Wikipedia dengan gambar yang gagah dan geram. Nir telah menyertai sekolah kami pada tahun 2017, di mana beliau memberikan gambaran menyeluruh tentang teknik menyekat (bahagian 1, bahagian 2). Kami belum tahu apa yang akan dibincangkan Nir tahun ini, tetapi kami mengharapkan berita dari barisan hadapan sains.


Michael Scott (Michael Scott) - penyelidik di Universiti Rochester, dikenali oleh semua pembangun Java sebagai pencipta algoritma tidak menyekat dan baris gilir segerak daripada Pustaka Standard Java. Sudah tentu, dengan Hadiah Dijkstra untuk pembangunan algoritma penyegerakan untuk pengkomputeran memori yang dikongsi dan memiliki halaman Wikipedia. Tahun lepas, Michael memberi syarahan di sekolah kami tentang struktur data tidak menyekat (bahagian 1, bahagian 2). Tahun ini dia akan memberitahu tentang pengaturcaraan menggunakan ingatan tidak meruap (NVM), yang mengurangkan kerumitan program dan overhed memori berbanding memori akses rawak (DRAM) "biasa".


Pergi Keidar (Idit Keidar) - profesor di Technion dan pemilik Indeks Hirsch kira-kira 40 (yang sangat, sangat besar) untuk dua ratus artikel ilmiah dalam bidang pengkomputeran teragih, multithreading dan toleransi kesalahan. Idit menyertai sekolah kami buat kali pertama, di mana dia akan memberi syarahan tentang aspek asas pengendalian storan data teragih: emulasi memori teragih, pembangunan konsensus dan perubahan konfigurasi.


Rodrigo Rodriguez (Rodrigo Rodrigues) - profesor di Técnico, ahli makmal INESC-ID dan pengarang kerja penyelidikan dalam bidang sistem teragih. Tahun ini di sekolah kami Rodrigo akan memberitahu tentang ketekalan dan pengasingan dalam stor data teragih, dan juga akan menganalisis menggunakan Teorem CAP kebolehlaksanaan dalam amalan beberapa model ketekalan dan pengasingan.


Chen Jing (Jing Chen) - Profesor di Universiti Negeri New York di Stony Brook, pengarang kerja penyelidikan dalam bidang blockchain dan seorang saintis terkemuka dalam Algorand - sebuah syarikat dan platform blockchain yang menggunakan algoritma konsensus berdasarkan sepenuhnya Bukti Stake. Tahun ini di sekolah kami, Chen akan bercakap tentang blockchain Algorand dan cara untuk mencapai sifatnya yang menarik: permintaan rendah terhadap sumber pengkomputeran rangkaian, kemustahilan untuk memisahkan sejarah transaksi dan menjamin penyelesaian pemprosesan transaksi selepas ia ditambahkan pada blockchain.


Kristian Cashin (Christian Cachin) ialah seorang profesor di Universiti Bern, mengetuai kumpulan penyelidikan dalam bidang perlindungan data, pengarang bersama buku “Pengenalan kepada Pengaturcaraan Teragih yang Boleh Dipercayai dan Selamat", pemaju platform blockchain Kain Hyperledger (malah ada ceramah tentang dia siaran di Habré) dan pengarang kerja penyelidikan dalam bidang kriptografi dan keselamatan dalam sistem teragih. Tahun ini di sekolah Kristian kami akan memberi syarahan siri empat bahagian mengenai alat kriptografi untuk pengkomputeran teragih: kriptografi simetri dan asimetri, serta kriptografi kunci yang dikongsi, nombor pseudorandom dan penjanaan nombor rawak yang boleh disahkan.


Marko Vukolić (Marko Vukolic) - penyelidik di IBM Research, pengarang berfungsi dalam blockchain dan pembangun Hyperledger Fabric. Kami belum tahu apa yang Marco akan bincangkan di sekolah kami tahun ini, tetapi kami berharap kami akan belajar tentang perkembangan terbarunya dalam bidang blockchain: penyelidikan kemerosotan prestasi protokol konsensus yang diedarkan pada kelompok sehingga 100 mesin, disiarkan Protokol Mir dengan susunan global dan Toleransi kesalahan Byzantine atau blok tanpa sekatan StreamChain, meminimumkan masa pemprosesan transaksi.


Prasad Jayanti (Prasad Jayanti) ialah seorang profesor di Kolej Dartmouth, salah seorang daripada golongan elit Liga Ivy, dan pengarang kerja penyelidikan dalam bidang algoritma berbilang benang. Tahun ini di sekolah kami Prasad akan memberi syarahan tentang penyegerakan benang dan algoritma untuk melaksanakan pelbagai pilihan mutex: Dengan fungsi gangguan atau pemulihan dalam model memori tidak meruap, serta operasi baca dan tulis yang berasingan.


Alexey Gotsman (Alexey Gotsman) - profesor di IMDEA dan pengarang kerja penyelidikan dalam bidang pengesahan perisian algoritma. Kami belum tahu apa yang Alexey akan syarahan di sekolah kami tahun ini, tetapi kami bergantung pada topik di persimpangan pengesahan perisian dan sistem yang diedarkan.

Kenapa ini sekolah dan bukan persidangan?

Pertama, pensyarah bercakap dalam format akademik dan setiap kuliah besar diberikan oleh dua pasangan: "satu setengah jam - rehat - satu setengah jam lagi." Bertahun-tahun selepas universiti, dengan kebiasaan pembentangan persidangan selama sejam dan video YouTube selama 10 minit, ini boleh menjadi sukar. Seorang pensyarah yang baik akan menjadikan keseluruhan tiga jam itu menarik, tetapi setiap orang bertanggungjawab untuk keplastikan otak mereka sendiri.

Nasihat berguna: berlatih tentang rakaman video kuliah sekolah di Tahun 2017 dan Tahun 2019. Selamat tinggal kerja - hello jeneral Byzantine.

Kedua, pensyarah memberi tumpuan kepada penyelidikan saintifik dan bercakap tentang prinsip asas sistem teragih dan pengkomputeran selari, serta berita daripada teknologi terkini. Jika matlamat anda adalah untuk memprogramkan sesuatu dengan cepat dan menggunakannya ke dalam pengeluaran pada hari berikutnya selepas sekolah, ini juga boleh menjadi sukar.

Petua berguna: cari kertas penyelidikan oleh pensyarah sekolah tentang Google Scholar и arXiv.org. Jika anda suka membaca karya ilmiah, anda juga akan menyukai sekolah.

Ketiga, SPTDC 2020 bukanlah persidangan, kerana persidangan mengenai sistem teragih dan pengkomputeran selari adalah Hydra2020. Baru-baru ini terdapat siaran di Habré dengan gambaran keseluruhan program beliau. Tahun lepas, SPTDC dan Hydra berlangsung serentak dan di tempat yang sama. Tahun ini mereka tidak bertindih dalam tarikh, jadi mereka tidak bersaing antara satu sama lain untuk masa dan perhatian anda.

Petua berguna: Lihat program persidangan Hydra dan pertimbangkan untuk menghadiri persidangan lain selepas sekolah. Ia akan menjadi minggu yang baik.

Bagaimana untuk pergi ke sekolah?

• Tulis tarikh dari 6 Julai hingga 9 Julai 2020 pada kalendar anda (atau lebih baik lagi, 11 Julai, supaya anda boleh pergi ke persidangan Hydra selepas sekolah).
• Tabahkan hati, bersedialah.
• Pilih tiket dan pergi ke sekolah.

Sumber: www.habr.com