12 lines
286 B
Plaintext
12 lines
286 B
Plaintext
|
Initial state.
|
||
|
|
isLocked() = true
|
||
|
|
isSuspended(target_thread) = false
|
||
|
|
Suspend and sleep.
|
||
|
|
isLocked() = true
|
||
|
|
isSuspended(target_thread) = true
|
||
|
|
Let other thread release the raw monitor.
|
||
|
|
isLocked() = false
|
||
|
|
isSuspended(target_thread) = true
|
||
|
|
other thread doesn't hold lock!
|
||
|
|
resumed test thread
|