Hardware Resource Control in L4 micro-kernels

Goichon François 1 Stéphane Frénot 1 Guillaume Salagnac 1
1 AMAZONES - Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
Résumé : Dans les systèmes d'exploitation classiques, les processus utilisateurs ont un accès direct aux méthodes des pilotes de périphériques matériels. Cet accès direct peut être exploité afin de forcer un déni de service sur le périphérique concerné ou diminuer fortement la qualité du service fourni. Par exemple, un processus malveillant demandant des accès intensifs au disque sur des blocs très proches empêchera d'autres processus d'accéder à cette ressource. L'isolation forte inhérente aux micro-noyaux canalise les communications entre processus via IPC. L'objectif de notre travail est de profiter de cette couche de communication pour intercepter les appels aux périphériques et permettre un contrôle d'admission ou un réordonnancement des demandes aux périphériques. Ceci pourrait empêcher des processus malveillants de forcer un déni de service sur un composant matériel via l'inaccessibilité du pilote correspondant, en forçant un partage équitable du temps d'accès au pilote.
Type de document :
Poster
Conférence Française en Systèmes d'Exploitation (CFSE 2011), May 2011, Saint-Malo, France
Liste complète des métadonnées

https://hal.inria.fr/hal-00648488
Contributeur : Guillaume Salagnac <>
Soumis le : lundi 5 décembre 2011 - 19:16:10
Dernière modification le : vendredi 22 décembre 2017 - 11:22:11
Document(s) archivé(s) le : mardi 6 mars 2012 - 02:41:25

Fichier

GSF-cfse11-poster.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00648488, version 1

Collections

Citation

Goichon François, Stéphane Frénot, Guillaume Salagnac. Hardware Resource Control in L4 micro-kernels. Conférence Française en Systèmes d'Exploitation (CFSE 2011), May 2011, Saint-Malo, France. 〈hal-00648488〉

Partager

Métriques

Consultations de la notice

150

Téléchargements de fichiers

75