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

vv-lab/concurrency-tool-comparison.txt · Last modified: 2015/02/18 22:50 by egm
Back to top
CC Attribution-Share Alike 4.0 International
chimeric.de = chi`s home Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0