A standard set of state transitions is defined for the Machine. These transitions define the valid changes to the Program’s current state in terms of an initial state and a resultant state. The transitions are formally defined in Table 3.
Table 3 – Program state transitions
|
Transition no. |
Transition name |
Initial state |
Resultant state |
|
1 |
HaltedToReady |
Halted |
Ready |
|
2 |
ReadyToRunning |
Ready |
Running |
|
3 |
RunningToHalted |
Running |
Halted |
|
4 |
RunningToReady |
Running |
Ready |
|
5 |
RunningToSuspended |
Running |
Suspended |
|
6 |
SuspendedToRunning |
Suspended |
Running |
|
7 |
SuspendedToHalted |
Suspended |
Halted |
|
8 |
SuspendedToReady |
Suspended |
Ready |
|
9 |
ReadyToHalted |
Ready |
Halted |