Thesis Topic Details
Topic ID: |
1268 | |
Title: |
Shared resources in an L4-based OS | |
Supervisor: |
Ihor Kuz | |
Research Area: |
Embedded Systems, Operating Systems | |
| Associated Staff | ||
|---|---|---|
Assessor: |
Kevin Elphinstone | |
| Topic Details | ||
Status: |
Active | |
Type: |
R & D | |
Programs: |
CE CS | |
Group Suitable: |
No | |
Industrial: |
No | |
Pre-requisites: |
-- | |
Description: |
One of the key services that an OS provides is a managing access to shared resources. For example, a file system manages access to shared disk space, a network stack manages access to a network device, a window system manages access to the display, etc. In a modular, microkernel-based OS, these shared resources are managed by user-level services. In this project you will investigate ways of modelling such shared resource managers within the CAmkES component framework on L4 and develop a suitable model for building such services in a componentised environment. You will assess the suitability of this model by designing, implementing, and evaluating one or more such services (e.g., a file system, a network stack, etc.). |
|
Comments: |
See http://www.ertos.nicta.com.au/education/theses.pml for more information. | |
| Past Student Reports | ||
| No Reports Available. Contact the supervisor for more information.
Check out all available reports in the CSE Thesis Report Library. NOTE: only current CSE students can login to view and select reports to download. |
||