SPTDC 2020 - den tredje skolan om praktik och teori för distribuerad datoranvändning

Teori är när du vet allt men ingenting fungerar.
Övning är när allt fungerar men ingen vet varför.
I distribuerade system, teori och praktik kombineras:
ingenting fungerar och ingen vet varför.

För att bevisa att skämtet i epigrafen är absolut dumhet, håller vi SPTDC (skola om praktik och teori om distribuerad datoranvändning) för tredje gången. Vi har redan diskuterat skolans historia, dess medgrundare Pyotr Kuznetsov och Vitaly Aksenov, såväl som JUG Ru Groups deltagande i att organisera SPTDC sa på Habr. Så idag ska vi prata om skolan 2020, om föreläsningar och föreläsare och om skillnaderna mellan skola och konferens.

SPTDC School kommer att hållas från 6 till 9 juli 2020 i Moskva.

Alla föreläsningar kommer att vara på engelska. Föreläsningarnas huvudä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 och medförfattare till den stora boken Konsten att programmera flera processorer, ägare Dijkstra-priser för utveckling och implementering programvara transaktionsminne (STM) och Gödelpriser för arbete med tillämpningen av algebraisk topologi för att modellera datorer med delat minne, medgrundare av företaget Neural magi, som skapar snabba maskininlärningsalgoritmer för vanliga processorer, och, naturligtvis, är ägare till sina egna Wikipedia-sidor med ett käckt och kvavt fotografi. Nir deltog redan i vår skola 2017, där han gav en omfattande översikt över blocktagningstekniker (Del 1, Del 2). Vi vet ännu inte vad Nir kommer att prata om i år, men vi hoppas på nyheter från vetenskapens framkant.


Michael Scott (Michael Scott) är forskare vid University of Rochester, känd för alla Java-utvecklare som skaparen icke-blockerande algoritmer och synkrona köer från Java-standardbiblioteket. Naturligtvis med Dijkstra-priset för utveckling synkroniseringsalgoritmer för beräkning av delat minne och mitt eget 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" random-access memory (DRAM).


Idit Keidar (Idit Keidar) är professor vid Technion och innehavare av h-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. Idit är med på vår skola för första gången, där hon kommer att hålla en föreläsning om de grundläggande aspekterna av distribuerad datalagring: emulering av distribuerat minne, konsensusgenerering och konfigurationsändringar.


Rodrigo Rodriguez (Rodrigo Rodrigues) - Professor vid Técnico, medlem av laboratoriet INESC ID och författare forskningsartiklar inom området distribuerade system. I år i 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örbarheten i praktiken av flera modeller för konsekvens och isolering.


Chen Jing (Jing Chen) är professor vid State University of New York i Stony Brook och författare till forskningsartiklar 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 kommer Chen på vår skola att prata om Algorand-blockkedjan och hur man uppnår dess intressanta egenskaper: kravlöshet för nätverkets datorresurser, omöjligheten att dela upp transaktionshistoriken och en garanti för att transaktionen kommer att bearbetas efter att den lagts till i blockkedjan.


Christian Cashin (Christian Cachin) är professor vid universitetet i Bern, chef för forskningsgruppen för dataskydd och medförfattare till boken "Introduktion till tillförlitlig och säker distribuerad programmering", utvecklare av blockchain-plattformen Hyperledger Fabric (det fanns till och med en historia om henne inlägg på Habré) och författaren forskningsartiklar inom området kryptografi och säkerhet i distribuerade system. I år på vår skola Christian kommer att hålla en föreläsning En serie i fyra delar om kryptografiska verktyg för distribuerad datoranvändning: symmetrisk och asymmetrisk kryptografi, och delad nyckelkryptering, pseudoslumptal och verifierbar generering av slumptal.


Marko Vukolic (Marko Vukolic) är forskare vid IBM Research och författare till av arbeten inom blockchain-området och utvecklare av Hyperledger Fabric. Vi vet inte ännu 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 den globala ordningen och Bysantinsk feltolerans eller blockfri blockchain StreamChain, vilket minimerar transaktionsbehandlingstiden.


Prasad Jayanti (Prasad Jayanti) är professor vid Dartmouth College, en elit Ivy League, och författaren forskningsartiklar inom området flertrådade algoritmer. I år i vår skola Prasad kommer att hålla en föreläsning om trådsynkronisering och algoritmer för att implementera olika alternativ mutex: med avbrotts- eller återställningsfunktioner i icke-flyktiga minnesmodeller, samt med separata läs- och skrivoperationer.


Alexey Gotsman (Alexey Gotsman) är professor vid IMDEA och författare forskningsartiklar inom området mjukvaruverifiering av algoritmer. Vi vet ännu inte vad Alexey kommer att föreläsa om på vår skola i år, men vi räknar med 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 presenterar föreläsare i ett akademiskt format och håller varje större föreläsning i två par: "En och en halv timme - en paus - ytterligare en och en halv timme." Många år efter universitetet, med en vana av timslånga konferenspresentationer och 10-minuters YouTube-videor, kan detta vara svårt. En bra föreläsare kommer att göra alla tre timmar intressanta, men alla ansvarar för sin egen hjärnas plasticitet.

Användbart tips: Öva på videoinspelningar av skolföreläsningar 2017 år och 2019 år. Adjö, jobba - hej, bysantinska generaler.

För det andra fokuserar föreläsare på vetenskaplig forskning och undervisar i den som en grundläggande bas 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, kan det också vara utmanande.

Användbart tips: leta efter forskningsartiklar av skolans föreläsare om Google Scholar и arXiv.org. Om du tycker om att läsa vetenskapliga uppsatser, kommer du också att trivas i skolan.

För det tredje är SPTDC 2020 inte en konferens eftersom en konferens om distribuerade system och parallell datoranvändning är Hydra2020. Det var ett inlägg på Habr nyligen genomgång av hennes 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. Det här kommer att bli en bra vecka.

Hur tar man sig till skolan?

• Skriv in datumen från 6 juli till 9 juli 2020 (eller ännu bättre, 11 juli för att delta i Hydra-konferensen efter skolan) i din kalender.
• Sätt på dig, gör dig redo.
• Välj biljetter och gå till skolan.

Källa: will.com