Memory Model Analyzer

---
name: memory-model-analyzer
description: Analyze programs under various memory models for concurrent correctness
allowed-tools:
  - Bash
  - Read
  - Write
  - Edit
  - Glob
  - Grep
metadata:
  specialization: computer-science
  domain: science
  category: distributed-systems
  phase: 6
graph:
  domains: [domain:computer-science]
  specializations: [specialization:theoretical-computer-science]
  skillAreas: [skill-area:compiler-implementation, skill-area:mathematical-reasoning, skill-area:language-design]
  workflows: [workflow:research-grant-lifecycle]
  roles: [role:computational-scientist, role:research-scientist]
---

# 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