A teoría é cando sabes todo pero nada funciona.
A práctica é cando todo funciona pero ninguén sabe por que.
En sistemas distribuídos, combínanse teoría e práctica:
nada funciona e ninguén sabe por que.
Para demostrar que a broma do epígrafe é unha estupidez absoluta, celebramos a SPTDC (escola de práctica e teoría da computación distribuída) por terceira vez. Xa falamos da historia da escola, dos seus cofundadores Pyotr Kuznetsov e Vitaly Aksyonov, así como da participación do Grupo JUG Ru na organización do SPTDC. contou sobre Habré. Por iso, hoxe falamos da escola en 2020, das conferencias e dos conferenciantes, así como das diferenzas entre a escola e a conferencia.
A escola SPTDC celebrarase do 6 ao 9 de xullo de 2020 en Moscova.
Todas as conferencias serán en inglés. Os principais temas das charlas: computación concurrente persistente, ferramentas criptográficas para sistemas distribuídos, métodos formais para verificar protocolos de consenso, coherencia en sistemas a gran escala, aprendizaxe automática distribuída.
Inmediatamente adiviñaches que rango militar son os personaxes da imaxe? Adórote.
Ponentes e conferencias
Nir Shavit (Nir Shavit) - profesor do MIT e da Universidade de Tel Aviv, coautor dun gran libro A arte da programación multiprocesador, propietario Premio Dijkstra para o desenvolvemento e implementación memoria transaccional de software (STM) e Premio Gödel polo seu traballo sobre a aplicación da topoloxía alxébrica ao modelado de computación de memoria compartida, cofundador da empresa Maxia Neural, que crea algoritmos rápidos de aprendizaxe automática para CPU comúns e, por suposto, ten os seus propios Páxinas da Wikipedia cunha fotografía atractiva e sensual. Nir xa participou na nosa escola en 2017, onde deu unha ampla visión xeral das técnicas de bloqueo (parte de 1, parte de 2). Aínda non sabemos de que falará Nir este ano, pero esperamos noticias da vangarda científica.
Michael Scott (Michael Scott) - investigador en Universidade de Rochester, coñecido por todos os desenvolvedores de Java como o creador algoritmos non bloqueadores e colas síncronas da biblioteca estándar de Java. Por suposto, co Premio Dijkstra ao desenvolvemento Algoritmos de sincronización para computación con memoria compartida e propio Páxina da Wikipedia. O ano pasado, Michael deu unha charla na nosa escola sobre estruturas de datos sen bloqueo (parte de 1, parte de 2). Este ano el vai contar sobre programación usando memoria non volátil (NVM), que reduce a complexidade do programa e a sobrecarga de memoria en comparación coa memoria de acceso aleatorio (DRAM) "normal".
Vai Keidar (Idit Keidar) - profesor do Technion e propietario Índice de Hirsch uns 40 (o que é moi, moi considerable) para douscentos artigos científicos no campo da computación distribuída, multithreading e tolerancia a fallos. Idit participa por primeira vez na nosa escola, onde ela impartirá unha conferencia sobre os aspectos básicos do funcionamento do almacenamento de datos distribuídos: emulación de memoria distribuída, desenvolvemento de consenso e cambios de configuración.
Rodrigo Rodríguez (Rodrigo Rodrigues) - profesor de Técnico, membro do laboratorio ID INESC e autor traballo de investigación no ámbito dos sistemas distribuídos. Este ano no noso colexio Rodrigo vai contar sobre a coherencia e o illamento en almacéns de datos distribuídos, e tamén analizará o uso Teoremas CAP viabilidade na práctica de varios modelos de coherencia e illamento.
Chen Jing (Jing Chen) - Profesor da Universidade Estatal de Nova York en Stony Brook, autor traballo de investigación no campo da cadea de bloques e un científico líder en Algorand - unha empresa e plataforma blockchain que utiliza un algoritmo de consenso baseado enteiramente en Proba de participación. Este ano na nosa escola, Chen falará sobre a cadea de bloques de Algorand e as formas de acadar as súas interesantes propiedades: a baixa demanda dos recursos informáticos da rede, a imposibilidade de dividir o historial de transaccións e garantir a finalización do procesamento das transaccións despois de que se engade á cadea de bloques.
Christian Cashin (Christian Cachin) é profesor da Universidade de Berna, dirixe un grupo de investigación no campo da protección de datos, coautor do libro “Introdución á programación distribuída fiable e segura", desenvolvedor da plataforma blockchain Tela de hipertensión (mesmo se falou dela publicar en Habré) e autor traballo de investigación no ámbito da criptografía e da seguridade en sistemas distribuídos. Este ano no noso colexio Christian impartirá unha conferencia unha serie de catro partes sobre ferramentas criptográficas para a computación distribuída: criptografía simétrica e asimétrica, así como criptografía de clave compartida, números pseudoaleatorios e xeración de números aleatorios verificables.
Marko Vukolic (Marko Vukolic) - investigador en IBM Research, autor de obras en blockchain e desenvolvedor de Hyperledger Fabric. Aínda non sabemos de que falará Marco na nosa escola este ano, pero esperamos que coñezamos os seus máis novos desenvolvementos no campo da cadea de bloques: a investigación. degradación do rendemento protocolos de consenso distribuídos en clusters de ata 100 máquinas, difundidos Protocolo Mir con orde global e Tolerancia a fallas bizantinas ou blockchain sen bloques StreamChain, minimizando o tempo de procesamento das transaccións.
Prasad Jayanti (Prasad Jayanti) é profesor do Dartmouth College, un da elite Ivy League, e o autor traballo de investigación no campo dos algoritmos multiproceso. Este ano no noso colexio Prasad impartirá unha conferencia sobre sincronización de fíos e algoritmos para implementar varias opcións mutex: Con funcións de interrupción ou restauración en modelos de memoria non volátil, así como operacións separadas de lectura e escritura.
Alexey Gotsman (Alexey Gotsman) - profesor en IMDEA e autor traballo de investigación no campo da verificación de software de algoritmos. Aínda non sabemos de que falará Alexey na nosa escola este ano, pero estamos contando cun tema na intersección da verificación de software e os sistemas distribuídos.
Por que isto é unha escola e non unha conferencia?
En primeiro lugar, os profesores falan nun formato académico e cada conferencia grande está impartida por dúas parellas: "Unha hora e media - descanso - outra hora e media". Moitos anos despois da universidade, co costume de presentacións de conferencias dunha hora de duración e vídeos de YouTube de 10 minutos, isto pode ser difícil. Un bo profesor fará que as tres horas enteiras sexan interesantes, pero cada un é responsable da plasticidade do seu propio cerebro.
Consellos útiles: practicar gravacións de vídeo das clases expositivas en Ano 2017 e Ano 2019. Adeus traballo - ola xenerais bizantinos.
En segundo lugar, os profesores céntranse na investigación científica e falan de principios fundamentais sistemas distribuídos e computación paralela, así como noticias da vangarda da ciencia. Se o teu obxectivo é programar algo rapidamente e implementalo na produción ao día seguinte despois da escola, isto tamén pode ser difícil.
Consello útil: busca traballos de investigación de profesores escolares sobre Google Scholar и arXiv.org. Se che gusta ler artigos científicos, tamén che gustará a escola.
En terceiro lugar, SPTDC 2020 non é unha conferencia, porque unha conferencia sobre sistemas distribuídos e computación paralela é Hidra 2020. Recentemente houbo unha publicación sobre Habré con unha visión xeral do seu programa. O ano pasado, SPTDC e Hydra tiveron lugar simultáneamente e no mesmo lugar. Este ano non se solapan en datas, polo que non compiten entre si polo teu tempo e atención.
Consello útil: consulta o programa da conferencia Hydra e considera asistir a outra conferencia despois da escola. Vai ser unha boa semana.
Como chegar á escola?
- Anota as datas do 6 ao 9 de xullo de 2020 no teu calendario (ou mellor aínda, o 11 de xullo, para que poidas ir á conferencia Hydra despois da escola).
- Anímate, prepárate.
- Escolle entradas e vai á escola.
Fonte: www.habr.com