O ano pasado en San Petersburgo houbo , dedicada a sistemas paralelos e distribuídos. Os laureados fixeron presentacións и (, и ), creadores de compiladores e linguaxes de programación (C++, Go, Java, Kotlin), desenvolvedores de bases de datos distribuídas (Cassandra, CosmosDB, Yandex Database), así como creadores e investigadores de algoritmos e estruturas de datos (CRDT, Paxos, wait). -estruturas de datos libres). En xeral, neste momento xa podes tomar vacacións, minimizar a fiestra do IDE, abrir unha lista de reprodución en YouTube con Hydra 2019 e deixe que o programador de tarefas agarde un pouco.
En xeral, unha conferencia deste tipo nunca ocorreu, e agora volverá ocorrer. De novo con informes en inglés, porque non hai mellor linguaxe para falar de computación paralela e distribuída. De novo no verán, os días 10 e 11 de xullo, porque os relatores teñen tempo para investigar e ensinar, por exemplo, nas universidades de Cambridge, Rochester e San Petersburgo, e outras épocas do ano non son para eles.
Non obstante, esta vez Hydra celebrarase en Moscova, onde a maioría dos participantes no congreso acudiron o ano pasado para escoitar informes sobre o consenso distribuído e a memoria transaccional. O novo Hydra presenta un programa máis complicado, novos altofalantes xunto cos heroes do ano pasado, así como a xa familiar sensación da emoción do hardcore paralelo distribuída entre os participantes en tres salas.
Poñamos inmediatamente unha baralla de cartas sobre a mesa cos xenerais bizantinos mirando cara arriba; queremos que o programa do novo Hydra sexa máis detallado e variado. A última vez que rabuñamos cunha uña, agora imos cavar máis e máis fondo. Aquí están os temas de Hydra 2020 cunha diferenza con respecto ao ano pasado:
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
Como falar de todo isto no programa dunha conferencia? Sen dúbida, non é máis sinxelo que probar a linearizabilidade das operacións nunha nova e brillante tenda distribuída usando , pero intentaremos.
Aquí tes quen xa está no programa:
(Cindy Sridharan) - desenvolvedora de sistemas distribuídos de San Francisco, autora dun breve libro (tomar ) e popular , onde só hai un artigo ""Pode salvarche dun par de días de descanso, pero deixarche feliz. En Hydra 2020, Cindy diráche como , aínda que almacenan o estado.
Michael Scott (Michael Scott) - investigador de , coñecido por todos os desenvolvedores de Java como o creador da biblioteca estándar de Java. Por suposto, co Premio Dijkstra por “"e propio . O ano pasado, Michael deu o mellor (segundo vostede) informe sobre Hydra on , e agora falará и , dispoñible para procesos paralelos.
(Heidi Howard) - de , coñecido por crear un algoritmo de consenso distribuído , así como traballar na xeneralización de Paxos Flexibles e . O ano pasado, Heidi contou como funciona e funciona (un dos mellores informes), e agora intentarei camiñar sobre xeo fino entre — e comparte a súa opinión sobre que algoritmo é mellor.
(Martin Kleppmann) é quizais un investigador aínda máis famoso da Universidade de Cambridge, e un antigo desenvolvedor de sistemas de big data, que escribiu un libro sorprendentemente claro e, polo tanto, único sobre sistemas distribuídos "." O ano pasado Martín da súa investigación do CRDT, e o que vos contaremos agora .
(Nikita Koval) é unha desenvolvedora de rutinas do equipo de Kotlin, profesora dun curso sobre programación multiproceso en ITMO e membro do comité de programas da conferencia Hydra (si, do que trata este artigo). O ano pasado Nikita falou sobre probar estruturas de datos multiproceso na plataforma JVM usando , e en Hydra 2020 el sobre SegmentQueueSynchronizer - verificado usando para abstracción para a programación de primitivas de sincronización.
Siga os nosos anuncios asíncronos: en total haberá unhas tres ducias de relatorios na conferencia, o resto xa vos contaremos en breve. Tamén, por suposto, nas xornadas haberá zonas de debate onde é necesario poñer a proba aos relatores con preguntas nun ou varios fíos ata chegar a un consenso xeral.
E se tes sorte, Martin Kleppmann asinará o teu libro.
Si, antes da conferencia Hydra 2020, concretamente do 6 ao 9 de xullo, haberá — a terceira escola de verán sobre teoría e práctica da computación distribuída. Darache sensacións difíciles de conseguir nunha conferencia, polo que falaremos da Escola nun post aparte.
Agora qué? En primeiro lugar, segue as novidades en Habré e nas redes sociais (, , ).
En segundo lugar, se xa sentes un desexo irresistible de asistir á conferencia, explora o sitio web, xa podes .
En terceiro lugar, non perdas a oportunidade de conversar co comité do programa da conferencia Hydra 2020 nos comentarios. Os membros do PC estarán encantados de falar contigo sobre futuros temas da conferencia.
Vémonos en Hydra!
Fonte: www.habr.com