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.