Toutes les ressources premium et membres pour 8,99 €/mois, en abonnement sans engagement. Voir les offres

PalateKit

Menu

Demander une ressource

Décrivez en une phrase la ressource qui vous manque. Nous vous écrirons quand elle sera publiée.

0 / 280

Débloquer PalateKit

Tout débloquer

Offre

Le paiement vaut acceptation de nos conditions générales de vente.

Paiement sécurisé par Stripe. Reçus et factures envoyés par e-mail.

Content de vous revoir

Connectez-vous pour installer, télécharger ou sauvegarder cette ressource. Un compte gratuit suffit pour les ressources gratuites.

Déboguer les courses de données et les interblocages v1.0.0

Utilisez cette ressource pour diagnostiquer des courses de données et des interblocages en C, C++ ou Rust

Nouveau

  • 414 téléchargements
  • 151 mentions J'aime
  • 224 sauvegardes

Gratuit

Installer avec la CLI

Dans un terminal, depuis le dossier voulu :

npx --yes palatekit@latest install data-race-deadlock-debugging

Sans option, la skill va dans ~/.agents/skills/ ; ajoutez --agent claude-code (ou codex, cursor…) pour viser un agent.

Première fois : connectez la CLI avec

npx --yes palatekit@latest login

L'agent lit les rapports ThreadSanitizer, analyse l'ordre des verrous avec Helgrind, inspecte les threads bloqués dans GDB et vérifie les ordres mémoire des opérations atomiques. Il raisonne aussi sur le happens-before.

Choisie surtout par

Mise à jour le 2 novembre 2026

Carte de la skill « Déboguer les courses de données et les interblocages »

Caractéristiques

Guides d'installation
Génère avec
Le modèle de votre agent
Licence
MIT

Ressources similaires

Tout voir

Ce que vous obtenez

  • SKILL.md : lecture des rapports TSan et options de build
  • SKILL.md : Helgrind, inspection des threads GDB et usages de std::atomic

Pour qui

  • Votre programme se bloque de temps en temps sans erreur visible
  • TSan signale une course et vous ne savez pas la lire

Pas pour qui

    Étiquettes

    • concurrence
    • tsan
    • interblocage
    • atomique

    À propos

    Vous dites

    « ThreadSanitizer signale une course sur ce compteur partagé : explique le rapport et propose une correction. »

    Carte de la skill « Déboguer les courses de données et les interblocages »

    Skill publiée par mohitmishra786 sous licence MIT. Fichiers livrés dans leur version d'origine, en anglais.

    Voir plus

    Comment l'utiliser

    1. Installez la skill dans le dossier de skills de votre agent
    2. Demandez à votre agent de diagnostiquer des courses de données et des interblocages en C, C++ ou Rust
    3. Relisez et ajustez le résultat

    Aperçu du contenu

    Fichiers

    • LICENSE1,1 Ko
    • NOTICE-PALATEKIT.md0,5 Ko
    • SKILL.md7,8 Ko

    Origine et licence

    Référencée sans modification

    Auteur
    mohitmishra786
    Source
    github.com/mohitmishra786/low-level-dev-skills/tree/bdc58472fa9f309ed1b3f7d985a0d8e9bd8f4608/skills/debuggers/concurrency-debugging
    Licence
    MIT

    Notice

    « concurrency-debugging » (mohitmishra786, MIT) livré dans sa version d'origine : fiche en français et en anglais par PalateKit.

    Avis des utilisateurs

    –

    Aucune note pour l'instant

    Chargement des avis…

    Supprimer votre avis ?

    Votre note et votre commentaire seront retirés de la fiche.