|
RADPx-OS Kernel (Radical Posix OS)
Crimson 0.1.4
POSIX-inspired kernel API with embedded and desktop VM targets
|
Public data structure for rad_scheduler_info. More...
#include <radkernel.h>
Public Attributes | |
| uint32_t | detected_cores |
| Public structure field. | |
| uint32_t | worker_running_mask |
| Public structure field. | |
| uint32_t | running_threads |
| Public structure field. | |
| uint32_t | ready_threads |
| Public structure field. | |
| uint32_t | blocked_threads |
| Public structure field. | |
| uint32_t | sleeping_threads |
| Public structure field. | |
| uint32_t | exited_threads |
| Public structure field. | |
| uint32_t | process_count |
| Public structure field. | |
| int | preemption_supported |
| Public structure field. | |
| rad_scheduler_mode_t | mode |
| Public structure field. | |
| char | arch [32] |
| Public structure field. | |
| uint32_t | online_core_mask |
| Public structure field. | |
| uint32_t | current_core |
| Public structure field. | |
| int | preemption_enabled |
| Public structure field. | |
| uint64_t | context_switches |
| Public structure field. | |
| uint64_t | scheduler_ticks |
| Public structure field. | |
Public data structure for rad_scheduler_info.