Plan du cours de systme dexploitation Cours de Systmes dExploitation

1. Introduction gnrale 2. Processus et threads 3. Synchronisation

x Solutions de bas niveau x Solutions de haut niveau

RICM 2, Anne 2010-2011

Fabienne Boyer UFR IMA, Universit Joseph Fourier Fabienne.Boyer@imag.fr

4. Gestion des interblocages 5. Gestion de la mmoire virtuelle 6. Le systme de gestion de fichiers 7. Prsentation du systme Nachos 8. Gestion de la mmoire secondaire

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

Organisation de lenseignement

Ce cours a t conu partir de

s Equipe pdagogique
x Philippe Morat (Equipe ADELE, Laboratoire LIG) x Fabienne Boyer (Equipe SARDES, Laboratoire LIG, INRIA RhneAlpes) x Nol de Palma (Equipe SARDES, Laboratoire LIG, INRIA RhneAlpes)

s E. Berthelot
x http://www.iie.cnam.fr/~EBerthelot/

s A. Sylberschatz
x www.sciences.univnantes.fr/info/perso/permanents/attiogbe/SYSTEME/CoursSysteme. html

s A. Griffaut s Volume
x 12 Cours d1H30 x 12 TD d1H30 x 1 TP en Java x 1 examen de 2 heures
2010, F. Boyer, UJF

x http://dept-info.labri.fr/~griffault/Enseignement/SE/Cours

s H. Bouzourfi, D. Donsez
x http://www-adele.imag.fr/~donsez/cours/#se

Cours de Systmes dExploitation RICM2

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

Bibliographie

Introduction gnrale

s Livres
x Silberschatz, Galvin and Gagne, Operating System Concepts, Addison-Wesley x S. Krakowiak, Principes des systmes dexploitation des ordinateurs, Dunod x A. Tanenbaum, Les Systmes dexploitation, Prentice-Hall, InterEditions x Maurice Bach, La conception du systme Unix, Masson x J.M. Rifflet, La programmation sous Unix, McGraw-Hill

s Systmes dexploitation
x Rles x Organisations x Historique

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

Rle dun Systme dExploitation (SE)

Architecture gnrale

s Intermdiaire entre lordinateur et les

applications/utilisateurs
x Ordinateur vu comme un ensemble de ressources (physiques + logiques) x Fournir une interface daccs simplifie aux ressources x Grer le partage efficace et quitable des ressources x Assurer le contrle daccs aux ressources
Cours SE
(Services systme)

Le SE est un gestionnaire de ressources qui met en oeuvre une machine virtuelle

A. Silberschatz, Calvin and Gagne, 2002

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

Structure dun SE

Conception dun SE

s Noyau
x Partie qui rside constamment en mmoire centrale y Routines qui requirent un mode d'excution privilgi y Donnes globales et partages par les serveurs systme

s Noyau minimal (micro-noyau / client-serveur)

x Mach / Chorus / L4 x Maximise les fonctions gres par des serveurs systmes x Meilleure extensibilit et adaptabilit x Meilleure isolation des fautes

s Serveurs systme
x Partie qui peut tre commute / dcharge temporairement

s Noyau maximal (monolithique)

x Unix, Linux, Windows XP x Meilleures performances x Le SE est un ensemble de procdures, ce qui diminue les IPC (Inter Processus Call)

s Pilotes (ou contrleurs)

x Modules spcialiss qui dialoguent avec les priphriques rels

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

10

API du SE

Utilisation dun SE

s Fonctions systme (API)

x Pour le programmeur dapplications, le SE apparat comme un ensemble de fonctions appelables, permettant de manipuler les ressources physiques et logiques x Une fonction systme peut interagir avec un serveur systme pour la ralisation dun service particulier x Au plus bas niveau, une fonction systme peut engendrer un

s Interprteur de commandes
x Permet un utilisateur dexcuter de manire interactive des requtes de haut niveau, qui mettent en jeu des appels systmes y Manipulation de processus y Manipulation de fichiers y Manipulation de mmoires secondaires y x Est lui-mme un programme applicatif pour le SE

appel systme (appel au noyau)

s Langages de haut niveau : appels systmes cachs

