A communication mechanism for resource isolation - CentraleSupélec Access content directly
Conference Papers Year : 2009

A communication mechanism for resource isolation


Sharing resources between multiple untrusted clients requires a shared service that provides access to the resources upon client requests. But executing these requests needs other resources, like memory or CPU time, which must be carefully allocated. In this paper, we investigate a communication mechanism that allows access to shared services without changing existing allocation decisions. This is achieved by systematically using the new resource lending principle, that allows a service to use the resources of its clients to perform the request. We present an easily understandable design model for this communication mechanism named the thread lending model, that completely avoids any allocation by the service, and demonstrate its implementation in our prototype OS Anaxagoros. We finally investigate the consequences of using this model on the structure and implementation of the shared services.
No file

Dates and versions

hal-00471460 , version 1 (08-04-2010)


  • HAL Id : hal-00471460 , version 1


Matthieu Lemerre, Vincent David, Guy Vidal-Naquet. A communication mechanism for resource isolation. IIES 2009, Mar 2009, Nuremburg, Germany. 6 p. ⟨hal-00471460⟩
102 View
0 Download


Gmail Facebook X LinkedIn More