Académique Documents
Professionnel Documents
Culture Documents
Chapitre 2 : Processus
Chapitre 3 : Ordonnancement
Chapitre 7 : Interblocage
Chapitre 1 : Introduction
Ce chapitre constitue une introduction aux systmes d'exploitation multiprogramms.
1.1 Evolution de la prise en compte des entres sorties par la machine matrielle :
vers la machine multiprogramme
Nous nous intressons l'volution de la prise en charge des entres/sorties au niveau matriel. Trois
modes sont possibles : le mode programm, les interruptions et le Dma. Nous allons voir que le dernier
mode libre compltement le processeur de la ralisation d'une entre sortie et permet alors de faire
excuter celui-ci d'autres oprations durant celle-ci : le systme pourra alors tre multiprogramm, c'est-dire pourra permettre le traitement de plusieurs programmes : l'une en entres/sorties, l'autre en calcul.
Complment :
Nous rappelons brivement le mcanisme des interruptions. Le processeur excute un programme lambda. L'interruption
n3 survient, dclenche par une unit priphrique. Le processeur arrte alors l'excution du programme lambda. Il
sauvegarde le contexte du processeur en mmorisant notamment l'adresse de la prochaine instruction excuter dans le
programme lambda (ici 1002). Puis il dtermine grce une table appele la table des vecteurs d'interruptions, l'adresse
de la routine associe l'interruption n3. : ici 0017. Il charge alors le CO avec cette adresse, excute la routine
d'interruption qui se termine par l'instruction machine RTI (return Interrupt) : cette instruction restaure le contexte
sauvegard lors de la prise en compte de l'interruption : le CO est charg avec l'adresse 1002 et le programme lambda
reprend son excution l o il avait t interrompu.
Laisser le processeur inactif conduit une mauvaise utilisation de cette ressource matrielle. On choisit
donc de "monter" plusieurs programmes en mmoire centrale : ainsi comme le montre la figure 5, lorsque le
DMA ralise une opration d'entres sorties pour le programme ProgA, le processeur peut excuter un
autre programme qui demande du calcul : ProgB. Le systme est devenu multiprogramm.
partage du processeur unique : parmi tous les programmes chargs en mmoire centrale, lequel doit
s'excuter ?
partage de la mmoire centrale : comment allouer la mmoire centrale aux diffrents programmes.
Comment assurer la protection entre ces diffrents programmes utilisateurs ? Comment protger le
systme d'exploitation des programmes utilisateurs ? Par protection, on entend ici veiller ce qu'un
programme donn n'accde pas une plage mmoire alloue un autre programme.
Le second rle du systme d'exploitation est de faciliter l'accs la machine physique pour l'utilisateur de
celle-ci. En effet sur une machine physique brute, pour raliser par exemple une opration d'entres
sorties, il est ncessaire de connatre la manire dont le priphrique est gr (DMA, interruption ?). De
mme pour faire excuter un programme, il faut charger celui-ci en mmoire centrale et connatre la
manire dont l'allocation des mots mmoire est gre. Ceci est fastidieux et compliqu pour l'utilisateur de
la machine.
Le systme d'exploitation offre l'utilisateur une interface destine masquer les caractristiques
matrielles. Cette interface est compose d'un ensemble de primitives qui grent elles-mmes les
caractristiques matrielles sous-jacentes et offrent un service l'utilisateur. Un utilisateur souhaitant
raliser une opration d'entres sorties fait appel une primitive unique ECRIRE sans se soucier du type
de gestion associe au priphrique. C'est la primitive qui prendra en charge la spcificit du priphrique.
L'ensemble des primitives offertes par le systme d'exploitation cre une machine virtuelle au dessus de la
machine physique plus simple d'emploi et plus conviviale. On distingue deux types de primitives : les
appels systmes et les commandes.
Comme son nom le suggre, le systme dexploitation a en charge l'exploitation de la machine pour en
faciliter l'accs, le partage et pour l'optimiser
Le systme d'exploitation (figure 6) prsente donc comme une couche logicielle place entre la machine
matrielle et les applications. Il s'interface avec la couche matrielle, notamment par le biais du mcanisme
des interruptions. Il s'interface avec les applications par le biais des primitives qu'il offre : appels systme et
commandes. Le systme d'exploitation peut tre dcoup en plusieurs grandes fonctions prsentes sur la
figure ci-dessous Dans une premire approche, ces fonctions qui seront tudies plus en dtails dans les
chapitres suivants du cours sont :
Gestion du processeur : le systme doit grer l'allocation du processeur aux diffrents programmes
pouvant s'excuter. Cette allocation se fait par le biais d'un algorithme d'ordonnancement qui planifie
l'excution des programmes. Selon le type de systme d'exploitation, l'algorithme d'
ordonnancement rpond des objectifs diffrents
Gestion de la mmoire : le systme doit grer l'allocation de la mmoire centrale entre les diffrents
programmes pouvant s'excuter (pagination/segmentation). Comme la mmoire physique est
souvent trop petite pour contenir la totalit des programmes, la gestion de la mmoire se fait selon le
principe de la mmoire virtuelle : un instant donn, seules sont charges en mmoire centrale, les
parties de code et donnes utiles l'excution
Gestion des entres/sorties : le systme doit grer l'accs aux priphriques, c'est--dire faire la
liaison entre les appels de haut niveau des programmes utilisateurs (exemple getchar()) et les
oprations de bas niveau de l'unit dchange responsable du priphrique (unit dchange clavier)
: c'est le pilote d'entres/sorties (driver) qui assure cette correspondance
Gestion des objets externes : La mmoire centrale est une mmoire volatile. Aussi, toutes les
donnes devant tre conserves au-del de l'arrt de la machine, doivent tre stockes sur
une mmoire de masse ( disque dur, disquette, cdrom...). La gestion de l'allocation des mmoires
de masse ainsi que l'accs aux donnes stockes s'appuient sur la notion de fichiers et de systme
de gestion de fichiers (SGF).
Gestion de la protection : le systme doit fournir des mcanismes garantissant que ses ressource s
(CPU, mmoire, fichiers) ne peuvent tre utilises que par les programmes auxquels les droits
ncessaires ont t accords. Il faut notamment protger le systme et la machine des programmes
utilisateurs (mode d'excution utilisateur et superviseur)
Les systmes d'exploitation multiprogramms peuvent tre classs selon diffrents types qui dpendent
des buts et des services offerts par les systmes. On distingue principalement trois grandes classes de
systmes
les systmes multiutilisateurs interactifs : l'utilisateur est "derrire son clavier et son cran" ; il
soumet des excutions et attend les rsultats : il faut donc rduire au maximum le temps d'attente et
faire croire l'utilisateur qu'il est seul utiliser la machine. Ce sont des systmes adapts la mise
au point de programmes (exemple : UNIX, Linux)
les systmes traitements par lots (batch) : les programmes sont excuts en diffr, les uns la
suite des autres. Ce sont des systmes ddis aux travaux de production (exemple : MVS...). On
peut noter que beaucoup de systmes offrent simultanment un service de temps partag et un
service de traitement par lots (VMS)
les systmes temps rels : les programmes en excution sont soumis des contraintes de temps,
c'est--dire que leurs excutions doivent tre imprativement acheves une date butoir appele
chance. Comme ces systmes sont souvent interfacs un environnement dynamique (procd)
dlivrant des vnements synchrones ou asynchrones auxquels ils doivent ragir, on parle aussi de
systmes ractifs. Ce sont des systmes adapts la commande de procd (exemple : LynxOS...)
Il ne sagit pas par contre, de rendre le rsultat le plus vite possible, mais simplement temps. Lchelle du
temps relative la contrainte temporelle varie dune application lautre : elle peut tre par exemple de
lordre de la micro-seconde dans des applications de contrle radars, mais peut tre de lordre de lheure
pour une application de contrle chimique. Par ailleurs, le systme temps rel peut tre qualifi de systme
embarqu ou enfouis (embedded system). On distingue deux types de contraintes temporelles:
Les contraintes temporelles strictes : les fautes temporelles (non-respect dune chance) sont
intolrables pour la validit du systme. Elles mettent en pril le systme temps rel lui-mme voire
son environnement.
Les contraintes temporelles relatives : quelques fautes temporelles peuvent tre sup port es sans
remettre en cause la validit du systme. Il s'ensuit gnralement une baisse de performance du
systme.
Un systme temps rel se divise en deux parties qui interagissent entre elles (figure 7):
Dun ct, un procd, en gnral industriel, muni de capteurs, envoie des mesures ou dclenche
des vnements avec une occurrence priodique ou alatoire.
Lorsque l'excution de la fonction systme est acheve, le programme repasse du mode superviseur au
mode utilisateur. Il y a de nouveau une opration de commutation de contexte avec restauration du
contexte utilisateur sauvegard lors de l'appel systme.
le fait que le programme utilisateur appelle une fonction du systme. C'est une demande explicite de
passe en mode superviseur.
l'excution par le programme utilisateur d'une opration illicite (division par 0, instruction machine
interdite, violation mmoire) : c'est la trappe. L'excution du programme utilisateur est alors
arrte.
2 Un premier test
Exercice
Pour en finir avec le chapitre introductif
Question : Quel est le rle du systme dexploitation ?
Compiler un programme et construire un excutable
Grer les accs disque
Partager la machine physique entre les diffrents programmes et btir une machine virtuelle plus accessible lutilisateur
Rponse :
Partager la machine physique entre les diffrents programmes et btir une machine virtuelle plus accessible
lutilisateur
Question : Un systme est dit ractif
Car il doit offrir le plus petit temps de rponse possible lutilisateur
Car il doit ragir des vnements dlivrs par des priphriques externes
Car il est rapide
Rponse :
Car il doit ragir des vnements dlivrs par des priphriques externes
Question : Une interruption
Permet de squencer lexcution des programmes
Est un signal externe au processeur obligeant celui-ci interrompre son traitement en cours pour traiter la cause de
lvnement
Rponse :
Est un signal externe au processeur obligeant celui-ci interrompre son traitement en cours pour traiter la
cause de lvnement
Question : Une commutation de contexte intervient
chaque changement de mode dexcution
Sur loccurrence dune interruption
Lorsque le programme commet une erreur grave
Rponse :
chaque changement de mode dexcution
Chapitre 2 : Processus
Ce chapitre est consacr l'tude des processus
Cours : Processus
Notion de processus
Rappel sur la chaine de production d'un programme excutable.
L'excution d'un programme
Le processus
Les tats du processus
Le bloc de contrle du processus (PCB)
Processus >Processus
1 Cours : Processus
Nous commenons prsent l'tude du fonctionnement d'un systme multiprogramm. Dans ce cours,
nous nous intressons la fonction d'excution : elle recouvre principalement deux notions : celle de
processus ,qui correspond l'image d'un programme qui s'excute et celle d' ordonnancement qui
correspond au problme de l'allocation du processeur et donc du partage du processeur entre diffrents
processus .
processus. Il alloue alors une structure de donne descriptive du processus destine regrouper toutes les
informations du contexte du processus : le bloc de contrle du processus. Le processus est alors cr. Il
est prt s'excuter.
1.1.3 Le processus
Dfinition : Processus
lorsque le processus obtient le processeur et s'excute, il est dans l'tat lu. L'tat lu est l'tat
d'excution du processus.
lors de cette excution, le processus peut demander accder une ressource (ralisation d'une
entre/sortie, accs une variable protge) qui n'est pas immdiatement disponible : le processus
ne peut pas poursuivre son excution tant qu'il n'a pas obtenu la ressource (par exemple, le
processus doit attendre la fin de l'entre/sortie qui lui dlivre les donnes sur lesquelles il ralise les
calculs suivants dans son code) : le processus quitte alors le processeur et passe dans l'tat bloqu.
L'tat bloqu est l'tat d'attente d'une ressource autre que le processeur.
lorsque le processus a enfin obtenu la ressource qu'il attendait, celui-ci peut potentiellement
reprendre son excution. Cependant, nous nous sommes placs dans le cadre de systmes
multiprogramms, c'est--dire qu'il y a plusieurs programmes en mmoire centrale et donc plusieurs
processus.. Lorsque le processus est pass dans l'tat bloqu, le processeur a t allou un autre
processus. Le processeur n'est donc pas forcment libre. Le processus passe alors dans l'tat prt.
L'tat Prt est l'tat d'attente du processeur.
Le passage de l'tat prt vers l'tat lu constitue l'opration d'lection. Le passage de l'tat lu vers
l'tat bloqu est l'opration de blocage. Le passage de l'tat bloqu vers l'tat prt est l'opration de
dblocage.
Un processus est toujours cre dans l'tat prt. Un processus se termine toujours partir de l'tat lu (sauf
anomalie).
le contexte processeur du processus : la valeur du CO, la valeur des autres registres du processeur
le contexte mmoire : ce sont des informations mmoire qui permettent de trouver le code et les
donnes du processus en mmoire centrale
des informations diverses de comptabilisation pour les statistiques sur les performances systme
Lors de l'excution de l'appel systme Fork, si les ressource s noyaux sont disponibles, le systme effectue
les oprations suivantes :
le systme alloue une entre la table des processus pour le nouveau processus
le systme retourne au processus pre le PID du processus cre et au nouveau processus (le fils) la
valeur 0.
Lors de cette cration le processus fils hrite de tous les attributs de son pre sauf :
Notamment, le fils hrite de tous les descripteurs de fichiers ouverts par son pre et partage donc ces
fichiers avec lui.
A l'issue de l'excution de la primitive Fork, chaque processus, le pre et le fils, reprend son excution
aprs le Fork. Le code et les donnes tant strictement identiques, il est ncessaire de disposer d'un
mcanisme pour diffrencier le com port ement des deux processus aprs le Fork. On utilise pour cela le
code retour du Fork qui est diffrent chez le fils (toujours 0) et le pre (PID du fils cr).
Dans l'exemple de la figure ci-dessous, le processus n12222 est le processus pre. Le processus 12224
est le processus fils cre par le processus de 12222 l'issue de l'appel la primitive Fork. Une fois la
primitive Fork excute par le pre, les deux processus (le pre et le fils) reprennent leur excution de
manire concurrente. Le processus fils a pour retour de la primitive Fork la valeur 0. Il va donc excuter la
partie de l'alternative pour laquelle (if pid = = 0) est vrai. Le processus pre au contraire a pour retour de la
primitive Fork la valeur du PID du processus cr c'est--dire une valeur positive. Il va donc excuter l'autre
partie de l'alternative. Dans cet exemple, la primitive GETPID retourne un processus la valeur de son
PID.. La primitive GETPPID retourne au processus le PID de son pre.
Lorsqu'un processus se termine, le systme dmantle tout son contexte, sauf l'entre de la table des
processus le concernant. Le processus pre, par un appel la primitive WAIT, rcupre la mort de son fils,
cumule les statistiques de celui-ci avec les siennes et dtruit l'entre de la table des processus concernant
son fils dfunt. Le processus fils disparat compltement. La communication entre le fils zombi et le pre
s'effectue par le biais d'un signal transmis du fils vers le pre (signal SIGCHLD ou mort du fils). Si le pre
n'attend pas la mort de son fils par un appel la primitive WAIT alors la table des processus n'est pas
libre et il y a risque de saturation de cette table.
Synchronisation pre fils assurant une bonne libration des ressources du systme
la mort du fils.
Un processus fils dfunt reste zombi jusqu' ce que son pre ait pris connaissance de sa mort. Un
processus fils orphelin, suite au dcs de son pre (le processus pre s'est termin avant son fils) est
toujours adopt par le processus numro 1 (INIT) et non par son grand-pre.
L'interface du programme principal d'un excutable (le main) se prsente toujours de la manire suivante :
argv est un tableau de pointeurs de caractres donnant accs aux diffrentes composantes de la
commande
Exemple
calcul 3 4
on a argc = 3, argv[0]="calcul",argv[1]="3"
et argv[2] = "4"
Calcul.c
main(argc,argv)
int somme;
exit();
La figure ci-dessous donne un exemple de l'utilisation d'une des primitives EXEC : la primitive EXECL.
Dans l'exemple ci-dessous, le processus fils rsultant de l'excution du Fork va excuter la partie de
l'alternative pour laquelle PID == 0 est vrai. Dans cette alternative, le processus fils fait appel la primitive
EXECL en demandant l'excution d'un programme excutable qui a pour nom calcul et qui admet pour
paramtre argv[0] = "calcul", argv [1] = "3"et argv[2] ="2". Il faut noter que les arguments sont transmis
comme des chanes de caractres. C'est pourquoi une conversion de caractre vers entier est ncessaire.
Dans l'exemple donn, cette conversion est ralise l'aide de la primitive atoi.
Le gros avantage li la notion de processus lger est un allgement des oprations de commutations de
contexte : en effet lorsque le processeur commute d'un fil d'excution un autre fil et que ces deux fils
appartiennent au mme espace d'adressage, alors la commutation est trs allge puisqu'elle consiste
seulement changer de pile et de valeur de compteur ordinal, le contexte mmoire restant le mme. Un
inconvnient majeur est que l'espace d'adressage est compltement partag entre tous les fils d'excution
qui voluent au sein de celui-ci et donc les oprations de synchronisation sont plus souvent requises. .
int pthread_create (pthread_t *thread, const pthread_attr_t *attr, void * (*start_routine)(void *), void
*arg) : Cration d'un processus lger : un processus lger identifi par l'identificateur *thread est
cre et attach l'excution de la routine (*start_routine)(void *), void *arg).
La figure ci-dessous donne un exemple d'un programme dans lequel un processus lger principal (le main)
cre 4 autres processus lgers qui sont chacun rattachs la fonction void t_pthread(int i). Chaque
processus lger affiche le pid du processus auquel il appartient (l'espace d'adressage) par l'appel la
fonction getpid, puis son propre identifiant par l'appel la fonction pthread_self().
Chapitre 3 : Ordonnancement
Ce chapitre est consacr l'tude de l' ordonnancement
L'ordonnancement.
Exercices dirigs
Primitives de recouvrement Exec
Exercice 1
Exercice 2
Exercice 3
Ordonnancement>Ordonnancement de processus
Dfinition : Ordonnancement
La fonction d'ordonnancement gre le partage du processeur entre les diffrents processus en attente
pour s'excuter, c'est--dire entre les diffrents processus qui sont dans l'tat prt. L'opration d'lection
consiste allouer le processeur un processus.
Dfinition : Premption
Selon si l'opration de rquisition du processeur est autorise ou non, l'ordonnancement sera qualifi
d'ordonnancement premptif ou non premptif :
si l'ordonnancement est non premptif, la transition de l'tat lu vers l'tat prt est interdite : un
processus quitte le processeur si il a termin son excution ou si il se bloque.
si l'ordonnancement est premptif, la transition de l'tat lu vers l'tat prt est autorise : un
processus quitte le processeur si il a termin son excution , si il se bloque ou si le processeur est
rquisitionn.
sont confondus. Une fois lu par le rpartiteur, le processus s'excute. S'il quitte le processeur, sur
premption, il rintgre la file des processus prts ; au contraire, s'il quitte le processeur sur un blocage, il
intgre la file des processus bloqus. Dans les deux cas, un nouveau processus est lu (la tte de file des
processus prts). Plus prcisment, la file d'attente des processus bloqus est souvent organise en files
multiniveaux, chaque niveau correspondant une attente d'un vnement/ ressource particulier auquel
peut tre ventuellement associ une priorit. Dans le cas o des vnements se produisent
simultanment, cette priorit sert alors dterminer quel vnement doit tre trait en premier.
Dfinition : Ordonnanceur
L'ordonnanceur est un programme systme dont le rle est d'allouer le processeur un processus prt.
Systmes de traitements par lots. Le but est de maximiser le dbit du processeur ; c'est--dire le
nombre moyen de processus traits par unit de temps.
Systmes temps rel. Le but principal est d'assurer le respect des contraintes de temps lies aux
processus.
Complment :
La famine est la situation o un processus ne peut disposer d'une ressource qu'il demande (ici le processeur)
Les politiques prsentes jusqu' prsent utilisent une seule file d'attente des processus prts. On choisit
ici de dfinir plusieurs files de processus prts, chaque file correspondant un niveau de priorit ; on peut
alors avoir n files de priorits diffrentes variant de 0 n-1. Dans une file donne, tous les processus ont la
mme priorit et sont servis soit selon une politique l'anciennet sans premption , soit selon une
politique de tourniquet. Le quantum peut tre diffrent selon le niveau de priorit de la file. L' ordonnanceur
sert d'abord tous les processus de la file de priorit n, puis ceux de priorit n-1 ds que la file de niveau n
est vide et ainsi de suite...
On peut dfinir deux variantes de l'algorithme, fonction de l'volution de la priorit des processus :
les priorits des processus sont constantes tout au long de leur excution. A ce moment-l, un
processus en fin de quantum est toujours rinsr dans la mme file d'attente, celle correspondant
son niveau de priorit.
les priorits des processus voluent dynamiquement en fonction du temps de service dont a
bnfici le processus. Ainsi un processus de priorit n, la fin du quantum de la file n, si il n'a pas
termin son excution, n'est pas rinsr dans la file de priorit n, mais dans la file de priorit n-1. Et
ainsi de suite... On cherche ici minimiser les risques de famine pour les processus de faible priorit
en faisant petit petit baisser la priorit des processus de plus forte priorit.
Il existe trois politiques (classes) d' ordonnancement dans Linux qui correspondent aux politiques dfinies
dans la norme pour les systmes d'exploitation ouverts, POSIX.: deux sont dites temps rel, SCHED_FIFO
et SCHED_RR, la troisime est classique SCHED_OTHER. On peut attribuer un processus l'une de ces
trois classes grce l'appel systme : sched_setscheduler(). Comme dans les systmes Unix, la politique
d'ordonnancement SCHED_OTHER de Linux a plusieurs objectifs : avoir de bons temps de rponses,
assurer une bonne capacit de traitement et essayer de rpartir quitablement le temps CPU entre les
diffrents processus. Elle correspond ce qu'on appelle la politique "en temps partag". Chaque processus
Linux a une priorit variable qui dpend de nombreux facteurs parmi lesquels nous pouvons citer le taux
d'utilisation de la CPU et l'intensit des entres / sorties.
Il existe deux autres classes d'ordonnancement dites temps rel : SCHED_FIFO et SCHED_RR.Les
rubriques "policy" et "rt_priority" stockes dans la structure des processus Linux permettent de leur attribuer
une classe d'ordonnancement et une priorit temps rel. SCHED_FIFO et SCHED_RR ne sont pas des
classes temps rel strictes, mais relatives. Quand un processus temps rel est prt, tous les processus de
priorit infrieure sont mis de ct. Un processus de la classe SCHED_FIFO peut s'excuter jusqu' la fin
de son traitement ou jusqu' ce qu'un processus de la classe SCHED_FIFO de priorit temps rel plus forte
soit prt. Un processus de la classe SCHED_RR est interrompu la fin de son quantum de temps ou ds
qu'un processus de priorit temps rel (SCHED_FIFO ou SCHED_RR) suprieure est prt. Il existe dans
cette classe un principe de tourniquet parmi les processus de mme priorit.
Exercice
Quelques questions d'ordonnancement
Question : Soient trois processus A, B, C soumis dans cet ordre de temps d'excution respectif 4, 2, 9. Quelles propositions
sont exactes ?
Avec une politique FIFO, l'ordre d'excution est C, B puis A
Avec une politique Plus Court d'Abord, l'ordre d'excution est B, A, puis C
Avec une politique par priorit fixe, l'ordre d'excution est A, B, puis C
Rponse :
Avec une politique Plus Court d'Abord, l'ordre d'excution est B, A, puis C
Question : Le processus A de priorit 5 s'excute. Le processus B de priorit 7 se rveille. Quelles sont les propositions
justes ?
B interrompt l'excution de A car B est plus prioritaire et l'ordonnancement est premptif
A continue son excution car il est plus prioritaire et l'ordonnancement est premptif
A continue son excution car l'ordonnancement est non premptif
B interrompt l'excution de A car B est plus prioritaire et l'ordonnancement est non premptif
Rponse :
A continue son excution car il est plus prioritaire et l'ordonnancement est premptif ou A continue son
excution car l' ordonnancement est non premptif
Question : Un processus rentrant est :
Un programme excutable lanc plusieurs fois en parallle
Un processus qui a termin son excution
Un programme excutable qui modifie son code.
Rponse :
un programme excutable lanc plusieurs fois en parallle
Les oprations relatives l' ordonnancement sont ralises par le systme Unix chaque fois qu'un
processus s'apprte passer du mode systme au mode utilisateur, donc la suite de l'occurrence soit
d'une interruption, d'un appel systme ou d'une trappe. La politique d'ordonnancement du systme Unix est
une politique multiples niveaux de priorit avec quantum de temps. Le noyau recalcule la priorit d'un
processus quand il passe du mode noyau au mode utilisateur. Dans une premire approche, ce calcul
permet une extinction de priorit des processus qui s'excutent de manire permettre l'excution de tous
les processus et viter les problmes de famine
les priorits utilisateurs : ce sont les processus prempts par l' ordonnanceur au moment de leur
retour en mode utilisateur. Un processus qui se rveille quitte la priorit noyau pour rintgrer les
priorits utilisateur. La procdure de traitement de l'interruption horloge ajuste les priorits des
processus en mode utilisateur toutes les secondes et fait entrer le noyau dans son algorithme
d'ordonnancement pour viter qu'un processus monopolise l'unit centrale
les priorits noyau : ce sont des processus endormis en attente d'un vnement. La file o le
processus s'endort est fonction de l'vnement attendu et la priorit correspond une "prfrence"
sur les rveils suite un vnement. Un processus endormi en priorit noyau demeure toujours
dans la file o il s'est endormi
A chaque interruption horloge, le systme incrmente de une unit la valeur du champ "utilisation du
processeur" pour le processus lu.
Toutes les secondes c'est--dire toutes les 50 100 interruptions horloge, la valeur du
champ "utilisation du processeur" pour tous les processus est divise par deux. Puis la priorit des
processus est recalcule selon la formule suivante : priorit du processus = Utilisation du processeur
/2 + (priorit de base du niveau utilisateur) Du fait de ce recalcul des priorits; les processus se
dplacent dans les files de priorit
L'ordonnancement peut tre en ligne ou hors ligne. Un ordonnancement hors ligne tablit avant le
lancement de l'application une squence fixe d'excution des tches partir de tous les paramtres de
celles-ci. Cette squence est range dans une table et excute en ligne par un automate. Avec un
ordonnancement en ligne, la squence d'excution des tches est tablie dynamiquement par
l'ordonnanceur au cours de la vie de l'application en fonction des vnements qui surviennent (rveils des
tches, blocage, etc...). Dans ce dernier cas, l' ordonnanceur choisit le prochaine tche lire en fonction
d'un critre de priorit.
les tches priodiques : Elles correspondent aux mesures sur le procd ; elles se rveillent
les tches apriodiques : Elles correspondent aux vnements ; elles se rveillent de manire
alatoire
On distingue :
priodiques relatives : contraintes temporelles molles qui peuvent tre non respectes de temps
autre (sans chance)
Une tche priodique Tp (r0, C, R, P) est caractrise par les paramtres temporels suivants avec 0 ???C
?????R ????P :
P, sa priode
R, son dlai critique et dk, sa date d'chance qui est telle que chance d = rk + R
Une tche priodique relative n'a pas de paramtre R dfini. Une tche priodique chance sur requte
est une tche pour laquelle R = P.
On distingue :
apriodiques relatives : contraintes temporelles molles qui peuvent tre non respectes de temps
autre (sans chance)
Une tche apriodique Tap (r0, C, R) est caractrise par les paramtres temporels suivants avec 0 ???C
????R :
r, sa date de rveil
R, son dlai critique et dk, sa date d'chance qui est telle que chance d = rk + R
Nous ordonnanons un ensemble de tches priodiques (configuration). Les priorits affectes aux tches
sont soit constantes (values hors ligne et fixes par la suite), soit dynamiques (elles changent dans la vie
de la tche) L'ordonnancement d'un ensemble de tches priodiques est cyclique et la squence se rpte
de manire similaire sur ce que l'on appelle la priode d'tude. Pour un ensemble de tches dpart
simultane (t = 0), la priode d'tude est : [0, PPCM(Pi)]
L'ordonnancement Rate Monotonic (RM)
Avec cet algorithme, la priorit d'une tche est fonction de sa priode, de telle sorte que la tche de plus
petite priode est la tche la plus prioritaire. Pour un ensemble de tches chance sur requte, le test
d'acceptabilit d'une configuration de n tches est (condition suffisante) donn sur la figure qui suit. La
figure ci-dessous donne un exemple pour trois tches priodiques chance sur requte, Tp1(r0=0, C=3,
P=20), Tp2(r0=0, C=2, P=5) et Tp3(r0=0, C=2, P=10). La tche la plus prioritaire est la tche Tp2 et la
tche la moins prioritaire est la tche Tp1. La squence est dcrite sur la priode d'tude, soit l'intervalle [0,
20]. Les trois tches respectent leurs contraintes temporelles. La condition suffisante est vrifie ; on a
: 3/20 + 2/5 + 2/10 = 0.75 < 0.77
Avec cet algorithme, la priorit d'une tche est fonction de son dlai critique. La tche la plus prioritaire est
la tche de plus petit dlai critique. Cet algorithme constitue une gnralisation de l'algorithme Rate
Monotonic des tches quelconques. Une condition suffisante d'acceptabilit de tches est donn sur la
figure qui suit : La figure ci-dessous donne un exemple pour trois tches priodiques Tp1(r0=0, C=3, R=7,
P=20), Tp2(r0=0, C=2, R=4, P=5) et Tp3(r0=0, C=2, R=9, P=10). La tche la plus prioritaire est la tche
Tp2 et la tche la moins prioritaire est la tche Tp3. La condition suffisante n'est pas vrifie ; en effet on a :
3/7 + 2/4 + 2/9 = 1.14 > 1. Mais le chronogramme construit sur la priode d'tude de la configuration prouve
que l' ordonnancement des trois tches s'effectue sans faute temporelle.
La priorit maximale l'instant t est accorde la tche dont l'chance est la plus proche. La priorit des
tches est maintenant dynamique. La figure ci-dessous donne un exemple pour trois tches priodiques
Tp1(r0=0, C=3, R=7, P=20), Tp2(r0=1, C=2, R=4, P=5) et Tp3(r0=0, C=1, R=8, P=10). l'instant t=0, les
trois tches sont rveilles et la tche pour laquelle l'chance est la plus proche est la tche Tp2, qui donc
s'excute. l'instant t=2, la tche Tp2 a termin son excution et c'est maintenant la tche Tp1 qui est la
plus prioritaire. l'instant t=5, la tche Tp1 se termine et la tche Tp2 se rveille de nouveau. Mais, c'est
maintenant la tche Tp3 pour laquelle la date d'chance est t=8 qui est devenue la plus prioritaire. C'est
donc elle qui s'excute. On voit donc que contrairement ce qui se passe avec les algorithmes priorit
fixe o les priorits des tches sont calcules une fois pour toutes l'initialisation du systme, ici les
priorits des tches voluent les unes par rapport aux autres en fonction de leur urgence. Ainsi, l'instant
t=0, la tche Tp2 est plus prioritaire que la tche Tp3, mais le rap port d'urgence est invers l'instant t=5.
Ordonnancement>Ordonnancement de processus>LinuxRT
Les tches RT-Linux s'excutent dans l'espace adresse du noyau Linux au mme titre que l' ordonnanceur
temps rel. Il existe dans les versions rcentes de Linux la possibilit de charger dynamiquement des
modules dans l'espace adresse du noyau et de les "lier" au code du noyau. On parle de "modules
chargeables". En effet, pour limiter la taille du noyau Linux et librer ainsi plus de place mmoire pour
l'utilisateur, on vite de compiler le noyau avec des composants qui ne sont pas ncessaires tout
moment. Ces composants sont par exemple des gestionnaires de priphriques. Lorsqu'on a besoin
d'ajouter ou de supprimer l'un de ces composants, on n'a plus besoin de recompiler tout le noyau comme
cela tait le cas auparavant: le composant est charg ou dcharg dynamiquement l'aide d'un module. Il
faut simplement configurer le noyau avant sa compilation pour qu'il accepte de grer les modules
chargeables:
Ainsi, les tches RT-Linux sont cres l'aide d'un "module chargeable".
Comme elles sont dans l'espace adresse du noyau, on limine la charge occasionne par tout
changement de niveau de protection.
Un avantage plus pratique que performant. Dans l'espace adresse du noyau, il est permis de faire
rfrence aux objets et aux fonctions par leur nom plutt que par leur descripteur. C'est l'dition de
lien dynamique des "modules chargeables" qui rsoudra les symboles en adresse.
En conclusion cette solution, qui consiste mettre les tches temps rel dans l'espace adresse du noyau
permet d'optimiser les performances de RT-Linux. En contrepartie, cette solution com port e un risque :
Un "Bug" dans une tche temps rel peut mettre en danger tout le systme. Ce risque est renforc avec
l'utilisation du langage C, notamment les pointeurs. La seule garantie ce niveau est la rigueur du
programmeur.
Le mode opratoire consiste en gnral crer toutes les tches lors du chargement du module (fonction
init_module()) et les supprimer uniquement au dchargement (fonction cleanup_module). La structure
"rt_task_struct" (ou RT_TASK par " typedef struct rt_task_struct RT_TASK ;") des tches temps rel dans
RT-Linux est la suivante :
int magic ;
RTIME resume_time;
struct rt_task_struct *next; Chanage simple de l'ensemble des tches cres dans l'application.
RTL_FPU_CONTEXT fpu_regs ;
Les fonctions de gestion des tches temps rel dans RT-Linux sont listes ci-dessous. Les tats voqus
sont prsents dans les figures qui suivent.
int rt_task_init (RT_TASK *task, void (fn)(int data), int data, int stack_size, int priority) : Cration
d'une tche RT_Linux pointe par "task". Il y a rservation d'espace mmoire dans le noyau
(kmalloc) hauteur de stack_size. "fn" est le code excut par la tche. "data" est le paramtre
pass "fn" au dmarrage. "priority" est la priorit de la tche dont la valeur peut aller de 1, la plus
forte priorit, "RT_LOWEST_PRIORITY" (1000000), la plus faible.
int rt_task_delete (RT_TASK *task) : Suppression logique d'une tche : Pas de libration de l'espace
mmoire "kfree" ce niveau. Son tat passe RT_TASK_ZOMBIE.
int rtl_delete_zombies (void) : Suppression relle de l'ensemble des tches logiquement supprimes
par "rt_task_delete". "kfree" est effectu ici.
int rt_task_make_periodic (RT_TASK *task, RTIME start_time, RTIME period) : Rend la tche "*task"
priodique avec une priode "period" partir de la premire date de rveil "start_time".
int rt_task_wait (void) : Suspension de la tche priodique jusqu' sa prochaine date de rveil. Elle
met la tche qui l'a appele dans l'tat RT_TASK_DELAYED. En gnral toute tche priodique
indique par cette fonction qu'elle a termin son traitement : ce doit donc tre la dernire instruction
du code de la tche. Les tches apriodiques ne s'en servent pas car l'tat RT_TASK_DELAYED ne
leur correspond pas.
int rt_task_wakeup (RT_TASK *task) : Dclenche la tche "task", c'est--dire la met dans l'tat prt
RT_TASK_READY.
int rt_task_suspend (RT_TASK *task) : Inactive la tche "task", c'est--dire la met dans l'tat
RT_TASK_DORMANT. En gnral, cette routine est utilise par les tches apriodiques la place
de rt_task_wait pour signaler la fin de leur traitement. Une tche priodique ou apriodique peut tre
Les figures jointes donnent les graphes d'tat des tches priodiques et apriodiques pour Rt-Linux
Tches priodiques.
Tches apriodiques.
La dclaration des tches priodiques et apriodiques dans RT-Linux se fait l'aide d'un module noyau
dont nous prsentons le squelette ci-dessous :
On suppose que ce module s'appelle RT_PROCESS.C et qu'il va crer deux tches : T1 et T2. T1 est une
tche priodique et T2 apriodique.
Le module s'installe dans le noyau par : insmod RT_PROCESS.O On le dcharge du noyau par : rmmod
RT_PROCESS
#define MODULE
#include <linux/module.h>
#include <linux/kernel.h>
#include <linux/version.h>
#include <linux/errno.h>
#include <linux/arch/i386/kernel/irq.h>
#define NTASKS 2
RT_TASK tasks[NTASKS]
Fonction 1
/*-- Fonction 1 = traitement de la tche priodique 1 --*/
Code de la fonction excute par la tche priodique 1; l'affectation de cette fonction la tche 1 est faite par
rt_task_init (Cf. plus bas). Toute tche priodique doit terminer son traitement par l'appel la fonction
rt_task_wait(). Cette routine met la tche dans l'tat RT_TASK_DELAYED, rinitialise la prochaine date de
rveil et fait appel l'ordonnanceur rtl_schedule().
void f_tche_1(int par1)
{
rt_task_wait() ;
}
Fonction 2
/*-- Fonction 2 = traitement de la tche apriodique 2 --*/
Code de la fonction excute par la tche apriodique 2. Toute tche apriodique doit
terminer son traitement par l'appel la fonction rt_task_suspend() sur elle-mme. Cette
routine met la tche dans l'tat RT_TASK_DORMANT et fait appel l'ordonnanceur
rtl_schedule().
Interruption Tache 2
/*-- Gestionnaire de l'interruption associe la tche 2 --*/
La tche apriodique 2 est associe un niveau d'interruption dont l'apparition active
le gestionnaire T2_Handler(). L'association entre le numro d'interruption et le
gestionnaire sera vue plus bas. Ce gestionnaire a au moins pour rle de rveiller la
tche apriodique concerne. Cette fonction met la tche dans l'tat RT_TASK_READY et
appelle l'ordonnanceur.
int T2_handler()
{
rt_task_wakeup(&(tasks[2])) ;
}
int init_module(void)
{
rt_task_delete(&(tasks[0])) ;
rt_task_delete(&(tasks[1])) ;
free_Rtirq(2) ;
1.5.2 L'ordonnancement.
Dans la version 1.2 de RT-Linux, prsente sur le site officiel du systme, trois ordonnanceur s premptifs
ont dj t installs :
Un ordonnanceur " priorit fixe" : il s'appuie sur le paramtre "priority" dfini au niveau de chacune
des tches. Lorsque plusieurs tches sont prtes, celle qui a la priorit la plus forte (la valeur la plus
petite) est lue. Une tche qui se rveille (RT_TASK_READY) pourra prempter la tche active si sa
priorit est plus forte.
Un ordonnanceur "EDF" ("Earliest Deadline First") : Il utilise l'urgence comme critre de slection de
la prochaine tche lire.
Ordonnancement>Exercices dirigs
2 Exercices dirigs
2.1 Primitives de recouvrement Exec
Prambule : rappel du format des primitives de la famille exec
2.1.1 Exercice 1
Ecrivez un programme o un processus cre un fils, ce fils excutant la commande ls l :. Le pre attend la
fin de son fils. Par ailleurs, chacun des processus affiche son pid ; le fils affiche le pid de son pre et le pre
affiche le pid de son fils.
2.1.2 Exercice 2
On reprend le programme essai.c de l'exercice 4 de l'ed 2, dont le code est redonn ci-aprs.
On souhaite modifier ce code de manire remplacer la partie fils par un appel une primitive exec.
Donnez la modification du programme essai.c rsultante et le code du programme lire_fichier.c excut par
le fils.
2.1.3 Exercice 3
On souhaite crire un pseudo-code correspondant lalgorithme suivi par le shell. les tapes (simplifies)
du shell sont les suivantes :
Le shell lit une ligne de commande sur son entre standard et l'interprte selon un ensemble de
rgles fixes (on ne s'intresse pas au dtail de cette analyse)
les commandes en premier plan qui correspondent des processus pouvant lire et crire sur le
terminal.
les commandes en arrire plan qui sont "dtaches" du terminal, c'est--dire qui ne peuvent plus lire
et crire sur celui-ci.
Lorsqu'il traite une commande en premier plan, le shell attend la fin de celle-ci avant de prendre en compte
une nouvelle commande. Au contraire lorsque le shell traite une commande en second plan, il n'attend pas
la fin de celle-ci pour prendre en compte une nouvelle commande.
Ecrivez la boucle d'excution du shell. Voir la correction
Un tube (pipe en anglais) est un fichier particulier. Il existe deux types de tube:
Le fichier tube est un outil de communication unidirectionnel qui est gr par le noyau comme une file de
donnes FIFO. Les lectures sont destructives car tout caractre lu est extrait de la file d'attente. Deux
nombres im port ants caractrisent le tube:
le nombre de lecteurs : si ce nombre est nul, les lectures ne sont pas autorises dans tube.
le nombre d'crivains : si ce nombre est nul, . il est quivalent une fin de fichier.
Un tube anonyme encore appeler tube ordinaire est associ un nud du systme de gestion de fichiers,
mais il reprsente un fichier qui n'a pas de nom. Ce fichier est supprim ds qu'il n'y a plus de processus
pour l'utiliser. Un tube anonyme n'ayant pas de nom, il ne peut tre connu que par la possession des
descripteurs qui lui donnent accs. La connaissance de ces descripteurs par un processus s'effectue de
deux moyens:
Le processus connat les descripteurs associs au tube car il a hrit de ces descripteurs. On voit
donc que seuls les processus de la descendance du crateur du tube dont les anctres connaissent
eux-mmes les descripteurs sont habilits utiliser le tube. Un tube anonyme permet donc la
communication entre des processus de mme filiation pre-fils ou frres s'excutant sur une mme
machine. Il faut noter galement que les tubes ne prservent pas la limite des messages posts
dans le tube.
La primitive pipe (p) o le paramtre p est un tableau de deux entiers correspondant aux deux descripteurs
d'accs au tube permet la cration du tube anonyme p, avec p[0] comme descripteurs en lecture et p[1]
comme descripteur en criture.
si le tube n'est pas vide, et contient N caractres, le nombre de caractres effectivement lus, nb_lu
est gal min (N, nb).
Si le tube est vide et que le nombre d'crivains sur le tube est nul, la fin de fichier est atteinte. Nb_lu
= 0.
Si le tube est vide et que le nombre d'crivains sur le tube n'est pas nul, le processus est bloqu
jusqu' ce le tube ne soit plus vite (un crivain a crit). En effet, par dfaut, l'opration de lecture sur
un tube vide est bloquante. Il est possible de rendre la lecture non bloquante, mais nous n'abordons
pas cette option dans le cours.
tampon buf et nb_lu contient le nombre de caractres effectivement crits. L'opration d'criture rpond la
smantique suivante :
Si le nombre de lecteurs dans le tube est nul, une erreur est leve par le systme (signal SIGPIPE
lev) et le processus crivain est termin. En effet, le systme considre que si il n'y a plus de
lecteurs dans le tube, il est inutile d'y crire puisque les caractres crits ne pourront jamais tre lus.
Si le nombre de lecteurs dans le tube n'est pas nul, le retour de la primitive n'a lieu que lorsque les
nb caractres ont effectivement t crits. En effet par dfaut, l'criture sur le tube est bloquante. Il
est possible de rendre l'criture non bloquante, mais nous n'abordons pas cette option dans le
cours.
int pip[2];
/* descripteur de pipe */
{ main()
switch (fork())
case 0: fils();
default: pere();}
/* lecture pipe */
La cration du tube a lieu avant la cration du processus fils, afin que celui-ci puisse hriter des
descripteurs du tube et donc l'utiliser pour communiquer avec son pre.
Chacun des processus, le pre et le fils, ferme le descripteur qui lui est inutile : ainsi le pre ferme
pip[0], le descripteur en lecture puisqu'il est crivain sur le tube. Inversement, le fils ferme pip[1], le
descripteur en criture puisqu'il est lecture sur le tube.
Outils de communication centraliss entre processus>Les tubes anomymes>Les files de message ou MSQ
Nous prsentons prsent un second outil de communication entre processus Unix : les files de messages
ou MSQ.
Les files de messages UNIX constitue un autre mcanisme de communication entre processus UNIX
placs sur une mme machine. la diffrence du mcanisme des tubes, le mcanisme des files de
message est externe au systme de gestion de fichiers du systme UNIX. Le systme gre une table
spcifique pour cet outil, qui est identifi par une cl de type key_t. Cette cl est une valeur numrique et
tout processus ayant connaissance de la clef peut utiliser la file de messages pour envoyer ou recevoir des
messages. On voit donc qu' la diffrence des tubes, la file de message peut tre utilise par des
processus non ncessairement affilis entre eux. La file de message constitue l'implmentation UNIX du
concept de botes aux lettres. Il offre deux proprits : la prservation de la limite des messages ce qui est
diffrent des tubes, et la possibilit de multiplexage c'est--dire qu'une seule file peut servir pour plusieurs
destinataires. Les messages posts dans une file de messages sont obligatoirement constitus de deux
parties:
Un type qui est un entier long. Ce type est utile pour raliser le multiplexage.
Les donnes
Un exemple de messages
struct message {
float n1 ;
int tab[4];
Le premier paramtre de la primitive, cl, permet de spcifier l'identifiant de la MSQ. Le second paramtre,
option, est une combinaison des constantes IPC_CREAT, IPC_EXCL et des droits d'accs associs la
file. La primitive en cas de succs retourne un identifiant interne au programme msgid. Plus prcisment, la
cration d'une file est obtenue grce aux combinaisons suivantes :
Positionnement de IPC_CREAT et de IPC_EXCL : cration d'une nouvelle file de messages avec les
droits spcifis dans option, condition que la file ayant pour rfrence cl n'existe pas dj. Sinon,
il y a erreur
Positionnement de IPC_CREAT seul: cration d'une nouvelle file de messages avec les droits
spcifis dans option, si celle-ci n'existe pas
#define CLE 17
int msqid;
#define CLE 17
int msqid;
Le multiplexage utilise le paramtre type des messages. Les interprtations possibles du paramtre montre
spcifi dans la primitive msgrcv sont les suivantes :
Si montre > 0 alors le message le plus vieux dont le type est gal montre est extrait.
Si montre = 0 alors le message le plus vieux, quel que soit son type,, est extrait.
Si montre < 0, alors le message le plus vieux de type le plus petit infrieur ou gal |montre| est
extrait.
#include <sys/types;h>
#include <ipc.h>
#include <msqg.h>
#define CLE 17
main()
msgp.mtype=12; /* le type */
strcpy(msgp.mtext,msg); /* le message */
exit(0); }
#include <sys/types;h>
#include <ipc.h>
#include <msqg.h>
#define CLE 17
main()
/* rcup msqid */
msgp.text[x] = 0;
exit(0); }
2 Exercices dirigs
2.1 Primitives d'utilisation des tubes
Prambule : rappel du format des primitives permettant l'utilisation des tubes
2.1.1 Exercice 1
Ecrivez un programme o un pre cre un fils.
Le fils et le pre communiquent par l'intermdiaire de deux tubes pip1 et pip2. Le pre crit dans pip1, qui
est lu par le fils, le message "hello"et attend sur pip2 une rponse du fils. Le fils lit dans pip1 le message du
pre et lui renvoie la chaine"bonjour" dans pip2.
2.1.2 Exercice 2
Programmez la commande ps -e | wc -l qui compte le nombre de lignes de la commande ps -e, laquelle
affiche les caractristiques de tous les processus . Voir la correction
Dans un systme multiprogramm, trois problmes sont rsoudre vis--vis de la mmoire centrale :
Il faut protger les espaces d'adressage des processus les uns vis--vis des autres
pour la premire famille, un programme est un ensemble de mots contigus inscable. L'espace
d'adressage du processus est linaire. On trouve ici les mthodes d'allocations en partitions
variables que nous allons tudier en premier.
pour la seconde famille, un programme est un ensemble de mots contigus scable, c'est--dire que
le programme peut tre divis en plus petits morceaux, chaque morceau tant lui-mme un
ensemble de mots contigus. Chaque morceau peut alors tre allou de manire indpendante. On
trouve ici les mcanismes de segmentation et de pagination..
Dans cette mthode d'allocation, le programme est considr comme un espace d'adressage inscable. La
mmoire physique est dcoupe en zones disjointes de taille variable, adaptables la taille des
programmes : ces zones sont appels des partitions . Initialement, la mmoire centrale est uniquement
occupe par les procdures du systme d'exploitation. La zone rserve aux programmes utilisateurs est
vide et constitue une unique zone libre. Au fur et mesure des chargements de programmes, la zone libre
va se rduire et l'instant t, elle n'occupe plus qu'une fraction de la mmoire centrale (mmoire basse).
Lorsque l'excution des programmes se termine (ici P2 et P4), la mmoire est libre : il se cre alors pour
chaque zone libre, une nouvelle zone libre. Finalement, la mmoire centrale se retrouve constitue d'une
ensemble de zones alloues et de zones libres rparties dans toute la mmoire. Les zones libres sont
organises en une liste chane de zones libres repre par une tte de liste.
Dans ce contexte, charger un nouveau programme consiste trouver une zone libre suffisamment grande
pour pouvoir y placer le programme. Une premire stratgie pour trouver et choisir cette zone libre est de
prendre la premire zone libre suffisamment grande trouve au cours du parcours de la mmoire (parcours
de la liste chane) : c'est la stratgie First Fit. Ici, donc, le programme 7 est place dans la zone libre de
120K ce qui cre une nouvelle zone libre rsiduelle de 40K.
Une seconde stratgie pour trouver et choisir cette zone libre est de prendre la zone libre dont la taille est la
plus proche de celle du programme allouer, donc celle engendrant le plus petit trou rsiduel : c'est la
stratgie Best Fit. Ici, donc, le programme 7 est place dans la zone libre de 100K ce qui cre une nouvelle
zone libre rsiduelle de 20K.
Au fur et mesure des oprations d'allocations et de dsallocations, la mmoire centrale devient compose
d'un ensemble de zones occupes et de zones libres parpilles dans toute l'tendue de la mmoire
centrale. Ces zones libres peuvent devenir trop petites pour permettre l'allocation de nouveaux
programmes (problme de fragmentation de la mmoire). Par exemple, sur la figure 5, la mmoire centrale
com port e 3 zones libres mais aucune d'elles n'est assez grande pour contenir un programme 8 de 180K.
Pourtant l'ensemble des 3 zones libres forme un espace de 120 + 20 + 150 = 350K suffisant pour le
programme 8. Pour permettre l'allocation du programme 8, il faut donc runir l'ensemble des zones libres
pour ne former plus qu'une zone libre suffisante : c'est l'opration de compactage de la mmoire centrale .
Dfinition : Fragmentation
Allocations et dsallocations successives des programmes en mmoire centrale crent des trous, c'est-dire des zones libres de taille insuffisante en mmoire centrale : la mmoire centrale est alors fragmente.
Le compactage de la mmoire centrale est une opration coteuse. Il n'existe pas d'algorithme simple
permettant d'optimiser le nombre d'octets dplacs lors d'une telle opration. Par ailleurs elle suppose une
translation des adresses dynamiques. Dans le mcanisme de chargement dynamique, les adresses du
programme charg en mmoire centrale ne sont pas translates de la valeur de l'adresse d'implantation au
moment du chargement, mais seulement au moment de l'excution. L'adresse d'implantation du
programme est conserve dans un registre processeur - le registre de translation - .Ainsi lors de l'opration
L'allocation en mmoire centrale d'un seul tenant souffre donc de deux dfauts principaux :
Elle ncessite une opration de compactage de la mmoire qui est une opration trs coteuse
Une solution est de diviser le programme en portions de taille fixe et gales l'unit d'allocation de la
mmoire centrale. On dit alors que le programme est dcoup en pages. Le mcanisme d'allocation
associ s'appelle la pagination.
1.3 La pagination
1.3.1 Principe
Dans le mcanisme de pagination, l'espace d'adressage du programme est dcoup en morceaux linaires
de mme de taille : la page.
L'espace de la mmoire physique est lui-mme dcoup en morceaux linaires de mme taille : la case.
La taille d'une case est gale la taille d'une page. Dans ce contexte, charger un programme en mmoire
centrale consiste placer les pages dans n'importe quelle case disponible.
d'adressage sont des adresses pagines, c'est--dire qu'un octet est repr par son emplacement
relativement au dbut de la page laquelle il appartient. L'adresse d'un octet est donc form par le couple
<nde page laquelle appartient l'octet, dplacement relativement au dbut de cette page >.
Les octets dans la mmoire physique eux ne peuvent tre adresss au niveau matriel que par leur
adresse physique. Pour toute opration concernant la mmoire, il faut donc convertir l'adresse pagine
gnre au niveau du processeur en une adresse physique quivalente. L'adresse physique d'un octet
s'obtient partir de son adresse virtuelle en remplaant le numro de page de l'adresse virtuelle par
l'adresse physique d'implantation de la case contenant la page et en ajoutant cette adresse physique
d'implantation le dplacement de l'octet dans la page. C'est la MMU (Memory Management Unit) qui est
charge de faire cette conversion. Il faut donc savoir pour toute page, dans quelle case de la mmoire
centrale celle-ci a t place : cette correspondance s'effectue grce une structure particulire appele la
table de pages.
Dans une premire approche, la table des pages est une table contenant autant d'entres que de pages
dans l'espace d'adressage d'un processus. Chaque processus a sa propre table des pages. Chaque entre
de la table est un couple < nde page, nde case physique dans laquelle la page est charge >. Dans
l'exemple de la figure ci-dessous, le processus a 4 pages dans son espace d'adressage, donc la table des
pages a 4 entres. Chaque entre tablit l'quivalence nde page, nde case relativement au schma de la
mmoire centrale.
Puisque chaque processus dispose de sa propre table des pages, chaque opration de commutation de
contexte se traduit galement par un changement de table des pages, de manire ce que la "table active"
corresponde celle du processus lu. Deux approches existent pour la ralisation de la table des pages :
l'aide de registres du processeur : la table des pages est sauvegarde avec le contexte processeur
dans le PCB du processus.
placer les tables des pages en mmoire centrale : la table active est repre par un registre spcial
du processeur le PTBR. Chaque processus sauvegarde dans son PCB la valeur de PTBR
correspondant sa table.
un premier accs permet de lire l'entre de la table des pages correspondant la page cherche :
c'est l'opration (p + adresse table) qui dlivre une adresse physique de page dans la mmoire
centrale.
un second accs est ncessaire la lecture ou l'criture de l'octet recherch l'adresse <adresse
physique > + d.
Pour acclrer les accs la mmoire centrale et compenser le cot li la pagination, un cache associatif
est plac en amont de la mmoire centrale. Ce cache associatif contient les couples <nde page, adresse
d'implantation de la case> les plus rcemment accds. Lorsque la MMU doit effectuer une conversion
d'adresse pagine, elle cherche tout d'abord dans le cache si la correspondance nde page, adresse
d'implantation de la case recherche n'est pas dans le cache. Si non, elle accde la table des pages en
mmoire centrale et place le nouveau couple rfrenc dans le cache. Si oui, elle effectue directement la
conversion : un seul accs mmoire est alors ncessaire pour accder l'octet recherch.
Fig 9 : Traduction d'une adresse pagine en adresse physique avec ajout d'un cache
associatif
1.4 La segmentation
1.4.1 Principe
La pagination constitue un dcoupage de l'espace d'adressage du processus qui ne correspond pas
l'image que le programmeur a de son programme. Pour le programmeur, un programme est gnralement
constitu des donnes manipules par ce programme, d'un programme principal, de procdures spares
et d'une pile d'excution. La segmentation est un dcoupage de l'espace d'adressage qui cherche
conserver cette vue du programmeur. Ainsi, lors de la compilation, le compilateur associe un segment
chaque morceau du programme compil. Un segment est un ensemble d'emplacements mmoire
conscutifs non scable. A la diffrence des pages, les segments d'un mme espace d'adressage peuvent
tre de taille diffrente. D''une manire gnrale, on trouvera un segment de code, un segment de donnes
et un segment de pile.
Pour toute opration concernant la mmoire, il faut ici encore convertir l'adresse segmente gnre au
niveau du processeur en une adresse physique quivalente. L'adresse physique d'un octet s'obtient partir
de son adresse segmente en remplaant le numro de segment de l'adresse segmente par l'adresse
physique d'implantation du segment en mmoire centrale et en ajoutant cette adresse physique
d'implantation, le dplacement de l'octet dans le segment. C'est la MMU (Memory Management Unit) qui
est charge de faire cette conversion. Il faut donc connaitre pour tout segment, l'adresse d'implantation
dans la mmoire centrale du segment : cette correspondance s'effectue grce une structure particulire
appele la table des segments .
Dans une premire approche, la table des segments est une table contenant autant d'entres que de
segments dans l'espace d'adressage d'un processus. Chaque entre de la table est un couple < nde
segment, adresse d'implantation du segment >. Ici le processus a 4 segments dans son espace
d'adressage, donc la table des segments a 4 entres. Chaque entre tablit l'quivalence nde segment,
adresse d'implantation du segment relativement au schma de la mmoire centrale.
Plus prcisment la conversion d'une adresse segmente <s,d> avec s, numro de segment et d
dplacement dans le segment suit les tapes suivantes, en mettant en jeu un registre processeur qui
contient en partie haute, le nombre maximal de segments de l'espace d'adressage couramment actif (LT) et
en partie basse l'adresse de la table des segments de l'espace d'adressage couramment actif.
s est compar LT. Si s >= LT alors il y a erreur : le segment adress n'existe pas.
sinon s est additionn l'adresse de la table des segments de manire indexer l'entre de la table
concernant le segment s. On rcupre alors l'adresse d'implantation du segment s en mmoire
centrale (adr dbut)
Une information sur la taille du segment peut tre conserve dans la table : d est alors compar
cette information. Si d est suprieure l'information taille, alors une erreur est gnre car le
dplacement est en dehors du segment. Sinon , le dplacement d est ajout l'adresse
d'implantation du segment pour gnrer l'adresse physique.
L'allocation des segments en mmoire centrale s'effectue selon le mme principe que pour l'allocation de
partitions variables. Pour allouer un segment de taille S, il faut trouver une zone libre dont la taille soit au
moins gale la taille du segment S. Elle engendre les mmes problmes de fragmentation . Une solution,
trs largement rpandue, est de combiner pagination et segmentation, c'est--dire de paginer les
segments.
Dans la cas o pagination et segmentation sont simultanment employes, une table des segments est
dfinie pour chaque segment de l'espace d'adressage du processus. Chaque segment est son tour
pagin, il existe donc une table des pages pour chaque segment. Ainsi une entre de la table des segment
ne contient plus l'adresse du segment correspondant en mmoire physique mais contient l'adresse de la
table des pages en mmoire physique pour ce segment. L'adresse d'un octet dans l'espace d'adressage du
processus est un couple <s,d>, le dplacement d tant son tour interprt comme un couple numro de
page p, dplacement d' dans cette page. Les mcanismes de traduction d'adresses vus dans les
paragraphes prcdents se superposent l'un l'autre.
2 Exercices dirigs
2.1 Primitives d'utilisation des messages queues
Prambule : rappel du format des primitives permettant l'utilisation des messages queues
2.1.1 Exercice 1
On considre deux processus A et B communiquant via une MSQ de cl 17. Le processus A cre la MSQ,
puis crit le message "ceci est un message" destination du processus B. Le processus B lit le message et
l'afiche, puis dtruit la MSQ.
Ecrivez les programmes correspondants.
2.1.2 Exercice 2
On considre l'architecture logicielle suivante :
A - Le serveur attend des questions de la part de clients. Une question correspond la demande d'envoi
de n nombres tirs au sort par le serveur, n tant un nombre alatoire compris entre 1 et NMAX tir au sort
par le client et envoy par le client au serveur.
Ecrivez les programmes correspondants. On vous donne les fonctions suivantes :
Un appel la fonction
#include <stdlib.h>
Int rand(void); renvoie un nombre pseudo-alatoire dans l'intervalle [O RAND-MAX]. Il est ncessaire
d'initialiser le gnrateur par un appel la fonction
#include <stdlib.h> void srand (unsigned int val) Cette fonction peut tre appele avec comme paramtre
soit le numro du processus srand (unsigned int) getpid ()) soit la date courante srand (unsigned int) time
(NULL).
B - On souhaite remplacer la message queue par des tubes anonymes. Comment faut-il modifier
l'architecture logicielle prcdente ?
Donnez les grandes tapes du code en considrant seulement deux clients.
Voir la correction
Exercice 2 : Pagination
Question 1
Question 2
Question 3
Question 4
Question 5
Lorsque l'on regarde l'excution d'un processus, on s'aperoit qu' un instant donn le processus n'accde
qu' une partie de son espace d'adressage (par exemple la page de code couramment excute par le
processeur et la page de donnes correspondante). Les autres pages de l'espace d'adressage ne sont pas
accdes et sont donc inutiles en mmoire centrale. Une solution pour pouvoir charger plus de
programmes dans la mmoire centrale est donc de ne charger pour chaque programme que les pages
couramment utilises. Ici par exemple, seules les pages 1,2 et 4 du processus 1 sont charges ainsi que la
page 3 du processus 2 et les pages 1,2,3 du programme 3.
Puisque les pages d'un espace d'adressage de processus ne sont pas toutes charges en mmoire
centrale, il faut que le processeur puisse dtecter leur ventuelle absence lorsqu'il cherche effectuer une
conversion d'adresse pagine vers l'adresse physique. Chaque entre de la table des pages com port e
alors un champ supplmentaire, le bit Validation V, qui est vrai (1 ou V) si la page est effectivement
prsente en mmoire centrale.
La figure 2 montre les valeurs des bits de validation pour les tables des pages des trois processus 1, 2 et 3,
en tenant compte des chargements de leurs pages en mmoire centrale. Ainsi pour le processus 1, la page
1 est charge dans la case 2, le bit de validation est vrai (V). La page 2 est charge dans la case 4, le bit
de validation est vrai. Par contre la page 3 n'est pas prsente en mmoire centrale et donc le bit de
validation est faux (I pour Invalide) : dans ce cas, le champs n de case n'a pas de signification.
charge dans une case et donc la conversion ne peut tre ralise. Il se produit alors un dfaut de page :
c'est un droutement qui oblige le processeur suspendre l'excution du programme en cours pour lancer
une entre/sortie qui charge la page manquante en mmoire centrale dans une case libre.
Les figures 3 et 4 illustrent le mcanisme de dfaut de page. Le processus cherche convertir l'adresse
logique <p,d>. Il accde donc l'entre de sa table des pages correspondant l'entre de la page p, et
teste la valeur du bit de validation. Celui-ci est faux (I) indiquant ainsi que la page n'est pas prsente.
Automatiquement, puisque la traduction vers l'adresse physique ne peut pas tre faite, le systme lve un
dfaut de page, qui entraine une entre/sortie pour charger la page manquante en mmoire centrale. Le
dfaut de page charge la page manquante dans une case libre de la mmoire centrale, puis le systme met
jour l'entre de la table des pages correspondant la page p : le bit de validation passe vrai et le
numro de case physique contenant la page p est renseign. Enfin, la traduction vers l'adresse physique
reprend.
Lors d'un dfaut de page, la page manquante est charge dans une case libre. La totalit des cases de la
mmoire centrale peut tre occupe : il faut donc librer une case de la mmoire physique globalement
(parmi l'ensemble des cases) ou localement (parmi les cases occupes par les pages du processus en
dfaut). Le systme d'exploitation utilise un algorithme pour choisir une case librer. Les deux principaux
algorithmes sont :
1.3.3 Complment sur le format d'une entre de la table des pages d'un
processus.
Finalement, une entre de la table des pages d'un processus comprendra souvent les champs suivants :
le bit V de validation pour indiquer si la page est prsente ou non en mmoire centrale
le champ A pour Accs qui contient les informations pour l'algorithme de remplacement de pages.
Par exemple, pour l'algorithme FIFO, ce champ contiendra la date de chargement de la page; pour
l'algorithme LRU, la date du dernier accs la page.
Le bit M pour Modification permet de savoir si la page a t modifie lors de sa prsence en
mmoire centrale. Si oui, il faudra rcrire cette page sur le disque avant de l'craser par une
nouvelle page.
Le champ D pour Droits, qui contient la dfinition des droits d'accs la page en lecture / criture /
excution.
Le champ n de case physique, pour la conversion vers l'adresse physique.
Nous donnons ci-dessous le schma gnral de l'algorithme suivi par le systme d'exploitation lors de la
conversion d'une adresse logique vers une adresse physique. Une daresse est un couple constitu des
champs page et dplacement.
Procedure Conversion (in adresse_virtuelle, out adresse_physique)
debut
Si (entre.V = FAUX)
alors
-- defaut de page
Charger_page(adresse_virtuelle.page, adresse_case);
entre.V = vrai;
fsi
return (adresse_physique);
fin
debut
Si (Trouver_case_Libre( ) = FAUX)
alors
si (page_victime.M = Vrai)
alors
Ecrire_Disque(page_victime)
Fsi
Fsi
Lire_Disque(case__liberer, page)
return (case__liberer)
fin
Dfinition : Ecroulement
On appelle Ecroulement, une haute activit de pagination. Un processus s'croule lorsqu'il passe plus de
temps paginer qu' s'excuter.
La figure 7 illustre ce phnomne. Elle reprsente le taux d'utilisation du processeur en fonction du degr
de multiprogrammation , c'est--dire en fonction du nombre de processus chargs en mmoire centrale.
Sur cette figure, on voit clairement que l'utilisation du processeur augmente jusqu' un certain seuil au del
duquel cette utilisation chute compltement : cette chute correspond une trop grande activit de
pagination des processus qui passent le plus clair de leur temps en entre/sortie car ils n'ont pas
suffisamment de cases mmoires disponibles pour contenir les pages relatives leur espace de travail
courant.
3 Exercices dirigs
3.1 Exercices sur la mmoire virtuelle
3.1.1 Exercice 1 : Gestion d'une mmoire par zones
On se propose de dfinir des algorithmes de gestion par zones d'une mmoire. Cette mmoire est gre
par un allocateur qui utilise les deux procdures ALLOUER_ZONE(T,A) et LIBERER_ZONE(T,A) o T est
la taille de la zone et A l'adresse d'implantation en mmoire de la zone. L'allocateur entretient une liste des
zones non utilises de la mmoire (appeles zones libres). Chaque zone libre com port e un en-tte de
deux mots qui contient la taille de la zone et l'adresse de la zone libre suivante dans la liste. On suppose
que cette liste est ordonne suivant les adresses croissantes d'implantation en mmoire de ces zones.
Pour que l'allocateur puisse allouer une zone libre, il faut videmment que cette zone soit de taille
suprieure ou gale celle qui est requise. D'autre part, quand la taille de la zone libre est suprieure la
taille demande, le rsidu est rcupr et forme une nouvelle zone libre.
3.1.1.1 Question 1
Reprsenter sous forme d'un schma la structure de la liste des zones libres en mmoire.
3.1.1.2 Question 2
On suppose que l'algorithme d'allocation est "first fit", c'est--dire que la zone libre choisie est celle qui
apparat la premire dans la liste. Ecrire la procdure ALLOUER_ZONE.
3.1.1.3 Question 3
On suppose que l'algorithme d'allocation est "best fit", c'est--dire que la zone libre choisie est celle dont la
taille est la plus proche de celle demande. Ecrire la procdure ALLOUER ZONE.
3.1.1.4 Question 4
A un instant t, la configuration de la mmoire est la suivante et on souhaite encore excuter le processus
P5 de taille gale 500K. Que convient-il de faire ?
3.1.1.5 Question 5
On impose qu'il n'y ait pas de zones contigus en mmoire. Lorsqu'une zone est libre et qu'il s'avre
qu'elle est contige une zone libre, elles sont fusionnes pour ne plus en former qu'une.
Ecrire la procdure LIBERER_ZONE.
3.1.2.2 Question 2
Dcrivez sous forme algorithmique les oprations ralises lors d'un accs une adresse virtuelle de type
<n de page, dplacement dans la page>
3.1.2.3 Question 3
Soit la liste des pages virtuelles rfrences aux instants t = 1, 2,..., 11
3 5 6 8 3 9 6 12 3 6 10
La mmoire centrale est compose de 4 cases initialement vides. Reprsentez l'volution de la mmoire
centrale au fur et mesure des accs pour chacune des deux politiques de remplacement de pages FIFO
et LRU. Notez les dfauts de pages ventuels.
3.1.2.4 Question 4
Dcrivez le principe de la pagination applique la segmentation de la mmoire. Comment s'effectue la
traduction d'une adresse virtuelle ?
3.1.2.5 Question 5
On considre une mmoire segmente pagine pour laquelle les cases en mmoire centrale sont de 4Ko.
La mmoire centrale compte au total 15 cases numrotes de 1 15. Dans ce contexte, on considre deux
processus A et B.
Le processus A a un espace d'adressage compos de trois segments S1A, S2A et S3A qui sont
respectivement de 8 Ko, 12 Ko et 4 Ko.
Le processus B a un espace d'adressage compos de deux segments S1B et S2B qui sont
respectivement de 16 Ko et 8 Ko. Pour le processus A, seules les pages 1 et 2 du segment S1A, la
page 2 du segment S2A et la page 1 du segment S3A sont charges en mmoire centrale
respectivement dans les cases 4, 5, 10, 6. Pour le processus B, seules les pages 2 et 3 du segment
S1B et la page 1 du segment S2B sont charges en mmoire centrale respectivement dans les
cases 11, 2 et 15.
Reprsentez sur un dessin les structures alloues (table des segments, tables des pages) et la mmoire
centrale correspondant l'allocation dcrite. Voir la correction
Chapitre 7 : Interblocage
Ce chapitre est consacr l'tude de la synchronisation entre les processus . Il aborde tout d'abord la notion d interblocage .
Cours : Interblocage
Dfinitions des situations dinterblocage, de famine et de coalition
Conditions ncessaires lobtention dun interblocage
Les diffrentes mthodes de traitement des interblocages
Les politiques de gurison
Les politiques de prvention
Les politiques dvitement
La politique de lautruche
Table des figures
Interblocage>Interblocage
1 Cours : Interblocage
Dans un systme multiprocessus, l' ordonnanceur alloue le processeur chaque processus selon un
algorithme d' ordonnancement : la politique choisie conditionne l'ordre d'excution des processus et trs
souvent, les excutions des processus s'entrelacent les unes avec les autres. Chaque processus dispose
d'un espace d'adressage propre et indpendant, protg par rap port aux autres processus. Malgr tout, les
processus peuvent avoir besoin de communiquer entre eux pour changer des donnes par exemple : ils
ne sont donc pas totalement indpendants et effectuent des accs concurrents aux ressource s logicielles
ou matrielles.
Dfinition : Ressource
Une ressource dsigne toute entit dont a besoin un processus pour s'excuter. La ressource peut tre
matrielle comme le processeur ou en priphrique ou elle peut tre logicielle comme une variable. Une
ressource est caractrise :
Par un tat : elle est libre ou occupe
Par son nombre de points d'accs, c'est--dire le nombre de processus pouvant lutiliser en mme
temps.
Lutilisation d'une ressource par un processus seffectue en trois tapes : lorsque le processus a besoin de
la ressource il s'alloue cette ressource : c'est l'tape d'allocation de ressources. Une fois que le processus a
pu obtenir la ressource, il utilise la ressource durant un certain temps puis il rend la ressource : c'est l'tape
de restitution de la ressource. Les phases d'allocation et de restitution d'une ressources doivent assurer
que la ressource est utilise conformment son nombre de points daccs
Considrons un exemple. Soient deux ressources R1 et R2 qui sont toutes les deux un seul point daccs
cest--dire que seul un processus la fois a le droit dutiliser la ressource. Soient galement deux
processus P1 et P2. Ils utilisent tous les deux les ressources R1 et R2 pour effectuer un traitement. Les
processus P1 et P2 sont programms tels que P1 demande d'abord s'allouer R1 puis R2 avant de
commencer son traitement tandis que le processus P2 demande d'abord s'allouer la ressource R2 puis la
ressource R1 avant de commencer son traitement. Les deux processus sont prts s'excuter.
L'ordonnanceur choisit d'abord dexcuter P1. P1 demande prendre la ressource R1 et comme les
ressources sont initialement libres, P1 obtient la ressource R1. Puis lordonnanceur commute et choisit
maintenant d'excuter le processus P2. P2 demande s'allouer la ressource R2 et puisque la ressource R2
est libre, P2 obtient la ressource R2. Maintenant P2 continue son excution et demande accder la
ressource R1. P2 est bloqu puisque R1 a t alloue au processus P1. Puisque P2 est bloqu, l'
ordonnanceur reprend l'excution de P1 qui demande pour sa part maintenant accder la ressource
R2. Comme R2 a t alloue au processus P2, P1 est son tour bloqu. Les deux processus P1 et P2
sont maintenant en situation d'interblocage : en effet le processus P1 attend le processus P2 pour disposer
de la ressource R2 tandis que le processus P2 attend le processus P1 pour disposer de la ressource
R1.Comme aucun des deux processus ne peut poursuivre son excution et donc rendre les ressource s
qu'il possde, le blocage est permanent : on dit que les processus P1 et P2 sont en situation d'interblocage
(ou treinte fatale).
Les quatre conditions listes ci-dessus doivent tre simultanment vrifies pour qu'un interblocage puisse
se produire :
Exclusion mutuelle : une ressource au moins doit se trouver dans un mode non partageable
Occupation et attente : un processus au moins occupant une ressource attend d'acqurir des
ressources supplmentaires dtenues par d'autres processus. Les processus demandent les
ressources au fur et mesure de leur excution.
Pas de rquisition : les ressources sont libres sur seule volont des processus les dtenant
Attente circulaire : il existe un cycle dattente entre au moins deux processus. Les processus
impliqus dans ce cycle sont en interblocage.
La figure 1 donne un exemple dattente circulaire entre deux processus P1 et P2. Les deux processus P1 et
P2 utilisent les trois mmes ressources : un lecteur de bandes magntiques, un disque dur et une
imprimante. Le processus P1 commence par demander la bande magntique puis l'imprimante et enfin le
disque avant d'effectuer son traitement. Le processus P2 commence par demander le disque puis
l'imprimante et enfin la bande magntique avant de commencer son traitement. Sur le schma de la figure
1, le processus P1 s'est excut et a obtenu la bande magntique ainsi que l'imprimante. Le processus P2
lui a obtenu le disque et il demande maintenant obtenir l'imprimante. L'imprimante a dj t alloue au
processus P1, donc le processus P2 est bloqu. Le processus P1 ne peut pas poursuivre son excution car
il est en attente du disque qui a dj t allou au processus P2. On a donc une attente circulaire entre P1
et P2 : en effet le processus P2 attend l'imprimante dtenue par le processus P1 tandis que le processus
P1 attend le disque dtenu par le processus P2. .
Il y a 4 mthodes de traitement des situations d'interblocage : les politiques de gurison, les politiques de
prvention ou d'vitements et la politique de "l'autruche".
l'exemple de la figure 2, l' interblocage est cass en avortant le processus P2 et en rallouant la ressource
R1 au processus P1.
Ce type de politique prsente plusieurs difficults. Sa mise en oeuvre est coteuse. Il faut maintenir le
graphe d'allocation, rgulirement parcourir le graphe la recherche de cycles et enfin remdier
l'interblocage par destruction de processus. Une autre difficult tient la priode de parcours du graphe : si
cette priode est petite, le graphe est parcouru souvent et consomme ainsi les ressources du systme
inutilement car la probabilit dun interblocage est faible. Si la priode de parcours est grande, le graphe
sera parcouru moins souvent et la probabilit de trouver un interblocage sera plus forte. Mais, le nombre de
processus impliqus dans un linterblocage risque dtre dautant plus grand que la priode de parcours du
graphe est grande. Par ailleurs le choix des processus avorter pour remdier un interblocage nest pas
forcment facile. Une solution est de systmatiquement dtruire tous les processus impliqus dans
linterblocage mais on peut essayer de raffiner cette solution en choisissant les processus avorter : se
pose ici le problme du choix qui va conduire liminer linterblocage en minimisant le nombre de
processus avorts ou le cot pour le systme de ces avortements. Ainsi dans le cas de la figure 1, on
pourra choisir d'avorter P2 plutt que P1 car P1 dtient dj deux ressources sur trois.
Pour la condition doccupation et dattente, on interdit un processus de demander les ressources au fur et
mesure de ses besoins. Un processus ne peut dmarrer son excution que lorsque toutes les ressources
ont pu lui tre alloues (phase 0). Ainsi la deuxime condition d'occupation et attente ne peut jamais se
produire. Cependant l'utilisation rsultante des ressources est mauvaise puisqu'un processus dispose des
ressources durant toute son excution mme s'il n'utilise celles-ci que pour un trs petit temps.
Pour la condition dattente circulaire, une solution est d'imposer un ordre total sur l'ordre d'allocations des
diffrentes ressources du systme : ainsi par exemple l'unit de bande doit toujours tre demande avant
le disque et le disque doit lui-mme tre toujours demand avant l'imprimante. Ainsi il ne peut pas se
produire d'attente circulaire.
Exercice 2
Question 1
Question 2
Question 3
Question 4
Question 5
Exercice 3
Question 1
Question 2
Question 3
Exercice 4
Question 1
Question 2
Nous allons mettre en lumire le problme qui peut se poser sur un exemple simple : on considre donc un
petit programme de rservation de place (dans un avion, un train, ).
Rservation :
Si nb_place > 0
alors
nb_place = nb_place - 1
fsi
Ce programme rservation peut tre excut par plusieurs processus la fois (autrement dit, le programme
est rentrant). La variable nb_place, qui reprsente le nombre de place restant dans l'avion par exemple,
est ici une variable d'tat du systme (de rservation) On considre l'excution de deux processus Client_1
et Client_2 (figure 1) : Client_1 est commut par l' ordonnanceur juste aprs avoir test la valeur de la
variable nb_place (nb_place = 1). Client_2 s'excute son tour, teste nb_place qu'il trouve galement
gale 1 et donc effectue une rservation en dcrmentant de une unit la variable nb_place. Nb_Place
devient gale 0. Comme le processus Client_2 a termin son excution, Client_1 reprend la main.
Comme Client_1 avait trouv la variable nb_place comme tant gale 1 juste avant d'tre commut, il
continue son excution en dcrmentant son tour nb_place. De ce fait, nb_place devient gale 1 ce
qui est incohrent !!! Une mme place a t alloue deux clients diffrents !
La variable nb_place doit tre accde par un seul processus la fois pour rester cohrente : ici en
l'occurrence le processus Client_1 qui a commenc la rservation en premier. Nb_Place est donc une
ressource critique.
Pour garantir l'exclusion mutuelle, il faut donc entourer l'utilisation de la variable nb_place d'un prlude et
d'un postlude. Le prlude prend la forme d'une "protection"qui empche un processus de manipuler la
variable nb_place si un autre processus le fait dj. Ainsi le processus Client_2 est mis en attente ds qu'il
cherche accder la variable nb_place dj possde par le processus Client_1. Le postlude prend la
forme d'une"fin de protection" qui libre la ressource nb_place et la rend accessible au processus Client_2.
Nous rappelons que le mcanisme sous-jacent au r ordonnancement des processus peut tre la survenue
d'une interruption horloge. Aussi une solution pour raliser l'exclusion mutuelle est de masquer les
interruptions dans le prlude et de les dmasquer dans le postlude. Ainsi les interruptions sont masques
ds qu'un processus accde la ressource nb_place et aucun vnement susceptible d'activer un autre
processus ne peut tre pris en compte. Cependant, cette solution est moyennement satisfaisante car elle
empche l'excution de tous les processus y compris ceux ne dsirant pas accder la ressource critique .
De plus, le masquage et le dmasquage des interruptions sont des oprations rserves au mode
superviseur et ne sont donc pas accessibles pour les processus utilisateurs.
Une autre solution est d'utiliser un outil de synchronisation offert par le systme : les smaphores.
1.3 L'outil smaphore. Utilisation de cet outil pour raliser l'exclusion mutuelle
1.3.1 Prsentation de l'outil smaphore
Une smaphore Sem est une structure systme compose d'une file d'attente L de processus et d'un
compteur K, appel niveau du smaphore et contenant initialement une valeur Val. Cette structure ne peut
tre manipule que par trois oprations P(Sem), V(Sem) et Init(Sem, Val). Une proprit im port ante de
ces oprations est qu'elles sont indivisibles c'est--dire que l'excution de ces oprations ne peut pas tre
interrompues. Un outil smaphore peut tre assimil un distributeur de jetons; l'acquisition d'un jeton
donnant le droit un processus de poursuivre son excution.
L'opration INIT a pour but d'initialiser le smaphore, c'est--dire qu'elle met vide la file d'attente L et
initialise avec la valeur Val le compteur K : on dfinit ainsi le nombre de jetons initiaux dans le smaphore.
Init (Sem, Val)
dbut
masquer_it
Sem. K := Val;
Sem. L := vide;
demasquer_it
fin
L'opration P(Sem) "attribue un jeton" au processus appelant si il en reste au moins un et sinon bloque le
processus dans Sem.L. L'opration P est donc une opration ventuellement bloquante pour le processus
lu qui l'effectue. Dans le cas du blocage, il y aura rordonnancement. Concrtement, le compteur K du
smaphore est dcrment de une unit. Si la valeur du compteur devient ngative, le processus est
bloqu.
P (Sem)
dbut
masquer_it
Sem.K := Sem.K 1;
Si Sem.K < 0
alors
bloquer ce processus
fsi
demasquer_it
fin
L'opration V(Sem) a pour but de "rendre un jeton" au smaphore. De plus, si il y a au moins un processus
bloqu dans la file d'attente L du smaphore, un processus est rveille. La gestion des rveils s'effectue
gnralement en mode FIFO (on rveille le processus le plus anciennement endormi). L'opration V est
une opration qui n'est jamais bloquante pour le processus appelant.
V (Sem)
Dbut
masquer_it
Sem.K := Sem.K + 1;
Si Sem.K <= 0
alors
rveiller ce processus
fsi
dmasquer_it
fin
Si Sem.K <= 0,alors valeur_absolue(Sem.K) est le nombre de processus bloqus dans Sem.L
P(MUTEX);
Section critique
V(MUTEX)
INIT (Res, N)
Allocation : P(Res)
Restitution : V(Res)
Les figures 3 et 4 montrent sur un exemple le mcanisme d'allocation de ressources. Les processus P1, P2
et P3 demandent successivement accder un exemplaire de ressources. Les trois oprations P sont
passantes (on a initialement 3 jetons) et chaque processus obtient sa ressource. Cependant, le processus
P4 est bloqu : il n'y a plus de jeton dans le compteur du smaphore et plus d'exemplaires de ressources.
Lorsque le processus P2 a termin d'utiliser son exemplaire de ressources, il restitue celle-ci par une
opration V(Res). Le jeton est rendu et attribu au processus P4 ainsi que l'exemplaire de ressource libr.
Dans ce problme, on considre la situation o un fichier ou une zone de mmoire commune (une table par
exemple) est accde simultanment en lecture et en criture. On a donc deux types de processus : des
lecteurs et des crivains (ou des rdacteurs). Le contenu du fichier doit videmment rester cohrent donc
les critures ne doivent pas avoir lieu en mme temps. Les lecteurs doivent lire une information stable, c'est-dire que les lecteurs ne doivent pas lire une information en cours de modification. Il faut donc :
une ou plusieurs lectures en cours (les lectures simultanes ne gnent pas puisqu'une lecture ne
ou
entrer en criture
3.1.2 Le lecteur
V(Acces)
Un lecteur exclut les crivains mais pas les autres lecteurs. Il faut donc :
le premier lecteur doit s'assurer qu'il n'y a pas d'accs en criture en cours
On voit donc qu'il faut compter le nombre de lecteurs qui accdent la ressource. On utilise pour cela une
variable NL, initialise 0. Cette variable NL va tre accde en concurrence par tous les lecteurs qui vont
soit incrmenter cette variable (un lecteur de plus), soit la dcrmenter (un lecteur de moins). Pour que le
contenu de la variable reste cohrent, il faut que NL soit accde en exclusion mutuelle. L'accs la
variable sera donc gard par un smaphore MUTEX initialis 1. La figure 5 donne le schma complet
correspondant au lecteur.
Fig 5 : Le lecteur
Le dernier problme de communication / synchronisation que nous aborderons est celui du producteur /
consommateur. On considre ici deux processus communiquant par un tampon de N cases. Le producteur
dpose des messages dans le tampon dans la case pointe par l'index i. Le consommateur prlve les
messages dans la case pointe par l'index j. Le tampon est gr selon un mode FIFO circulaire en
consommation et en dpt, c'est--dire :
le producteur dpose les messages depuis la case 0 jusqu' la case N-1, puis revient la case 0
le consommateur prlve les messages depuis la case 0 jusqu' la case N-1, puis revient la case
0.
Pour qu'aucun message ne soit perdu, les trois rgles suivantes doivent tre respectes :
Dans ce problme deux types de ressource s distinctes peuvent tre mises en avant :
On a donc des ressources cases vides et des ressources cases pleines. Le problme peut maintenant se
rapprocher d'un problme d'allocation de ressources critiques tel que nous l'avons vu prcdemment. On
associe donc un smaphore chacune des ressources identifies et on initialise ce smaphore au nombre
de cases respectivement vides ou pleines initialement disponibles (N et 0). On a donc deux smaphores
VIDE initialis N et PLEIN initialis 0.
Un producteur va s'allouer une case vide par une opration P(VIDE), remplir cette case vide et de ce fait
gnrer une case pleine. Le producteur va signaler cette nouvelle case pleine par une opration V(PLEIN),
cette opration rveillera ventuellement le consommateur en attente d'une case pleine. Un consommateur
va s'allouer une case pleine par une opration P(PLEIN), vider cette case pleine et de ce fait gnrer une
case vide. Le consommateur va signaler cette nouvelle case vide par une opration V(VIDE), cette
Les deux figures ci-dessous illustrent le fonctionnement du schma sur un tampon de deux cases.
5 Exercices dirigs
5.1 Les processus
5.1.1 Exercice 1
Soit un systme compos de trois processus cycliques Acquisition, Excution et Impression, et de deux
tampons Requte et Avis , respectivement composs de M et N cases.
Le processus Acquisition enregistre chacune des requtes de travail qui lui sont soumises par des
clients et les place dans le tampon Requte destination du processus Excution.
Le processus Impression prlve les ordres d'impression dposs dans le tampon Avis et excute
ceux-ci.
5.1.1.1 Question 1
Programmez la synchronisation des trois processus l'aide des smaphores et des variables ncessaires
la gestion des tampons
5.1.1.2 Question 2
On tend la systme trois processus Acquisition, trois processus Excution et trois processus Impression.
Compltez la synchronisation prcdente pour que celle-ci demeure correcte.
5.1.2 Exercice 2
Dans le service de gestion d'un magasin, un employ est charg d'enregistrer les commandes des clients
dans un fichier COM, et d'diter les bons de commandes correspondants, sur une imprimante IMP. D'autre
part, un processus facturation, lanc priodiquement lit les commandes facturer dans COM et dite les
factures correspondantes sur l'imprimante IMP. Notons qu'une commande peut concerner plusieurs
articles, et donc qu'un bon de commande ou une facture peut com port er plusieurs lignes.
5.1.2.1 Question 1
Sachant que l'opration de transfert lmentaire (lecture, criture) concerne une ligne de commande,
montrer que l'tat de COM peut tre incohrent, de mme que les impressions sur IMP. En dduire les
rgles d'accs COM et IMP.
5.1.2.2 Question 2
Afin de rsoudre le problme prcdent, on fournit deux procdures qui garantissent un accs exclusif
une ressource R:
rserver (R) autorise l'accs R par le demandeur Si R est libre ou bloque le demandeur Si R est
occupe.
librer (R) autorise l'accs un autre demandeur s'il y en a en attente, sinon indique que R est libre.
5.1.2.3 Question 3
Montrer que cette programmation permet d'diter de manire conscutive, toutes les factures pour une
priode donne.
5.1.2.4 Question 4
Donner une dfinition de l'interblocage. Montrer que la programmation risque de conduire un interblocage
.
5.1.2.5 Question 5
Modifier le processus de facturation pour supprimer le risque d'interblocage.
5.1.3 Exercice 3
On considre un systme de gestion de comptes bancaires permettant d'effectuer les deux oprations
suivantes :
Donner_Solde (Numero_Compte, var Solde) renvoie le solde du compte. Un client peut accder
chacune de ces oprations indpendamment les unes des autres et plusieurs clients accdent en
parallle au systme de gestion des comptes bancaires. On supposera que chaque compte
bancaire est stock sur disque dans un fichier appel Fichier_Numro_Compte.
5.1.3.1 Question 1
En prenant un exemple, montrez que des incohrences peuvent survenir sur le solde d'un compte si
plusieurs utilisateurs accdent un compte en parallle.
5.1.3.2 Question 2
On accepte les lectures en parallle des critures, mais pas les critures en parallle. Ajoutez aux pseudo
code des deux procdures les oprations de synchronisation bases sur les smaphores qui sont utiles.
5.1.3.3 Question 3
On interdit prsent les lectures en parallle des critures et les critures en parallle. Modifiez le pseudo
code des deux procdures pour raliser cette synchronisation.
5.1.4 Exercice 4
Lors de l'utilisation d'une ressource critique par une tche, il est habituel d'ajouter aux paramtres de
description de la tche ceux supplmentaires suivant :
Cig : squence d'instruction suivant la libration de la ressource avec Ci = Cia + Cib + Cig.
Toute tche en cours d'utilisation d'une ressource critique peut tre prempte par une tche plus prioritaire
qu'elle, et qui n'a pas besoin de cette ressource. On considre l'exemple d'une configuration de trois tches
priodiques. Les tches Tp1 et Tp3.
5.1.4.1 Question 1
Dcrire graphiquement la squence obtenue avec l'ordonnancement RM sur une dure correspondant la
priode d'tude. Indiquer l'instant o se produit une inversion de priorit entre Tp1 et Tp2 sur le graphe de
la squence. Pour viter cette inversion de priorit, on applique aux tches se partageant des ressources le
principe de l'hritage de priorit : une tche qui bloque une tche plus prioritaire qu'elle, parce qu'elle utilise
une ressource dont elle a besoin, excute sa section critique avec la priorit de la tche bloque.
5.1.4.2 Question 2
En appliquant le principe prcdent, dcrire graphiquement la squence obtenue pour l'ordonnancement
RM sur la priode d'tude. Indiquer sur le graphe de la squence l'instant o se produit le blocage de Tp2
d l'hritage de priorit, et en consquence la disparition de l'inversion de priorit Voir la correction
Ces protocoles sont mis en oeuvre de faon standard dans certains excutifs temps rel dans les
oprations P et V des smaphores.
On voit bien sur la figure 3 que l'excution de la tche T3 est repousse au del de l'excution de T2 et T1
et ne vient plus de ce fait retarder l'excution de T2.
jusqu' ce qu'elle libre la ressource R. Ainsi T est ordonnance au plus vite pour librer le plus rapidement
possible la ressource R Cependant, la tche T ne peut obtenir la ressource R que si la priorit de R est
strictement suprieure celles de toutes les ressources dj possdes par les autres tches T''. Par ce
biais, on prvient l'interblocage.
Observons maintenant sur la figure 5 ce qui se passe avec le protocole de la priorit plafonne. Lorsque T1
demande accder R1, la ressource ne lui est pas accorde car la priorit de R1 n'est pas suprieure
la priorit de R2, dj possde par T2. De cette manire, T2 poursuit son excution en hritant de la
priorit de T1, librant au plus vite les ressource s R2 et R1. L'interblocage est vit.
la manire dont il traite les requtes provenant des clients : on distingue le serveur itratif du serveur
parallle
la manire dont il ragit vis--vis des pannes. On distingue le serveur sans tat et le serveur tats .
Linterconnexion de rseaux a pour but dinterconnecter entre eux des rseaux htrognes. Le but
recherch est de crer un rseau virtuel qui masque compltement les rseaux physiques emprunts. Une
machine M1 dialoguant avec une machine M2 passe par diffrents rseaux physiques sans en avoir
conscience. Le masquage des rseaux physiques emprunts suppose de disposer de deux lments :
Il faut un protocole de trans port de bout en bout permettant dacheminer les donnes dune machine
M1 vers la machine M2 travers le rseau virtuel : cest la pile de protocoles TCP/IP.
Dfinition : Adresse IP
Une adresse IP est un entier 32 bits divis en deux parties : une partie adresse du rseau et une partie
adresse de la machine dans le rseau. Elle permet de dsigner une machine dans linterconnexion de
rseau. On associe une adresse IP une notation que lon appelle la notation dcimale pointe qui
associe chacun des octets composant lentier de 32 bits sa valeur dcimale spar par un point.
Exemple : 128.163.10.12.
Fig 1 : Ladressage IP
rseau. Elle permet de faire un adressage de machine machine par le biais des adresses IP de chacune
des machines. La communication au niveau de la couche IP est une communication en mode minimal, cest-dire en mode non connect et sans fiabilit : il ny a pas de garantie de bon transfert des datagrammes
IP, lesquels sont achemins indpendamment les uns des autres. La remise peut tre faite dans le
dsordre, il peut y avoir perte de datagrammes ainsi que des duplications.
Dfinition : Port
Le port est un entier de 16 bits permettant dadresser une application sur la couche de protocole TCP/IP.
Le protocole UDP est en protocole transport non fiable bas sur IP. Les datagrammes UDP sont achemins
indpendamment les uns des autres, il sensuit quil peut y avoir perte de datagrammes, duplication de
datagrammes et la remise nest pas forcment effectue selon lordre dmission. Le protocole TCP/IP, au
contraire est un protocole de transport fiable orient connexion, galement bas sur IP. Avant lchange
des donnes, une connexion est tablie entre les deux entits communicantes : cette connexion est fiable :
il ne peut pas y avoir de perte de messages, il n'y a pas de duplication et la remise seffectue dans lordre
dmission.
2 Exercices dirigs
2.1 Gestion du disque
2.1.1 Exercice 1 : COMPARAISON DES POLITIOUES DE GESTION DU
DISQUE
2.1.1.1 Question 1
Expliquez comment se dcompose l'accs un secteur du disque. Quelle phase de cet accs est-elle la
plus coteuse ?
2.1.1.2 Question 2
On considre un disque compos de 300 pistes numrotes de 0 299. Le bras est couramment
positionne sur la piste 50.
La liste des requtes (n de piste cherche) servir donne selon l'ordre d'arrive est la suivante :
62, 200, 150, 60, 12, 120, 250, 45, 10, 100 Donnez l'ordre de service des requtes et le dplacement de
bras total en rsultant dans le cas d'un service FCFS, d'un service SSTF et d'un service SCAN sens initial
montant.
2.1.3 Exercice 3
On considre un systme de gestion de fichiers qui fait de l'allocation par zone. L'ensemble du disque est
constitu de 100 blocs, numrots de 0 99. Trois fichiers existent sur le disque, dfinis comme suit, le
reste de l'espace tant libre.
F1, Dbut = bloc5, Taille=20blocs,
F2, Dbut = bloc 25, Taille 5 blocs,
F3, Dbut = bloc 50, Taille 10 blocs.
Les trois questions sont indpendantes, c'est--dire que dans chaque cas, on part de la situation ci dessus.
2.1.3.1 Question 1
On veut rajouter 10 blocs au fichier FI. Quelles solutions proposez-vous suivant que l'implantation
squentielle est simple ou avec extensions. Justifiez votre raisonnement et valuez le cot de ces
solutions.
2.1.3.2 Question 2
On veut crer un fichier F4 de 10 blocs. O proposez-vous de le mettre, en justifiant votre raisonnement.
2.1.3.3 Question 3
On veut crer un fichier F4 de 40 blocs. Quelles solutions proposez-vous suivant que l'implantation
squentielle est simple ou avec extensions. Justifiez votre raisonnement et valuez le cot de ces
solutions. Voir la correction
Les fichiers suivants doivent tre inclus dans tout programme ncessitant l'utilisation des sockets
# include <sys/types.h>
# include <netdb.h>
# include <netinet/in.h>
u_long s_addr;
La manipulation des adresses au niveau des sockets va amener manipuler deux entiers, l' adresse IP
d'une part qui est un entier de quatre octets, le port qui est un entier de deux octets. Les machines
admettent deux formats de reprsentation pour les entiers longs et les entiers courts. Dans le format dit Big
Endian, les octets composant un mot de 16 bits ou de 32 bits sont numrots de la gauche vers la droite,
c'est--dire que l'octet de poids faible reoit le plus gros numro. Dans le format Little Endian, les octets
composant un mot de 16 bits ou de 32 bits sont numrots de la droite vers la gauche, c'est--dire que
l'octet de poids faible reoit le plus petit numro. Une machine travaillant au format Big Endian interprtera
mal les entiers de format Little Endian qu'elle recevra. Aussi il est convenu que toute adresse mise sur le
rseau doit tre mise selon un format dit format rseau, par opposition au format local de la machine. Par
convention ce format rseau est le format Big Endian. Ainsi une machine en mission convertira toujours
les adresses IP et les numros de ports de son format local vers le format rseau tandis qu'une machine en
rception convertira toujours les adresses IP et les numros de port du format rseau vers le format local.
Quatre primitives sont fournies pour permettre la conversion des entiers courts et des entiers longs du
format local vers le format rseau et vice versa.
Fonctions de conversion d'entiers du format local au format rseau
u_short hostshort;
u_long hostlong;
u_short netshort;
u_long netlong ;
Le fichier /etc/hosts permet de faire la correspondance entre le nom symbolique d'une machine et son
adresse IP. Ce fichier contient une ligne par machine et donne pour chaque machine son adresse IP, son
nom symbolique principal, ses alias et ventuellement un commentaire.
/etc/hosts
La fonction gethostbyname(nom) permet d'obtenir les informations relatives une entre du fichier
/etc/hosts en spcifiant comme paramtre de recherche le nom symbolique de la machine. Cette fonction
retourne une structure de type hostent dont la structure est donne ci-aprs. La ligne #define h_addr
h_addr_list[0] permet de connatre la premire adresse IP de la machine.
struct hostent {
#define h_addr
};
char *nom;
Par ailleurs la socket correspond galement un point de communication sur la pile de protocole
TCP/IP c'est--dire qu'elle reprsente l'adresse d'une application donc un couple adresse IP numro de port.
De plus, l'interface des sockets est compatible avec l'interface des fichiers Unix. Lors de la cration d'une
socket, un descripteur de socket est allou dans la table des fichiers ouverts du processus crateur. Ce
descripteur pointe sur une structure de socket plutt que de pointer sur une structure de fichiers (inode).
Notamment la socket rpond aux critres d'hritage pre fils qui s'applique aux descripteurs de fichiers.
La cration d'une socket s'effectue par un appel la primitive SOCKET dont le prototype est donn cidessous. Le premier paramtre domaine prend la valeur AF_INET. Le second paramtre qui correspond au
type de service prend pour valeur soit SOCK_STREAM pour une communication en mode connect, soit
SOCK_DGRAM pour une communication en mode datagramme. Le troisime paramtre protocole
correspond au protocole utilis, donc soit TCP, soit UDP. Le champ peut tre mis zro ce qui laisse alors
le systme choisir le bon protocole en fonction du type spcifi.
int socket (domaine, type, protocole)
int domaine ;
int type ;
int protocole ;
La primitive de cration socket retourne un entier correspond au descripteur de la socket cre. l'issue de
l'opration de cration, la socket tout comme un fichier est utilisable par le processus crateur et les
processus crs par ce processus crateur aprs la cration de la socket.
Pour que des processus extrieurs la famille du processus crateur puissent accder la socket il faut
maintenant attcher une adresse cette socket. La primitive permettant d'attcher une adresse une
socket est la primitive BIND . Le prototype de la primitive BIND est donn ci-dessous. Le premier paramtre
correspond au descripteur de socket cr par l'appel socket. Le second paramtre correspond une
structure de type sockaddr_in. Cette structure permet de stocker une adresse d'application c'est--dire
notamment une adresse IP et un numro de port . Le dernier paramtre lg correspond la taille de la
structure d'adresse en octets.
int bind (sock, p_adresse, lg)
int sock;
int lg;
struct sockaddr_in {
int sock;
int longueur;
/* Cration de la socket */
perror("socket");
exit(1);
/* preparation de l'adresse */
bzero(&nom,sizeof(nom));
nom.sin_family = AF_INET;
/attchement de la socket */
perror("bind");
exit(2);
return(sock) ;
Chaque entit communicante, le client et le serveur, commencent par crer une socket de type
SOCK_DGRAM, puis chacun attche cette socket son adresse locale, forme du numro de port de
l'application (client ou serveur) et de l' adresse IP des machines client ou serveur.
L'change de donnes s'effectuent sous forme de datagrammes. Sa structure est prserve la rception,
c'est--dire qu'une opration de rception permet toujours de rcuprer l'intgralit d'un datagramme mis
La primitive sendto permet l'envoi d'un datagramme. La primitive recvfrom permet la rception d'un
datagramme. La primitive recvfrom est bloquante, c'est--dire qu'un processus effectuant un appel la
primitive recvfrom est bloqu jusqu' avoir effectivement reu un datagramme.
int option;
Nous donnons ci-dessous un exemple de client /serveur en mode UDP. Le client envoie une ligne au
serveur qui l'affiche.
CLIENT
#include <stdio.h>
#include <errno.h>
#include <sys/types.h>
#include <sys/socket.h>
#include <netinet/in.h>
#include <netdb.h>
#define PORTS
6260
-- port du serveur
main()
char buf[20];
if(!(h=gethostbyname("dirac.cnam.fr")))
perror("dirac.cnam.fr");
exit(2);
bzero(&sin,sizeof(sin));
sin.sin_family = AF_INET;
bcopy(h->h_addr,&sin.sin_addr,h->h_length);
ports = htons(PORTS);
sin.sin_port = port s;
exit();
close (sock);
SERVEUR
#include <stdio.h>
#include <sys/types.h>
#include <sys/socket.h>
#include <netinet/in.h>
#include <netdb.h>
#define PORTS
6260
-- port du serveur
main()
char buf[20];
int lg, n;
/* Cration socket */
perror("socket");
exit(1);
/* preparation de l'adresse */
bzero(&sin,sizeof(sin));
sin.sin_family = AF_INET;
/* Attchement socket */
perror("bind");
exit(2);
for (;;)
lg = sizeof(adr);
close(sock);
Chaque entit communicante, le client et le serveur, commencent par crer une socket de type
SOCK_STREAM, puis chacun attche cette socket son adresse locale, forme du numro de port de
l'application (client ou serveur) et de l' adresse IP des machines client ou serveur.
Le serveur, ensuite, se prpare en vue de recevoir des connexions de la part de clients. Pour cela, il fait
d'abord appel la primitive Listen pour dimensionner sa file de connexions pendantes sur sa socket initiale
que nous appelerons la socket d'coute..
int nb;
Le serveur se met alors en attente de connexion par un appel la primitive accept. Cette primitive est
bloquante, c'est--dire que le serveur reste bloqu sur cette primitive jusqu' ce qu'un client tablisse
effectivement une connexion.
int accept (sock, p_adr, p_lgadr)
int sock;
/* socket d'coute */
De son ct, le client demande l'tablissement d'une connexion en faisant appel la primitive connect. De
la mme manire, la primitive connect est bloquante pour le client, c'est--dire que le client est bloqu
jusqu' ce que le serveur accepte sa connexion.
int connect (sock, p_adr, lgadr)
Au moment de l'tablissement de la connexion, le serveur cre une nouvelle socket que l'on appelle la
socket de service. Le descripteur de cette nouvelle socket est retourn par la primitive accept. Cette socket
de service est la socket sur laquelle s'effectuent ensuite tous les changes de donnes entre les deux
entits connectes par le biais des primitives read et write..
L'change de donnes s'effectuent sous forme de flux d'octets. Il faut prendre garde au fait que la structure
des messages n'est pas conserve et le dcoupage en messages identifiables correspondant aux
diffrents envois nest pas prserv sur la socket destinataire.
Une opration dcriture dune chaine longue peut provoquer son dcoupage, les diffrents
fragments tant accessibles sur la socket destinataire
La primitive write permet l'envoi d'un ensemble d'octets constituant un message. La primitive read permet la
rception d'un ensemble d'octets.
int write (sock, msg, lg)
int sock;
int sock;
Nous donnons ci-dessous un premier exemple de programmation d'un client-serveur en mode TCP : le
serveur crit dans cet exemple correspond un serveur de type itratif compos d'un seul processus qui
reoit les connexions, remplit le service demand, puis rompt la connexion avant d'en accepter une
nouvelle. Le service remplit par le serveur consiste tout simplement afficher une chaine de caractres
envoyes par le client. On notera la procdure de lecture de la chaine de caractres sur la socket serveur,
qui fait une lecture caractre par caractre jusqu' trouver le caractre '\n' afin d'tre certain d'avoir
rcupr la chaine en entier.
SERVEUR
************************************************
************************************************
#include <stdio.h>
#include <sys/types.h>
#include <sys/socket.h>
#include <netinet/in.h>
#include <netdb.h>
#include <pwd.h>
#define LGUSER 20
main ()
int lg, port, sock, nsock, d; /* sock socket d'coute, nsock socket de service
*/
return;
listen(sock,5);
lg = sizeof(adr);
service(nsock);
close(nsock);
************************************************
Fonction service
************************************************
int nsock;
int n;
char line[MAXLINE];
n = readline(nsock,line,MAXLINE);
if (n < 0) {
return; }
*********************************************************
Fonction readline : lit une ligne sur la socket fd caractre par caractre
*********************************************************
int readline(fd,ptr,maxlen)
int fd;
char *ptr;
int maxlen;
int n, rc;
char c;
*ptr++ = c;
if (c == '\n')
break;
*ptr = '\0';
return(n);
CLIENT
************************************************
************************************************
#include <stdio.h>
#include <sys/types.h>
#include <sys/socket.h>
#include <netinet/in.h>
#include <netdb.h>
#define TRUE 1
main ()
int sock;
return;
return;
adr.sin_port = htons(PORT);
adr.sin_family = AF_INET;
client(sock);
close(sock);
************************************************
Fonction client
************************************************
int client(sock)
int sock;
int n;
char line[MAXLINE];
n = strlen (line);
Le serveur donn en exemple dans le paragraphe prcdent est un serveur itratif. Une fois que le serveur
a accept une connexion, de la part d'un client, les clients suivants sont mis en attente jusqu' ce que le
serveur ait fini de traiter le premier client et revienne sur l'accept pour accepter une nouvelle connexion.
Durant tout le traitement d'un client connect, le serveur travaille sur la socket de service et la socket
d'coute ne sert pas.
Il serait ici plus performant de crer un serveur parallle tel que :
Le processus pre accepte les connexions sur la socket d'coute et cre une socket de service pour
la connexion accepte.
Pour chaque connexion accepte, le processus pre cre un processus fils. Ce fils hrite
naturellement de la socket d'coute et de la socket de service ouvertes par son pre.
Le fils s'occupe de servir le client : il travaille donc avec la socket de service et ferme la socket
d'coute.
Le pre est libr du service du client ralis par son fils. Il ferme la socket de service et retourne
immdiatement accepter de nouvelles connexions sur la socket d'coute. Dans ce cas de figure, on
aura donc autant de fils cres que de connexions acceptes par le pre.
Nous donnons ci-dessous le code correspondant pour le mme exemple que prcdemment. Seul le
processus serveur est modifi.
SERVEUR
main ()
{ int lg, port, sock, nsock, d, pid; struct sockaddr_in adr; /* adresse de la socket distante */
return; }
lg = sizeof(adr);
nsock = accept
(sock,etadr,etlg);
pid = fork();
/* Je suis le fils */
}
else
if (pid == -1) {
close(sock);
service(nsock);
return;
else
close(nsock);
if (pid == 0) {
exit();
close (nsock); }
On notera ici que les processus fils deviennent zombies car le processus pre n'effectue pas de wait pour
rcuprer la mort de ses fils. Pour viter cette situation, on peut ajouter la ligne suivante au code du serveur
qui permet au pre d'ignorer le signal mort du fils et de dtruire automatiquement en consquence les
processus zombies : Signal (SIGCHLD, SIG_IGN);
5 Exercices dirigs
5.1 Programmation des sockets
5.1.1 Exercice 1
Cration et attchement d'une socket 1.a/ Rappelez la dfinition d'une socket et le format de la primitive
permettant sa cration.
1.b/ A l'issue de cette cration, quels sont les processus pouvant utiliser la socket ?
1.c/ Quelle primitive permet d'associer une adresse rseau une socket ?
5.1.2 Exercice 2
Communication en mode datagramme ou en mode connect On considre l'application clients-serveur
rpartie suivante : le serveur gre une table annuaire de couple (nom_de_personne, numero_telephone).
Des clients interrogent le serveur en lui transmettant un nom_de_personne. Le serveur rpond en envoyant
au client le couple correspondant (nom_de_personne, numero_telephone) si il a t trouv dans le table,
sinon le message "usager inconnu".
2.a/ Donnez le pseudo-code d'un client et du serveur en supposant une communication en mode
datagramme. Faites apparaitre dans ce pseudo-code les primitives de communication utilise.
2.b/ Donnez le pseudo-code d'un client et du serveur en supposant une communication en mode connect.
Faites apparaitre dans ce pseudo-code les primitives de communication utilise.
2.c/ Le serveur cre un fils pour grer chacune des requtes des clients. Donnez le pseudo-code du
serveur et de l'un de ses fils en supposant une communication en mode connect.
2.d/ On suppose prsent que le serveur peut accepter deux types de requtes de la part des clients :
5.1.3 Exercice 3
Le dmon INETD
3.a/ Quel est le rle du dmon Inetd ?
3.b/ Ecrivez le pseudo-code de ce dmon.
Voir la correction
Lexique
Adresse IP
Une adresse IP est un entier 32 bits divis en deux parties : une partie adresse du rseau et une partie adresse de la machine
dans le rseau. Elle permet de dsigner une machine dans linterconnexion de rseau. On associe une adresse IP une notation
que lon appelle la notation dcimale pointe qui associe chacun des octets composant lentier de 32 bits sa valeur dcimale
spar par un point. Exemple : 128.163.10.12.
Une application temps rel est une application pour laquelle le facteur temps est la principale contrainte respecter. L'
application doit fournir un rsultat juste mais si celui-ci est fourni hors dlai, alors il ne pourra pas tre valid.
Coalition et famine
On parle de coalition de n processus contre p autres processus lorsqu un ensemble de n processus monopolisent des ressources
au dtriment des p autres processus. On dit galement que les p processus qui ne peuvent pas s'excuter faute de ressources
sont en situation de famine.
Les appels systmes constituent l'interface du systme d'exploitation et sont les points d'entres permettant l'excution d'une
fonction du systme. Les appels systme sont directement appelables depuis un programme. Les commandes permettent elles
d'appeler les fonctions du systme depuis le prompt de l'interprteur de commande (shell, invite du dos).
Commutations de contexte
Le passage entre les modes utilisateur / superviseur s'accompagne de commutations de contexte (sauvegarde du contexte
utilisateur - changement de mode d'excution - restitution du contexte utilisateur)
Le compactage de la mmoire centrale consiste dplacer les programmes en mmoire centrale de manire ne crer qu'une
seule et unique zone libre.
Dfaut de page
Le dfaut de page est un droutement qui oblige le processeur suspendre l'excution du programme en cours pour lancer une
entre/sortie qui charge la page manquante en mmoire centrale dans une case libre.
Degr de multiprogrammation
on dfinit le degr de multiprogrammation comme tant le nombre de processus prsents en mmoire centrale.
Ecroulement
On appelle Ecroulement, une haute activit de pagination. Un processus s'croule lorsqu'il passe plus de temps paginer qu'
s'excuter.
Exclusion mutuelle
La proprit d'exclusion mutuelle assure qu'une ressource critique ne peut jamais tre utilise par plus de un processus la fois.
Une file de messages est un outil de communication entre processus Unix non ncessairement affilis placs sur une mme
machine qui implmente le concept de botes aux lettres. Une file de message ou MSQ est identifie par une cl.
Fragmentation
Allocations et dsallocations successives des programmes en mmoire centrale crent des trous, c'est--dire des zones libres de
taille insuffisante en mmoire centrale : la mmoire centrale est alors fragmente.
Interblocage
Un ensemble de n processus est dit en situation dinterblocage lorsque l'ensemble de ces n processus attend chacun une
ressource dj possde par un autre processus de l'ensemble. Dans une telle situation aucun processus ne peut poursuivre son
excution. L'attente des processus est infinie.
Inversion de priorits
L'inversion de priorit est la situation pour laquelle une tche de priorit intermdiaire (T3) s'excute la place d'une tche de
forte priorit (T1) parce que la tche de forte priorit (T1) est en attente d'une ressource acquise par une tche de plus faible
priorit (T2). A priori, on ne peut pas borner le temps d'attente de la tche de haute priorit qui risque ainsi de dpasser son
chance car l'excution de T3 n'tait pas prvisible.
Mode superviseur
Le mode superviseur est le mode d'excution du systme. C'est un mode d'excution privilgi qui autorise notamment l'appel
des instructions interdites en mode utilisateur (manipulation des interruptions). Ce mode assure la protection du systme
d'exploitation. Le passage du mode utilisateur vers le mode superviseur est soit provoqu par un appel systme, soit par une
trappe, soit par l'arrive d'une interruption
Nom symbolique
chaque adresse IP, correspond au nom symbolique form de caractres alphanumriques. La composition du nom
symbolique repose sur la notion de domaine. Le domaine correspond un groupe gographique (fr, jp) ou institutionnel (com ,
mil, edu). Le nom symbolique d'une machine est alors form de son nom suivi de l'ensemble des domaines auxquels elle
appartient, chaque lment tant spars par un point. Exemple : fermi.cnam.fr.
Ordonnancement
La fonction d'ordonnancement gre le partage du processeur entre les diffrents processus en attente pour s'excuter, c'est-dire entre les diffrents processus qui sont dans l'tat prt. L'opration d'lection consiste allouer le processeur un
processus.
Ordonnanceur
L'ordonnanceur est un programme systme dont le rle est d'allouer le processeur un processus prt.
Politique d'ordonnancement
La politique d'ordonnancement dtermine le choix d'un processus lire parmi tous ceux qui sont prts.
Port
Le port est un entier de 16 bits permettant dadresser une application sur la couche de protocole TCP/IP.
Premption
Selon si l'opration de rquisition du processeur est autorise ou non, l'ordonnancement sera qualifi d'ordonnancement
premptif ou non premptif : si l'ordonnancement est non premptif, la transition de l'tat lu vers l'tat prt est interdite : un
processus quitte le processeur si il a termin son excution ou si il se bloque. si l'ordonnancement est premptif, la transition de
l'tat lu vers l'tat prt est autorise : un processus quitte le processeur si il a termin son excution , si il se bloque ou si le
processeur est rquisitionn.
Primitive Accept
sock_service = accept (int sock_ecoute, struct sockaddr_in p_adr, int p_lgadr) : Acceptation de connexion sur la socket locale
d'coute avec la socket distante p_adr. En rsultante, cration de la socket de service sock_service.
Primitive Bind
int bind (int sock, sockaddr_in *p_adresse, int lg) : attchement de l'adresse p_adresse la socket sock
Primitive close
Primitive Connect
int connect (int sock, struct sockaddr_in *p_adr, int lgadr) : demande d'tablissement de connexion avec la socket distante dont
l'adresse est *p_adr
Primitive EXIT
Primitive FORK
pid_t fork (void) : permet la cration d'un processus Unix par duplication complte du crateur.
Primitive Listen
int listen (int sock, int nb) : cration de la file de connexions pendantes (n max) associe la socket d'coute sock
Primitive msgctl
int msgctl (int msgid, int op, struct msgid_ds *buf) : accs et modification des informations contenues dans la table des files de
messages gre par le systme int msgctl (msgid, IPC_RMID, NULL) : destruction de la file de message identifie par msgid.
Primitive msgget
int msgid = msgget (key_t cle, int option) : permet de crer une nouvelle file de messages ou de rcuprer une file de messages
existante.
Primitive msgrcv
int msgrcv (int msgid, struct message *buf, int lg, long montre, int option) : rception du message buf de taille lg octets dans la
MSQ d'identifiant msgid. Le paramtre montre spcifie le type de message extraire. Les options permettent de rendre la
rception non bloquante si la file ne contient pas de message avec le type attendu.
Primitive msgsnd
int msgsnd (int msgid, struct message *buf, int lg, int option) : envoi du message buf de taille lg octets dans la MSQ
d'identifiant msgid. Les options permettent de rendre l'envoi non bloquant si la file est pleine.
Primitive pipe
int read (int sock,char *msg, int lg) : lecture du message msg de taille lg octets sur la socket sock en mode connect
nb_lu = read (p[0], buf, nb) : lecture dans le tube p d'au plus nb caractres. Les caractres lus sont retourns dans le tampon
buf. nb_lu contient le nombre de caractres effectivement lus. Par dfaut, la lecture sur un tube vide est bloquante.
Primitive Recvfrom
int recvfrom (int sock, char *msg, int lg, int option, struct sockaddr_in *p_exp, int *lgexp) : rception d'un datagramme msg
envoy par *p_exp.
Primitive Sendto
int sendto (int sock, char *msg, int lg, int option, struct sockaddr_in *p_dest, int lgdest) : envoi d'un datagramme msg
*p_dest.
Primitive Socket
int socket (int domaine, int type, int protocole) : cration d'une socket de communication
Primitive WAIT
int write (int sock,char *msg, int lg) : criture du message msg de taille lg octets sur la socket sock en mode connect
nb_crit = write (p[1], buf, nb) : criture dans le tube p des nb caractres placs dans le tampon buf. nb_lu contient le nombre
de caractres effectivement crits.
Primitives EXEC
Ensemble de primitives (famille EXEC) permettant un processus de charger en mmoire, un nouveau code excutable : int
execl (const char *ref, const char *arg, ..., NULL) : ref est le chemin d'un excutable partir du rpertoire courant, const char
*arg, ..., NULL est la liste des arguments. int execlp (const char *ref, const char arg, ..., NULL) : ref est le chemin d'un
excutable partir de la variable d'environnement PATH, const char *arg, ..., NULL est la liste des arguments. int execv (const
char *ref, const char *arg[]) : ref est le chemin d'un excutable partir du rpertoire courant, const char *arg [] est un tableau
contenant les arguments. int execvp (const char *ref, const char *arg[]) : ref est le chemin d'un excutable partir de la
variable d'environnement PATH, const char *arg [] est un tableau contenant les arguments.
Processus
Un processus est un programme en cours d'excution auquel est associ un environnement processeur (CO, PSW, RSP,
registres gnraux) et un environnement mmoire appels contexte du processus. Un processus est l'instance dynamique d'un
programme et incarne le fil d'excution de celui-ci dans un espace d'adressage protg (objets propres : ensemble des
instructions et donnes accessibles) Un programme rentrant est un programme pour lequel il peut exister plusieurs processus
en mme temps
Processus lger
Un processus lger est un espace d'adressage dans lequel plusieurs fils d'excution peuvent voluer en parallle. Ces fils
d'excution sont chacun caractriss par une valeur de compteur ordinal propre et une pile d'excution prive.
Ressource
Une ressource dsigne toute entit dont a besoin un processus pour s'excuter. La ressource peut tre matrielle comme le
processeur ou en priphrique ou elle peut tre logicielle comme une variable. Une ressource est caractrise : Par un tat :
elle est libre ou occupe Par son nombre de points d'accs, c'est--dire le nombre de processus pouvant lutiliser en mme
temps.
Ressource critique
Une ressource critique est une ressource un seul point d'accs, c'est--dire accessible par un seul processus la fois.
L'utilisation s'effectue en exclusion mutuelle. L'allocation et la dsallocation d'une ressource critique peuvent tre gres
l'aide d'un smaphore R initialis 1. L'allocation se traduit alors par un P(R) et la restitution par un V(R).
Ressource critique
Une ressource critique est une ressource accessible par un seul processus la fois.
Section critique
Le code d'utilisation de la ressource critique s'appelle une section critique. La section critique doit offrir au moins une proprit
essentielle : celle de l'exclusion mutuelle c'est--dire assurer qu'effectivement elle ne sera jamais excute par plus d'un
processus la fois. Pour ce faire, la section critique est prcde par un prlude et suivie d'un postlude (le prlude et le
postlude sont du code) qui doivent assurer cette proprit d'exclusion mutuelle.
Serveur tats
Un serveur tat est un serveur qui conserve, sur un support non volatile, des informations sur les requtes en cours de
traitements. C'est un serveur mmoire qui en cas de panne, peut restaurer une partie de son tat au moment de la panne et
reprendre des requtes en cours.
Serveur itratif
Un serveur itratif est un serveur qui ne peut traiter qu'une seule requte client la fois. Il est compos d'un processus unique
qui effectue les oprations de rception de requtes, de traitement de requtes et d'mission des rponses.
Serveur parallle
Un serveur parallle est un serveur qui peut traiter plusieurs requtes client la fois. Il est compos d'un processus pre qui
effectue les oprations de rception de requtes et pour chaque requte reue, d'un processus fils qui effectue le traitement de la
requte et l'mission de la rponse.
Un serveur sans tat est un serveur qui ne conserve aucune informations sur les requtes en cours de traitements. C'est un
serveur sans mmoire qui en cas de panne, repart " zro".
Systme d'exploitation
C'est un ensemble de programmes qui ralise l'interface entre le matriel de l'ordinateur et les utilisateurs. Il a deux objectifs
principaux : construction au-dessus du matriel d'une machine virtuelle plus facile d'emploi et plus conviviale prise en charge
de la gestion de plus en plus complexe des ressources et partage de celle-ci Comme son nom le suggre, le systme
dexploitation a en charge l'exploitation de la machine pour en faciliter l'accs, le partage et pour l'optimiser
La table des pages est une table contenant autant d'entres que de pages dans l'espace d'adressage d'un processus. Chaque
processus a sa propre table des pages. Chaque entre de la table est un couple < nde page, nde case physique dans laquelle la
page est charge >.
La table des segments est une table contenant autant d'entres que de segments dans l'espace d'adressage d'un processus.
Chaque entre de la table est un couple < nde segment, adresse d'implantation du segment >.
Tube anonyme
Un tube anonyme est un outil de communication unidirectionnel permettant de faire communiquer entre eux des processus de
mme filiation, ayant connaissance des descripteurs permettant l'accs au tube.
Ressources
Leons tlcharger
Annales d'examens
Schmas de synthse
Liens
Utilitaires
Fates un choix
Schmas de synthse
Ordonnancement>Exercices dirigs
Exercice 2
Exercice 3
Processus shell :
Exercice 2
La commande ps -e affiche les caractristiques de tous les processus. la destination naturelle des informations
est la sortie standard STDOUT. La commande wc -l compte les lignes de l'entre qui lui est fournie,
naturellement l'entre standard STDIN. Lors de la cration d'un processus, 3 fichiers d'entres sorties sont
automatiquement cres : l'entre standard STDIN (0), la sortie standard STDOUT(1) et la sortie d'erreur
STDERR (2). La primitive DUP (int dup(int desc)) associe le plus petit descripteur disponible du processus
appelant la mme entre dans la table des fichiers ouverts que le descripteur desc. Pour rediriger un
descripteur standard sur un descripteur de tube, il faut :
Prambule : rappel du format des primitives permettant l'utilisation des messages queues
Exercice 1
A - CLIENT
B- SERVEUR
C - Les contraintes :
La difficult : Attendre les nombres n sur pip1 et pip12 Tirage alatoire Ecrire le rsultat dans pip2 ou pip22
L'opration de lecture sur un tube est une opration bloquante si le tube sur lequel elle est effectue est un tube
vide. A priori, on ne sait pas lequel des deux tubes sera prt en lecture en premier. Alors, on peut se mettre en
lecture sur pip1, tre bloqu alors que pip12 est prt.
rendre la lecture non bloquante et effectuer une attente active sur les deux tubes.
s'endormir en attente d'un tube prt. Pour cela on utilise la primitive SELECT.
1/ On construit un ensemble de descripteurs en lecture sur lequel on souhaite se mettre en attente. ens_r =
{pip[0], pip12[0]}
Cette construction se fait l'aide des macros FD_ZERO(ens_r) - mise vide de l'ensemble - et
FD_SET(ens_r, element) - ajout de l'lment l'ensemble.
2/ On se met en attente sur ces descripteurs SELECT (ens_r, .)
3/ On sort du SELECT car un des descripteurs au moins est prt (le tube n'est plus vide et une lecture peut
tre faite sans risque d'tre bloqu). On teste chacun des descripteurs par le biais de la primitive
FD_ISSET FD_ISSET(pip1[0]) est vrai ou FD_ISSET(pip12[0]) est vrai.
Question 2
Algorithme First Fit : la premire zone de taille suffisante est slectionne. On choisit par ailleurs
d'implanter le programme en fin de zone libre de manire faciliter la gestion des pointeurs. gestion du
rsidu issu de l'allocation : soit a la taille de la zone rsiduelle, a = Ti - T o Ti est la taille de la zone et T la
taille du programme allouer. Deux cas sont possibles en fonction de e, la taille minimale de zone
autorise. 1/ a < e, la zone rsiduelle est juge ngligeable et elle est alors supprime de la liste des zones
libres ( modification du chainage des zones libres). a e, la zone rsiduelle est conserve (modification
de la taille de la zone libre). D'o l'algorithme suivant avec parcours, avant : pointeurs sur zone libre A :
adresse d'implantation du programme de taille T hors cas particulier sur le chainage (zone libre en tte et
fin de liste).
Parcours := premiere_zone_libre; avant := premiere_zone_libre; trouve = faux; tant que (parcours <> NULL
et trouve = faux) faire si (parcours.taille >= T) alors
on libre la zone libre rsiduelle avant.suivant = parcours.suivant; fsi avant = parcours; parcours =
parcours.suivant; fait
Question 3
parcours = adresse_premiere_zone; avant = adresse_premiere_zone; taille_mem = max; trouve = faux;
tant que (parcours <> NULL) faire si (T <= parcours.taille < taille_mem) alors
la sortie de la boucle zone_trouve contient l'adresse de la zone dont la taille engendre la plus petit
residu sauf si trouve = faux si (trouve == vrai) alors zone_trouve.taille = zone_trouve.taille - T; A =
zone_trouve + zone_trouve.taille; si (zone_trouve.taille < e)
Question 4
Il y a deux espaces libres : la zone (1700K-2000K) et la zone (2300K-2560K) soit un total de 560K ce qui
est suprieur la taille de P5. Mais ces deux zones ne sont pas contigus et on ne peut donc pas allouer
l'espace mmoire P5. Il faut donc compacter l'espace mmoire pour arriver la configuration
Question 5 Une zone libre doit tre fusionne sa voisine si celle-ci est galement une zone libre :
diffrents acas doivent tre considrs.
Cas 1 : la zone libre est elle-mme prcde d'une zone libre ZL : on effectue une fusion et on
modifie la taille de ZL : ZL.taille = ZL.taille + zoneliberee.taille;
Cas 2 : la zone libre est cerne par deux zones occupes : on cre une nouvelle zone libre
Cas 3 : la zone libre est suivie par une zone libre : on fusionne les deux zones (on ajoute les
tailles des deux zones) et on modifie le chainage des zones libres. les infos de gestion (taille et
suivant) sont "remontes" dans les deux premiers mots de la zone libre.
Cas 4 : la zone libre est cerne par deux zones libres A et C : on fusionne les trois zones libres.
c'est--dire : la zone libre C est supprime du chainage et les infos de gestion sont remontes dans
les deux premiers mots de la zone A.
Exercice 2 : Pagination
Question 1
Dcrivez le format d'une entre de la table des pages d'un processus .
bit V : indique si la page est prse,nte ou non en mmoire centrale V= 0, page non prsente bit M : indique
si la page a t modifie bit A : champ pour les informations la apge (algorithmes de remplacement de
pages) protec : champ de protection pour les accs en lecture/criture/excution adresse relle : adresse
de la case contenant la page.
Question 2
adresse_reelle et adresse_virtuelle sont fde type adresse, ce type est form de deux champs : champ1 et
champ2 instruction est de type type_instruction qui peut prendre pour valeurs : lecture, criture et
excution.
Question 4
question de cours
Question 5
Exercice 1
Question 1
On identifie un schma producteur/consommateur sur chacun des tampon. On utilise pour chacun de ces
schma un couple de smaphores : MVIDE initialis M et MPLEIN initialis 0 (tampon requte) NVIDE
initialis N et NPLEIN initialis 0 (tampon avis)
Question 2
Il faut maintenant grer les accs concurrents aux tampons avis et requte. En effet :
les diffrents processus Impression se partagent l'index k les variables i, j, k, l sont maintenant
globales et les accs ces variables doivent se faire en exclusion mutuelle. On ajoute donc quatre
smaphores d'exclusion mutuelle initailiss 1 (un smaphore par index).
remarque : l'ordre d'appel des smaphores d'exclusion mutuelle par rapport ceux du schma producteur
consommateur n' pas d'importance.
Exercice 2
Question 1
Lorsque l'employ saisit une commande, l'criture sur disque d'une ligne la fois, implique que, un
instant donn, le disque ne contient qu'une partie de la commande. Si le processus de facturation est lanc,
il ne trouvera pas toutes les lignes de la commande pour diter la facture, qui sera donc partielle. Au
moment o on cre une commande, il faut donc interdire au processus de facturation d'accder aux
commandes.
Par ailleurs, l'employ dite les commandes saisies sur la mme imprimante que le processus de
facturation. Ces ditions se font ligne par ligne, mais toutes les lignes concernant le mme bon de
commande ou la mme facture doivent se trouver regroupes, et non entremles. Il faut donc que
l'imprimante soit en exclusion mutuelle entre les deux processus.
Question 2 - question 3
La solution propose garantit bien l'accs en exclusion mutuelle l'imprimante par les deux processus. Le
processus de facturation rserve l'imprimante pendant le traitement des factures d'une priode. Ces
factures seront donc bien dites de manire conscutive. Par ailleurs, comme le processus rserve
galement le fichier des commandes, aucune commande ne peut tre en cours de saisie pendant l'dition
des factures.
Question 4
L' interblocage est une situation o un ensemble de processus sont bloqus en attente d'une ressource
possde par un autre processus de l'ensemble. Chacun attend qu'un autre veuille bien librer la ressource
qu'il attend. Ceci ne peut se faire sans une intervention extrieure, puisqu'ils sont tous bloqus. Or on ne
peut dbloquer un processus qu'en lui donnant toutes les ressources ncessaires, et donc en
rquisitionnant celle qu'il attend et qui est possde par un autre processus de l'ensemble.
Dans la solution propose, on peut imaginer que le processus employ rserve le fichier COM et
commence saisir la commande. A ce moment le processus de facturation est activ, et rserve
l'imprimante, puis se bloque en attente du fichier COM. Lorsque l'employ a termin la saisie, il rserve
l'imprimante, mais comme celle-ci est dj rserve par le processus de facturation, il se bloque en attente
de la libration. Nous avons alors deux processus qui attendent mutuellement la libration d'une ressource
possde par un autre processus de l'ensemble : ces deux processus sont en interblocage.
Question 5
Pour ne plus avoir d'interblocage, une des solutions est de rserver les ressources dans le mme ordre,
puisque, dans ce cas, il ne peut plus y avoir de circularit dans les attentes de ressources. Dans le
processus de facturation, il faut donc rserver le fichier COM en premier.
Exercice 3
Question 1
Deux processus P1 et P2 excutent chacun de leur ct, la mme opration CredDeb_Compte(10,
Crediter,100). le droulement de ces oprations peut tre le suivant. le solde final sera finalement de 1100
la place de 1200.
Question 2
Il suffit de placer l'excution de la procdure CredDeb_Compte en exclusion mutuelle, soit avec ACCES
smaphore initialis 1 :
Question 3
Cette fois, il faut mettre en place un schma lecteurs/rdacteurs. La procdure CredDeb_Compte reste
comme en Q2. La procdure Donner_Solde devient :
Exercice 4
Lors de l'utilisation d'une ressource critique par une tche, il est habituel d'ajouter aux paramtres de
description de la tche ceux supplmentaires suivant :
Cig : squence d'instruction suivant la libration de la ressource avec Ci = Cia + Cib + Cig.
Toute tche en cours d'utilisation d'une ressource critique peut tre prempte par une tche plus prioritaire
qu'elle, et qui n'a pas besoin de cette ressource. On considre l'exemple d'une configuration de trois tches
priodiques. Les tches Tp1 et Tp3.
Question 1
Comme le montre la figure, l'instant t=8, la tche 3 est bloque par la tche 2 parce qu'elle est plus
prioritaire qu'elle. Mais comme la tche 1 est en attente de la ressource critique (occupe par la tche 3)
depuis l'instant t=7, on observe donc que la tche 2 est excute avant la tche 1 : c'est le phnomne
d'inversion de priorit.
Question 2
Pour viter ce problme d'inversion de priorit, l'instant t=7, lorsque la tche 1 se met en attente de la
ressource occupe par la tche 3, la tche 3 prend la priorit de la tche 1. Par consquent, l'instant t=8,
la tche 3 est plus prioritaire que la tche 2 et continue s'excuter. L'excution de la tche 2 se trouve
ainsi repousse l'instant t=10 aprs la tche 1 (cf. figure 3.15).
FCFS
Ordre de service : 62, 200, 150, 60, 12, 120, 250, 45, 10, 100
Dplacement du bras : 12 + 138 + 50 + 90 + 48 + 108 + 130 + 205 + 35 + 90 = 906
SSTF
Ordre de service : 45, 60, 62, 100, 120, 150, 200, 250, 12, 10
Dplacement du bras : 5 + 15 + 2 + 38 + 20 + 30 + 50 + 50 + 238 + 2 = 450
SCAN montant
Ordre de service : 60, 62, 100, 120, 150, 200, 250, 10, 12, 45
Dplacement du bras : 15 + 2 + 38 + 20 + 30 + 50 + 50 + 240 + 2 + 38 = 485
Exercice 2 : GESTION DE FICHIERS UNIX
Un processus lit squentiellement un fichier de 8 Mo, raison de 256 octets la fois. On suppose que les
blocs disque sont de 1024 octets et qu'un numro de bloc occupe 4 octets. par ailleurs, le temps d'accs
moyen au disque est de 40 ms.
lecture des 7926 blocs restants (niveau d'indirection 2) : on a trois accs disque par
gale 3888 s.
3/ Le systme gre un mcanisme de buffer cache
3.a/ question de cours
3.b/ on a un accs disque par blocs de donnes (lors de la lecture des 256 premiers octets du bloc). on a
un total de 33 blocs d'adresse lire. soit un nombre d'accs disque gal 8192 + 33 = 9224
et un
Exercice 1:
Cration et attchement d'une socket : Rappels de cours sur les primitives socket et bind.
Exercice 2:
Communication en mode datagramme ou en mode connect On considre l'application clients-serveur
rpartie suivante : le serveur gre une table annuaire de couple (nom_de_personne, numero_telephone).
Des clients interrogent le serveur en lui transmettant un nom_de_personne. Le serveur rpond en envoyant
au client le couple correspondant (nom_de_personne, numero_telephone) si il a t trouv dans le table,
sinon le message "usager inconnu".
2.a/ On a joint les codes C correspondants : udp_client et udp_serveur (annuaire.c). S'en inspirer pour le
pseudo-code.
2.b/ On a joint les codes C correspondants : tcp_client, tcp_serveur iteratif. S'en inspirer pour le pseudocode
2.c/ On a joint les codes C correspondants : tcp_client, tcp_ serveur parallle . S'en inspirer pour le pseudocode
2.d/ Donnez le pseudo-code du serveur code joint serveur de scrutation. A votre avis, faut-il protgez
l'accs la table de l'annuaire par un schma de synchronisation ? Si les services serveur sont itratifs, on
peut mettre en place une exclusion mutuelle pour protger un accs en lecture vis vis d'un accs en
criture (mais ce n'est pas obligatoire) Si les services serveur sont parallles, on doit mettre en place une
exclusion mutuelle pour protger un accs en criture vis vis d'un autre accs en criture.
Exercice 3:
Le dmon INETD
3.a/ Quel est le rle du dmon Inetd ? question de cours