task.h

Go to the documentation of this file.

#ifndef TASKS_TASK_H
#define TASKS_TASK_H

#include <stdint.h>
#include <interrupts/isr.h>
#include <mem/vmm.h>

#define _4KB 0x1000 

typedef uint8_t task_stack_t; 
typedef uint32_t task_pid_t;  

typedef enum {
    TASK_STOPPED, TASK_RUNNING
} task_state_t;

typedef struct {
    task_state_t state;          
    page_directory_t* page_directory; 
    task_stack_t* kernel_stack;  
    task_stack_t* user_stack;    
    size_t kernel_stack_len,     
            user_stack_len;      
    cpu_state_t* cpu; 
    uint32_t ticks;   
    uint8_t vm86;     
    void* elf;        
} task_t;

task_pid_t task_add(task_t* task);
task_pid_t task_create_kernel(void* entry_point, page_directory_t* page_directory,
        size_t kernel_stack_len);
task_pid_t task_create_user(void* entry_point, page_directory_t* page_directory,
        size_t kernel_stack_len, size_t user_stack_len, void* elf);
void task_stop(task_pid_t pid);
void task_destroy(task_pid_t pid);
task_pid_t task_get_next_task(task_pid_t pid);
task_pid_t task_get_next_task_with_state(task_pid_t pid, task_state_t state);
task_state_t task_get_ticks(task_pid_t pid);
uint32_t task_set_ticks(task_pid_t pid, uint32_t ticks);
cpu_state_t* task_get_cpu(task_pid_t pid);
void task_set_cpu(task_pid_t pid, cpu_state_t* cpu);
page_directory_t* task_get_page_directory(task_pid_t pid);
uint8_t task_get_vm86(task_pid_t pid);
void* task_get_elf(task_pid_t pid);
void task_dump();

#endif