Structure holding current scheduling state of CPU. More...
Data Fields | |
Thread_t | thread_prev |
previously running thread ID | |
Thread_t | thread_current |
ID of thread which is currently executed. | |
Thread_t | thread_next |
ID of thread which will be scheduled once thread switch occurs. | |
Structure holding current scheduling state of CPU.
This structure holds complete state required to perform thread scheduling. It is private to CPU. Kernel should allocate as many of these as there are CPUs.
Thread_t OS_core_state_t::thread_current |
ID of thread which is currently executed.
Thread_t OS_core_state_t::thread_next |
ID of thread which will be scheduled once thread switch occurs.
Thread_t OS_core_state_t::thread_prev |
previously running thread ID