OpenSkillIndex← back to search
claude-codescience

Babysitter memory-model-analyzer

Analyze programs under various memory models for concurrent correctness

install
source · Clone the upstream repo
git clone https://github.com/a5c-ai/babysitter
Claude Code · Install into ~/.claude/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/a5c-ai/babysitter "$T" && mkdir -p ~/.claude/skills && cp -r "$T/library/specializations/domains/science/computer-science/skills/memory-model-analyzer" ~/.claude/skills/a5c-ai-babysitter-memory-model-analyzer && rm -rf "$T"
manifest: library/specializations/domains/science/computer-science/skills/memory-model-analyzer/SKILL.md
tags
#concurrent-analysis#memory-models#race-detection#hardware-models#parallel-programming
source content

Memory Model Analyzer

Purpose

Provides expert guidance on analyzing concurrent programs under various hardware and language memory models.

Capabilities

  • Sequential consistency checking
  • Total Store Order (TSO) analysis
  • C/C++ memory model compliance
  • Memory barrier insertion guidance
  • Race condition detection
  • Weak memory model reasoning

Usage Guidelines

  1. Model Selection: Identify relevant memory model
  2. Analysis: Check program behavior under model
  3. Barrier Placement: Determine required fences/barriers
  4. Race Detection: Find data races
  5. Verification: Verify correct synchronization

Tools/Libraries

  • CDSChecker
  • GenMC
  • CBMC
  • herd7