Thread States and Transitions in Mavos
Thread states
• Asleep
• Asleep on a particular monitor
• Waiting to enter a monitor
• Pending a semaphore that is unavailable
• Waiting for another thread to die
• Running
Thread state transition table
Describes how a thread may cross from one state (the "from" rows) to another state (the "to" columns)
|
To:
From: |
Asleep |
Asleep on a particular monitor |
Waiting to enter a monitor |
Pending a semaphore that is unavailable |
Waiting for another thread to die |
Running |
|
Asleep |
|
|
|
|
|
interrupted, timer expiry |
|
Asleep on a particular monitor |
|
|
notified,
interrupted,
timer expiry |
|
|
|
|
Waiting to enter a monitor |
|
|
|
|
|
secondary thread's monitor exit |
|
Pending a semaphore that is unavailable |
|
|
|
|
|
secondary thread's semaphore post |
|
Waiting for another thread to die |
|
|
|
|
|
interrupted,
secondary thread's death has occurred |
|
Running |
sleep |
monitor wait, monitor wait with timeout |
monitor entry |
semaphore pend |
wait for other thread's death |
|
