SystÃ¨me d'exploitation - LIFL

More documents

Recommendations

Info

Partie IV : Exploitation des systèmes Unix12. Processus, signaux, mémoire partagée.13. Synchronisation, sémaphore et moniteurs.Plan (prévisionnel) du cours1. Introduction au cours de systèmePartie I : Système et mémoires2. Gestionnaire de la mémoire persistante (système de fichiers).3. Virtualisation de la mémoire de travail (allocateur/ dé allocateur).4. Abstraction de la mémoire de travail (gestionnaire de mémoire objet).5. Mémoire transactionnelle (un exemple de propriété non fonctionnel).Partie II : Système et microprocesseur6. Gestion du microprocesseur (Chargement, édition de lien, initialisation, exécution).7. Abstraction du microprocesseur (Compilateur, Interpréteur, Machine Virtuelle).8. Mécanisme de partage de la ressource µproc et d’ordonnancement des taches.9. Problèmes d’ordonnancement, ordonnancement temps réel et exclusion mutuelle.Partie III : Architecture et sécurité des systèmes d’exploitation10. Isolation par adressage/dynamique (MMU) & Isolation par typage/Statique (JVM).11. Architecture des systèmes d’exploitation.
Système de FichiersPrincipe d’utilisation, de gestion etde mise en œuvre des systèmesde fichier dans les systèmesinformatiquesPar Gilles GrimaudUniversité des Sciences etTechnologies de Lillehttp://www.lifl.fr/~grimaud/Cours
Page 1 and 2: Systèmes d’Exploitation &Machine
Page 3 and 4: Objectif du cours• ObjectifsAcqu
Page 6 and 7: Fonctions d’un systèmed’exploi
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 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?