La teoria és quan ho saps tot però res funciona.
La pràctica és quan tot funciona, però ningú sap per què.
En sistemes distribuïts, la teoria i la pràctica es combinen:
res funciona i ningú sap per què.
Per demostrar que la broma de l'epígraf és una estupidesa absoluta, celebrem per tercera vegada l'SPTDC (escola de pràctica i teoria de la computació distribuïda). Ja hem parlat de la història de l'escola, dels seus cofundadors Pyotr Kuznetsov i Vitaly Aksyonov, així com de la participació de JUG Ru Group en l'organització de SPTDC va dir sobre Habré. Així doncs, avui parlem de l'escola el 2020, de conferències i professors, així com de les diferències entre l'escola i la conferència.
L'escola SPTDC se celebrarà del 6 al 9 de juliol de 2020 a Moscou.
Totes les conferències seran en anglès. Els temes principals de les conferències: computació concurrent persistent, eines criptogràfiques per a sistemes distribuïts, mètodes formals per verificar protocols de consens, coherència en sistemes a gran escala, aprenentatge automàtic distribuït.
Heu endevinat immediatament quin rang militar són els personatges de la imatge? T'adoro.
Ponents i conferències
Nir Shavit (Nir Shavit) - professor al MIT i a la Universitat de Tel Aviv, coautor d'un gran llibre L'art de la programació multiprocessador, propietari Premi Dijkstra per al desenvolupament i la implementació memòria transaccional de programari (STM) i Premi Gödel pel seu treball sobre l'aplicació de la topologia algebraica al modelatge de computació de memòria compartida, cofundador de l'empresa Màgia Neural, que crea algorismes ràpids d'aprenentatge automàtic per a CPU normals i, per descomptat, té els seus Pàgines de la Viquipèdia amb una fotografia aclaparadora i sensual. Nir ja va participar a la nostra escola l'any 2017, on va donar una visió completa de les tècniques de bloqueig (part de 1, part de 2). Encara no sabem de què parlarà Nir aquest any, però esperem notícies de l'avantguarda de la ciència.
Michael Scott (Michael Scott) - investigador de Universitat de Rochester, conegut per tots els desenvolupadors de Java com el creador algorismes sense bloqueig i cues sincròniques de la biblioteca estàndard de Java. Això sí, amb el Premi Dijkstra al desenvolupament algorismes de sincronització per a la informàtica de memòria compartida i propi Pàgina de la Viquipèdia. L'any passat, Michael va donar una conferència a la nostra escola sobre estructures de dades que no bloquegen (part de 1, part de 2). Aquest any ell ho diré sobre programació utilitzant memòria no volàtil (NVM), que redueix la complexitat del programa i la sobrecàrrega de memòria en comparació amb la memòria d'accés aleatori (DRAM) "normal".
Va Keidar (Idit Keidar) - professor al Technion i propietari índex de Hirsch uns 40 (que és molt, molt considerable) per dos-cents articles científics en el camp de la informàtica distribuïda, multithreading i tolerància a fallades. Idit participa per primera vegada a la nostra escola, on ella donarà una conferència sobre els aspectes bàsics del funcionament de l'emmagatzematge de dades distribuïdes: emulació de memòria distribuïda, desenvolupament de consens i canvis de configuració.
Rodrigo Rodríguez (Rodrigo Rodrigues) - professor de Tècnico, membre del laboratori INESC-ID i autor treball de recerca en l'àmbit dels sistemes distribuïts. Aquest any a la nostra escola Rodrigo ho diré sobre la coherència i l'aïllament en magatzems de dades distribuïdes, i també analitzarà l'ús Teoremes CAP viabilitat a la pràctica de diversos models de coherència i aïllament.
Chen Jing (Jing Chen) - Professor a la Universitat Estatal de Nova York a Stony Brook, autor treball de recerca en el camp de la cadena de blocs i un científic líder en Algorand - una plataforma d'empresa i blockchain que utilitza un algorisme de consens basat completament en Prova d'estaca. Aquest any a la nostra escola, Chen parlarà de la cadena de blocs d'Algorand i de les maneres d'aconseguir les seves interessants propietats: la baixa demanda de recursos informàtics de xarxa, la impossibilitat de dividir l'historial de transaccions i garantir la finalització del processament de les transaccions després d'haver-se afegit a la cadena de blocs.
Christian Cashin (Christian Cachin) és professor de la Universitat de Berna, al capdavant d'un grup de recerca en l'àmbit de la protecció de dades, coautor del llibre "Introducció a la programació distribuïda fiable i segura", desenvolupador de la plataforma blockchain Teixit hiperàlgic (fins i tot es va parlar d'ella publicació a Habré) i autor treball de recerca en l'àmbit de la criptografia i la seguretat en sistemes distribuïts. Aquest any a la nostra escola Christian donarà una conferència una sèrie de quatre parts sobre eines criptogràfiques per a la computació distribuïda: criptografia simètrica i asimètrica, així com criptografia de clau compartida, nombres pseudoaleatoris i generació de números aleatoris verificables.
Marko Vukolic (Marko Vukolic) - investigador d'IBM Research, autor de les obres en blockchain i desenvolupador d'Hyperledger Fabric. Encara no sabem de què parlarà Marco a la nostra escola aquest any, però esperem conèixer els seus nous desenvolupaments en el camp de la cadena de blocs: la investigació. degradació del rendiment protocols de consens distribuït en clústers de fins a 100 màquines, emesos Protocol Mir amb ordre global i Tolerància a falles bizantina o blockchain sense blocs StreamChain, minimitzant el temps de processament de la transacció.
Prasad Jayanti (Prasad Jayanti) és professor al Dartmouth College, un de l'elit Lliga de heura, i l'autor treball de recerca en el camp dels algorismes multifils. Aquest any a la nostra escola Prasad donarà una conferència sobre la sincronització de fils i algorismes per implementar diverses opcions mutex: Amb funcions d'interrupció o restauració en models de memòria no volàtil, així com operacions de lectura i escriptura separades.
Alexey Gotsman (Alexey Gotsman) - professor a IMDEA i autor treball de recerca en l'àmbit de la verificació de programari d'algorismes. Encara no sabem de què parlarà Alexey a la nostra escola aquest any, però comptem amb un tema a la intersecció de la verificació de programari i els sistemes distribuïts.
Per què això és una escola i no una conferència?
En primer lloc, els professors parlen en format acadèmic i cada conferència gran està impartida per dues parelles: "Una hora i mitja - descans - una altra hora i mitja". Molts anys després de la universitat, amb l'hàbit de presentacions de conferències d'una hora i vídeos de YouTube de 10 minuts, això pot ser difícil. Un bon professor farà que les tres hores senceres siguin interessants, però cadascú és responsable de la plasticitat del seu propi cervell.
Consells útils: practicar enregistraments de vídeo de les conferències escolars a 2017 anys i 2019 anys. Adéu treball - hola generals bizantins.
En segon lloc, els professors se centren en la recerca científica i parlen de principis fonamentals sistemes distribuïts i informàtica paral·lela, així com notícies de l'avantguarda de la ciència. Si el vostre objectiu és programar alguna cosa ràpidament i implementar-la en producció l'endemà després de l'escola, això també pot ser difícil.
Consell útil: cerqueu treballs de recerca dels professors de l'escola Google Scholar и arXiv.org. Si us agrada llegir articles científics, també us agradarà l'escola.
En tercer lloc, SPTDC 2020 no és una conferència, perquè una conferència sobre sistemes distribuïts i informàtica paral·lela és Hidra 2020. Recentment hi va haver una publicació a Habré amb una visió general del seu programa. L'any passat, SPTDC i Hydra van tenir lloc simultàniament i al mateix lloc. Aquest any no es superposen en dates, de manera que no competeixen entre ells pel vostre temps i atenció.
Consell útil: consulteu el programa de conferències Hydra i considereu assistir a una altra conferència després de l'escola. Serà una bona setmana.
Com arribar a l'escola?
- Anoteu les dates del 6 de juliol al 9 de juliol de 2020 al vostre calendari (o millor encara, l'11 de juliol, perquè pugueu anar a la conferència d'Hydra després de l'escola).
- Animeu-vos, prepareu-vos.
- Tria les entrades i anar a l'escola.
Font: www.habr.com