ObjectLockTest
|
100%
successful |
Tests
Test | Duration | Result |
---|---|---|
readLockBlocksUntilWriteLockIsReleased | 10.334s | passed |
testWithLocks | 0.252s | passed |
testWithoutLocks | 0.107s | passed |
Standard output
The below numbers should be strictly increasing, but need not be sequential. However the displayed logic statements should (at least periodically) evaluate to false. 1 == 4 5 == 7 8 == 10 The below numbers should be strictly increasing, but need not be sequential. However the displayed logic statements should always evaluate to true. 1 == 1 2 == 2 4 == 4 5 == 5 6 == 6 8 == 8 10 == 10
Standard error
Starting threads thread 1335 acquiring read lock thread 1335 acquired read lock thread 1337 acquiring write lock thread 1336 acquiring read lock thread 1338 acquiring write lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1335 acquiring read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1337 acquiring write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1336 acquiring read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock thread 1338 acquiring write lock thread 1335 acquired read lock thread 1335 releasing read lock thread 1335 released read lock thread 1337 acquired write lock thread 1337 releasing write lock thread 1337 released write lock thread 1336 acquired read lock thread 1336 releasing read lock thread 1336 released read lock thread 1338 acquired write lock thread 1338 releasing write lock thread 1338 released write lock