Differences

This shows you the differences between two versions of the page.

Link to this comparison view

vv-lab:concurrency-tool-comparison [2015/02/18 22:50] (current)
egm created
Line 1: Line 1:
 +==Summary==
 +{| align=center | border=5 | cellpadding="​8"​
 +|- bgcolor="​lightblue"​
 +! Models !! Hard-Capable?​ !! Parameters !! Java !! C# !! C (PThread) !! JPF !! ConTest !! CalFuzzer !! Chess
 +|- align="​center"​
 +| [[AccountDeadlock]] ||  || 1 || X || X || X || X || X ||  || X
 +|- align="​center"​
 +| [[AccountException]] ||  || 1 || X ||  ||  ||  ||  ||  ||
 +|- align="​center"​
 +| [[AccountSubtype]] || X || 2 || X || X ||  || X || X || X || X
 +|- align="​center"​
 +| [[Airline]] || X || 2 || X || X ||  || X || X || X || X
 +|- align="​center"​
 +| [[AlarmClock]] ||  || 1 || X || X ||  || X ||  ||  || X
 +|- align="​center"​
 +| [[AllocationVector]] ||  || 4 || X || X ||  || X ||  ||  || X
 +|- align="​center"​
 +| [[Clean]] ||  || 3 || X || X ||  || X || X || NA || X
 +|- align="​center"​
 +| [[Deadlock]] ||  || 1 || X || X ||  || X ||  ||  || X
 +|- align="​center"​
 +| [[DEOS]] ||  || 0 || X || X ||  || X ||  ||  ||
 +|- align="​center"​
 +| [[LinkedList]] ||  || 2 || X || X ||  || X ||  ||  || X
 +|- align="​center"​
 +| [[Piper]] || X || 3 || X || X ||  || X || X || NA || X
 +|- align="​center"​
 +| [[ProducerConsumer]] ||  || 3 || X || X ||  || X ||  ||  ||
 +|- align="​center"​
 +| [[RaxExtended]] ||  || 2 || X || X ||  || X ||  ||  ||
 +|- align="​center"​
 +| [[ReadersWriters]] || X || 3 || X || X ||  || X ||  ||  || X
 +|- align="​center"​
 +| [[Reorder]] ||  || 2 || X || X || X || X || X || X || X
 +|- align="​center"​
 +| [[Replicated]] ||  || 5 || X || X ||  || X ||  ||  || X
 +|- align="​center"​
 +| [[Two Stage]] || X || 2 || X || X || X || X || X || NA || X
 +|- align="​center"​
 +| [[Wronglock]] ||  || 2 || X || X || X || X || X || X || X
 +|- align="​center"​
  
 +|}
 +
 +==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