Kremlin Towers in Hydra's Embrace: Conférence sur l'informatique parallèle et distribuée Hydra 2020

L'année dernière, la première conférence Hydra consacrée aux systèmes parallèles et distribués s'est tenue à Saint-Pétersbourg . Des présentations ont été faites par les lauréats du prix Dijkstra et du prix Turing ( Leslie Lampport , Maurice Herlichi et Michael Scott ), créateurs de compilateurs et de langages de programmation (C ++, Go, Java, Kotlin), développeurs de bases de données distribuées (Cassandra, CosmosDB, Yandex Database), ainsi créateurs et chercheurs d'algorithmes et de structures de données (CRDT, Paxos, structures de données sans attente). En général, vous pouvez déjà prendre des vacances à cet endroit, réduire la fenêtre IDE, ouvrir une liste de lecture YouTube avec les meilleurs rapports Hydra 2019 - et laisser le planificateur de tâches attendre un peu.

En général, il n'y a jamais eu une telle conférence, et maintenant elle se reproduira. Encore une fois avec des rapports en anglais , car il n'y a pas de meilleur langage pour parler d'informatique parallèle et distribuée. De nouveau en été, du 6 au 9 juillet , car les locuteurs ont le temps d'étudier et d'enseigner, par exemple, dans les universités de Cambridge, Rochester et Saint-Pétersbourg, et les autres périodes de l'année ne leur conviennent pas.

La nouvelle Hydra a un programme plus complexe, de nouveaux intervenants avec les héros de l'année dernière, ainsi qu'un sentiment familier de l'enthousiasme réparti entre les participants du hardcore parallèle dans trois salles.




Posez immédiatement sur la table un jeu de cartes avec les chemises des généraux byzantins en place - nous voulons que le programme de la nouvelle Hydra soit plus détaillé et diversifié. La dernière fois que nous avons gratté avec un ongle, nous allons maintenant creuser plus loin et plus profondément. Voici les thèmes Hydra 2020 avec des différences par rapport à l'année dernière: Comment parler de tout cela dans le programme d'une conférence? Ce n'est certainement pas plus facile que de tester la linéarisation des opérations dans un nouveau stockage distribué brillant utilisant Jepsen , mais nous allons essayer. Voici celui déjà dans le programme: Cindy Sridharan est un développeur de systèmes distribués basé à San Francisco, auteur d'un petit livre Distributed Systems Observability (obtenez une copie électronique gratuite ) et un blog populaire

  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






, où seul l'article « Best of 2019 in Tech Talks » peut sauver quelques jours de congé, mais les laisse heureux. À Hydra 2020, Cindy expliquera comment tester les systèmes distribués , même s'ils stockent l'état.

Michael Scott est chercheur à l' Université de Rochester , connu de tous les développeurs Java comme le créateur d' algorithmes non bloquants et de files d' attente synchrones de la bibliothèque Java standard. Bien sûr, avec le Dijkstra Award pour " Algorithmes de synchronisation évolutive sur multiprocesseurs à mémoire partagée " et sa propre page Wikipedia . L'année dernière, Michael a fait à Hydra le meilleur rapport (selon vos estimations) surstructures de données doubles , et maintenant il parlera du projet Hodor et du travail sûr avec la mémoire partagée disponible pour les processus parallèles.

Heidi Howard est chercheuse à l' Université de Cambridge , connue pour avoir créé l' algorithme de consensus distribué Paxos flexibles , ainsi que pour avoir généralisé les paxos flexibles et les paxos rapides . L'année dernière, Heidi a parlé de la façon dont la famille d'algorithmes Paxos est organisée et fonctionne (l'un des meilleurs rapports), et maintenant elle va essayer de marcher sur de la glace mince entre les amoureux de Paxos et les partisans de Raft - et partager son opinion sur lequel des algorithmes est le meilleur.

Martin Kleppmann est peut-être même un chercheur mieux connu à l'Université de Cambridge, et dans le passé, un processeur de Big Data qui a écrit un livre étonnamment compréhensible et donc unique sur les systèmes distribués appelé Designing Data-Intensive Applications . L'année dernière, Martin a partagé les résultats de ses recherches du CRDT et ce dont il va parler maintenant - nous l' annoncerons plus tard .

Nikita Koval(Nikita Koval) est développeur de coroutine au sein de l'équipe Kotlin, professeur du cours de programmation multi-thread à l'ITMO, et membre du comité de programme de la conférence Hydra (oui, celui sur lequel porte cet article). L'année dernière, Nikita a parlé de tester des structures de données multithread sur la plate - forme JVM à l'aide de Lin-Check , et à Hydra 2020, il parlera de SegmentQueueSynchronizer - une abstraction vérifiée par le cadre Iris pour le prouveur Coq pour la programmation des primitives de synchronisation.

Suivez nos annonces asynchrones: au total, il y aura environ trois douzaines de rapports à la conférence, nous parlerons bientôt du reste. Bien sûr, il y aura également des zones de discussion lors de la conférence, où il sera nécessaire de tester les intervenants avec des questions dans un ou plusieurs volets jusqu'à ce qu'un consensus soit atteint.


Et si vous avez de la chance, Martin Kleppmann vous signera un livre.

Oui, parallèlement à la conférence Hydra 2020, à savoir du 6 au 9 juillet, SPTDC 2020 , la troisième université d'été sur la théorie et la pratique de l'informatique distribuée , se tiendra . Vous y trouverez des sensations difficiles à ressentir lors de la conférence, nous parlerons donc de l'école dans un article séparé.

Et maintenant? Suivez d'abord l'actualité sur Habré et sur les réseaux sociaux ( Facebook , Vkontakte , Twitter)

Deuxièmement, si vous avez déjà ressenti un désir irrésistible d'assister à la conférence - étudiez le site, vous pouvez déjà y acheter des billets .

Troisièmement, ne manquez pas l'occasion de discuter avec le comité du programme de la conférence Hydra 2020 dans les commentaires. Les membres du PC seront heureux de discuter avec vous des sujets de la prochaine conférence.

Rencontrez-moi à Hydra!