Differences

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

Link to this comparison view

vv-lab:replicated [2015/02/18 23:00] (current)
egm created
Line 1: Line 1:
 +[[Concurrency Tool Comparison]]
  
 +== Summary Results Table ==
 +
 +{| align=center | border=1
 +|- bgcolor="​white"​ |
 +| colspan=5 align="​center"​ | replicated (5,2)
 +|- bgcolor="​lightblue"​
 +! Tool
 +! Trials (successful)
 +! Time
 +! Transition (paths)
 +! Max Depth (error depth)
 +|-
 +| JPF "​Randomized DFS"
 +| 100 (97) 0.97
 +| align="​right"​| 203.71s
 +| 716039.24 (0.00)
 +| 383.79 (360.53)
 +|- bgcolor="​white"​ |
 +| colspan=5 align="​center"​ | replicated (8,2)
 +|- bgcolor="​lightblue"​
 +! Tool
 +! Trials (successful)
 +! Time
 +! Transition (paths)
 +! Max Depth (error depth)
 +|-
 +| JPF "​Randomized DFS"
 +| 100 (97) 0.97
 +| align="​right"​| 4.77s
 +| 1800.77 (0.00)
 +| 1799.77 (1799.77)
 +|-
 +| JPF Stateless Random Walk
 +| 10159 (9632) 0.95
 +| align="​right"​| 5.39s
 +| 134.49 (NA)
 +| 0.00 (NA)
 +|}
 +
 +==Java Pathfinder==
 +===Stateless Random Walk===
 +
 +{| align=center | border=1 | -bgcolor=grey
 +! Parameters !! Path Error Density
 +|- 
 +| 8,2 || 0.948
 +|}
 +
 +===Stateful Randomized Depth-first search===
 +
 +* 100 randomized depth-first search trial, where each trial is time-bounded at
 +one hour. A total of 100 computation hours dedicated in discovering the error. ​
 +
 +* 2 MB of RAM allocated on each machine
 +
 +* The Error Discovering Trials is the number of trials that discovered an error
 +among the initially launched trials (100). ​
 +{| align="​center"​ | border=1
 +|- bgcolor="​lightblue"​
 +! Parameters
 +! Trials (successful)
 +! Time
 +! Transition (paths)
 +! Max Depth (error depth)
 +!  abs time (ms)
 +!  rel. time (ms)
 +!  search depth
 +!  errorDepth
 +!  new states
 +!  revisited states
 +!  end states
 +!  backtracks
 +!  processed states
 +!  restored states
 +!  total memory (kB)
 +!  max total memory
 +!  free memory (kB)
 +!  heap objects
 +!  max heap objects
 +
 +|-
 +|(5,2)
 +| 100 (97) 97.00%
 +| align="​right"​| 203.71s
 +| 716039.24 (0.00)
 +| 383.79 (360.53)
 +| align="​right"​ | 203712.19
 +| align="​right"​ | 3288.24
 +| align="​right"​ | 383.79
 +| align="​right"​ | 360.53
 +| align="​right"​ | 167602.51
 +| align="​right"​ | 548436.73
 +| align="​right"​ | 0.22
 +| align="​right"​ | 715677.71
 +| align="​right"​ | 167240.76
 +| align="​right"​ | 0.00
 +| align="​right"​ | 347472.49
 +| align="​right"​ | 6990528.00
 +| align="​right"​ | 109416.73
 +| align="​right"​ | 726.43
 +| align="​right"​ | 735.43
 +|-
 +|(8,2)
 +| 100 (97) 97.00%
 +| align="​right"​| 4.77s
 +| 1800.77 (0.00)
 +| 1799.77 (1799.77)
 +| align="​right"​ | 4772.70
 +| align="​right"​ | 4772.70
 +| align="​right"​ | 1799.77
 +| align="​right"​ | 1799.77
 +| align="​right"​ | 1800.77
 +| align="​right"​ | 0.00
 +| align="​right"​ | 0.00
 +| align="​right"​ | 0.00
 +| align="​right"​ | 0.00
 +| align="​right"​ | 0.00
 +| align="​right"​ | 58443.22
 +| align="​right"​ | 6990528.00
 +| align="​right"​ | 0.00
 +| align="​right"​ | 764.00
 +| align="​right"​ | 805.82
 +|}
 +
 +
 +==CHESS==
 +{| align=center | border=1 |
 +|- bgcolor="​lightblue"​
 +! Parameters !! Time !!  Transitions !!  paths !!  Max Depth
 +|-
 +| 5, 2, 0, 10, 05 || 620 ||  103 ||  1 ||  103
 +|-
 +| 8, 2, 0, 10, 001 || 620 ||  157 ||  1 ||  157
 +
 +|}
vv-lab/replicated.txt ยท Last modified: 2015/02/18 23:00 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