La teoría es cuando sabes todo pero nada funciona.
La práctica es cuando todo funciona pero nadie sabe por qué.
sistemas distribuidos, la teoría y la práctica se combinan:
nada funciona y nadie sabe por qué.
Para demostrar que la broma en el epígrafe es una tontería absoluta, estamos celebrando SPTDC (escuela de práctica y teoría de la computación distribuida) por tercera vez. Sobre la historia de la escuela, sus cofundadores Petr Kuznetsov y Vitaly Aksyonov, así como la participación de JUG Ru Group en la organización SPTDC, ya hemos dicho en Habr. Por lo tanto, hoy se trata de la escuela en 2020, de conferencias y disertantes, así como de las diferencias entre la escuela y la conferencia.
La escuela SPTDC se llevará a cabo del 6 al 9 de julio de 2020 en Moscú.
Todas las conferencias serán en inglés. Temas de las conferencias: computación concurrente persistente, herramientas criptográficas para sistemas distribuidos, métodos formales para verificar protocolos de consenso, consistencia en sistemas a gran escala, aprendizaje automático distribuido.
¿Adivinaste de inmediato qué rango militar tienen los personajes de la imagen? Te adoro.
Conferenciantes y conferencias
Nir Shavit (Nir Shavit) es profesor del MIT y de la Universidad de Tel Aviv, coautor de un gran libro El arte de la programación multiprocesador, dueño Premios Dijkstra para el desarrollo e implementación memoria transaccional de software (STM) y Premio Gödel por su trabajo en la aplicación de topología algebraica a la simulación de computación de memoria compartida, co-fundador de la empresa Magia Neural, que crea algoritmos rápidos de aprendizaje automático para CPU convencionales y, por supuesto, tiene su propio páginas de wikipedia con una fotografía elegante y sensual. Nir ya participó en nuestra escuela en 2017, donde hizo un exhaustivo repaso a las técnicas de bloqueo (Parte 1, Parte 2). De qué hablará Nir este año, aún no lo sabemos, pero esperamos noticias de la vanguardia de la ciencia.
miguel scott (Michael Scott) es investigador en Universidad de Rochester, conocido por todos los desarrolladores de Java como el creador de algoritmos sin bloqueo y colas sincrónicas de la biblioteca estándar de Java. Por supuesto, con el Design Award de Dijkstra algoritmos de sincronización para computación de memoria compartida y propio página de wikipedia. El año pasado, Michael dio una conferencia en nuestra escuela sobre estructuras de datos sin bloqueo (Parte 1, Parte 2). este año el dirá acerca de la programación usando memoria no volátil (NVM), que reduce la complejidad del programa y la sobrecarga de la memoria en comparación con la memoria de acceso aleatorio (DRAM) "normal".
idit keidar (Idit Keidar) - Profesor del Technion y propietario índice de Hirsch unos 40 (que es mucho, mucho) por doscientos artículos científicos en el campo de la computación distribuida, multiproceso y tolerancia a fallas. Eidit participa por primera vez en nuestra escuela, donde dar una conferencia sobre los aspectos básicos del trabajo de los almacenes de datos distribuidos: emulación de memoria distribuida, desarrollo de consenso y cambios de configuración.
Rodrigo Rodríguez (Rodrigo Rodrigues) - profesor en Técnico, miembro del laboratorio DNI INESC y autor trabajo de investigación en el campo de los sistemas distribuidos. Este año en nuestra escuela Rodrigo dirá sobre consistencia y aislamiento en almacenes de datos distribuidos, y también analizará usando teoremas CAP factibilidad en la práctica de varios modelos de consistencia y aislamiento.
chen ching (Jing Chen) es profesor de la Universidad Estatal de Nueva York en Stony Brook, autor trabajo de investigación en el campo de blockchain y un científico líder en Algorand — una empresa y una plataforma de cadena de bloques que utilizan un algoritmo de consenso totalmente basado en Prueba de participación. Este año en nuestra escuela, Chen hablará sobre la cadena de bloques de Algorand y las formas de lograr sus interesantes propiedades: poca demanda de recursos informáticos en red, la imposibilidad de dividir el historial de transacciones y garantizar la finalización del procesamiento de transacciones después de que se agregue a la cadena de bloques.
Christian Kashin (Christian Cachin) es profesor de la Universidad de Berna, jefe de un grupo de investigación en el campo de la protección de datos, coautor del libro "Introducción a la programación distribuida confiable y segura”, desarrollador de la plataforma blockchain Tejido Hyperledger (sobre ella incluso era publicar en Habré) y autor trabajo de investigación en el campo de la criptografía y la seguridad en sistemas distribuidos. Este año en nuestro colegio Christian dar una conferencia en cuatro partes sobre herramientas criptográficas para computación distribuida: criptografía simétrica y asimétrica, y también sobre criptografía de clave compartida, números pseudoaleatorios y generación de números aleatorios verificables.
Marko Vukölich (Marko Vukolic) es investigador en IBM Research, autor obras en blockchain y desarrollador de Hyperledger Fabric. Todavía no sabemos de qué hablará Marco en nuestra escuela este año, pero esperamos conocer sus últimos desarrollos en el campo de la cadena de bloques: la investigación. degradación del rendimiento protocolos de consenso distribuidos en clústeres de hasta 100 máquinas, difusión protocolo mir con orden mundial y Tolerancia a fallas bizantinas o blockchain sin bloques cadena de flujominimizando el tiempo de procesamiento de transacciones.
Prasad Jayanti (Prasad Jayanti) es profesor en Dartmouth College, parte de la élite liga de hiedra, y el autor trabajo de investigación en el campo de los algoritmos multiproceso. Este año en nuestra escuela Prasad dar una conferencia sobre sincronización de subprocesos y algoritmos para implementar varias opciones exclusión mutua: con funciones de interrupción o restauración en modelos de memoria no volátil, y con operaciones separadas de lectura y escritura.
alexey gotsman (Alexey Gotsman) es profesor en IMDEA y autor trabajo de investigación en el campo de la verificación de programas de algoritmos. Todavía no sabemos qué dictará Alexey en nuestra escuela este año, pero esperamos un tema en la intersección de la verificación de software y los sistemas distribuidos.
¿Por qué es esto una escuela y no una conferencia?
En primer lugar, los disertantes hablan en un formato académico y leen dos pares de cada gran conferencia: "una hora y media - un descanso - otra hora y media". Muchos años fuera de la universidad, con el hábito de charlas en conferencias de una hora y videos de YouTube de 10 minutos, esto puede ser complicado. Un buen disertante hará que las tres horas sean interesantes, pero cada uno es responsable de la plasticidad de su propio cerebro.
Sugerencia útil: Practique con grabaciones de video de conferencias escolares en 2017 años y 2019 años. Adiós, trabajo, hola, generales bizantinos.
En segundo lugar, los profesores se centran en la investigación científica y hablan de los fundamentos. sistemas distribuidos y computación paralela, así como noticias de la ciencia más avanzada. Si su objetivo es codificar algo rápidamente e implementarlo en producción al día siguiente después de la escuela, esto también puede ser difícil.
Sugerencia útil: busque los trabajos de investigación de los profesores de la escuela en Google Scholar и arXiv.org. Si te gusta leer artículos científicos, también disfrutarás de la escuela.
En tercer lugar, la escuela SPTDC 2020 no es una conferencia, porque la conferencia sobre sistemas distribuidos y computación paralela es Hydra 2020. Recientemente en Habré hubo una publicación con revisión de su programa. El año pasado, SPTDC e Hydra se llevaron a cabo simultáneamente y en el mismo sitio. Este año no se superponen en fechas, por lo que no compiten entre sí por su tiempo y atención.
Consejo útil: consulte el programa de conferencias de Hydra y considere asistir a la conferencia después de la escuela también. Esta será una buena semana.
¿Cómo llegar a la escuela?
- Anote las fechas del 6 de julio al 9 de julio de 2020 en el calendario (o mejor, antes del 11 de julio para ir a la conferencia de Hydra después de la escuela).
- Ánimo, prepárate.
- Elige entradas e ir a la escuela.
Fuente: habr.com