#ifndef DEF_TASK_H
#define DEF_TASK_H

#include <types.h>
#include <mem/paging.h>
#include "idt.h"

#include <lib/earray.h>

#define TS_RUNNING 0	
#define TS_WAKEWAIT 2	//Waiting to be waked up by something precise (thread currently blocked)

#define PL_UNKNOWN 2
#define PL_USER 1
#define PL_KERNEL 0

#define EX_TH_NORMAL	0x10000		//ERROR code : just one thread exits, because it has to
#define EX_TH_EXCEPTION 0x10001		//ERROR code : just one thread exits, because of an unhandled exception
#define EX_PR_EXCEPTION 0x10002		//ERROR code : all process finishes, because of an unhandled exception

#define USER_STACK_SIZE 0x10000	//64k, but pages will be mapped one by one as they are used

typedef void (*thread_entry)(void*);

class thread;
class node;
class process {
	public:

	uint32_t pid, uid, privilege, thread_count;
	process *parent;
	page_directory *pagedir;
	size_t stack, data;

	segment_map *dataseg;

	thread *threads;
	thread *threads_waiting;		// threads waiting for this process to end

	earray<node> fd;		// file descriptors

	process() : fd(4, 4) {}	// must not be used directly
	process(process *parent, uint32_t uid, uint32_t privilege);

	void* set_args(char** args);
	size_t sbrk(size_t size);
};

class thread {
	public:

	class process *process;
	uint32_t esp, ebp, eip;
	uint8_t state;
	void* kernelStack_addr;
	uint32_t kernelStack_size;

	thread *next, *queue_next;	//queue_next is used in sched.c

	thread(class process *proc, thread_entry entry_point, void *data, void *u_esp);

	void wakeUp();
};

extern thread *current_thread;
extern process *current_process;

void tasking_init();
#ifdef __cplusplus
extern "C" void schedule();
#else
void schedule();
#endif
void tasking_updateKernelPagetable(uint32_t idx, page_table *table, uint32_t tablePhysical);
uint32_t tasking_handleException(registers *regs);

void thread_goInactive();	//Blocks the current thread. it is then waked up by another thread or a system event. 
int proc_priv();	//Returns current privilege level

// syscalls
void thread_exit();
void process_exit(size_t retval);
size_t process_sbrk(size_t size);
void process_brk(size_t ptr);
int process_run(char* file, char** args);
int process_waitpid(int pid);

#endif