Ang teorya mao kung nahibal-an nimo ang tanan apan wala’y molihok.
Ang pagpraktis mao kung ang tanan molihok apan wala’y nahibal-an kung ngano.
Sa mga sistema nga gipang-apod-apod, ang teorya ug praktis gihiusa:
walay nagtrabaho ug walay usa nga nahibalo ngano.
Aron pamatud-an nga ang joke sa epigraph hingpit nga kabuang, nagpahigayon kami sa SPTDC (school on practice and theory of distributed computing) sa ikatulong higayon. Nahisgotan na namo ang kasaysayan sa eskwelahan, ang mga co-founder niini nga sila Pyotr Kuznetsov ug Vitaly Aksyonov, ingon man ang partisipasyon sa JUG Ru Group sa pag-organisar sa SPTDC giingnan sa Habré. Busa, karon naghisgot kami bahin sa eskuylahan sa 2020, bahin sa mga lektyur ug mga magtutudlo, ingon man bahin sa mga kalainan tali sa eskuylahan ug sa komperensya.
Ang eskuylahan sa SPTDC ipahigayon gikan sa Hulyo 6 hangtod Hulyo 9, 2020 sa Moscow.
Ang tanan nga mga lecture kay sa English. Ang mga nag-unang mga hilisgutan sa mga lecture: padayon nga concurrent computing, cryptographic nga mga himan alang sa gipang-apod-apod nga mga sistema, pormal nga mga pamaagi sa pagmatuod sa consensus protocols, pagkamakanunayon sa dako nga-scale nga sistema, apod-apod machine learning.
Nakatag-an ka ba dayon kung unsa nga ranggo sa militar ang mga karakter sa litrato? Gisimba ko ikaw.
Mga magtutudlo ug mga lektyur
Nir Shavit (Nir Shavit) - propesor sa MIT ug Tel Aviv University, kauban nga tagsulat sa usa ka maayo nga libro Ang Art sa Multiprocessor Programming, tag-iya Mga premyo sa Dijkstra alang sa kalamboan ug pagpatuman software nga transactional memory (STM) ug Gödel Prize alang sa iyang trabaho sa paggamit sa algebraic topology sa pagmodelo sa shared memory computing, co-founder sa kompanya Neural nga Magic, nga nagmugna sa paspas nga mga algorithm sa pagkat-on sa makina alang sa ordinaryong mga CPU, ug, siyempre, adunay kaugalingon Mga panid sa Wikipedia nga adunay usa ka madanihon ug masulub-on nga litrato. Si Nir miapil na sa among eskwelahan niadtong 2017, diin mihatag siya og komprehensibong kinatibuk-ang panglantaw sa mga pamaagi sa pag-block (bahin 1, bahin 2). Wala pa kami mahibal-an kung unsa ang hisgutan ni Nir karong tuiga, apan nanghinaut kami sa mga balita gikan sa unahan sa siyensya.
Michael Scott (Michael Scott) - tigdukiduki sa Unibersidad sa Rochester, nailhan sa tanang Java developers isip tiglalang non-blocking algorithms ug synchronous queues gikan sa Java Standard Library. Siyempre, uban sa Dijkstra Prize alang sa kalamboan mga algorithm sa pag-synchronize alang sa shared memory computing ug iya panid sa Wikipedia. Sa miaging tuig, mihatag si Michael og lecture sa among eskwelahan bahin sa non-blocking data structures (bahin 1, bahin 2). Karong tuiga siya mosulti bahin sa paggamit sa programming non-volatile memory (NVM), nga nagpamenos sa pagkakomplikado sa programa ug overhead sa memorya kon itandi sa "regular" nga random access memory (DRAM).
Si Keidar (Idit Keidar) - propesor sa Technion ug tag-iya Hirsch nga indeks mga 40 (nga dako kaayo) alang sa duha ka gatos nga siyentipikong mga artikulo sa natad sa distributed computing, multithreading ug fault tolerance. Idit miapil sa among eskwelahan sa unang higayon, diin siya mohatag ug lecture mahitungod sa mga batakang aspeto sa operasyon sa gipang-apod-apod nga pagtipig sa datos: gipang-apod-apod nga memory emulation, consensus development ug mga kausaban sa configuration.
Rodrigo Rodriguez (Rodrigo Rodrigues) - propesor sa Técnico, miyembro sa laboratoryo INESC-ID ug tagsulat trabaho sa panukiduki sa natad sa gipang-apod-apod nga mga sistema. Karong tuiga sa among eskwelahan Rodrigo mosulti mahitungod sa pagkamakanunayon ug pag-inusara sa gipang-apod-apod nga mga tindahan sa datos, ug mag-analisar usab gamit Mga teorema sa CAP feasibility sa praktis sa pipila ka mga modelo sa pagkamakanunayon ug pagkahimulag.
Chen Jing (Jing Chen) - Propesor sa State University of New York sa Stony Brook, awtor trabaho sa panukiduki sa natad sa blockchain ug usa ka nanguna nga siyentista sa Algorand - usa ka kompanya ug plataporma nga blockchain nga naggamit sa usa ka consensus algorithm nga gibase sa hingpit Pamatuod sa Stake. Karong tuiga sa among eskuylahan, si Chen maghisgot bahin sa blockchain sa Algorand ug mga paagi aron makab-ot ang makapaikag nga mga kabtangan: ubos nga panginahanglanon sa mga kapanguhaan sa pag-compute sa network, ang imposible sa pagbahin sa kasaysayan sa transaksyon ug paggarantiya sa pagkompleto sa pagproseso sa transaksyon pagkahuman idugang sa blockchain.
Christian Cashin (Christian Cachin) usa ka propesor sa Unibersidad sa Bern, nangulo sa usa ka grupo sa panukiduki sa natad sa pagpanalipod sa datos, kauban nga tagsulat sa libro nga "Pasiuna sa Kasaligan ug Luwas nga Giapod-apod nga Programming", blockchain platform developer Hyperledger nga Tela (Adunay bisan usa ka pakigpulong bahin kaniya post sa Habré) ug tagsulat trabaho sa panukiduki sa natad sa cryptography ug seguridad sa gipang-apod-apod nga mga sistema. Karong tuiga sa among eskwelahan nga si Christian mohatag ug lecture usa ka upat ka bahin nga serye sa cryptographic nga mga himan alang sa distributed computing: simetriko ug asymmetric cryptography, ingon man gipaambit nga yawe nga cryptography, pseudorandom nga mga numero ug mapamatud-an nga random number generation.
Marko Vukolić (Marko Vukolic) - tigdukiduki sa IBM Research, awtor mga buhat sa blockchain ug developer sa Hyperledger Fabric. Wala pa kami nahibal-an kung unsa ang hisgutan ni Marco sa among eskuylahan karong tuiga, apan nanghinaut kami nga mahibal-an namon ang bahin sa iyang labing bag-ong mga kalamboan sa natad sa blockchain: panukiduki pagkadaot sa performance nag-apod-apod sa mga consensus protocol sa mga cluster nga hangtod sa 100 ka mga makina, gisibya Mir protocol uban sa global order ug Byzantine fault tolerance o walay block block StreamChain, pagminus sa oras sa pagproseso sa transaksyon.
Prasad Jayanti (Prasad Jayanti) usa ka propesor sa Dartmouth College, usa sa mga elite Ivy League, ug ang tagsulat trabaho sa panukiduki sa natad sa multi-threaded algorithms. Karong tuiga sa among eskwelahan nga Prasad mohatag ug lecture bahin sa pag-synchronize sa thread ug mga algorithm alang sa pagpatuman sa lainlaing mga kapilian mutex: Uban sa interrupt o pagpasig-uli sa mga function sa non-volatile memory nga mga modelo, ingon man usab sa bulag nga pagbasa ug pagsulat nga mga operasyon.
Alexey Gotsman (Alexey Gotsman) - propesor sa IMDEA ug tagsulat trabaho sa panukiduki sa natad sa software verification sa mga algorithm. Wala pa kami nahibal-an kung unsa ang itudlo ni Alexey sa among eskuylahan karong tuiga, apan nagsalig kami sa usa ka hilisgutan sa intersection sa pag-verify sa software ug mga gipang-apod-apod nga sistema.
Ngano nga kini usa ka eskwelahan ug dili usa ka komperensya?
Una, ang mga magtutudlo nagsulti sa usa ka akademikong format ug ang matag dako nga lecture gihatag sa duha ka pares: "usa ka oras ug tunga - pahulay - laing oras ug tunga." Daghang mga tuig human sa unibersidad, uban ang batasan sa usa ka oras nga mga presentasyon sa komperensya ug 10-minutos nga mga video sa YouTube, kini mahimong lisud. Ang usa ka maayo nga magtutudlo maghimo sa tibuuk nga tulo ka oras nga makapaikag, apan ang tanan responsable sa kaplastikan sa ilang kaugalingon nga utok.
Makatabang nga tambag: pagpraktis sa mga pagrekord sa video sa mga lektyur sa eskuylahan sa 2017 nga tuig ug sa 2019 nga tuig. Goodbye work - hello Byzantine generals.
Ikaduha, ang mga magtutudlo nagpunting sa siyentipikong panukiduki ug naghisgot bahin sa sukaranang mga prinsipyo gipang-apod-apod nga mga sistema ug parallel computing, ingon man mga balita gikan sa pinakabag-o nga bahin sa siyensya. Kung ang imong katuyoan mao ang dali nga pagprograma sa usa ka butang ug i-deploy kini sa produksiyon sa sunod nga adlaw pagkahuman sa klase, mahimo usab kini nga lisud.
Makatabang nga tip: pangitaa ang mga papel sa panukiduki sa mga magtutudlo sa eskuylahan Google Scholar и arXiv.org. Kung ganahan ka magbasa sa mga siyentipikong papel, ganahan ka usab sa eskuylahan.
Ikatulo, ang SPTDC 2020 dili usa ka komperensya, tungod kay ang usa ka komperensya sa gipang-apod-apod nga mga sistema ug parallel computing mao ang Hydra 2020. Bag-ohay lang adunay usa ka post sa Habré nga adunay usa ka overview sa iyang programa. Sa miaging tuig, dungan ug sa samang venue nahitabo ang SPTDC ug Hydra. Karong tuiga dili sila mag-overlap sa mga petsa, mao nga dili sila makigkompetensya sa usag usa alang sa imong oras ug atensyon.
Makatabang nga tip: Tan-awa ang programa sa komperensya sa Hydra ug ikonsiderar ang pagtambong sa lain nga komperensya pagkahuman sa klase. Kini mahimong usa ka maayong semana.
Unsaon pag-adto sa eskwelahan?
- Isulat ang mga petsa gikan sa Hulyo 6 hangtod Hulyo 9, 2020 sa imong kalendaryo (o mas maayo pa, Hulyo 11, aron makaadto ka sa komperensya sa Hydra pagkahuman sa klase).
- Pagdasig, pangandam.
- Pagpili og mga tiket ug adto sa eskwelahan.
Source: www.habr.com
