L'année dernière, à Saint-Pétersbourg, il y avait , dédié aux systèmes parallèles et distribués. Les lauréats ont fait des présentations и (, и ), créateurs de compilateurs et langages de programmation (C++, Go, Java, Kotlin), développeurs de bases de données distribuées (Cassandra, CosmosDB, Yandex Database), ainsi que créateurs et chercheurs d'algorithmes et de structures de données (CRDT, Paxos, attendez (structures de données libres) . En général, à ce stade, vous pouvez déjà prendre des vacances, réduire la fenêtre IDE, ouvrir une playlist sur YouTube avec Hydra 2019 - et laissez le planificateur de tâches attendre un peu.
En général, une telle conférence n’a jamais eu lieu et elle se reproduira désormais. 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. Encore en été, les 10 et 11 juillet, parce que les locuteurs ont le temps de faire des recherches et d'enseigner, par exemple dans les universités de Cambridge, Rochester et Saint-Pétersbourg, et que d'autres périodes de l'année ne sont pas pour eux.
Cependant, cette fois, Hydra aura lieu à Moscou, où la plupart des participants à la conférence sont venus l'année dernière pour écouter des rapports sur le consensus distribué et la mémoire transactionnelle. La nouvelle Hydra présente un programme plus complexe, de nouveaux intervenants ainsi que les héros de l'année dernière, ainsi que le sentiment déjà familier de l'excitation du hardcore parallèle réparti entre les participants dans trois salles.
Mettons immédiatement un jeu de cartes sur la table avec les généraux byzantins face visible : nous voulons que le programme de la nouvelle Hydra soit plus détaillé et plus varié. La dernière fois que nous avons gratté avec un ongle, creusons maintenant plus large et plus profondément. Voici les thèmes Hydra 2020 avec une différence par rapport à l'année dernière :
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
Comment parler de tout cela dans le programme d'une conférence ? Ce n'est certainement pas plus simple que de tester la linéarisabilité des opérations sur un tout nouveau magasin distribué en utilisant , mais nous allons essayer.
Voici qui est déjà inscrit au programme :
(Cindy Sridharan) - développeur de systèmes distribués de San Francisco, auteur d'un petit livre (prendre ) et populaire , où il n’y a qu’un seul article “"peut vous épargner quelques jours de congé, mais vous rendre heureux. À Hydra 2020, Cindy vous expliquera comment , même s'ils stockent l'état.
Michel Scott (Michael Scott) - chercheur de , connu de tous les développeurs Java comme le créateur à partir de la bibliothèque standard Java. Bien sûr, avec le prix Dijkstra pour «"et possède . L'année dernière, Michael a donné le meilleur rapport (selon vous) sur Hydra sur , et maintenant il va parler de и , disponible pour les processus parallèles.
(Heidi Howard) - de , connu pour créer un algorithme de consensus distribué , ainsi que des travaux de généralisation des Flexible Paxos et . L'année dernière, Heidi a expliqué comment ça marche et comment ça marche (l'un des meilleurs rapports), et maintenant je vais essayer de marcher sur une fine couche de glace entre – et partagez son opinion sur le meilleur algorithme.
(Martin Kleppmann) est peut-être un chercheur encore plus célèbre de l'Université de Cambridge, et un ancien développeur de systèmes Big Data, qui a écrit un livre étonnamment clair et donc unique sur les systèmes distribués "" L'année dernière, Martin de leurs recherches au CRDT, et ce que nous allons vous dire maintenant .
(Nikita Koval) est développeur de coroutines au sein de l'équipe Kotlin, professeur d'un cours de programmation multithread à l'ITMO et membre du comité de programme de la conférence Hydra (oui, celle-là même dont parle cet article). L'année dernière, Nikita a parlé de tester des structures de données multithread sur la plate-forme JVM en utilisant , et à Hydra 2020, il à propos de SegmentQueueSynchronizer - vérifié à l'aide pour abstraction 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 vous parlerons du reste prochainement. Bien entendu, lors de la conférence, il y aura également des zones de discussion où il sera nécessaire de tester les intervenants avec des questions sur un ou plusieurs fils jusqu'à ce qu'un consensus général soit atteint.
Et si vous avez de la chance, Martin Kleppmann signera votre livre.
Oui, avant la conférence Hydra 2020, soit du 6 au 9 juillet, il y aura — la troisième école d'été sur la théorie et la pratique de l'informatique distribuée. Elle vous procurera des sensations difficiles à obtenir en conférence, nous parlerons donc de l'Ecole dans un post séparé.
Et maintenant? Tout d'abord, suivez l'actualité sur Habré et sur les réseaux sociaux (, , ).
Deuxièmement, si vous ressentez déjà une envie irrésistible d'assister à la conférence, explorez le site Internet, vous pouvez déjà .
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 se feront un plaisir de discuter avec vous des futurs sujets de la conférence.
Rendez-vous à Hydra !
Source: habr.com