Subject Name: twoStage
Souce Code Language: Java
Number of Versions: 1
Number of Variants: 1
   - orig
Error expected:
   orig: two-stage access
Non-determinisitc: yes

***orig***
LOC: 52 (noncomment Java source code)
Classes: 5
Methods: 10
Fields: 10
Statements: 35
wait() call: 0
notifyAll() call: 0
Sync blocks: 4
Thread start() calls: 2
New expressions: 7

The parameters to the program are: number of two stage threads (iThreads=1)
and number of read threads (iRthreads=1). NOTE: all of the arguments must
be specified although default values are specified in the Main class.

The twoStage program is based on the bug patterns reported in:

E. Farchi, Y. Nir, and S. Ur. "Concurrent bug patterns and how to test them."
In Proceedings of the 9th International Conference on Computer Aided 
Verification, June 1997.
