Resource Management - Operating Systems Group

Resource Management - Operating Systems Group Resource Management - Operating Systems Group

os.inf.tu.dresden.de
from os.inf.tu.dresden.de More from this publisher
21.12.2012 Views

■ Fiasco.OC and L4Re form an object-capability system TU Dresden MOS: Resource Management CAPABILITIES ■ actors in the system are objects ■ objects have local state and behavior ■ capabilities are references to objects ■ any object interaction requires a capability ■ unseparable and unforgeable combination of reference and access right 34

Task A Capability Table TU Dresden MOS: Resource Management CAPABILITIES A B C D E Fiasco.OC Task B 1 1 2 2 Table 3 3 4 4 5 5 Capability 35

Task A<br />

Capability Table<br />

TU Dresden MOS: <strong>Resource</strong> <strong>Management</strong><br />

CAPABILITIES<br />

A B C D E<br />

Fiasco.OC<br />

Task B<br />

1<br />

1<br />

2<br />

2 Table<br />

3<br />

3<br />

4<br />

4<br />

5 5<br />

Capability<br />

35

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!