linearizability-checker

Solid

Check linearizability of concurrent data structure implementations

AI & Automation 1,160 stars 71 forks Updated today MIT

Install

View on GitHub

Quality Score: 94/100

Stars 20%
100
Recency 20%
100
Frontmatter 20%
70
Documentation 15%
39
Issue Health 10%
50
License 10%
100
Description 5%
100

Skill Content

# 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

Details

Author
a5c-ai
Repository
a5c-ai/babysitter
Created
4 months ago
Last Updated
today
Language
JavaScript
License
MIT

Similar Skills

Semantically similar based on skill content — not just same category

AI & Automation Featured

linear-prod-checklist

Production readiness checklist for Linear integrations. Use when preparing to deploy, reviewing production requirements, or auditing existing Linear deployments. Trigger: "linear production checklist", "deploy linear", "linear production ready", "linear go live", "linear launch".

2,274 Updated today
jeremylongshore
AI & Automation Featured

linear-data-handling

Data synchronization, backup, and consistency patterns for Linear. Use when implementing data sync, creating backups, exporting data, or ensuring data consistency between Linear and local state. Trigger: "linear data sync", "backup linear", "linear export", "linear data consistency", "sync linear issues".

2,274 Updated today
jeremylongshore
AI & Automation Featured

linear-ci-integration

Integrate Linear with GitHub Actions CI/CD pipelines. Use when setting up automated testing, PR-to-issue linking, or creating Linear issues from CI failures. Trigger: "linear CI", "linear GitHub Actions", "linear CI/CD", "linear automated tests", "linear PR integration".

2,274 Updated today
jeremylongshore
AI & Automation Solid

linear

Managing Linear issues, projects, and teams. Use when working with Linear tasks, creating issues, updating status, querying projects, or managing team workflows.

110 Updated 1 months ago
wrsmith108
AI & Automation Listed

correctness-lens

Correctness review lens for evaluating logical validity, boundary conditions, invariant preservation, concurrency correctness, and state management. Used by review orchestrators — not invoked directly.

19 Updated today
atomicinnovation