SPTDC 2020 - ang ikatlong paaralan sa pagsasanay at teorya ng distributed computing

Ang teorya ay kapag alam mo ang lahat ngunit walang gumagana.
Ang pagsasanay ay kapag ang lahat ay gumagana ngunit walang nakakaalam kung bakit.
distributed system, pinagsama ang teorya at kasanayan:
walang gumagana at walang nakakaalam kung bakit.

Upang patunayan na ang biro sa epigraph ay ganap na walang kapararakan, hawak namin ang SPTDC (school on practice and theory of distributed computing) sa ikatlong pagkakataon. Tungkol sa kasaysayan ng paaralan, ang mga co-founder nito na sina Petr Kuznetsov at Vitaly Aksyonov, pati na rin ang pakikilahok ng JUG Ru Group sa organisasyon ng SPTDC, mayroon na kami sinabi sa Habr. Samakatuwid, ngayon ay tungkol sa paaralan sa 2020, tungkol sa mga lecture at lecturer, pati na rin tungkol sa mga pagkakaiba sa pagitan ng paaralan at ng kumperensya.

Ang paaralan ng SPTDC ay gaganapin mula 6 hanggang 9 Hulyo 2020 sa Moscow.

Lahat ng lektura ay nasa Ingles. Mga paksa sa lecture: paulit-ulit na concurrent computing, mga cryptographic na tool para sa mga distributed system, mga pormal na pamamaraan para sa pag-verify ng mga consensus protocol, consistency sa large-scale system, distributed machine learning.

Nahulaan mo ba agad kung anong ranggo ng militar ang mga karakter sa larawan? Sinasamba Kita.

Mga lecturer at lecture

Nir Shavit (Nir Shavit) ay isang propesor sa MIT at Tel Aviv University, co-author ng isang mahusay na libro Ang Sining ng Multiprocessor Programming, may-ari Mga Premyo ng Dijkstra para sa pagpapaunlad at pagpapatupad memorya ng transaksyonal ng software (STM) at Gödel Prize para sa kanyang trabaho sa aplikasyon ng algebraic topology sa simulation ng shared memory computing, co-founder ng kumpanya Neural Magic, na lumilikha ng mabilis na machine learning algorithm para sa mga maginoo na CPU, at, siyempre, ay may sariling Mga pahina sa Wikipedia na may magara at maalinsangan na litrato. Nakilahok na si Nir sa aming paaralan noong 2017, kung saan nagbigay siya ng kumpletong pagsusuri ng mga diskarte sa pagharang (Bahagi 1, Bahagi 2). Kung ano ang sasabihin ni Nir sa taong ito, hindi pa namin alam, ngunit umaasa kami sa mga balita mula sa cutting edge ng agham.


Michael Scott (Michael Scott) ay isang mananaliksik sa Unibersidad ng Rochester, na kilala sa lahat ng mga developer ng Java bilang tagalikha ng mga hindi nakaharang na algorithm at magkakasabay na pila mula sa Java standard library. Siyempre, kasama ang Dijkstra's Design Award mga algorithm ng pag-synchronize para sa shared memory computing at pagmamay-ari pahina ng Wikipedia. Noong nakaraang taon, nagbigay ng lecture si Michael sa aming paaralan tungkol sa hindi nakaharang na mga istruktura ng data (Bahagi 1, Bahagi 2). Ngayong taon siya ay sasabihin tungkol sa paggamit ng programming non-volatile memory (NVM), na binabawasan ang pagiging kumplikado ng programa at overhead ng memory kumpara sa "regular" na random access memory (DRAM).


Idit Keidar (Idit Keidar) - Propesor sa Technion at may-ari Hirsch index tungkol sa 40 (na napaka, napakarami) para sa dalawang daang siyentipikong artikulo sa larangan ng distributed computing, multithreading at fault tolerance. Si Eidit ay sumali sa aming paaralan sa unang pagkakataon, kung saan siya magbigay ng lecture tungkol sa mga pangunahing aspeto ng gawain ng mga distributed data warehouses: distributed memory emulation, consensus development at configuration changes.


Rodrigo Rodriguez (Rodrigo Rodrigues) - propesor sa Técnico, miyembro ng laboratoryo INESC ID at may-akda gawaing pananaliksik sa larangan ng mga distributed system. Ngayong taon sa aming paaralan Rodrigo ay sasabihin tungkol sa pagkakapare-pareho at paghihiwalay sa mga distributed na data warehouse, at susuriin din ang paggamit CAP theorems pagiging posible sa pagsasanay ng ilang mga modelo ng pagkakapare-pareho at paghihiwalay.


Chen Ching (Jing Chen) ay isang propesor sa State University of New York sa Stony Brook, may-akda gawaing pananaliksik sa larangan ng blockchain at isang nangungunang siyentipiko sa Algorithm — isang kumpanya at isang blockchain platform na gumagamit ng consensus algorithm na ganap na nakabatay sa Katunayan ng Stake. Ngayong taon sa aming paaralan, tatalakayin ni Chen ang tungkol sa blockchain ng Algorand at mga paraan upang makamit ang mga kagiliw-giliw na katangian nito: hindi hinihingi sa mga mapagkukunan ng network computing, ang imposibilidad ng paghahati ng kasaysayan ng transaksyon, at paggarantiya ng pagtatapos ng pagproseso ng transaksyon pagkatapos itong idagdag sa blockchain.