par compilateurs / interprteurs / librairies

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

11

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

12

Ressources gres par le SE

Gestion des donnes

x Mmoire centrale = un grand tableau doctets (contenu volatile)

s Programme / application s Processus s Thread (processus lger) s Pilotes

activits

x Les fichiers contiennent des donnes persistentes (programmes, donnes) x Mmoires secondaires = supports de stockage permanents

x Le SE y gre lallocation de la mmoire centrale aux processus

s Mmoire centrale s Fichiers s Mmoires secondaires

y gre la cration, la destruction, laccs aux fichiers

donnes

y gre lallocation de la mmoire secondaire aux fichiers

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

13

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

14

Types de SE

1re gnration (~1950)

s Variations lies :
x Aux volutions technologiques y Miniaturisation des composants y Puissances croissantes x Au domaine dutilisation y Informatique embarque y Informatique domestique y Informatique d'entreprise y

s Ordinateur
x Ensemble de tubes (~20 000) x Chargement manuel par le programmeur laide dinterrupteurs x Lutilisateur excute son programme immdiatement aprs le chargement x Pas de SE

s Inconvnients
x Trs encombrant x Trs lent x Trs peu fiable

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

15

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

16

2me gnration

Mono-programmation

s Ordinateurs mainframes
x Traitement par lots (cartes perfores) x Lenchainement des lots est dcrit par une carte perfore spciale (carte de controle) x Le SE se limite un moniteur rsident qui enchaine les lots
Priphrique E/S

Demande E/S

Fin dE/S

20 millisec

s Inconvnients
x Lent x Non interactif

Moniteur
Processeur

Lot i
temps

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

17

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

18

Evolution E/S tamponnes

E/S Tamponnes

s Utilisation dunits dchange (UE) capables :

x de fontionner simultanment avec lUC (asynchronisme) x de transfrer des tampons = blocs doctets

UC
lit crit

s Excution pgm i // chargement pgm

i+1

Tampon dE

Tampon de S

Mmoire Centrale

s Les cartes sont lues par lUE et stockes dans des tampons

(buffers) dentre
s LUC lit les donnes dans le tampon dentre, place ces donnes

UE

UE

dans la mmoire, et produit le rsultat dans un tampon de sortie

carte

imprimante

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

19

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

20

3me gnration (1960/1970)

Multi-programmation

s Systmes multi-programms
x Plusieurs tches en mmoire simultanment x Multiplexage du processeur entre les tches x Perte du processeur lors des E/S
Allocation proc.

E/S

Fin dE/S

Systme dexpl.

s Avantages
x Meilleure utilisation de lUC

Tche 1 Tche 2 Tche 3 Tche 4

Tche 3 Tche 2 Tche 1 SE

s Inconvnients
x Complexit x Taille de mmoire grande x Partage et protection des ressources

temps

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

21

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

22

Multi-programmation et protection

3me gnration (suite)

s Eviter quune tche puisse lire / crire dans la zone

s Systmes temps partag (1970)

x Partage du temps processeur entre les tches y Quantum de temps x Tches en mmoire ou swappe sur disque y Plus grand nombre de tches y Une mmoire plus grande alloue chaque tche

mmoire affecte une autre tche s Eviter quune tche puisse manipuler la zone rserve au systme autrement que par les appels systme
s Eviter quune tche puisse lire / crire des donnes

dE/S dune autre tche Complexifie la gestion des ressources (mmoire, E/S, )

s Avantages
x Temps de rponse corrects pour tches courtes, mme en prsence de tches longues et non interactives

s Inconvnients
x Complexit x Lutilisation du processeur peut tre moins bonne

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

23

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

24

Systmes mono/multiprogramms et temps partag

T1
E/S

4me gnration (aprs 1970)

T2

T3

s Ordinateurs personnels s Architectures spcialises

x Parallles, temps-rel, embarqu

Mono-processeur & monoprogrammation

s Virtualisation
T1 T2 T3 T1 T2 T1

Mono-processeur & multiprogrammation

s Evolution vers les systmes rpartis

x Architectures cluster / cloud

T1
Rquisition

T2

T3

T1

T2

T1

T3

