rres_dispatch_gsd_2.4.h File Reference

Module interfacing with the Linux scheduler for the purpose of forcing schedule and deschedule of processes belonging to the servers. More...

#include <linux/sched.h>

Defines
#define	SCHED_OTHER SCHED_NORMAL
#define	STOP_PRIORITY -2100
	priority to force linux descheduling
#define	qos_log_state(__t) qos_log_debug("(%d), state: %ld, prio: %d", (__t)->pid, (__t)->state, (int)(__t)->rt_priority)
	print the state of the task
#define	qos_log_state_simple(__t) qos_log_simple(QOS_DEBUG_LEVEL, "(%d),s:%ld, p:%d", (__t)->pid, (__t)->state, (int)(__t)->rt_priority)
	print the state of the task (without any other debug info)
#define	set_tsk_need_resched(task) do { task->need_resched = 1; } while (0)
	force to call the linux scheduler
Functions
int	task_ready (struct task_struct *task)
	return true if task is ready to run (task's state = TASK_RUNNING in Linux)
void	stop_task (struct task_struct *t)
	Make a task not schedulable by Linux scheduler.
void	dispatch_task (struct task_struct *t)
	Force Linux to schedule this task (or one of the task of the same server).
static void	rres_idle_cpu (void)
	Forces scheduling of the Linux idle task.
static void	rres_dispatch_setup (server_t *srv)

Detailed Description

Module interfacing with the Linux scheduler for the purpose of forcing schedule and deschedule of processes belonging to the servers.

This implementation uses the TAKS_GENSCHED_DISABLED new state.