Improving the Performance, Scalability and Reliability of the Linux Operating System
Improving the Performance, Scalability and Reliability of the Linux Operating System
批准号:
LP0562690
负责人:
Prof Gernot Heiser
金额:
$22.32万
依托单位国家:
澳大利亚
项目类别:
Linkage Projects
财政年份:
2005
资助国家:
澳大利亚
项目状态:
已结题
起止时间:
2005-10-12 至 2009-06-30
中文摘要
该项目旨在提高Linux操作系统在大型系统上的可伸缩性,而不会影响小型嵌入式系统的性能。它将通过取消特别容易出错的代码(如设备驱动程序)的特权来提高Linux的健壮性和安全性,而不会对性能造成不适当的影响。它将通过使关键组件(如处理器、磁盘和内存调度器)可插拔,并使其策略在用户级别可控,从而提高可配置性并简化调整。它将调查用户级文件系统以及处理器和内存调度的可行性和好处,并将证明这些可以在不影响性能的情况下提高系统可靠性。
英文摘要
This project aims to improve the scalability of the Linux operating system to large systems without loss of performance on small, embedded, systems. It will improve Linux robustness and security by de-privileging particularly error-prone code, such as device drivers, without undue impact on performance. It will improve configurability and ease tuning by making critical components, such as processor, disk and memory schedulers, pluggable and their policies controllable at user level. It will investigate the feasibility and benefits of user-level file systems and processor and memory scheduling and will demonstrate that these can improve system reliability without undermining performance.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Provable elimination of information leakage through timing channels
-
批准号:DP190103743
-
项目类别:Discovery Projects
-
资助金额:$46.37万
-
财政年份:2019
-
负责人:Prof Gernot Heiser
-
依托单位:
Operating systems meeting the challenges of modern computer architectures
-
批准号:LP0348096
-
项目类别:Linkage Projects
-
资助金额:$20.64万
-
财政年份:2003
-
负责人:Prof Gernot Heiser
-
依托单位:
High-performance real-time OS framework for low-power applications
-
批准号:LP0234923
-
项目类别:Linkage Projects
-
资助金额:$4.72万
-
财政年份:2002
-
负责人:Prof Gernot Heiser
-
依托单位:
海外基金