Profilage OCaml Memtrace

Ce qu'il fait

Le profilage OCaml Memtrace guide un agent à travers l'instrumentation d'exécutables ou de tests avec memtrace, l'exécution de benchmarks ciblés et l'analyse de la sortie des traces pour identifier les points chauds d'allocation. Il met l'accent sur le déclenchement du traçage via une variable d'environnement, la concentration sur des tests/benchmarks ciblés et la production de correctifs exploitables (par exemple, éviter le boxing, réduire les fermetures, utiliser l'accès non sécurisé aux tableaux lorsque c'est sûr). La compétence inclut des modèles pour l'instrumentation, l'exécution de memtrace, l'analyse des traces avec memtrace-viewer ou des outils CLI, et un flux de travail baseline -> identification -> correction -> validation.

Quand l'utiliser

Utilisez cette compétence lorsque vous devez enquêter sur des chemins de code gourmands en allocations en OCaml : diagnostiquer des allocations inattendues, trouver des sources de boxing (int32/int64) ou valider l'effet d'optimisations avec des exécutions memtrace avant/après. À éviter pour la précision temporelle ou la chasse aux fuites — c'est une approche basée sur l'échantillonnage pour les points chauds d'allocation.

Ce qui est inclus

• Scripts : aucun (has_scripts=false)
• Références : aucune (has_references=false)
• Instructions : modèles concrets pour ajouter Memtrace.trace_if_requested, configuration dune/test, commandes pour exécuter les captures et étapes pour analyser les traces et implémenter des correctifs. La compétence liste les points chauds courants et les corrections de code suggérées.

Agents compatibles

Idéal pour les agents conscients du code et les environnements disposant de chaînes d'outils OCaml (dune, opam). Fonctionne avec des agents capables d'exécuter des commandes shell et d'inspecter les cibles de test/benchmark du dépôt.