Teori yaiku nalika sampeyan ngerti kabeh nanging ora ana sing bisa.
Laku yaiku nalika kabeh bisa digunakake nanging ora ana sing ngerti sebabe.
Ing sistem distribusi, teori lan praktik digabungake:
ora ana sing bisa lan ora ana sing ngerti sebabe.
Kanggo mbuktekake manawa lelucon ing epigraph minangka kabodhoan mutlak, kita nganakake SPTDC (sekolah praktik lan teori komputasi sing disebarake) kaping telune. Kita wis ngrembug babagan sejarah sekolah, pendiri Pyotr Kuznetsov lan Vitaly Aksyonov, uga partisipasi JUG Ru Group ing organisasi SPTDC. ngandika ing Habré. Mula, dina iki kita ngomong babagan sekolah ing taun 2020, babagan ceramah lan dosen, uga babagan bedane sekolah lan konferensi.
Sekolah SPTDC bakal dianakake wiwit tanggal 6 Juli nganti 9 Juli 2020 ing Moskow.
Kabeh ceramah bakal nganggo basa Inggris. Topik utama kuliah: komputasi bebarengan sing terus-terusan, alat kriptografi kanggo sistem sing disebarake, metode formal kanggo verifikasi protokol konsensus, konsistensi ing sistem skala gedhe, sinau mesin sing disebarake.
Apa sampeyan langsung ngira apa pangkat militer karakter ing gambar kasebut? Aku tresna sampeyan.
Dosen lan ceramah
Nir Savit (Nir Shavit) - profesor ing MIT lan Universitas Tel Aviv, co-penulis buku gedhe Seni Pemrograman Multiprosesor, juragan Hadiah Dijkstra kanggo pangembangan lan implementasine memori transaksional lunak (STM) lan Hadiah Gödel kanggo karyane babagan aplikasi topologi aljabar kanggo modeling komputasi memori bareng, pendiri perusahaan Sihir saraf, sing nggawe algoritma machine learning cepet kanggo CPU biasa, lan, mesthi, duwe dhewe kaca Wikipedia karo foto gagah lan sultry. Nir wis melu ing sekolah kita ing 2017, ing ngendi dheweke menehi gambaran lengkap babagan teknik pamblokiran (bagean 1, bagean 2). Kita durung ngerti apa sing bakal diomongake Nir ing taun iki, nanging kita ngarep-arep kabar saka ngarep ilmu.
Michael Scott (Michael Scott) - peneliti ing Universitas Rochester, dikenal kabeh pangembang Jawa minangka pangripta algoritma non-blocking lan antrian sinkron saka Pustaka Standar Jawa. Mesthi, kanthi Hadiah Dijkstra kanggo pembangunan algoritma sinkronisasi kanggo komputasi memori sambungan lan duweke kaca Wikipedia. Taun kepungkur, Michael menehi kuliah ing sekolah kita babagan struktur data non-blocking (bagean 1, bagean 2). Taun iki dheweke bakal ngomong babagan programming nggunakake memori non-molah malih (NVM), sing nyuda kerumitan program lan nduwur sirah memori dibandhingake memori akses acak "biasa" (DRAM).
Ikut Keidar (Idit Keidar) - profesor ing Technion lan pemilik indeks Hirsch bab 40 (kang banget, banget owahan) kanggo rong atus artikel ilmiah ing bidang komputasi sing disebarake, multithreading lan toleransi fault. Idit melu sekolah kita kanggo pisanan, ngendi dheweke bakal menehi ceramah bab aspèk dhasar saka operasi panyimpenan data mbagekke: emulation memori mbagekke, pembangunan konsensus lan owah-owahan konfigurasi.
Rodrigo Rodriguez (Rodrigo Rodrigues) - profesor ing Técnico, anggota laboratorium INESC-ID lan penulis karya riset ing bidang sistem distribusi. Taun iki ing sekolah kita Rodrigo bakal ngomong bab konsistensi lan isolasi ing nyimpen data mbagekke, lan uga bakal njelasno nggunakake Teorema CAP kelayakan ing laku sawetara model konsistensi lan isolasi.
Chen Jing (Jing Chen) - Profesor ing Universitas Negeri New York ing Stony Brook, penulis karya riset ing bidang pamblokiran lan ilmuwan terkemuka ing Algorand - perusahaan lan platform blockchain sing nggunakake algoritma konsensus adhedhasar kabeh Bukti Stake. Taun iki ing sekolah kita, Chen bakal ngomong babagan pamblokiran Algorand lan cara kanggo entuk sifat sing menarik: panjaluk sing kurang ing sumber daya komputasi jaringan, impossibility pamisahan riwayat transaksi lan njamin rampung proses transaksi sawise ditambahake ing pamblokiran.
Christian Kasin (Christian Cachin) minangka profesor ing Universitas Bern, mimpin klompok riset ing bidang proteksi data, panulis buku "Pambuka kanggo Reliable lan Aman Distributed Programming", pangembang platform blockchain Hyperledger Fabric (malah ana sing ngomong babagan dheweke kirim ing Habré) lan penulis karya riset ing bidang kriptografi lan keamanan ing sistem sing disebarake. Taun iki ing sekolah kita Kristen bakal menehi ceramah seri papat bagean babagan alat kriptografi kanggo komputasi sing disebarake: kriptografi simetris lan asimetris, uga kriptografi kunci sing dienggo bareng, nomer pseudorandom lan diverifikasi nomer acak generasi.
Marko Vukolić (Marko Vukolic) - peneliti ing IBM Research, penulis dianggo ing pamblokiran lan pangembang Hyperledger Fabric. Kita durung ngerti apa sing bakal diomongake Marco ing sekolah kita taun iki, nanging kita ngarep-arep bakal sinau babagan perkembangan paling anyar ing bidang blockchain: riset degradasi kinerja protokol konsensus mbagekke ing kluster nganti 100 mesin, siaran Protokol Mir karo urutan global lan toleransi kesalahan Bizantium utawa pamblokiran tanpa pamblokiran StreamChain, minimalake wektu pangolahan transaksi.
Prasad Jayanti (Prasad Jayanti) minangka profesor ing Dartmouth College, salah sawijining elit Liga Ivy, lan penulis karya riset ing lapangan algoritma multi-threaded. Taun iki ing sekolah kita Prasad bakal menehi ceramah babagan sinkronisasi thread lan algoritma kanggo ngleksanakake macem-macem opsi mutex: Kanthi ngganggu utawa mulihake fungsi ing model memori non-molah malih, uga operasi maca lan nulis kapisah.
Alexey Gotsman (Alexey Gotsman) - profesor ing IMDEA lan penulis karya riset ing bidang verifikasi piranti lunak algoritma. Kita durung ngerti apa sing bakal diwulangake Alexey ing sekolah kita taun iki, nanging kita ngetung topik ing persimpangan verifikasi piranti lunak lan sistem sing disebarake.
Kenapa iki sekolah lan dudu konferensi?
Kaping pisanan, dosen nganggo format akademik lan saben kuliah gedhe diwenehake dening rong pasangan: "Satunggal lan setengah jam - istirahat - jam setengah liyane." Akeh taun sawise universitas, karo pakulinan presentations konferensi jam lan 10 menit video YouTube, iki bisa dadi angel. Dosen sing apik bakal nggawe kabeh telung jam dadi menarik, nanging kabeh wong tanggung jawab kanggo keplastikan otak dhewe.
Saran sing migunani: praktik rekaman video ceramah sekolah ing 2017 year lan ing 2019 year. Sugeng kerja - halo jenderal Bizantium.
Kapindho, dosen fokus ing riset ilmiah lan ngomong babagan prinsip dhasar sistem mbagekke lan komputasi paralel, uga warta saka pojok nglereni ilmu. Yen tujuan sampeyan yaiku program kanthi cepet lan nyebarake menyang produksi sesuk sawise sekolah, iki bisa uga angel.
Tip migunani: goleki makalah riset dening dosen sekolah ing Google Kabeh Topik и arXiv.org. Yen sampeyan seneng maca makalah ilmiah, sampeyan uga bakal seneng sekolah.
Katelu, SPTDC 2020 dudu konferensi, amarga konferensi babagan sistem terdistribusi lan komputasi paralel Hidra 2020. Bubar ana kirim ing Habré karo ringkesan program dheweke. Taun kepungkur, SPTDC lan Hydra ditindakake bebarengan lan ing papan sing padha. Taun iki padha ora tumpang tindih tanggal, supaya padha ora saingan karo saben liyane kanggo wektu lan manungsa waé.
Tip sing migunani: Priksa program konferensi Hydra lan nimbang nekani konferensi liyane sawise sekolah. Iki bakal dadi minggu sing apik.
Carane njaluk menyang sekolah?
- Tulis tanggal saka 6 Juli nganti 9 Juli 2020 ing tanggalan sampeyan (utawa luwih apik, 11 Juli, supaya sampeyan bisa menyang konferensi Hydra sawise sekolah).
- Ati-ati, siap.
- Pilih tiket lan mangkat sekolah.
Source: www.habr.com