Skip to Main content Skip to Navigation
Poster communications

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
Abstract : In traditionnal operating systems, application programs are granted direct access to APIs provided by hardware device drivers. This architecture is likely to yield a poor quality of service, or is even vulnerable to denial-of-service attacks on the device itself. For instance, a malicious process issuing lots of disk requests targetting nearby blocks could prevent other processes from getting any access to their data. The micro-kernel architecture, on the other hand, provides strong isolation between components, as all communication goes through IPC. The objective of our work is to leverage this communication layer in order to transparently intercept all requests before they reach the actual drivers. This would enable the system to monitor how much pressure each program puts on each resource, in order to balance, filter, or reschedule these requests. This would make it impossible for malicious programs to abuse hardware resources, while requiring no change in the code of the driver nor in the application.
Document type :
Poster communications
Complete list of metadata
Contributor : Guillaume Salagnac Connect in order to contact the contributor
Submitted on : Monday, December 5, 2011 - 7:16:10 PM
Last modification on : Friday, February 4, 2022 - 3:11:24 AM
Long-term archiving on: : Tuesday, March 6, 2012 - 2:41:25 AM


Files produced by the author(s)


  • HAL Id : hal-00648488, version 1



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⟩



Record views


Files downloads