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
-
依托单位:
海外基金