Testing for Linearizability
This web page contains code related to my paper Testing for Linearizability.- A library of general concurrent programming classes (sourcecode); the code for linearizability testing is included in the testing subdirectory;
- The corresponding class files;
- Scaladoc documentation;
- The manual;
- Three example test programs, for a queue, a map, and a set (where hash collisions may cause problems);
- A zip file containing all the code related to experiments in the paper.