La teoria è quando sai tutto ma non funziona niente.
La pratica è quando tutto funziona ma nessuno sa perché.
Nei sistemi distribuiti, teoria e pratica si uniscono:
non funziona niente e nessuno sa perché.
Per dimostrare che lo scherzo nell'epigrafe è assoluta stupidità, per la terza volta organizziamo la SPTDC (scuola di pratica e teoria del calcolo distribuito). Abbiamo già discusso della storia della scuola, dei suoi cofondatori Pyotr Kuznetsov e Vitaly Aksyonov, nonché della partecipazione del JUG Ru Group all'organizzazione dell'SPTDC detto su Habré. Oggi parliamo quindi della scuola nel 2020, di lezioni e docenti, nonché delle differenze tra scuola e conferenza.
La scuola SPTDC si terrà dal 6 al 9 luglio 2020 a Mosca.
Tutte le lezioni saranno in inglese. I principali argomenti delle lezioni: calcolo concorrente persistente, strumenti crittografici per sistemi distribuiti, metodi formali per la verifica dei protocolli di consenso, coerenza in sistemi su larga scala, machine learning distribuito.
Hai indovinato subito quale grado militare sono i personaggi nella foto? Ti adoro.
Docenti e conferenze
Nir Shavit (Nir Shavit) - professore al MIT e all'Università di Tel Aviv, coautore di un grande libro L'arte della programmazione multiprocessore, proprietario Premio Dijkstra per lo sviluppo e l'implementazione memoria transazionale del software (STM) e Premio Gödel per il suo lavoro sull'applicazione della topologia algebrica alla modellazione del calcolo della memoria condivisa, co-fondatore dell'azienda Magia Neurale, che crea algoritmi di apprendimento automatico veloci per CPU ordinarie e, ovviamente, ne ha uno proprio Pagine di Wikipedia con una fotografia accattivante e sensuale. Nir ha già partecipato alla nostra scuola nel 2017, dove ha fornito una panoramica completa delle tecniche di blocco (parte 1, parte 2). Non sappiamo ancora di cosa parlerà Nir quest’anno, ma speriamo in novità dall’avanguardia della scienza.
Michele Scotto (Michael Scott) - ricercatore presso Università di Rochester, noto a tutti gli sviluppatori Java come il creatore algoritmi non bloccanti e code sincrone dalla libreria standard Java. Naturalmente con il Premio Dijkstra per lo sviluppo algoritmi di sincronizzazione per il calcolo della memoria condivisa e possedere Pagina Wikipedia. L'anno scorso, Michael ha tenuto una conferenza nella nostra scuola sulle strutture dati non bloccanti (parte 1, parte 2). Quest'anno lui dirà sulla programmazione utilizzando Memoria non volatile (NVM), che riduce la complessità del programma e il sovraccarico della memoria rispetto alla memoria ad accesso casuale (DRAM) "normale".
Va Keidar (Idit Keidar) - professore al Technion e proprietario Indice di Hirsch circa 40 (che è molto, molto considerevole) per duecento articoli scientifici nel campo del calcolo distribuito, del multithreading e della tolleranza agli errori. Idit partecipa per la prima volta alla nostra scuola, dove lei terrà una conferenza sugli aspetti fondamentali del funzionamento dell'archiviazione distribuita dei dati: emulazione della memoria distribuita, sviluppo del consenso e modifiche della configurazione.
Rodrigo Rodríguez (Rodrigo Rodrigues) - professore a Técnico, membro del laboratorio ID INESC e autore lavoro di ricerca nel campo dei sistemi distribuiti. Quest'anno presso la nostra scuola Rodrigo dirà sulla coerenza e l'isolamento negli archivi dati distribuiti e analizzerà anche l'utilizzo Teoremi della PAC fattibilità nella pratica di diversi modelli di coerenza e isolamento.
Chen Jing (Jing Chen) - Professore alla State University di New York a Stony Brook, autore lavoro di ricerca nel campo della blockchain e uno scienziato leader in Algorand - una piattaforma aziendale e blockchain che utilizza un algoritmo di consenso interamente basato su Proof of Stake. Quest'anno nella nostra scuola, Chen parlerà della blockchain di Algorand e dei modi per ottenere le sue interessanti proprietà: basse richieste di risorse informatiche di rete, l'impossibilità di dividere la cronologia delle transazioni e garantire il completamento dell'elaborazione delle transazioni dopo che sono state aggiunte alla blockchain.
Cristiano Cashin (Christian Cachin) è professore all’Università di Berna, dirige un gruppo di ricerca nel campo della protezione dei dati, coautore del libro “Introduzione alla programmazione distribuita affidabile e sicura", sviluppatore della piattaforma blockchain Tessuto Hyperledger (Si è parlato anche di lei post su Habré) e autore lavoro di ricerca nel campo della crittografia e della sicurezza nei sistemi distribuiti. Quest'anno alla nostra scuola Christian terrà una conferenza una serie in quattro parti sugli strumenti crittografici per il calcolo distribuito: crittografia simmetrica e asimmetrica, nonché crittografia a chiave condivisa, numeri pseudocasuali e generazione di numeri casuali verificabili.
Marko Vukolić (Marko Vukolic) - ricercatore presso IBM Research, autore di lavoro in blockchain e sviluppatore di Hyperledger Fabric. Non sappiamo ancora di cosa parlerà Marco quest'anno nella nostra scuola, ma speriamo di conoscere i suoi ultimi sviluppi nel campo della blockchain: la ricerca degrado delle prestazioni protocolli di consenso distribuiti su cluster fino a 100 macchine, trasmessi in broadcast Il mio protocollo con ordine globale e Tolleranza agli errori bizantina o blockchain senza blocchi StreamChain, riducendo al minimo i tempi di elaborazione delle transazioni.
Prasad Jayanti (Prasad Jayanti) è un professore del Dartmouth College, uno degli istituti d'élite Ivy League, e l'autore lavoro di ricerca nel campo degli algoritmi multi-thread. Quest'anno nella nostra scuola Prasad terrà una conferenza sulla sincronizzazione dei thread e sugli algoritmi per l'implementazione di varie opzioni mutex: Con funzioni di interruzione o ripristino nei modelli di memoria non volatile, nonché operazioni di lettura e scrittura separate.
Alexey Gotsman (Alexey Gotsman) - professore all'IMDEA e autore lavoro di ricerca nel campo della verifica software degli algoritmi. Non sappiamo ancora di cosa Alexey terrà una conferenza nella nostra scuola quest'anno, ma contiamo su un argomento all'intersezione tra verifica del software e sistemi distribuiti.
Perché questa è una scuola e non una conferenza?
In primo luogo, i docenti parlano in formato accademico e ogni grande lezione è tenuta da due coppie: "un'ora e mezza - pausa - un'altra ora e mezza." Molti anni dopo l’università, con l’abitudine di presentare conferenze di un’ora e video YouTube di 10 minuti, questo può essere difficile. Un buon docente renderà interessanti le tre ore intere, ma ognuno è responsabile della plasticità del proprio cervello.
Consigli utili: esercitarsi sulle registrazioni video delle lezioni scolastiche in 2017 anno e 2019 anno. Addio lavoro, ciao generali bizantini.
In secondo luogo, i docenti si concentrano sulla ricerca scientifica e parlano dei principi fondamentali sistemi distribuiti e calcolo parallelo, nonché notizie dall'avanguardia della scienza. Se il tuo obiettivo è programmare rapidamente qualcosa e metterlo in produzione il giorno successivo alla scuola, anche questo può essere difficile.
Suggerimento utile: cerca documenti di ricerca di docenti scolastici su Google Scholar и arXiv.org. Se ti piace leggere articoli scientifici, ti piacerà anche la scuola.
In terzo luogo, SPTDC 2020 non è una conferenza, perché lo è una conferenza sui sistemi distribuiti e sul calcolo parallelo Hydra 2020. Recentemente c'è stato un post su Habré con una panoramica del suo programma. L'anno scorso SPTDC e Hydra si sono svolti contemporaneamente e nella stessa sede. Quest'anno le date non si sovrappongono, quindi non competono tra loro per il tuo tempo e la tua attenzione.
Suggerimento utile: dai un'occhiata al programma della conferenza Hydra e valuta la possibilità di partecipare a un'altra conferenza dopo la scuola. Sarà una buona settimana.
Come andare a scuola?
- Annota sul tuo calendario le date dal 6 al 9 luglio 2020 (o meglio ancora, l'11 luglio, così potrai andare alla conferenza dell'Hydra dopo la scuola).
- Coraggio, preparati.
- Scegli i biglietti e andare a scuola.
Fonte: habr.com