scheduler.h

Go to the documentation of this file.

 
#ifndef ICARUS_SCHEDULER_H
#define ICARUS_SCHEDULER_H
 
#ifdef __cplusplus
extern "C" {
#endif
 
#include <stdint.h>
#include "icarus/types.h"
 
/* ============================================================================
 * TASK SCHEDULING
 * ========================================================================= */
 
void os_yield(void);
 
uint32_t task_active_sleep(uint32_t ticks);
 
uint32_t task_blocking_sleep(uint32_t ticks);
 
uint32_t task_busy_wait(uint32_t ticks);
 
/* ============================================================================
 * TASK INFORMATION
 * ========================================================================= */
 
uint32_t os_get_tick_count(void);
 
uint8_t os_get_running_task_count(void);
 
const char* os_get_current_task_name(void);
 
uint32_t os_get_task_ticks_remaining(void);
 
const char* os_get_task_name(uint8_t task_idx);
 
uint8_t os_get_num_created_tasks(void);
 
uint8_t os_is_running(void);
 
icarus_task_state_t os_get_task_state(uint8_t task_idx);
 
uint32_t os_get_task_dispatch_count(uint8_t task_idx);
 
uint32_t os_get_stack_watermark(uint8_t task_idx);
 
void os_update_stack_watermark(uint8_t task_idx);
 
/* ============================================================================
 * PRIVILEGED IMPLEMENTATIONS (Internal - Do Not Call Directly)
 * ========================================================================= */
 
void __os_yield(void);
uint32_t __task_active_sleep(uint32_t ticks);
uint32_t __task_blocking_sleep(uint32_t ticks);
uint32_t __task_busy_wait(uint32_t ticks);
uint32_t __os_get_tick_count(void);
uint8_t __os_get_running_task_count(void);
const char* __os_get_current_task_name(void);
uint32_t __os_get_task_ticks_remaining(void);
const char* __os_get_task_name(uint8_t task_idx);
uint8_t __os_get_num_created_tasks(void);
uint8_t __os_is_running(void);
icarus_task_state_t __os_get_task_state(uint8_t task_idx);
uint32_t __os_get_task_dispatch_count(uint8_t task_idx);
uint32_t __os_get_stack_watermark(uint8_t task_idx);
void __os_update_stack_watermark(uint8_t task_idx);
 
#ifdef __cplusplus
}
#endif
 
#endif /* ICARUS_SCHEDULER_H */