memory-model-analyzer
// Analyze programs under various memory models for concurrent correctness
$ git log --oneline --stat
stars:384
forks:73
updated:March 4, 2026
SKILL.mdreadonly
SKILL.md Frontmatter
namememory-model-analyzer
descriptionAnalyze programs under various memory models for concurrent correctness
allowed-toolsBash,Read,Write,Edit,Glob,Grep
metadata[object Object]
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
- Model Selection: Identify relevant memory model
- Analysis: Check program behavior under model
- Barrier Placement: Determine required fences/barriers
- Race Detection: Find data races
- Verification: Verify correct synchronization
Tools/Libraries
- CDSChecker
- GenMC
- CBMC
- herd7