PDOS: Experimenting with Garbage Collection in an Otherwise Conventional OS
PDOS:在传统操作系统中试验垃圾收集
基本信息
- 批准号:0509526
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2005
- 资助国家:美国
- 起止时间:2005-08-01 至 2009-07-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Security holes and crashes at the operating system (OS) levelrepresent a serious infrastructure problem. These OS bugs are oftenthe result of memory management errors, which are very hard fordevelopers to avoid. In the long run, a broad class ofmemory-management errors can be prevented by using a high-level,type-safe language, but whether these languages are suitable forkernel implementation remains an open question. Unfortunately, anygiven experiment to answer the question (i.e., using a particularhigh-level language) involves many differences in implementationcompared to a conventional kernel, making it difficult to drawconclusions about which parts of the high-level approach work andwhich parts do not. This project is an experiment specifically aboutgarbage collection for legacy OS kernels, changing as few otherimplementation issues as possible. Concretely, the research is aboutdeveloping tools to automatically transform the C source code of aconventional kernel so that it is compatible with a variety of precisegarbage-collection strategies. The project's ultimate goal is to checkwhether the OS becomes usefully more reliable as a result of garbagecollection, and to measure the performance costs in both desktop andembedded environments. If the experiment shows that the OS improves ata reasonable cost, then the research will have shown how to increasethe reliability of a major part of today's computer systemsinfrastructure. Tools generated by the project will be made publiclyavailable for use in research, for application to practical software,and for pedagogical purposes.
操作系统(OS)级别的安全漏洞和崩溃代表了严重的基础设施问题。这些操作系统错误通常是内存管理错误的结果,这是开发人员很难避免的。从长远来看,通过使用高级类型安全语言可以防止大量的内存管理错误,但这些语言是否适合内核实现仍然是一个悬而未决的问题。不幸的是,任何给定的实验来回答这个问题(即,使用特定的高级语言)与传统内核相比,在实现上存在许多差异,这使得很难得出关于高级方法的哪些部分有效以及哪些部分无效的结论。这个项目是一个专门针对遗留操作系统内核的垃圾收集的实验,尽可能少地改变其他实现问题。具体地说,本研究是关于开发工具来自动转换传统内核的C源代码,使其兼容各种精确的垃圾收集策略。该项目的最终目标是检查操作系统是否由于垃圾收集而变得更加可靠,并测量桌面和嵌入式环境中的性能成本。如果实验表明操作系统以合理的成本改进,那么研究将表明如何增加当今计算机系统基础设施的主要部分的可靠性。该项目产生的工具将公开提供,用于研究、应用于实用软件和教学目的。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Matthew Flatt其他文献
How to Design Programs : An Introduction to Programming and Computing
如何设计程序:编程和计算简介
- DOI:
- 发表时间:
2020 - 期刊:
- 影响因子:0
- 作者:
Matthew Flatt - 通讯作者:
Matthew Flatt
Matthew Flatt的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Matthew Flatt', 18)}}的其他基金
Collaborative Research: HNDS-I:SweetPea: Automating the Implementation and Documentation of Unbiased Experimental Designs
合作研究:HNDS-I:SweetPea:自动化无偏实验设计的实施和记录
- 批准号:
2318550 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Standard Grant
SHF:Small:A Domain-Specific Language for Designing Cognitive-Science Experiments
SHF:Small:用于设计认知科学实验的特定领域语言
- 批准号:
1813123 - 财政年份:2018
- 资助金额:
-- - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: Designing a Programming Language for Patient-Oriented Prescriptions
SHF:小型:协作研究:为面向患者的处方设计编程语言
- 批准号:
1526324 - 财政年份:2015
- 资助金额:
-- - 项目类别:
Standard Grant
CI-EN: Collaborative: Run Your Research with Redex
CI-EN:协作:使用 Redex 进行研究
- 批准号:
1405961 - 财政年份:2014
- 资助金额:
-- - 项目类别:
Standard Grant
SHF: Small: Collaborative Research: Designing a Patient-Oriented Prescription Language: An Executable Medical Algorithm for Gestational Diabetes Mellitus
SHF:小型:协作研究:设计面向患者的处方语言:妊娠期糖尿病的可执行医学算法
- 批准号:
1218103 - 财政年份:2012
- 资助金额:
-- - 项目类别:
Standard Grant
SHF: Small: An Extensible Gradual Type System via Compile-Time Meta-Programming
SHF:小型:通过编译时元编程的可扩展渐进类型系统
- 批准号:
0914759 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Standard Grant
SoD: Language Towers as Design Frameworks
SoD:语言塔作为设计框架
- 批准号:
0438847 - 财政年份:2005
- 资助金额:
-- - 项目类别:
Standard Grant
Collaborative Research: EHS: Components and Aspects for Embedded Middleware
合作研究:EHS:嵌入式中间件的组件和方面
- 批准号:
0410285 - 财政年份:2004
- 资助金额:
-- - 项目类别:
Continuing Grant
Collaborative: Exploiting Component Contracts for Static Analysis and Testing
协作:利用组件契约进行静态分析和测试
- 批准号:
0306286 - 财政年份:2003
- 资助金额:
-- - 项目类别:
Standard Grant
相似海外基金
Experimenting with robotics as a new urban infrastructure
尝试将机器人技术作为新的城市基础设施
- 批准号:
ES/W010542/1 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Research Grant
2021 Carbon Farming: Experimenting Soil Carbon Sequestration Deployment in Farming Systems
2021年碳农业:在农业系统中试验土壤固碳部署
- 批准号:
10035635 - 财政年份:2022
- 资助金额:
-- - 项目类别:
EU-Funded
'Connecting Mobilities Research between the UK and South Korea: narrating, mobilizing, experimenting and engaging mobilities for just futures'
“连接英国和韩国之间的流动性研究:为了公正的未来而叙述、动员、实验和参与流动性”
- 批准号:
ES/W010895/1 - 财政年份:2022
- 资助金额:
-- - 项目类别:
Research Grant
EXperimenting with city streets to TRAnsform urban mobility (EX-TRA)
试验城市街道以变革城市交通 (EX-TRA)
- 批准号:
ES/W000563/1 - 财政年份:2021
- 资助金额:
-- - 项目类别:
Research Grant
Designing and experimenting environment-adaptive pedagogical material for tenses in French as a Foreign Language.
设计和实验针对对外法语时态的环境适应性教学材料。
- 批准号:
18K12452 - 财政年份:2018
- 资助金额:
-- - 项目类别:
Grant-in-Aid for Early-Career Scientists
Broadening Participation Research Project: Experimenting with an Augmented Reality Facilitated Instructional Model to Enhance STEM Education
扩大参与研究项目:试验增强现实促进的教学模式以加强 STEM 教育
- 批准号:
1818672 - 财政年份:2018
- 资助金额:
-- - 项目类别:
Standard Grant
Experimenting with the Earliest Stages of Planet Formation
实验行星形成的最早阶段
- 批准号:
2531148 - 财政年份:2018
- 资助金额:
-- - 项目类别:
Studentship
Assessing urban greening strategies as systemic solutions for social challenges of urbanization. Development of a conceptual evaluation framework and experimenting with using the example of edible cities in Germany.
评估城市绿化战略作为城市化社会挑战的系统解决方案。
- 批准号:
326015139 - 财政年份:2017
- 资助金额:
-- - 项目类别:
Research Grants
The KNOWledge politics of experimentING with smart urbanism.
试验智慧城市主义的知识政治。
- 批准号:
ES/N018907/1 - 财政年份:2016
- 资助金额:
-- - 项目类别:
Research Grant
The KNOWledge politics of experimentING with smart urbanism
智慧城市化实验的知识政治
- 批准号:
278590555 - 财政年份:2016
- 资助金额:
-- - 项目类别:
Research Grants