Christian Kashin (Christian Cachin) ay isang propesor sa Unibersidad ng Bern, pinuno ng isang pangkat ng pananaliksik sa larangan ng proteksyon ng data, kasamang may-akda ng aklat "Panimula sa Maaasahan at Secure na Distributed Programming”, developer ng platform ng blockchain Hyperledger Fabric (tungkol sa kanya kahit noon post sa Habré) at may-akda gawaing pananaliksik sa larangan ng cryptography at seguridad sa mga distributed system. Ngayong taon sa aming paaralan Christian magbigay ng lecture sa apat na bahagi tungkol sa mga cryptographic na tool para sa distributed computing: simetriko at asymmetric na cryptography, at tungkol din sa nakabahaging key cryptography, pseudo-random na mga numero at napapatunayan na random na pagbuo ng numero.


Marko Vukolich (Marko Vukolic) ay isang mananaliksik sa IBM Research, may-akda gumagana sa blockchain at developer ng Hyperledger Fabric. Hindi pa namin alam kung ano ang pag-uusapan ni Marco sa aming paaralan sa taong ito, ngunit inaasahan naming malaman ang tungkol sa kanyang pinakabagong mga pag-unlad sa larangan ng blockchain: pananaliksik pagkasira ng pagganap ipinamahagi ang mga protocol ng pinagkasunduan sa mga kumpol ng hanggang 100 machine, i-broadcast Mir protocol na may pandaigdigang kaayusan at Byzantine fault tolerance o blockless na blockchain StreamChainpagliit ng oras ng pagproseso ng transaksyon.


Prasad Jayanti (Prasad Jayanti) ay isang propesor sa Dartmouth College, bahagi ng elite ivy league, at ang may-akda gawaing pananaliksik sa larangan ng multithreaded algorithm. Ngayong taon sa aming paaralang Prasad magbigay ng lecture tungkol sa pag-synchronize ng thread at mga algorithm para sa pagpapatupad ng iba't ibang mga opsyon mutex: na may interrupt o restore function sa non-volatile memory models, at may hiwalay na read and write operations.


Alexey Gotsman (Alexey Gotsman) ay isang propesor sa IMDEA at isang may-akda gawaing pananaliksik sa larangan ng pag-verify ng programa ng mga algorithm. Hindi pa namin alam kung ano ang lektura ni Alexey sa aming paaralan ngayong taon, ngunit inaasahan namin ang isang paksa sa intersection ng pag-verify ng software at mga distributed system.

Bakit ito isang paaralan at hindi isang kumperensya?

Una, ang mga lecturer ay nagsasalita sa isang akademikong format at nagbabasa ng dalawang pares ng bawat malaking lecture: "isang oras at kalahati - isang pahinga - isa pang oras at kalahati." Maraming taon sa labas ng kolehiyo, na may ugali ng isang oras na pag-uusap sa kumperensya at 10 minutong mga video sa YouTube, maaari itong maging nakakalito. Ang isang mahusay na lektor ay gagawing kawili-wili ang lahat ng tatlong oras, ngunit lahat ay may pananagutan sa kaplastikan ng kanilang sariling utak.

Nakatutulong na Pahiwatig: Magsanay sa mga video recording ng mga lecture sa paaralan sa 2017 taon at 2019 taon. Paalam sa trabaho - kumusta mga heneral ng Byzantine.

Pangalawa, ang mga lecturer ay nakatuon sa siyentipikong pananaliksik at pinag-uusapan ang mga pangunahing kaalaman distributed system at parallel computing, pati na rin ang mga balita mula sa cutting edge ng science. Kung ang iyong layunin ay mabilis na mag-code ng isang bagay at i-deploy ito sa produksyon sa susunod na araw pagkatapos ng paaralan sa mainit na pagtugis, maaari rin itong maging mahirap.

Nakatutulong na Pahiwatig: Hanapin ang mga research paper ng mga lecturer ng paaralan sa Google Scholar и arXiv.org. Kung mahilig kang magbasa ng mga siyentipikong papel, masisiyahan ka rin sa paaralan.

Pangatlo, ang paaralan ng SPTDC 2020 ay hindi isang kumperensya, dahil ang kumperensya sa mga distributed system at parallel computing ay Hydra2020. Kamakailan sa Habré mayroong isang post na may pagsusuri sa programa nito. Noong nakaraang taon, ang SPTDC at Hydra ay naganap nang sabay-sabay at sa parehong site. Sa taong ito hindi sila nagsasapawan sa mga petsa, kaya hindi sila nakikipagkumpitensya sa isa't isa para sa iyong oras at atensyon.

Nakatutulong na Tip: Tingnan ang programa ng kumperensya ng Hydra at isaalang-alang din na dumalo sa kumperensya pagkatapos ng klase. Magiging magandang linggo ito.

Paano makarating sa paaralan?

• Isulat ang mga petsa mula Hulyo 6 hanggang Hulyo 9, 2020 sa kalendaryo (o mas mabuti, pagsapit ng Hulyo 11 upang pumunta sa kumperensya ng Hydra pagkatapos ng klase).
• Lakasan ang loob, humanda.
• Pumili ng mga tiket at pumunta sa paaralan.

Pinagmulan: www.habr.com