search
Table of Contents
Summary
| Models | Hard-Capable? | Parameters | Java | C# | C (PThread) | JPF | ConTest | CalFuzzer | Chess |
|---|---|---|---|---|---|---|---|---|---|
| AccountDeadlock | 1 | X | X | X | X | X | X | ||
| AccountException | 1 | X | |||||||
| AccountSubtype | X | 2 | X | X | X | X | X | X | |
| Airline | X | 2 | X | X | X | X | X | X | |
| AlarmClock | 1 | X | X | X | X | ||||
| AllocationVector | 4 | X | X | X | X | ||||
| Clean | 3 | X | X | X | X | NA | X | ||
| Deadlock | 1 | X | X | X | X | ||||
| DEOS | 0 | X | X | X | |||||
| LinkedList | 2 | X | X | X | X | ||||
| Piper | X | 3 | X | X | X | X | NA | X | |
| ProducerConsumer | 3 | X | X | X | |||||
| RaxExtended | 2 | X | X | X | |||||
| ReadersWriters | X | 3 | X | X | X | X | |||
| Reorder | 2 | X | X | X | X | X | X | X | |
| Replicated | 5 | X | X | X | X | ||||
| Two Stage | X | 2 | X | X | X | X | X | NA | X |
| Wronglock | 2 | X | X | X | X | X | X | X | |
Access
Access to the Multi-threaded programs
A set of multi-threaded Java, C# and C programs are publicly available from our SVN repository. All the examples can be obtained by running the svn checkout command shown below. Enter the password <i>anonymous</i> when prompted for one.
- For all examples
svn co anonymous@svn://svn-smc.cs.byu.edu/smc-lab/concurrency-benchmarks - To only obtain the Java benchmarks
svn co anonymous@svn://svn-smc.cs.byu.edu/smc-lab/concurrency-benchmarks/Java - To only obtain the C# benchmarks
svn co anonymous@svn://svn-smc.cs.byu.edu/smc-lab/concurrency-benchmarks/CSharp - To only obtain the C programs using the Pthread library
svn co anonymous@svn://svn-smc.cs.byu.edu/smc-lab/concurrency-benchmarks/pthreads
Getting the Raw Data
7-1-2009
The raw data from JPF-RandomizedDFS, JPF-RandomWalk, and abstraction-guided-data is now publicly available from our SVN repository. As above, use the password “anonymous” (without quotes).
- Abstraction Guided Data (3.3KB):
svn co anonymous@svn://svn-smc.cs.byu.edu/smc-lab/concurrency-benchmarks-data/abstraction-guided-data.7z - JPF Random Walk (17.8MB):
svn co anonymous@svn://svn-smc.cs.byu.edu/smc-lab/concurrency-benchmarks-data/JPF-RandomWalk.7z - JPF Randomized DFS (1.29GB):
svn co anonymous@svn://svn-smc.cs.byu.edu/smc-lab/concurrency-benchmarks-data/JPF-RandomizedDFS.7z
These all use the 7z archive format. The official 7-zip archive tool can be downloaded for Windows (GUI & command-line versions) or Linux (command-line version only) here: http://7-zip.org/download.html In addition, the 7z format is supported by the following tools: WinRAR, PowerArchiver, TUGZip, IZArc.
Please note that the RandomizedDFS archive will take some time to both download and decompress due to its size, and the RandomWalk archive will also take some time to decompress; despite its relatively small size, it contains over 600,000 files.
Email us at: neharungta@gmail.com
