Teori är när du vet allt men ingenting fungerar.
Övning är när allt fungerar men ingen vet varför.
distribuerade system, teori och praktik kombineras:
ingenting fungerar och ingen vet varför.
För att bevisa att skämtet i epigrafen är absolut nonsens, håller vi SPTDC (skola om praktik och teori om distribuerad datoranvändning) för tredje gången. Om skolans historia, dess medgrundare Petr Kuznetsov och Vitaly Aksyonov, såväl som deltagandet av JUG Ru Group i SPTDC-organisationen, har vi redan sa på Habr. Därför handlar idag om skolan år 2020, om föreläsningar och föreläsare, samt om skillnaderna mellan skolan och konferensen.
SPTDC-skolan kommer att hållas från 6 till 9 juli 2020 i Moskva.
Alla föreläsningar kommer att vara på engelska. Föreläsningsämnen: persistent concurrent computing, kryptografiska verktyg för distribuerade system, formella metoder för att verifiera konsensusprotokoll, konsekvens i storskaliga system, distribuerad maskininlärning.
Gissade du direkt vilken militär rang karaktärerna på bilden har? Jag avgudar dig.
Föreläsare och föreläsningar
Nir Shavit (Nir Shavit) är professor vid MIT och Tel Aviv University, medförfattare till en fantastisk bok Konsten att programmera flera processorer, ägare Dijkstra-priser för utveckling och genomförande programvara transaktionsminne (STM) och Gödelpriset för sitt arbete med tillämpningen av algebraisk topologi för simulering av delad minnesberäkning, medgrundare av företaget Neural magi, som skapar snabba maskininlärningsalgoritmer för konventionella processorer, och, naturligtvis, har sina egna Wikipedia-sidor med käck och kvav fotografering. Nir deltog redan i vår skola 2017, där han gav en uttömmande genomgång av blockeringstekniker (Del 1, Del 2). Vad Nir kommer att prata om i år vet vi ännu inte, men vi hoppas på nyheter från vetenskapens framkant.
Michael Scott (Michael Scott) är forskare inom University of Rochester, känd för alla Java-utvecklare som skaparen av icke-blockerande algoritmer och synkrona köer från Java-standardbiblioteket. Naturligtvis med Dijkstras Design Award synkroniseringsalgoritmer för beräkning av delat minne och egna Wikipedia sida. Förra året höll Michael en föreläsning på vår skola om icke-blockerande datastrukturer (Del 1, Del 2). I år han kommer att berätta om programmering med hjälp av icke-flyktigt minne (NVM), vilket minskar programkomplexitet och minneskostnader jämfört med "vanligt" DRAM (Random Access Memory).
Idit Keidar (Idit Keidar) är professor vid Technion och ägare till Hirsch index cirka 40 (vilket är väldigt, väldigt mycket) för tvåhundra vetenskapliga artiklar inom området distribuerad beräkning, multithreading och feltolerans. Eidit deltar i vår skola för första gången, där hon ge en lektion om de grundläggande aspekterna av arbetet i distribuerade datalager: emulering av distribuerat minne, konsensusutveckling och konfigurationsändringar.
Rodrigo Rodriguez (Rodrigo Rodrigues) - professor vid Técnico, medlem av laboratoriet INESC ID och författare forskningsarbete inom området distribuerade system. I år på vår skola Rodrigo kommer att berätta om konsekvens och isolering i distribuerade datalager, och kommer även att analysera med hjälp av CAP-satser genomförbarhet i praktiken av flera modeller för konsekvens och isolering.
Chen Ching (Jing Chen) är professor vid State University of New York i Stony Brook, författare forskningsarbete inom blockchain-området och en ledande vetenskapsman inom Algorand — ett företag och en blockchain-plattform som använder en konsensusalgoritm helt baserad på Bevis på insats. I år på vår skola kommer Chen att prata om Algorand-blockkedjan och sätt att uppnå dess intressanta egenskaper: anspråkslösa för nätverksdatorresurser, omöjligheten att dela upp transaktionshistoriken och garantera slutet på transaktionsbearbetningen efter att den har lagts till i blockkedjan.
Christian Kashin (Christian Cachin) är professor vid universitetet i Bern, chef för en forskargrupp inom dataskyddsområdet, medförfattare till boken "Introduktion till tillförlitlig och säker distribuerad programmering”, blockchain-plattformsutvecklare Hyperledger Fabric (om henne till och med var inlägg på Habré) och författare forskningsarbete inom området kryptografi och säkerhet i distribuerade system. I år i vår skola Christian ge en lektion i fyra delar om kryptografiska verktyg för distribuerad beräkning: symmetrisk och asymmetrisk kryptografi, och även om kryptografi med delad nyckel, pseudoslumptal och verifierbar generering av slumptal.
Marko Vukolich (Marko Vukolic) är forskare vid IBM Research, författare av arbeten i blockchain och utvecklare av Hyperledger Fabric. Vi vet ännu inte vad Marco kommer att prata om på vår skola i år, men vi hoppas få veta mer om hans senaste utveckling inom blockchain-området: forskning prestandaförsämring distribuerade konsensusprotokoll på kluster med upp till 100 maskiner, sänds Mir protokoll med global ordning och Bysantinsk feltolerans eller blockfri blockchain StreamChainminimera transaktionsbehandlingstiden.
Prasad Jayanti (Prasad Jayanti) är professor vid Dartmouth College, en del av eliten murgröna ligan, och författaren forskningsarbete inom området flertrådade algoritmer. I år i vår skola Prasad ge en lektion om trådsynkronisering och algoritmer för att implementera olika alternativ mutex: med avbrotts- eller återställningsfunktioner i icke-flyktiga minnesmodeller, samt separata läs- och skrivoperationer.
Alexey Gotsman (Alexey Gotsman) är professor vid IMDEA och författare forskningsarbete inom området programverifiering av algoritmer. Vi vet ännu inte vad Alexey kommer att föreläsa på vår skola i år, men vi ser fram emot ett ämne i skärningspunkten mellan mjukvaruverifiering och distribuerade system.
Varför är detta en skola och inte en konferens?
För det första talar föreläsarna i ett akademiskt format och läser två par av varje stor föreläsning: "en och en halv timme - en paus - ytterligare en och en halv timme." Många år efter college, med en vana av timslånga konferenssamtal och 10-minuters YouTube-videor, kan detta vara knepigt. En bra föreläsare kommer att göra alla tre timmar intressanta, men alla ansvarar för sin egen hjärnas plasticitet.
Praktiskt tips: Öva på videoinspelningar av skolföreläsningar i 2017 år och 2019 år. Adjö, arbete - hej, bysantinska generaler.
För det andra fokuserar föreläsarna på vetenskaplig forskning och pratar om grunderna distribuerade system och parallell beräkning, samt nyheter från vetenskapens framkant. Om ditt mål är att snabbt koda något och distribuera det till produktion nästa dag efter skolan i jakten, kan detta också vara svårt.
Praktiskt tips: Leta efter forskningsrapporterna från skolans föreläsare på Google Scholar и arXiv.org. Om du tycker om att läsa vetenskapliga artiklar kommer du också att trivas i skolan.
För det tredje är SPTDC 2020-skolan inte en konferens, eftersom konferensen om distribuerade system och parallell beräkning är Hydra2020. Nyligen på Habré fanns ett inlägg med granskning av sitt program. Förra året ägde SPTDC och Hydra rum samtidigt och på samma plats. I år överlappar de inte varandra i datum, så de tävlar inte med varandra om din tid och uppmärksamhet.
Användbart tips: Kolla in Hydras konferensprogram och överväg att delta i konferensen efter skolan också. Det här kommer att bli en bra vecka.
Hur tar man sig till skolan?
- Skriv ner datumen från 6 juli till 9 juli 2020 i kalendern (eller bättre, senast 11 juli för att gå till Hydra-konferensen efter skolan).
- Ta hjärtat, gör dig redo.
- Välj biljetter och gå till skolan.
Källa: will.com