Ce projet développe des outils pour optimiser les performances des calculs scientifiques, notamment via des méthodes de stencil et de gestion de mémoire. Il permet de simuler des processus physiques complexes et d'évaluer l'efficacité de différentes approches algorithmiques. Les fonctionnalités incluent le benchmarking, la gestion de données en mémoire et l'analyse de performance pour des applications nécessitant une haute efficacité computationnelle.

Ce projet développe des outils algorithmiques pour analyser et optimiser des politiques de cache dans les systèmes informatiques. Il permet de modéliser des flux de données complexes, d'évaluer des politiques de gestion mémoire et de simplifier des expressions booléennes pour améliorer les performances des systèmes. Les solutions proposées sont principalement destinées aux développeurs et chercheurs en informatique.

Ce projet se concentre sur l'optimisation des simulations fluides en utilisant la transformée en ondelettes discrète (DWT) pour une compression dynamique des données sur GPU. Il évalue les performances de différents algorithmes de compression et configurations de blocs pour améliorer l'efficacité mémoire et calculatoire. Les résultats sont utilisés pour valider des modèles numériques et réduire les coûts de stockage tout en préservant la précision des simulations.

Module Puppet permettant de configurer et gérer le service memcached, un système de cache mémoire distribué. Il automatise le déploiement, la configuration et le monitoring de memcached sur des infrastructures serveurs. Permet de définir des limites de mémoire, des ports d'écoute et des paramètres système pour optimiser les performances des applications utilisant ce cache.

Bibliothèque C++ dédiée à l'optimisation et à la gestion efficace des tenseurs, utilisée principalement dans le domaine de la physique et du calcul scientifique. Elle permet une allocation mémoire performante et des opérations tensorielle simplifiées, réduisant les coûts computationnels pour les algorithmes complexes. Intégrée dans des projets de recherche comme CTA, elle facilite le développement d'applications nécessitant des calculs intensifs.

Ce projet propose un benchmark dédié à l'évaluation des performances de différentes implémentations de l'équation de réaction Gray-Scott utilisant le framework SYCL. Il permet de comparer des méthodes de gestion mémoire (buffers, malloc_shared, malloc_device) et d'analyser l'impact des architectures matérielles (CPU, iGPU, dGPU) sur les temps de calcul et la précision des résultats. Les données collectées aident à optimiser les performances des applications scientifiques intensives.

Ce projet fournit des exemples et des outils pour analyser les performances du ramasse-miettes (garbage collector) d'OCaml. Il permet aux développeurs de détecter des régressions entre différentes versions du langage et d'optimiser l'utilisation de la mémoire dans leurs applications. Les cas d'usage incluent le benchmarking, le profiling et l'identification de goulots d'étranglement liés à la gestion automatique de la mémoire.

Bibliothèque C++ dédiée à la manipulation de structures arborescentes avec partage maximal (hash-consing). Elle permet de gérer des arbres immuables où deux structures identiques partagent le même pointeur, optimisant ainsi la mémoire et les performances. Elle inclut des outils pour les symboles, listes, ensembles, environnements, arbres récursifs et des primitives de réécriture. Utilisée notamment dans le compilateur Faust pour des analyses et transformations de syntaxe.

Ce dépôt centralise des tests dédiés aux infrastructures de calcul haute performance (HPC) gérées par le CINES. Il permet d'évaluer les performances, la fiabilité et la stabilité des systèmes HPC à travers des scripts de test couvrant la mémoire, les entrées/sorties, les communications réseau et la gestion des jobs. Ces tests sont conçus pour valider et optimiser les environnements de calcul scientifique utilisés par la communauté académique et de recherche en France.

Ce projet est un plugin dédié au contrôle et à l'acquisition d'images pour des caméras scientifiques, notamment celles de la gamme Xpad. Il permet de gérer les paramètres d'exposition, de synchronisation et de calibration des détecteurs, tout en optimisant la gestion des buffers mémoire pour des flux d'images haute performance. Utilisé dans des environnements de recherche ou industriels, il facilite l'intégration et le traitement des données issues de caméras spécialisées.