Groupe de recherche

Informatique simultanée

La programmation concurrente a gagné en popularité au cours des dernières décennies. Chaque langage et chaque plateforme fournit des primitives correspondantes, qui deviennent de plus en plus difficiles à utiliser efficacement avec la complexité croissante des systèmes, comme le fait d'avoir plusieurs nœuds NUMA, ainsi qu'avec les assouplissements des modèles de mémoire. Dans la pratique, plusieurs questions importantes se posent à cet égard. Comment construire des algorithmes concurrents efficaces de nos jours ? Quel est le meilleur compromis entre garanties de progrès, efficacité et équité ? Comment vérifier l'exactitude de tous ces algorithmes ? Comment les comparer ? Si certaines de ces questions trouvent partiellement une réponse au niveau académique, de nombreux problèmes pratiques restent en suspens. Notre objectif premier est de répondre à ces questions en fournissant des solutions pratiquement raisonnables et théoriquement utiles ainsi que des outils de haute qualité qui peuvent aider les autres chercheurs et développeurs dans le domaine de la concurrence.

Voici quelques-uns de nos sujets d'intérêt :

  • Algorithmes et structures de données concurrents
  • Mémoire non-volatile (NVM)
  • Tests et vérifications
  • Analyse des performances, débogage et optimisation
  • Langages et modèles de programmation parallèle
  • Récupération de la mémoire

Consultez la liste complète des publications ici.

Principaux projets :

La programmation concurrente traditionnelle implique la manipulation d'un état mutable partagé. Une alternative à ce style de programmation est le modèle des processus séquentiels communicants (CSP), qui partagent des données via une communication explicite. Kotlin Coroutines est une bibliothèque qui introduit ce modèle dans le langage Kotlin, où les processus sont représentés par des coroutines (ce sont des threads légers).

Membres du groupe

Nikita Koval
Nikita Koval
Chef de laboratoire/groupe de recherche
Alexander Fedorov
Alexander Fedorov
Chercheur
Dmitry Khalanskiy
Dmitry Khalanskiy
Chercheur
Maria Sokolova
Maria Sokolova
Chercheur
Maksim Zuev
Maksim Zuev
Étudiant