Ce projet permet de reproduire et analyser des bugs spécifiques dans le système de gestion de données scientifiques ADIOS2. Il simule des scénarios de blocage dans des environnements multi-threads et multi-processus utilisant MPI, afin d'identifier des problèmes de synchronisation et de performance. Les cas d'erreur sont déclenchés par des configurations particulières de nombre de simulations et de rangs de lecteurs.

Bibliothèque logicielle open source conçue pour faciliter le développement d'applications nécessitant une communication entre processus, la gestion de données temporelles, le traitement de chaînes de caractères et la manipulation de fichiers. Elle offre des outils pour simplifier des tâches complexes comme la synchronisation, la gestion de threads et l'analyse de données.

OFence est un outil académique conçu pour identifier et corriger les bugs de concurrence dans le noyau Linux. Il s'appuie sur des techniques d'analyse de barrières mémoire pour détecter des incohérences dans le code et proposer des correctifs. Ce projet vise à améliorer la fiabilité et la stabilité des systèmes d'exploitation en ciblant spécifiquement les problèmes liés à la synchronisation entre threads.