Claude
Skills
Sign in
Back

linearizability-checker

Included with Lifetime
$97 forever

Check linearizability of concurrent data structure implementations

General

What this skill does


# Linearizability Checker

## Purpose

Provides expert guidance on verifying linearizability of concurrent data structures through testing and proof.

## Capabilities

- History linearization algorithms
- Linearization point identification
- Counterexample generation for violations
- Concurrent history visualization
- Linearizability proof templates
- Testing framework integration

## Usage Guidelines

1. **History Collection**: Record concurrent operation histories
2. **Linearization**: Check if history is linearizable
3. **Counterexample Analysis**: Analyze non-linearizable executions
4. **Proof Construction**: Build linearizability proofs
5. **Testing**: Systematic testing for violations

## Tools/Libraries

- LineUp
- Wing-Gong algorithm
- Lincheck
- JCStress

Related in General