src/include/kernel/taskmgr.H


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

#ifndef __KERNEL_TASKMGR_H
#define __KENREL_TASKMGR_H

#include <kernel/types.h>

class TaskManager
{
    public:
	static task_t* getCurrentTask();
	static void setCurrentTask(task_t* t);
	
	typedef void(*task_fn_t)(void*);

	friend class CpuManager;
	friend class Kernel;
    protected:
	TaskManager();
	~TaskManager() {};

	static task_t* createIdleTask();
	static task_t* createTask(task_fn_t, void*);

    private:
	tid_t getNextTid();

	tid_t iv_nextTid;

	static void idleTaskLoop(void*);
	task_t* _createIdleTask();
	task_t* _createTask(task_fn_t, void*, bool);
};

#endif