文本文件  |  12行  |  286 B

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