scheduler.h

Aller à la documentation de ce fichier.

/*----------------------------------------------------------------------------*/
/*      Définition du scheduler de Manux. Version trés minimale à revoir.     */
/*                                                                            */
/*                                                       (C) Manu Chaput 2000 */
/*----------------------------------------------------------------------------*/
#ifndef SCHEDULER_DEF
#define SCHEDULER_DEF
 
#include <manux/types.h>
#include <manux/tache.h>
#include <manux/listetaches.h>
#include <manux/atomique.h>
#include <manux/appelsysteme.h>
 
/*
 * Pour permettre la gestion des consoles virtuelles. WARNING n'a rien
 * à faire là
 */
extern booleen basculeConsoleDemandee;
extern booleen afficheEtatSystemeDemande;
extern booleen basculerTacheDemande;
 
extern Tache * tacheEnCours;
 
extern ListeTache listeTachesPretes;
 
extern ListeTache listeToutesLesTaches;
 
extern ListeTache listeTachesTerminees;
 
#if defined(MANUX_TACHES) && !defined(MANUX_REENTRANT)
extern struct _ExclusionMutuelle verrouGeneralDuNoyau;
extern TacheID tacheDansLeNoyau;
#endif
 
void initialiserScheduler(void);
/*
 * Déclencher le scheduler avant toute création de tache
 */
 
void ordonnanceurAddTache(Tache * tache);
 
/*
TacheID ordonnancerTache(CorpsTache corpsTache, booleen nouvelleConsole);
 * Création d'une nouvelle tâche et mise de celle-ci dans
 * la liste du scheduler. Si nouvelleConsole est vrai, on crée une
 * nouvelle console pour cette tâche. Sinon elle hérite de celle de
 * son créateur.
 */
 
void ordonnanceur(void);
 
TacheID ordonnanceurCreerTacheNoyau(CorpsTache corpsTache);
 
int sys_identifiantTache(void);
/*
 * Obtention du numero de la tache en cours. WARNING ça n'a rien
 * à faire là ...
 */
 
uint32_t AS_console(void);
/*
 * Obtention de la console de la tache en cours. WARNING ça n'a rien
 * à faire là ...
 */
 
int sys_basculerTache(ParametreAS as);
/*
 * Implantation de l'appel système d'invocation de l'ordonnanceur
 */
 
TacheID sys_creerTache(ParametreAS as, CorpsTache corpsTache, booleen shareConsole);
 
#endif