[[Concurrency Tool Comparison]]
== Model Description == 

A readers writers example that contains a race condition. 

Classes: 6

SLOC: 103

Parameters (checkForDeadlock)

== Summary Results Table ==

{| align=center | border=1
|- bgcolor="white" |
| colspan=5 align="center" | rwN ()
|- bgcolor="lightblue"
! Tool
! Trials (successful)
! Time
! Transition (paths)
! Max Depth (error depth)
|-
| JPF "Randomized DFS"
| 118 (94) 0.80
| align="right"| 1.27s
| 575.14 (0.00)
| 574.14 (574.14)
|-
| JPF Stateless Random Walk
| 10181 (7820) 0.77
| align="right"| NA
| NA (NA)
| NA (NA)
|}

==Java PathFinder==
===Stateless Random Walk===

* 10,000 Trials of Random Walk
* The ratio of the error discovery trials over the total number of trials is the 
path error density. 

====No Exception Check====

{| align=center | border=1 | -bgcolor=grey
! Parameters !! Path Error Density
|- 
| default || 0.076
|}

===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

|-
|(N)
| 118 (94) 79.66%
| align="right"| 1.27s
| 575.14 (0.00)
| 574.14 (574.14)
| align="right" | 1269.11
| align="right" | 1269.11
| align="right" | 574.14
| align="right" | 574.14
| align="right" | 575.14
| align="right" | 0.00
| align="right" | 0.00
| align="right" | 0.00
| align="right" | 0.00
| align="right" | 0.00
| align="right" | 17960.17
| align="right" | 6990528.00
| align="right" | 0.00
| align="right" | 156.69
| align="right" | 173.64
|}


==CHESS==
{| align=center | border=1 |
|- bgcolor="lightblue"
! Parameters !! Time !!  Transitions !!  paths !!  Max Depth
|-
| 2, 2, 100 || 391329 ||  67920000 ||  24000 ||  2830

|}