rres_dispatch_gsd_2.6.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 "rres_config.h"
#include <linux/sched.h>

Defines
#define	GENSCHED_DISABLED 1024
	state of a task that is forced to be descheduled
#define	RRES_DISPATCH_PRIORITY 65
	priority to force linux scheduling
#define	rres_init_sched_param(task) set_task_rr_prio(task, RRES_DISPATCH_PRIORITY)
#define	rres_task_sched_default(task)
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.

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 TASK_GENSCHED_DISABLED new state.