Torres del Kremlin en el abrazo de Hydra: Hydra 2020 Conferencia de computación paralela y distribuida

La primera conferencia de Hydra dedicada a sistemas paralelos y distribuidos se celebró en San Petersburgo el año pasado . Las presentaciones fueron realizadas por los ganadores del Premio Dijkstra y del Premio Turing ( Leslie Lampport , Maurice Herlichi y Michael Scott ), creadores de compiladores y lenguajes de programación (C ++, Go, Java, Kotlin), desarrolladores de bases de datos distribuidas (Cassandra, CosmosDB, Yandex Database), también creadores e investigadores de algoritmos y estructuras de datos (CRDT, Paxos, estructuras de datos sin esperas). En general, ya puede tomarse unas vacaciones en este lugar, minimizar la ventana IDE, abrir una lista de reproducción de YouTube con los mejores informes de Hydra 2019 y dejar que el programador de tareas espere un poco.

En general, nunca ha habido tal conferencia, y ahora volverá a suceder. Nuevamente con informes en inglés , porque no hay mejor idioma para hablar sobre computación paralela y distribuida. Nuevamente en el verano, del 6 al 9 de julio , porque los oradores tienen tiempo para estudiar y enseñar, por ejemplo, en las universidades de Cambridge, Rochester y San Petersburgo, y otras épocas del año no son para ellos.

La nueva Hydra tiene un programa más complejo, nuevos oradores junto con los héroes del año pasado, así como un sentimiento familiar del entusiasmo distribuido entre los participantes del hardcore paralelo en tres salas.




Inmediatamente ponga sobre la mesa una baraja de cartas con las camisetas de los generales bizantinos en alto: queremos que el programa de la nueva Hydra sea más detallado y diverso. La última vez que nos rascamos con una uña, ahora profundizaremos más y más. Estos son los temas de Hydra 2020 con diferencias del año pasado: ¿Cómo hablar de todo esto en el programa de una conferencia? Ciertamente, esto no es más fácil que probar la linealización de las operaciones en un nuevo almacenamiento distribuido brillante usando Jepsen , pero lo intentaremos. Aquí está quién ya está en el programa: Cindy Sridharan es una desarrolladora de sistemas distribuidos con sede en San Francisco, autora de un pequeño libro Distributed Systems Observability (obtenga una copia electrónica gratuita ) y un blog popular

  Parallel systems:
* Algorithms & data structures
* Memory models
* Compilers, runtime
* Memory reclamation
* Testing & verification
* Hardware issues
* Non-volatile memory
* Transactional memory
* Scheduling algorithms & implementations
* Heterogeneous computing: CPU, GPU, FPGA, etc.
* Performance analysis, debugging, & optimization

  Distributed systems:
* Distributed computing
* Distributed machine learning/deep learning
* State machine replication & consensus
* Fault tolerance & resilience
* Testing & verification
* Hardware issues
* Blockchain & Byzantine fault tolerance
* Distributed databases, NewSQL
* Distributed stream processing
* Scheduling algorithms & implementations
* Cluster management systems
* Security
* Performance analysis, debugging, & optimization
* Peer-to-peer, gossip protocols
* Internet of things






, donde solo el artículo " Lo mejor de 2019 en charlas tecnológicas " puede ahorrar un par de días libres, pero déjelos felices. En Hydra 2020, Cindy hablará sobre cómo probar los sistemas distribuidos , incluso si almacenan estado.

Michael Scott es investigador en la 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 Premio Dijkstra por " Algoritmos para sincronización escalable en multiprocesadores de memoria compartida " y su propia página de Wikipedia . El año pasado, Michael hizo en Hydra el mejor informe (según sus estimaciones) sobreestructuras de datos duales , y ahora hablará sobre el proyecto Hodor y el trabajo seguro con memoria compartida disponible para procesos paralelos.

Heidi Howard es investigadora en la Universidad de Cambridge , conocida por crear el Algoritmo de consenso distribuido de Paxos flexible , así como por generalizar Paxos flexible y Paxos rápido . El año pasado, Heidi habló sobre cómo se organiza y funciona la familia de algoritmos Paxos (uno de los mejores informes), y ahora intentará caminar sobre hielo delgado entre los amantes de Paxos y los partidarios de Raft , y compartir su opinión sobre cuál de los algoritmos es mejor.

Martin Kleppmann es quizás incluso un investigador más conocido en la Universidad de Cambridge y, en el pasado, un gran procesador de datos que escribió un libro sorprendentemente comprensible y, por lo tanto, único sobre sistemas distribuidos llamado Diseño de aplicaciones intensivas en datos . El año pasado, Martin compartió los resultados de su investigación de CRDT y de lo que hablará ahora, lo anunciaremos más adelante .

Nikita Koval(Nikita Koval) es una desarrolladora de rutina en el equipo de Kotlin, maestra del curso de programación de subprocesos múltiples en ITMO y miembro del comité de programa de la conferencia Hydra (sí, de la que trata este artículo). El año pasado, Nikita habló sobre probar estructuras de datos de subprocesos múltiples en la plataforma JVM utilizando Lin-Check , y en Hydra 2020 hablará sobre SegmentQueueSynchronizer, una abstracción verificada por el marco Iris para el probador Coq para programar primitivas de sincronización.

Siga nuestros anuncios asincrónicos: en total habrá alrededor de tres docenas de informes en la conferencia, pronto hablaremos del resto. Aún así, por supuesto, habrá zonas de discusión en la conferencia, donde es necesario evaluar a los oradores con preguntas en una o más secuencias hasta llegar a un consenso.


Y si tienes suerte, Martin Kleppmann te firmará un libro.

Sí, en paralelo con la conferencia Hydra 2020, concretamente del 6 al 9 de julio, se llevará a cabo SPTDC 2020 , la tercera escuela de verano en teoría y práctica de computación distribuida. En él encontrará sensaciones que son difíciles de obtener en la conferencia, por lo que hablaremos sobre la escuela en una publicación separada.

¿Ahora que? Primero, siga las noticias en Habré y en las redes sociales ( Facebook , Vkontakte , Twitter)

En segundo lugar, si ya sintió un deseo irresistible de asistir a la conferencia: estudie el sitio, ya puede comprar entradas allí .

En tercer lugar, no pierda la oportunidad de conversar con el comité del programa de la conferencia Hydra 2020 en los comentarios. Los miembros de PC estarán encantados de hablar con usted sobre los temas de la próxima conferencia.

¡Nos vemos en Hydra!