Skip to content

CatKang/Solitaire

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

10 Commits
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Solitaire

Solitaire is a faster Linearizability checker supporting multi-interface.

Given a concurrent history, Solitaire will determine whether the history is Linearizability by finding a sequential specification. The basic algorithm is described in Faster linearizability checking via P-compositionality.

Solitaire is named after the famous Windows card game, which involve dealing cards from a shuffled deck into a prescribed arrangement on a tabletop.

Usage

# Compile
cd kv_checker
g++ -std=c++11 -O2 kv_checker.cc sl_op_kv.cc ../src/sl_checker.cc ../src/sl_cache.cc -I.. -o kv_checker

# Run
kv_checker test/test_demo.txt

Efficiency

Compare with Jepsen

Comming Soon

  • Optimize bitset hash
  • Support Multi-thread

About

Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages