Séance de cours

Mécanismes d'isolement

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Description

Cette séance de cours couvre le concept de mécanismes d'isolement dans les systèmes d'exploitation, en mettant l'accent sur l'unité d'isolement connue sous le nom de «Processus». Il explique comment l'isolement impose la séparation pour limiter les effets de défaillance, empêche les processus d'interférer entre eux ou avec le système d'exploitation, et discute de l'isolement matériel dans l'architecture x86. La séance de cours se déroule également dans les appels système dans xv6, le processus de commutation des anneaux dans x86, et la mise en œuvre de mécanismes d'isolement pour empêcher les processus malveillants de causer des dommages.

Cette vidéo est disponible exclusivement sur Mediaspace pour un public restreint. Veuillez vous connecter à Mediaspace pour y accéder si vous disposez des autorisations nécessaires.

Regarder sur Mediaspace

Source officielle

Proximité ontologique

Génie informatique

Architecture matérielle: Architecture matérielle

Concepts associés (32)

Appel système

En informatique, un appel système (c'est-à-dire appel au système [d'exploitation]) (en anglais, system call, abrégé en syscall) désigne le moment où un programme s'interrompt pour demander au système d'exploitation d'accomplir pour lui une certaine tâche. L'expression désigne donc aussi la fonction primitive elle-même fournie par le noyau d'un système d'exploitation. Sont ainsi contrôlées et uniformisées les applications de l'espace utilisateur ; certains droits d'accès peuvent de plus être réservés au noyau.

Fork (programmation)

La fonction fork fait partie des appels système standard d'UNIX (norme POSIX). Cette fonction permet à un processus (un programme en cours d'exécution) de donner naissance à un nouveau processus qui est sa copie conforme, par exemple en vue de réaliser un second traitement parallèlement au premier. Un bon moyen de visualiser l'effet d'un fork sur un processus est d'imaginer une division cellulaire. Il existe une filiation dans les processus : le créateur d'un nouveau processus est appelé le père et le nouveau processus, le fils.

Wait (system call)

In computer operating systems, a process (or task) may wait for another process to complete its execution. In most systems, a parent process can create an independently executing child process. The parent process may then issue a wait system call, which suspends the execution of the parent process while the child executes. When the child process terminates, it returns an exit status to the operating system, which is then returned to the waiting parent process. The parent process then resumes execution.

Hardware virtualization

Hardware virtualization is the virtualization of computers as complete hardware platforms, certain logical abstractions of their componentry, or only the functionality required to run various operating systems. Virtualization hides the physical characteristics of a computing platform from the users, presenting instead an abstract computing platform. At its origins, the software that controlled virtualization was called a "control program", but the terms "hypervisor" or "virtual machine monitor" became preferred over time.

X86

La famille x86 regroupe les microprocesseurs compatibles avec le jeu d'instructions de l'Intel 8086. Cette série est nommée IA-32 (pour Intel architecture 32 bits) par Intel pour ses processeurs à partir du Pentium. Un constructeur de microprocesseur pour PC doit maintenir une compatibilité descendante avec ce jeu d'instructions s'il veut que les logiciels déjà écrits fonctionnent sur les nouveaux microprocesseurs. Le nom est un terme générique pour la famille de processeurs Intel, le "x" correspondant à plusieurs valeurs, depuis le 8086, en passant par 80286, 80386 ou 80486.

Afficher plus

Séances de cours associées (42)

Protection des processus et exécution efficace

Explore l'exécution des processus, la protection et les mécanismes d'exploitation efficaces pour des environnements multi-programmes sécurisés et fiables.

Systèmes d'exploitation : l'illusion des ressources

Explique comment les systèmes d'exploitation créent l'illusion de ressources dédiées et infinies grâce à la virtualisation et à l'abstraction des processus.

Isolement et protection : assurer la sécurité des processus

Couvre les concepts d'isolement et de protection dans les systèmes informatiques, en mettant l'accent sur la sécurité des processus et les techniques de gestion des ressources.

Synthèse automatique du code OS

Couvre la synthèse automatique du code OS pour alléger le fardeau des développeurs dans la configuration du matériel de traduction.

Pièges et interruptions: mécanismes de contrôle du système d'exploitation

Explique les pièges, les interruptions et les exceptions, en détaillant leurs rôles dans le contrôle du système d'exploitation et la gestion des processus.

Afficher plus

Concepts associés (32)

Appel système

Fork (programmation)

Wait (system call)

Hardware virtualization

X86

Afficher plus