Teori adalah ketika Anda mengetahui segalanya tetapi tidak ada yang berhasil.
Latihan adalah ketika semuanya berhasil tetapi tidak ada yang tahu alasannya.
Dalam sistem terdistribusi, teori dan praktik digabungkan:
tidak ada yang berhasil dan tidak ada yang tahu alasannya.
Untuk membuktikan bahwa lelucon di prasasti itu benar-benar kebodohan, kami mengadakan SPTDC (Sekolah Praktek dan Teori Komputasi Terdistribusi) untuk ketiga kalinya. Kita telah membahas sejarah sekolah, salah satu pendirinya Pyotr Kuznetsov dan Vitaly Aksyonov, serta partisipasi JUG Ru Group dalam menyelenggarakan SPTDC diceritakan di Habré. Oleh karena itu, hari ini kita akan membahas tentang sekolah tahun 2020, tentang dosen dan dosen, serta tentang perbedaan sekolah dan konferensi.
Sekolah SPTDC akan diadakan pada tanggal 6 Juli hingga 9 Juli 2020 di Moskow.
Semua perkuliahan akan dilakukan dalam bahasa Inggris. Topik utama perkuliahan: komputasi konkuren persisten, alat kriptografi untuk sistem terdistribusi, metode formal untuk memverifikasi protokol konsensus, konsistensi dalam sistem skala besar, pembelajaran mesin terdistribusi.
Apakah Anda langsung menebak pangkat militer apa yang dimiliki karakter-karakter dalam gambar tersebut? Aku mengagumimu.
Dosen dan dosen
Nir Shavit (Nir Shavit) - profesor di MIT dan Universitas Tel Aviv, salah satu penulis buku hebat Seni Pemrograman Multiprosesor, pemilik Hadiah Dijkstra untuk pengembangan dan implementasi memori transaksional perangkat lunak (STM) dan Hadiah Gödel untuk karyanya tentang penerapan topologi aljabar pada pemodelan komputasi memori bersama, salah satu pendiri perusahaan Sihir Saraf, yang menciptakan algoritme pembelajaran mesin cepat untuk CPU biasa, dan, tentu saja, memiliki algoritmenya sendiri halaman Wikipedia dengan foto yang gagah dan gerah. Nir sudah berpartisipasi di sekolah kami pada tahun 2017, di mana dia memberikan gambaran komprehensif tentang teknik pemblokiran (Bagian 1, Bagian 2). Kami belum tahu apa yang akan dibicarakan Nir tahun ini, tapi kami berharap mendapat kabar dari garda depan ilmu pengetahuan.
Michael Scott (Michael Scott) - peneliti di Universitas Rochester, diketahui oleh semua pengembang Java sebagai pencipta algoritma non-blocking dan antrian sinkron dari Perpustakaan Standar Java. Tentunya dengan Dijkstra Prize untuk pembangunan algoritma sinkronisasi untuk komputasi memori bersama dan milik sendiri halaman Wikipedia. Tahun lalu, Michael memberikan ceramah di sekolah kami tentang struktur data non-pemblokiran (Bagian 1, Bagian 2). Tahun ini dia akan tahu tentang pemrograman menggunakan memori non-volatil (NVM), yang mengurangi kompleksitas program dan overhead memori dibandingkan dengan memori akses acak (DRAM) “biasa”.
Lanjut Keidar (Idit Keidar) - profesor di Technion dan pemilik Indeks Hirsch sekitar 40 (yang sangat, sangat besar) untuk dua ratus artikel ilmiah di bidang komputasi terdistribusi, multithreading dan toleransi kesalahan. Idit berpartisipasi di sekolah kami untuk pertama kalinya, di mana dia akan memberikan ceramah tentang aspek dasar pengoperasian penyimpanan data terdistribusi: emulasi memori terdistribusi, pengembangan konsensus, dan perubahan konfigurasi.
Rodrigo Rodriguez (Rodrigo Rodrigues) - profesor di Técnico, anggota laboratorium ID INESC dan penulis pekerjaan penelitian di bidang sistem terdistribusi. Tahun ini di sekolah kami Rodrigo akan tahu tentang konsistensi dan isolasi dalam penyimpanan data terdistribusi, dan juga akan menganalisis penggunaannya teorema CAP kelayakan dalam praktik beberapa model konsistensi dan isolasi.
Chen Jing (Jing Chen) - Profesor di Universitas Negeri New York di Stony Brook, penulis pekerjaan penelitian di bidang blockchain dan ilmuwan terkemuka di bidangnya Algorand - sebuah perusahaan dan platform blockchain yang menggunakan algoritma konsensus sepenuhnya berdasarkan Bukti Pasak. Tahun ini di sekolah kami, Chen akan berbicara tentang blockchain Algorand dan cara untuk mencapai properti menariknya: permintaan rendah pada sumber daya komputasi jaringan, ketidakmungkinan membagi riwayat transaksi dan menjamin penyelesaian pemrosesan transaksi setelah ditambahkan ke blockchain.
Christian Cashin (Christian Cachin) adalah profesor di Universitas Bern, mengepalai kelompok penelitian di bidang perlindungan data, salah satu penulis buku “Pengantar Pemrograman Terdistribusi yang Andal dan Aman", pengembang platform blockchain Kain Hyperledger (bahkan ada pembicaraan tentang dia posting di Habré) dan penulis pekerjaan penelitian di bidang kriptografi dan keamanan dalam sistem terdistribusi. Tahun ini di sekolah kami Christian akan memberikan ceramah seri empat bagian tentang alat kriptografi untuk komputasi terdistribusi: kriptografi simetris dan asimetris, serta kriptografi kunci bersama, bilangan pseudorandom dan pembuatan nomor acak yang dapat diverifikasi.
Marko Vukolic (Marko Vukolic) - peneliti di IBM Research, penulis bekerja di blockchain dan pengembang Hyperledger Fabric. Kami belum tahu apa yang akan dibicarakan Marco di sekolah kami tahun ini, tapi kami berharap bisa belajar tentang perkembangan terbarunya di bidang blockchain: penelitian degradasi kinerja mendistribusikan protokol konsensus pada cluster hingga 100 mesin, disiarkan Protokol dunia dengan tatanan global dan Toleransi kesalahan Bizantium atau blockchain tanpa blok Rantai Aliran, meminimalkan waktu pemrosesan transaksi.
Prasad Jayanti (Prasad Jayanti) adalah seorang profesor di Dartmouth College, salah satu yang elit Liga Ivy, dan penulis pekerjaan penelitian di bidang algoritma multi-thread. Tahun ini di sekolah kami Prasad akan memberikan ceramah tentang sinkronisasi utas dan algoritma untuk mengimplementasikan berbagai opsi mutex: Dengan fungsi interupsi atau pemulihan dalam model memori non-volatil, serta operasi baca dan tulis terpisah.
Alexei Gotsman (Alexey Gotsman) - profesor di IMDEA dan penulis pekerjaan penelitian di bidang verifikasi perangkat lunak algoritma. Kami belum tahu apa yang akan diajarkan Alexei di sekolah kami tahun ini, namun kami mengandalkan topik yang merupakan titik temu antara verifikasi perangkat lunak dan sistem terdistribusi.
Mengapa ini sekolah dan bukan konferensi?
Pertama, dosen berbicara dalam format akademik dan setiap kuliah besar diberikan oleh dua pasang: “satu setengah jam - istirahat - satu setengah jam lagi.” Bertahun-tahun setelah lulus kuliah, dengan kebiasaan presentasi konferensi berdurasi satu jam dan video YouTube berdurasi 10 menit, hal ini bisa jadi sulit. Dosen yang baik akan membuat tiga jam penuh menjadi menarik, namun setiap orang bertanggung jawab atas kelenturan otaknya masing-masing.
Saran yang berguna: berlatih pada rekaman video perkuliahan sekolah di 2017 tahun и в 2019 tahun. Selamat tinggal pekerjaan - halo para jenderal Bizantium.
Kedua, dosen fokus pada penelitian ilmiah dan membicarakan prinsip-prinsip dasar sistem terdistribusi dan komputasi paralel, serta berita dari ilmu pengetahuan mutakhir. Jika tujuan Anda adalah memprogram sesuatu dengan cepat dan menerapkannya ke dalam produksi keesokan harinya sepulang sekolah, ini juga bisa sulit.
Tip bermanfaat: carilah makalah penelitian dosen sekolah di Google Scholar и arXiv.org. Jika Anda senang membaca karya ilmiah, Anda juga akan menyukai sekolah.
Ketiga, SPTDC 2020 bukanlah sebuah konferensi, melainkan konferensi tentang sistem terdistribusi dan komputasi paralel Hidra 2020. Baru-baru ini ada postingan di Habré dengan gambaran umum programnya. Tahun lalu, SPTDC dan Hydra berlangsung serentak dan di tempat yang sama. Tahun ini tanggalnya tidak tumpang tindih, jadi mereka tidak bersaing satu sama lain untuk mendapatkan waktu dan perhatian Anda.
Tip bermanfaat: Lihatlah program konferensi Hydra dan pertimbangkan untuk menghadiri konferensi lain sepulang sekolah. Ini akan menjadi minggu yang baik.
Bagaimana menuju ke sekolah?
- Tuliskan tanggal 6 Juli hingga 9 Juli 2020 di kalender Anda (atau lebih baik lagi, 11 Juli, sehingga Anda dapat menghadiri konferensi Hydra sepulang sekolah).
- Tenang saja, bersiaplah.
- Pilih tiket dan pergi ke sekolah.
Sumber: www.habr.com