Resource Management - Operating Systems Group
Resource Management - Operating Systems Group
Resource Management - Operating Systems Group
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
■ Fiasco.OC and L4Re form an<br />
object-capability system<br />
TU Dresden MOS: <strong>Resource</strong> <strong>Management</strong><br />
CAPABILITIES<br />
■ actors in the system are objects<br />
■ objects have local state and behavior<br />
■ capabilities are references to objects<br />
■ any object interaction requires a capability<br />
■ unseparable and unforgeable combination<br />
of reference and access right<br />
34