Téori nyaéta nalika anjeun terang sadayana tapi teu aya anu tiasa dianggo.
Prakték nyaéta nalika sadayana jalan tapi teu aya anu terang kunaon.
sistem distribusi, téori jeung prakték digabungkeun:
euweuh gawéna sarta taya sahijieun weruh naha.
Pikeun ngabuktikeun yén lulucon dina epigraph mangrupa omong kosong mutlak, urang ngayakeun SPTDC (sakola dina praktekna jeung téori komputasi disebarkeun) pikeun katilu kalina. Ngeunaan sajarah sakola, ko-pendiri na Petr Kuznetsov na Vitaly Aksyonov, kitu ogé partisipasi JUG Ru Grup dina organisasi SPTDC, kami geus bébéja dina Habr. Ku alatan éta, dinten ieu ngeunaan sakola taun 2020, ngeunaan ceramah sareng dosen, ogé ngeunaan bédana antara sakola sareng konferensi.
Sakola SPTDC bakal dilaksanakeun ti 6 dugi ka 9 Juli 2020 di Moskow.
Kabéh ceramah bakal dina basa Inggris. Topik kuliah: komputasi babarengan pengkuh, alat cryptographic pikeun sistem disebarkeun, métode formal pikeun verifying protokol konsensus, konsistensi dina sistem skala badag, disebarkeun mesin learning.
Naha anjeun langsung nebak naon pangkat militér karakter dina gambar? Abdi reueus ka anjeun.
Dosen jeung ceramah
Nir Savit (Nir Shavit) nyaéta profésor di MIT sareng Universitas Tel Aviv, panulis ko-panulis buku anu saé. Seni Pemrograman Multiprocessor, boga Hadiah Dijkstra pikeun pangwangunan sareng palaksanaan memori transactional software (STM) jeung Hadiah Gödel pikeun karyana dina aplikasi topologi aljabar kana simulasi komputasi memori dibagikeun, ko-pangadeg pausahaan. Sihir saraf, nu nyiptakeun algoritma learning mesin gancang pikeun CPUs konvensional, sarta, tangtosna, boga sorangan kaca Wikipedia kalawan dashing sarta fotografi sultry. Nir parantos ilubiung dina sakola urang di 2017, dimana anjeunna masihan ulasan lengkep ngeunaan téknik blocking (bagian 1, bagian 2). Naon anu bakal diomongkeun Nir taun ieu, kami henteu acan terang, tapi kami ngarep-arep béja tina ujung élmu.
Michael témbal (Michael Scott) nyaéta panalungtik di Universitas Rochester, dipikawanoh ka sadaya pamekar Java salaku pencipta algoritma non-blocking jeung antrian sinkron ti perpustakaan standar Java. Tangtu, kalawan Dijkstra urang Design Award algoritma sinkronisasi pikeun komputasi memori dibagikeun jeung milik kaca Wikipedia. Taun ka tukang, Michael masihan ceramah di sakola urang ngeunaan struktur data non-blocking (bagian 1, bagian 2). Taun ieu anjeunna nyaritakeun ngeunaan programming ngagunakeun memori non-volatile (NVM), nu ngurangan pajeulitna program sarta overhead memori dibandingkeun "biasa" memori aksés acak (DRAM).
Idit Keidar (Idit Keidar) nyaéta profesor di Technion jeung nu boga indéks Hirsch kira-kira 40 (nu pisan, pisan) keur dua ratus artikel ilmiah dina widang komputasi disebarkeun, multithreading jeung kasabaran sesar. Eidit mimiti milu sakola urang, dimana manehna masihan ceramah ngeunaan aspék dasar tina karya gudang data disebarkeun: emulation memori disebarkeun, ngembangkeun konsensus sarta parobahan konfigurasi.
Rodrigo Rodriguez (Rodrigo Rodrigues) - profésor di Técnico, anggota laboratorium ID INESC jeung pangarang karya panalungtikan dina widang sistem disebarkeun. Taun ieu di sakola urang Rodrigo nyaritakeun ngeunaan konsistensi jeung isolasi di gudang data disebarkeun, sarta ogé bakal nganalisis ngagunakeun Téoréma CAP feasibility dina praktekna sababaraha model konsistensi jeung isolasi.
Chen Cing (Jing Chen) nyaéta profesor di State University of New York di Stony Brook, panulis karya panalungtikan dina widang blockchain sarta élmuwan ngarah di Algorand - hiji parusahaan jeung platform blockchain ngagunakeun algoritma konsensus sagemblengna dumasar kana Bukti stake. Taun ieu di sakola urang, Chen bakal ngobrol ngeunaan blockchain Algorand jeung cara pikeun ngahontal sipat metot na: undemanding sumberdaya komputasi jaringan, impossibility tina bengkahna sajarah urus, sarta guaranteeing parantosan processing transaksi sanggeus ditambahkeun kana blockchain nu.
Christian Kasin (Christian Cachin) nyaéta profesor di Universitas Bern, kapala grup panalungtikan dina widang panyalindungan data, ko-panulis buku "Perkenalan pikeun Pemrograman Distribusi anu Aman sareng Aman”, pamekar platform blockchain Lawon Hyperledger (ngeunaan anjeunna malah éta pos on Habré) jeung pangarang karya panalungtikan dina widang kriptografi sareng kaamanan dina sistem anu disebarkeun. Taun ieu di sakola urang Kristen masihan ceramah dina opat bagian ngeunaan alat kriptografi pikeun komputasi disebarkeun: kriptografi simetris sareng asimétri, sareng ogé ngeunaan kriptografi konci dibagikeun, angka pseudo-acak jeung verifiable angka acak generasi.
Marko Vukolich (Marko Vukolic) nyaéta panalungtik di IBM Research, panulis jalan dina blockchain sarta pamekar Hyperledger Fabric. Kami henteu acan terang naon anu bakal diomongkeun ku Marco di sakola urang taun ieu, tapi kami ngarepkeun diajar ngeunaan kamajuan panganyarna na dina widang blockchain: panalungtikan degradasi kinerja protokol konsensus disebarkeun dina klaster nepi ka 100 mesin, siaran Protokol Mir kalawan urutan global jeung toleransi kasalahan Bizantium atanapi blockless blockless StreamChainngaminimalkeun waktos ngolah transaksi.
Prasad Jayanti (Prasad Jayanti) nyaéta profesor di Dartmouth College, bagian tina elit liga ivy, jeung pangarang karya panalungtikan dina widang algoritma multithreaded. Taun ieu di sakola urang Prasad masihan ceramah ngeunaan sinkronisasi thread sarta algoritma pikeun nerapkeun rupa pilihan mutex: kalawan interupsi atawa malikkeun fungsi dina model memori non-volatile, tur kalawan operasi maca jeung nulis misah.
Alexey Gotsman (Alexey Gotsman) nyaéta profésor di IMDEA sareng panulis karya panalungtikan dina widang verifikasi program tina algoritma. Kami henteu acan terang naon anu bakal diajarkeun Alexey di sakola urang taun ieu, tapi kami ngarepkeun topik di persimpangan verifikasi parangkat lunak sareng sistem anu disebarkeun.
Naha ieu sakola sanés konperénsi?
Kahiji, dosén nyarita dina format akademik sarta maca dua pasang unggal ceramah badag: "Sajam satengah - istirahat - sajam satengah deui." Mangtaun-taun kaluar tina kuliah, kalayan kabiasaan ceramah konperénsi sajam sareng pidéo YouTube 10 menit, ieu tiasa hésé. Dosén anu saé bakal ngajantenkeun tilu jamna pikaresepeun, tapi sadayana tanggung jawab pikeun plastik otakna sorangan.
Pitunjuk Mantuan: Praktek dina rekaman vidéo ceramah sakola di sataun 2017 jeung sataun 2019. Wilujeung, damel - halo, jenderal Bizantium.
Kadua, dosén museur kana panalungtikan ilmiah jeung ngadongéng ngeunaan dasar-dasarna sistem disebarkeun sarta komputasi paralel, kitu ogé warta ti ujung motong elmu. Upami tujuan anjeun nyaéta pikeun gancang ngodekeun hiji hal sareng nyebarkeun ka produksi énjing saatos sakola dina ngungudag panas, ieu ogé tiasa sesah.
Pitunjuk Mantuan: Pilari makalah panalungtikan dosén sakola di Google Sarjana и arXiv.org. Upami anjeun resep maca makalah ilmiah, anjeun ogé bakal resep sakola.
Katilu, sakola SPTDC 2020 sanés konperénsi, sabab konperénsi ngeunaan sistem terdistribusi sareng komputasi paralel nyaéta Hydra 2020. Nembe on Habré aya pos kalawan review program na. Taun ka tukang, SPTDC sareng Hydra lumangsung sakaligus sareng dina situs anu sami. Taun ieu aranjeunna henteu tumpang tindih dina tanggal, janten aranjeunna henteu bersaing pikeun waktos sareng perhatian anjeun.
Tip Mantuan: Pariksa program konferensi Hydra sarta mertimbangkeun attending konferensi sanggeus sakola ogé. Ieu bakal minggu alus.
Kumaha carana angkat ka sakola?
- Tulis tanggal ti 6 Juli dugi ka 9 Juli 2020 dina kalénder (atanapi langkung saé, ku 11 Juli kanggo angkat ka konperénsi Hydra saatos sakola).
- Kudu ati, siap.
- Milih tikét jeung indit ka sakola.
sumber: www.habr.com