SystÃ¨me d'exploitation - LIFL

More documents

Recommendations

Info

Fonctions d’un systèmed’exploitationAvec des prétentions variables en fonctiondes différents besoin, les systèmesd’exploitation assurentfondamentalement trois tâches :1. Gérer le matériel ;2. Fournir une abstraction du matériel ;3. Fiabiliser/sécuriser/administrerl’exécution des traitements.
Petite Histoire dessystèmes d’exploitationLes débuts1ersSystèmesTempspartagéSystèmesgraphiquemicronoyauxExonoyauxSDS 930MulticsUnixST76SolarisLinuxMS-DOSMS-WindowsChorusMacOSTOSWorkbenchMACX-kernelMcO-XVM Ware1945 1955 1965 1975 1985 1995 2003
Page 1 and 2: Systèmes d’Exploitation &Machine
Page 3 and 4: Objectif du cours• ObjectifsAcqu
Page 8 and 9: Quelques paradigmes pour laconcepti
Page 10 and 11: Les systèmes d’exploitation :une
Page 12 and 13: Principes de la programmation dessy
Page 14 and 15: Le système d’exploitation :Cadre
Page 16 and 17: Gérer le microprocesseurharger un
Page 18 and 19: S’abstraire du microprocesseur :L
Page 20 and 21: Gérer les mémoiresGérer les regi
Page 22 and 23: S’abstraire des mémoires :L’ex
Page 24 and 25: Partie IV : Exploitation des systè
Page 26 and 27: Architecture en couche pourl’expl
Page 28 and 29: Périphériques de mémoirespersist
Page 30 and 31: Périphériques de mémoirespersist
Page 32 and 33: Virtualisation des disques :les vol
Page 36 and 37: Démarrage d’un système1. Exécu
Page 40 and 41: Système de fichiersLes volumes, et
Page 42 and 43: Système de fichiers• Mécanisme
Page 44 and 45: Système de fichiersSous Unix, un r
Page 46 and 47: Protections selon UnixChaque réper
Page 48 and 49: Fichiers mappés en mémoire centra
Page 50 and 51: Plan• Place et fonctionnement de
Page 52 and 53: Point de vue µprocFonctionnementde
Page 54 and 55: Exploitationde la mémoire de trava
Page 56 and 57:
Abstraction pour la mémoire detrav
Page 58 and 59:
Abstraction pour la mémoire detrav
Page 60 and 61:
Les principales suites de subdivisi
Page 62 and 63:
Exemple d’un modèle mémoirepour
Page 64 and 65:
Virtualisation de la mémoire :les
Page 66 and 67:
Virtualisation de la mémoire :les
Page 68 and 69:
te de la mémoire virtuelle d’un
Page 70 and 71:
Fichiers mappés en mémoire centra
Page 72 and 73:
Autres usages pour lamémoire virtu
Page 74 and 75:
Plan• Les modèles de mémoire à
Page 76 and 77:
Les modèles de mémoire à objetsU
Page 78 and 79:
Typage dynamiqueTypage dynamique :1
Page 80 and 81:
Libération implicite :« ramasse m
Page 82 and 83:
Algorithmes de ramasse miette. Comp
Page 84 and 85:
Page 86 and 87:
Page 88 and 89:
Mémoire recouvrable etSystèmes tr
Page 90 and 91:
Propriétés non Fonctionnelles (Pn
Page 92 and 93:
Mécanismes de mémoires recouvrabl
Page 94 and 95:
Mécanismes de mémoires recouvrabl
Page 96 and 97:
Garantir l’atomicité d’uneécr
Page 98 and 99:
Notion d’Atomicitéstatic void tr
Page 100 and 101:
Contexte de déploiement d’unsyst
Page 102 and 103:
Systèmes transactionnels et« vali
Page 104 and 105:
Plan• Définition d’un programm
Page 106 and 107:
Définition d’un programme exécu
Page 108 and 109:
Du code source au binairePour exéc
Page 110 and 111:
1. Pour préserver le résultat de
Page 112 and 113:
Chargement de codefichier « binair
Page 114 and 115:
Problème du relogementUn fichier e
Page 116 and 117:
Liaison dynamique de codeDans le mo
Page 118 and 119:
Liaison dynamique de codeLiaison dy
Page 120 and 121:
Le format des fichiers ELFPoint de
Page 122 and 123:
Plan• Abstraire l’utilisation d
Page 124 and 125:
Abstraire l’utilisation dumicropr
Page 126 and 127:
les interpréteursUn code interpré
Page 128 and 129:
Mise en œuvre des interpréteurs«
Page 130 and 131:
L’exemple desmachines virtuelles
Page 132 and 133:
Technique d’exécutiondes bytecod
Page 134 and 135:
Page 136 and 137:
Page 138 and 139:
Page 140 and 141:
Plan• Virtualiser la ressource «
Page 142 and 143:
Virtualiser la ressource« micropro
Page 144 and 145:
Virtualiser la ressource« micropro
Page 146 and 147:
Principes élémentairesde mise en
Page 148 and 149:
Les Tâches et les OrdonnanceursExe
Page 150 and 151:
Les Tâches et les OrdonnanceursNou
Page 152 and 153:
Section critiques,exclusions mutuel
Page 154 and 155:
Sections critiques,exclusions mutue
Page 156 and 157:
Sections critiques,exclusions mutue
Page 158 and 159:
Gestion des « étreintes fatales
Page 160 and 161:
Introduction auxSystèmes d’infor
Page 162 and 163:
Notion de temps réel …Par rappor
Page 164 and 165:
Mise en œuvre du temps réel mouPo
Page 166 and 167:
Les clefs d’unsystème temps rée
Page 168 and 169:
Calculer le temps d’exécution d
Page 170 and 171:
Configuration d’un système RTTro
Page 172 and 173:
Ordonnancement temps réel etcontr
Page 174 and 175:
RT et LinuxDeux systèmes Linux rev
Page 178 and 179:
Sécurité-innocuitédans les syst
Page 180 and 181:
Sécurité-innocuitéRappel :«Déf
Page 182 and 183:
Authentification / Non répudiation
Page 184 and 185:
Isolation des programmes et MMUUn c
Page 186 and 187:
Isolation des programmes Unixet Buf
Page 188 and 189:
Politique des pointeurs propresOn p
Page 190 and 191:
Politique des pointeurs propresstat
Page 192 and 193:
class2class MaClass.class ajout d
Page 194 and 195:
Disponibilité et Dénie de Service
Page 196 and 197:
Architectures et paradigmes pourcon
Page 198 and 199:
Architectures des systèmes• L’
Page 200 and 201:
Architectures des systèmesNature d
Page 202 and 203:
Systèmes événementiels-mise en
Page 204 and 205:
Systèmes à base de fluxPrincipes
Page 206 and 207:
Systèmes à base de fluxPremière
Page 208 and 209:
Les architectures monolithiquesFour
Page 210 and 211:
Architecture des micro-noyaux-mise
Page 212 and 213:
Abstraction et machines virtuellesL
Page 214 and 215:
Virtualisation des ressourcesmatér
Page 216 and 217:
Virtualisation des ressources-mise
Page 218 and 219:
Plan du cours1. Rôle et historique
Page 220 and 221:
Principe des systèmes Unix1. Un la
Page 222 and 223:
Architecture des systèmes UnixAppl
Page 224 and 225:
Commandes de contrôle usuellesMani
Page 226 and 227:
Commandes de contrôle usuellesAdmi
Page 228 and 229:
Création de processus Unix• Prim
Page 230 and 231:
Processus et mémoiresAllocation de
Page 232 and 233:
Processus UnixGroupe de processus
Page 234 and 235:
Plan du cours1. Les processus Unix
Page 236 and 237:
Les processus UnixPrimitives fourni
Page 238 and 239:
Les processus UnixPrimitive fournie
Page 240 and 241:
Processus et signauxLes différents
Page 242 and 243:
Mémoire partagée UnixPartager de
Page 244 and 245:
Mémoire partagée UnixExemple d’
Page 246 and 247:
Création de sémaphores UnixPrimit
Page 248 and 249:
pération sur les sémaphores UnixP
Page 250:
Etreintes fatalesP1Réserve ARéser
show all

SystÃ¨me d'exploitation - LIFL

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?