types.h

Go to the documentation of this file.

 
#ifndef ICARUS_TYPES_H
#define ICARUS_TYPES_H
 
#ifdef __cplusplus
extern "C" {
#endif
 
#include <stdint.h>
#include <stdbool.h>
#include "icarus/config.h"
 
/* ============================================================================
 * TASK STATE DEFINITIONS
 * ========================================================================= */
 
typedef enum {
    TASK_STATE_COLD     = 0,    
    TASK_STATE_RUNNING  = 1,    
    TASK_STATE_READY    = 2,    
    TASK_STATE_BLOCKED  = 3,    
    TASK_STATE_KILLED   = 4,    
    TASK_STATE_FINISHED = 5     
} icarus_task_state_t;
 
typedef enum {
    TASK_PRIORITY_LOW   = 0,    
    TASK_PRIORITY_MED   = 1,    
    TASK_PRIORITY_HIGH  = 2     
} icarus_task_priority_t;
 
/* ============================================================================
 * TASK CONTROL BLOCK (TCB)
 * ========================================================================= */
 
typedef struct {
    /* ---- Fields accessed by C code only ---- */
    void (*function)(void);                     
    uint32_t *stack_base;                       
    uint32_t stack_size;                        
    /* ---- Fields accessed by assembly (offsets hardcoded) ---- */
    uint32_t *stack_pointer;                    
    icarus_task_state_t task_state;             
    uint32_t global_tick_paused;                
    uint32_t ticks_to_pause;                    
    uint32_t *data_pointer;                     
    /* ---- Additional metadata ---- */
    icarus_task_priority_t task_priority;       
    char name[ICARUS_MAX_TASK_NAME_LEN];        
    uint32_t dispatch_count;                    
    uint32_t stack_watermark;                   
} icarus_task_t;
 
/* ============================================================================
 * SYNCHRONIZATION PRIMITIVES
 * ========================================================================= */
 
typedef struct {
    bool engaged;               
    uint32_t count;             
    uint32_t max_count;         
    uint32_t tick_updated_at;   
} icarus_semaphore_t;
 
typedef struct {
    bool engaged;               
    uint16_t count;             
    uint16_t max_count;         
    uint16_t enqueue_idx;       
    uint16_t dequeue_idx;       
    uint32_t tick_updated_at;   
    uint8_t buffer[ICARUS_MAX_MESSAGE_BYTES];  
} icarus_pipe_t;
 
#ifdef __cplusplus
}
#endif
 
#endif /* ICARUS_TYPES_H */