s Des critres de qualit souvent communs

x Fiabilit, disponibilit, efficacit, extensibilit, faible consommation de ressources, adaptabilit
25 2010, F. Boyer, UJF

Multiprogrammation & temps-partag

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

Cours de Systmes dExploitation RICM2

26

Ordinateurs personnels

Systmes temps-rel

s Initialement
x Mono-tches (MS/DOS, Windows3/11) x Ddis un utilisateur x Pas de protection / scurit x Trs interactifs et conviviaux

s Contraintes temporelles
x Temps d'excution borns

s Utiliss dans des situations spcifiques

x Systmes dimagerie mdicale x Systmes de contrle industriel x Robotique x ...

s Evolution
x Multi-tches x Multi-utilisateurs x Connections rseaux

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

27

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

28

Systmes temps-rel

Systmes mobiles

s Hard real-time systems

x Peu ou pas de mmoire secondaire x Pas de temps-partag x Temps de commutation trs court x SE compltement spcifique

s Personal Digital Assistants (PDAs) s Tlphones cellulaires s Large gamme dapplications s Systmes dexploitation spcifiques s Contraintes
x Mmoire limite x Processeurs lents x Petits crans x Faible consommation dnergie

s Soft real-time systems

x Utiliss dans les applications multimedia, ralit virtuelle x Contraintes de temps plus souples x Gestion de priorits de tches x Gestion spcifique de la mmoire

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

29

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

30

Systmes parallles multiprocesseurs (1/2)

s SMP (Symetric Multi Processeurs)
x Systmes gnralistes (serveurs BD, Web, SI, NFS, ) x Processeurs standards x Partage total de la mmoire

Systmes parallles multiprocesseurs (2/2)

Mmoires locales Processeurs (monte en charge) Bus mmoire

s Machines de calcul parallles

x Architectures spcialises y Processeurs spcifiques pour le calcul vectoriel y Rseaux spcialiss y Partage total ou partiel de la mmoire (bancs)

Bus E/S Mmoire Partage (nb processeurs < 30)

(E/S paralllises)

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

31

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

32

Systmes clusteriss (1/3)

noeuds

Systmes clusteriss (2/3)

s Plusieurs noeuds
x Homognes x Partageant un disque (share disk) ou bien ne partageant rien (share nothing)

s Connects par un rseau spcialis (SCI, Ethernet, )

x Invention des rseaux locaux haut dbit (Local Area Network) x Echanges rapides de donnes de grandes taille

Mmoire Centrale

Mmoire Centrale

Mmoire Centrale

s 3 caractristiques :
x Monte en charge x Passage lchelle (scalability) x Haute disponibilit (serveurs back-up)
2010, F. Boyer, UJF

Rseau rapide

Cours de Systmes dExploitation RICM2

33

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

34

Grilles de calcul

Cloud computing

s Infrastructures rparties composes dun ensemble

s Systme rparti dans lequel les clients utilisent des

de machines htrognes et potentiellement distantes s Milliers de machines

x Grid5000

services dports sur un ou plusieurs serveurs distants, sans avoir administrer ces services ni les machines qui les supportent
s Les services proposs par le Cloud peuvent

s Calcul intensif s Garanties de disponibilit s Systme de rservation des ressources matrielles

sexcuter au sein darchitectures cluster

s 3 modles
x IaaS (Infrastructure as a Service) x PaaS (Platform as a Service) x SaaS (Software as a Service)

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

35

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

36

Couverture du terme systme rparti

Motivations pour les systmes rpartis

s Englobe maintenant
x Architectures distribues fortement couples : y Systmes parallles multi-processeurs y Architectures clusters

s Partage de ressources sur le rseau

x Processeur, mmoire, serveurs / services x Mobilit du code et des donnes

s Potentiel x Architectures distribues faiblement couples y Grilles de calcul y Cloud computing y Applications sexcutant sur Internet
x Disponibilit x Monte en charge x Passage lchelle x Administration

s Le SE rparti est mis en uvre par une couche intergicielle

fonctionnant au dessus des SE des serveurs du systme rparti

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

37

2010, F. Boyer, UJF

Cours de Systmes dExploitation RICM2

38