Teori er, når du ved alt, men intet virker.
Øvelse er, når alt fungerer, men ingen ved hvorfor.
I distribuerede systemer, teori og praksis kombineres:
intet virker og ingen ved hvorfor.
For at bevise, at joken i epigrafen er absolut dumhed, afholder vi SPTDC (skole i praksis og teori om distribueret databehandling) for tredje gang. Vi har allerede diskuteret skolens historie, dens medstiftere Pyotr Kuznetsov og Vitaly Aksyonov, såvel som JUG Ru Groups deltagelse i organiseringen af SPTDC fortalt på Habré. Derfor taler vi i dag om skolen i 2020, om foredrag og foredragsholdere, samt om forskellene mellem skolen og konferencen.
SPTDC-skolen afholdes fra 6. juli til 9. juli 2020 i Moskva.
Alle forelæsninger vil være på engelsk. Forelæsningernes hovedemner: persistent concurrent computing, kryptografiske værktøjer til distribuerede systemer, formelle metoder til verificering af konsensusprotokoller, konsistens i store systemer, distribueret maskinlæring.
Gættede du med det samme, hvilken militær rang karaktererne på billedet er? Jeg forguder dig.
Foredragsholdere og foredrag
Nir Shavit (Nir Shavit) - professor ved MIT og Tel Aviv University, medforfatter til en fantastisk bog Kunsten at programmere multiprocessor, ejer Dijkstra-prisen til udvikling og implementering software transaktionshukommelse (STM) og Gödel-prisen for sit arbejde med anvendelsen af algebraisk topologi til modellering af delt hukommelsesberegning, medstifter af virksomheden Neural magi, som skaber hurtige maskinlæringsalgoritmer til almindelige CPU'er, og selvfølgelig har sin egen Wikipedia sider med et flot og lummert fotografi. Nir deltog allerede på vores skole i 2017, hvor han gav et omfattende overblik over blokeringsteknikker (Part 1, Part 2). Vi ved endnu ikke, hvad Nir vil tale om i år, men vi håber på nyheder fra videnskabens forkant.
Michael Scott (Michael Scott) - forsker ved University of Rochester, kendt af alle Java-udviklere som skaberen ikke-blokerende algoritmer og synkrone køer fra Java Standard Library. Selvfølgelig med Dijkstra-prisen for udvikling synkroniseringsalgoritmer til databehandling med delt hukommelse og egne Wikipedia side. Sidste år holdt Michael et foredrag på vores skole om ikke-blokerende datastrukturer (Part 1, Part 2). I år er han vil fortælle om programmering vha ikke-flygtig hukommelse (NVM), hvilket reducerer programkompleksitet og hukommelsesomkostninger sammenlignet med "almindelig" DRAM (Random Access Memory).
Går Keidar (Idit Keidar) - professor ved Technion og ejer Hirsch indeks omkring 40 (hvilket er meget, meget betydeligt) for to hundrede videnskabelige artikler inden for distribueret databehandling, multithreading og fejltolerance. Idit deltager for første gang på vores skole, hvor hun vil holde et foredrag om de grundlæggende aspekter af driften af distribueret datalagring: emulering af distribueret hukommelse, konsensusudvikling og konfigurationsændringer.
Rodrigo Rodriguez (Rodrigo Rodrigues) - professor ved Técnico, medlem af laboratoriet INESC-ID og forfatter forskningsarbejde inden for distribuerede systemer. I år på vores skole Rodrigo vil fortælle om konsistens og isolation i distribuerede datalagre, og vil også analysere vha CAP teoremer gennemførlighed i praksis af flere modeller for sammenhæng og isolation.
Chen Jing (Jing Chen) - Professor ved State University of New York ved Stony Brook, forfatter forskningsarbejde inden for blockchain og en førende videnskabsmand i Algorand - en virksomhed og blockchain platform, der bruger en konsensus algoritme baseret udelukkende på Bevis for indsats. I år på vores skole vil Chen tale om Algorand blockchain og måder at opnå dens interessante egenskaber på: lave krav til netværkscomputerressourcer, umuligheden af at opdele transaktionshistorikken og garantere fuldførelsen af transaktionsbehandlingen, efter at den er føjet til blockchain.
Christian Cashin (Christian Cachin) er professor ved universitetet i Bern, leder af en forskningsgruppe inden for databeskyttelse, medforfatter til bogen "Introduktion til pålidelig og sikker distribueret programmering", udvikler af blockchain-platforme Hyperledger Fabric (der var endda en snak om hende indlæg på Habré) og forfatter forskningsarbejde inden for kryptografi og sikkerhed i distribuerede systemer. I år på vores skole Christian vil holde et foredrag en firedelt serie om kryptografiske værktøjer til distribueret databehandling: symmetrisk og asymmetrisk kryptografi, samt delt nøglekryptering, pseudotilfældige tal og verificerbar generering af tilfældige tal.
Marko Vukolić (Marko Vukolic) - forsker ved IBM Research, forfatter af arbejdet i blockchain og udvikler af Hyperledger Fabric. Vi ved endnu ikke, hvad Marco vil tale om på vores skole i år, men vi håber, at vi vil lære om hans nyeste udviklinger inden for blockchain: forskning præstationsforringelse distribuerede konsensusprotokoller på klynger på op til 100 maskiner, udsendt Mir protokol med global orden og Byzantinsk fejltolerance eller blokfri blockchain StreamChain, hvilket minimerer transaktionsbehandlingstiden.
Prasad Jayanti (Prasad Jayanti) er professor ved Dartmouth College, en af eliten Ivy League, og forfatteren forskningsarbejde inden for flertrådede algoritmer. I år på vores skole Prasad vil holde et foredrag om trådsynkronisering og algoritmer til implementering af forskellige muligheder mutex: Med afbrydelses- eller gendannelsesfunktioner i ikke-flygtige hukommelsesmodeller, samt separate læse- og skriveoperationer.
Alexey Gotsman (Alexey Gotsman) - professor ved IMDEA og forfatter forskningsarbejde inden for softwareverifikation af algoritmer. Vi ved endnu ikke, hvad Alexey vil forelæse om på vores skole i år, men vi regner med et emne i krydsfeltet mellem softwareverifikation og distribuerede systemer.
Hvorfor er dette en skole og ikke en konference?
For det første taler undervisere i et akademisk format, og hver store forelæsning afholdes af to par: "halvanden time - pause - yderligere halvanden time." Mange år efter universitetet, med vanen med timelange konferencepræsentationer og 10-minutters YouTube-videoer, kan dette være svært. En god foredragsholder vil gøre hele tre timer interessante, men alle er ansvarlige for deres egen hjernes plasticitet.
Nyttige råd: øv dig på videooptagelser af skoleforelæsninger i 2017 år og 2019 år. Farvel arbejde - hej byzantinske generaler.
For det andet fokuserer underviserne på videnskabelig forskning og taler om grundlæggende principper distribuerede systemer og parallel computing, samt nyheder fra videnskabens forkant. Hvis dit mål er hurtigt at programmere noget og implementere det i produktion næste dag efter skole, kan dette også være svært.
Nyttigt tip: se efter forskningsartikler fra skolelærere om Google Scholar и arXiv.org. Hvis du kan lide at læse videnskabelige artikler, vil du også kunne lide skolen.
For det tredje er SPTDC 2020 ikke en konference, fordi en konference om distribuerede systemer og parallel computing er Hydra 2020. For nylig var der et opslag på Habré med et overblik over hendes program. Sidste år fandt SPTDC og Hydra sted samtidigt og på samme sted. I år overlapper de ikke hinanden i datoer, så de konkurrerer ikke med hinanden om din tid og opmærksomhed.
Nyttigt tip: Tjek Hydras konferenceprogram og overvej at deltage i endnu en konference efter skoletid. Det bliver en god uge.
Hvordan kommer man i skole?
- Skriv datoerne fra 6. juli til 9. juli 2020 ned i din kalender (eller endnu bedre, 11. juli, så du kan tage til Hydra-konferencen efter skoletid).
- Tag mod, gør dig klar.
- Vælg billetter og gå i skole.
Kilde: www.habr.com