Enable build support by adding .onedev-buildspec.yml
| cmake | Loading last commit info... | |
| example | ||
| herlihy | ||
| third_party | ||
| .gitignore | ||
| CMakeLists.txt | ||
| README.md |
README.md
Herlihy
Linearizability checker
Named after Maurice Herlihy, author of Linearizability: A Correctness Condition for Concurrent Objects
1. Set(key1, value1)
[-------------]
2. Get(key1): value1
[--------]
3. Set(key1, value2)
[------------------]