CAREER: An In-Kernel Runtime Execution Environment for User-Level Programs
CAREER: An In-Kernel Runtime Execution Environment for User-Level Programs
批准号:
0133589
负责人:
Erez Zadok
金额:
$40.0万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2002
资助国家:
美国
项目状态:
已结题
起止时间:
2002-09-01 至 2008-08-31
中文摘要
EIA-0133589Erez Zadok SUNY-Stony BrookCAREER:用户级程序的内核内运行时执行环境我们建议开发一个系统,该系统将简化操作系统代码开发,同时提高性能。开发操作系统内核代码很困难,原因有三个。首先,内核是一个不可原谅的工作环境,任何小的错误都可能导致大规模的数据损坏;内核的调试工具不像用户级的对应工具那样灵活,也不经常使用。其次,内核开发人员编写的代码必须考虑到许多不寻常的情况,如资源争用、锁、引用计数、被中断或重入等。第三,程序员在成为熟练的内核开发人员之前,必须阅读和理解大量复杂的内核代码。然而,开发内核代码的一个主要优势是它运行得非常快;内核可以直接访问所有系统资源。这项研究的好处将包括创建一种新的系统,允许任何可以编写用户级代码的人在用户级更容易地开发和测试他们的代码,然后在内核内执行该代码以获得显著的性能优势。这项研究将使我们能够了解运行许多内核应用程序的安全性和可伸缩性,并开发方法来进一步优化内核应用程序的性能。
英文摘要
EIA-0133589Erez Zadok SUNY -Stony BrookCAREER: An In-Kernel Runtime Execution Environment for User-Level ProgramsWe propose to develop a system that will simplify operating system code development while improving performance. Developing operating system kernel code is difficult for three reasons. First, the kernel is an unforgiving environment to work in, where any small bug can result in large-scale data corruption; debugging tools for kernels are not as flexible as their user-level counterparts and are not used often. Second, kernel developers must write codes that takes into account many unusual conditions such as resource contention, locks, reference counts, being interrupted or re-entrant, and more. Third, before programmers can become proficient kernel developers, they must read and understand large amounts of complex kernel code. However, one major advantage to developing kernel code is that it runs very fast; the kernel has direct access to all the system resources.The benefits of this research will include the creation of a novel system that allows anyone who can write user-level code to develop and test their code in the user level where it is easier to do so, and then to execute that code inside the kernel to gain significant performance benefits. This research will enable us to learn about the security and scalability of running many kernel applications and develop methods to optimize the performance of in-kernel applications further.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: CyberTraining: Implementation: Medium: FOUNT: Scaffolded, Hands-On Learning for a Data-Centric Future
-
批准号:2230078
-
项目类别:Standard Grant
-
资助金额:$17.49万
-
财政年份:2022
-
负责人:Erez Zadok
-
依托单位:
Collaborative Research: CNS Core: Medium: Secure, Reliable, and Efficient Long-Term Storage
-
批准号:2106263
-
项目类别:Continuing Grant
-
资助金额:$71.73万
-
财政年份:2021
-
负责人:Erez Zadok
-
依托单位:
Collaborative Research: CNS Core: Medium: Optimizing Storage Caches via Adaptive and Reconfigurable Tiering
-
批准号:2106434
-
项目类别:Continuing Grant
-
资助金额:$53.33万
-
财政年份:2021
-
负责人:Erez Zadok
-
依托单位:
CNS Core: III: Medium: Collaborative Research: Optimizing and Understanding Large Parameter Spaces in Storage Systems
-
批准号:1900706
-
项目类别:Continuing Grant
-
资助金额:$82.31万
-
财政年份:2019
-
负责人:Erez Zadok
-
依托单位:
FMitF: Track I: NLP-Assisted Formal Verification of the NFS Distributed File System Protocol
-
批准号:1918225
-
项目类别:Standard Grant
-
资助金额:$74.83万
-
财政年份:2019
-
负责人:Erez Zadok
-
依托单位:
Collaborative Research: CI-SUSTAIN: National File System Trace Repository
-
批准号:1729939
-
项目类别:Standard Grant
-
资助金额:$12.99万
-
财政年份:2017
-
负责人:Erez Zadok
-
依托单位:
Student Travel Support for the 13th USENIX File and Storage Technologies conference (FASTI 2015)
-
批准号:1522834
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2015
-
负责人:Erez Zadok
-
依托单位:
CSR: Medium: Collaborative Research: Workload-Aware Storage Architectures for Optimal Performance and Energy Efficiency
-
批准号:1302246
-
项目类别:Standard Grant
-
资助金额:$51.39万
-
财政年份:2013
-
负责人:Erez Zadok
-
依托单位:
BIGDATA: Small: DCM: Collaborative Research: An efficient, versatile, scalable, and portable storage system for scientific data containers
-
批准号:1251137
-
项目类别:Standard Grant
-
资助金额:$44.43万
-
财政年份:2013
-
负责人:Erez Zadok
-
依托单位:
TTP: Small: NFS4Sec: An Extensible Security Layer for Network Storage
-
批准号:1223239
-
项目类别:Standard Grant
-
资助金额:$48.68万
-
财政年份:2012
-
负责人:Erez Zadok
-
依托单位:
Student Travel Support for the First USENIX Workshop on Sustainable Information Technology (SustainIT 2010)
-
批准号:0968748
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2010
-
负责人:Erez Zadok
-
依托单位:
Performance- and Energy-Aware HEC Storage Stacks
-
批准号:0937854
-
项目类别:Standard Grant
-
资助金额:$65.2万
-
财政年份:2009
-
负责人:Erez Zadok
-
依托单位:
CSR---PDOS: Support for Atomic Sequences of File System Operations
-
批准号:0614784
-
项目类别:Standard Grant
-
资助金额:$56.17万
-
财政年份:2006
-
负责人:Erez Zadok
-
依托单位:
HEC: File System Tracing, Replaying, Profiling, and Analysis on HEC Systems
-
批准号:0621463
-
项目类别:Standard Grant
-
资助金额:$76.03万
-
财政年份:2006
-
负责人:Erez Zadok
-
依托单位:
CSR---AES: Runtime Monitoring and Model Checking for High-Confidence System Software
-
批准号:0509230
-
项目类别:Continuing Grant
-
资助金额:$83.0万
-
财政年份:2005
-
负责人:Erez Zadok
-
依托单位:
A Layered Approach to Securing Network File Systems
-
批准号:0310493
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2003
-
负责人:Erez Zadok
-
依托单位:
国内基金
海外基金
登录
查看更多内容
多kernel环境下通用图形处理器缓存子系统性能优化研究
-
批准号:62162002
-
项目类别:地区科学基金项目
-
资助金额:36万元
-
批准年份:2021
-
负责人:张军
-
依托单位:
玉米Edk1(Early delayed kernel 1)基因的克隆及其在胚乳早期发育中的功能研究
-
批准号:31871625
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2018
-
负责人:王海海
-
依托单位:
基于Kernel算子的仿射非线性系统故障诊断与容错控制研究及应用
-
批准号:61473004
-
项目类别:面上项目
-
资助金额:83.0万元
-
批准年份:2014
-
负责人:杨莹
-
依托单位:
非向量型Kernel学习机及其对动态形状模板的应用
-
批准号:60373090
-
项目类别:面上项目
-
资助金额:22.0万元
-
批准年份:2003
-
负责人:高俊斌
-
依托单位: