You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
12 lines
286 B
12 lines
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
|