Concurrency Analysis Platform
Concurrency Analysis Platform (CAP) is a set of tools built using a deterministic scheduler that has the capability of driving any user-mode program along an interleaving of choice. This determistic control enables a wide varieity of concurrency analysis tools.
Analysis Tools
- CHESS: Unit testing for concurrency
- Cuzz: Stress testing
- Sober: Find memory consistency errors
- FeatherLite: Lightweight data-race detection
