A teoria hè quandu sapete tuttu ma nunda ùn funziona.
A pratica hè quandu tuttu funziona, ma nimu sà perchè.
In i sistemi distribuiti, teoria è pratica sò cumminati:
nunda funziona è nimu sà perchè.
Per pruvà chì u scherzu in l'epigrafu hè una stupidità assoluta, tenemu SPTDC (scola nantu à a pratica è a teoria di l'informatica distribuita) per a terza volta. Avemu digià discututu a storia di a scola, i so cofundatori Pyotr Kuznetsov è Vitaly Aksyonov, è ancu a participazione di JUG Ru Group in l'urganizazione di SPTDC. dettu nantu à Habré. Dunque, oghje parlemu di a scola in u 2020, di e lezioni è di lettori, è ancu di e sferenze trà a scola è a cunferenza.
A scola SPTDC si terrà da u 6 di lugliu à u 9 di lugliu di u 2020 in Mosca.
Tutte e lezioni saranu in inglese. I temi principali di e lezioni: l'informatica simultanea persistente, l'arnesi criptografici per i sistemi distribuiti, i metudi formali per a verificazione di i protokolli di cunsensu, a coerenza in i sistemi di grande scala, l'apprendimentu automaticu distribuitu.
Avete subitu invintatu chì classificazione militare sò i caratteri in a stampa? ti adore.
Lettori e lezioni
Nir Shavit (Nir Shavit) - prufissore in MIT è Università di Tel Aviv, coautore di un grande libru L'Arte di Programmazione Multiprocessore, pruprietariu Premiu Dijkstra per u sviluppu è l'implementazione memoria transazionale di u software (STM) è Premiu Gödel per u so travagliu nantu à l'appiecazione di a topologia algebrica à u mudellu di l'informatica di memoria spartuta, cofundatore di a cumpagnia Magia Neurale, chì crea l'algoritmi d'apprendimentu di macchina veloce per CPU ordinali, è, sicuru, hà u so propiu pagine di Wikipedia cù una fotografia affascinante è sensuale. Nir hà digià participatu à a nostra scola in 2017, induve hà datu una visione generale di e tecniche di bloccu (parte di 1, parte di 2). Ùn sapemu ancu ciò chì Nir parlerà quist'annu, ma speramu di nutizie da a prima linea di a scienza.
Michael Scott (Michael Scott) - ricercatore à Università di Rochester, cunnisciutu da tutti i sviluppatori Java cum'è u creatore algoritmi non-bloccanti è file sincrone da a Biblioteca Standard di Java. Di sicuru, cù u Premiu Dijkstra per u sviluppu algoritmi di sincronizazione per l'informatica di memoria spartuta è propiu Pagina di Wikipedia. L'annu passatu, Michael hà datu una cunferenza in a nostra scola nantu à e strutture di dati chì ùn sò micca bloccanti (parte di 1, parte di 2). Quist'annu ellu diciarà nantu à a prugrammazione cù l'usu memoria non volatile (NVM), chì riduce a cumplessità di u prugramma è l'overhead di memoria cumparatu cù a memoria d'accessu aleatoriu "regular" (DRAM).
Va Keidar (Idit Keidar) - prufissore à u Technion è pruprietariu Indice di Hirsch circa 40 (chì hè assai, assai considerableu) per dui centu articuli scientifichi in u campu di l'informatica distribuita, multithreading è a tolleranza di difetti. Idit participa à a nostra scola per a prima volta, induve ella darà una cunferenza circa l'aspetti basi di u funziunamentu di l'almacenamiento di dati distribuitu: emulazione di memoria distribuita, sviluppu di cunsensu è cambiamenti di cunfigurazione.
Rodrigo Rodriguez (Rodrigo Rodrigues) - prufessore à Tecnicu, membru di u laburatoriu INESC-ID è autore travagliu di ricerca in u campu di i sistemi distribuiti. Quist'annu à a nostra scola Rodrigo diciarà circa a coerenza è l'isolamentu in i magazzini di dati distribuiti, è analizà ancu l'usu Teoremi CAP fattibilità in pratica di parechji mudelli di cunsistenza è isolamentu.
Chen Jing (Jing Chen) - Prufessore à l'Università Statale di New York à Stony Brook, autore travagliu di ricerca in u campu di blockchain è un scienziatu di punta in Algorand - una cumpagnia è una piattaforma blockchain chì usa un algoritmu di cunsensu basatu interamente in Prughjettu di Stake. Quist'annu in a nostra scola, Chen parlerà di l'Algorand blockchain è e manere di ottene e so proprietà interessanti: bassu dumande nantu à e risorse di l'informatica di a rete, l'impossibilità di splitting a storia di a transazzione è guarantisci a cumpiimentu di u prucessu di transazzione dopu chì hè aghjuntu à u blockchain.
Christian Cashin (Christian Cachin) hè un prufissore à l'Università di Berna, dirigendu un gruppu di ricerca in u campu di a prutezzione di dati, coautore di u libru "Introduzione à a prugrammazione distribuita affidabile è sicura", sviluppatore di piattaforma blockchain Tessuto Hyperledger (si parlava ancu di ella posta nantu à Habré) è autore travagliu di ricerca in u campu di a criptografia è a sicurità in i sistemi distribuiti. Quist'annu à a nostra scola Christian darà una cunferenza una serie di quattru parti nantu à strumenti di criptografia per l'informatica distribuita: criptografia simmetrica è asimmetrica, è ancu criptografia di chjave spartuta, numeri pseudoaleatoriu è generazione di numeri aleatorii verificabile.
Marko Vukolic (Marko Vukolic) - ricercatore in IBM Research, autore opere in blockchain è sviluppatore di Hyperledger Fabric. Ùn sapemu ancu ciò chì Marco parlerà in a nostra scola quist'annu, ma speramu chì avemu da sapè di i so novi sviluppi in u campu di blockchain: ricerca degradazione di u rendiment protokolli di cunsensu distribuitu nantu à clusters di finu à 100 macchine, broadcast Mir protocolu cun ordine glubale è Tolleranza bizantina à i difetti o blockchain senza bloccu StreamChain, minimizendu u tempu di trasfurmazioni di transazzione.
Prasad Jayanti (Prasad Jayanti) hè un prufissore in Dartmouth College, unu di l'elite Ivy League, è l'autore travagliu di ricerca in u campu di l'algoritmi multi-threaded. Quist'annu in a nostra scola Prasad darà una cunferenza circa a sincronizazione di fili è algoritmi per implementà diverse opzioni mutex: Cù funzioni d'interruzzione o restaurazione in mudelli di memoria non volatile, è ancu operazioni di lettura è scrittura separate.
Alexey Gotsman (Alexey Gotsman) - prufessore à l'IMDEA è autore travagliu di ricerca in u campu di verificazione di software di algoritmi. Ùn sapemu ancu ciò chì Alexey darà una lezione in a nostra scola quist'annu, ma cuntamu nantu à un tema à l'intersezzione di verificazione di software è sistemi distribuiti.
Perchè questu hè una scola è micca una cunferenza?
Prima, i lettori parlanu in un formatu accademicu è ogni grande lezione hè data da duie coppie: "Un'ora è mezza - pausa - un'altra ora è mezza". Parechji anni dopu à l'università, cù l'abitudine di presentazioni di cunferenza d'ora è video di YouTube di 10 minuti, questu pò esse difficiule. Un bon lettore farà tutte e trè ore interessanti, ma tutti sò rispunsevuli di a plasticità di u so cervellu.
Cunsiglii utili: praticate nantu à e registrazioni video di e lezioni scolastiche in Annu 2017 è in Annu 2019. Addiu u travagliu - salutu generali bizantini.
In siconda, i prufessori si cuncentranu nantu à a ricerca scientifica è parlanu di principii fundamentali sistemi distribuiti è l'informatica parallela, è ancu e nutizie da a punta di a scienza. Se u vostru scopu hè di programà rapidamente qualcosa è implementà in a produzzione u ghjornu dopu dopu a scola, questu pò ancu esse difficiule.
Cunsigliu utile: cercate documenti di ricerca da i prufessori di a scola Google Scholar и arXiv.org. Se ti piace à leghje documenti scientifichi, ti piacerà ancu a scola.
In terzu, SPTDC 2020 ùn hè micca una cunferenza, perchè una cunferenza nantu à i sistemi distribuiti è l'informatica parallela hè Idra 2020. Recentemente ci hè statu un postu nantu à Habré cù una panoramica di u so prugramma. L'annu passatu, SPTDC è Hydra anu fattu simultaneamente è in u stessu locu. Quist'annu ùn si superponu micca in e date, perchè ùn cumpetenu micca cun l'altri per u vostru tempu è l'attenzione.
Cunsigliu utile: Scuprite u prugramma di cunferenza Hydra è cunzidira à assistisce à una altra cunferenza dopu a scola. Sarà una bona settimana.
Cumu ghjunghje à a scola?
- Scrivite e date da u 6 di lugliu à u 9 di lugliu di u 2020 in u vostru calendariu (o megliu ancu, l'11 di lugliu, per pudè andà à a cunferenza Hydra dopu a scola).
- Pigliate u core, preparate.
- Scegli i biglietti è vai à a scola.
Source: www.habr.com