CPA-CPL Certified Garbage Collection for Highly Responsive Systems
CPA-CPL Certified Garbage Collection for Highly Responsive Systems
批准号:
0811691
负责人:
Jan Vitek
金额:
$39.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2008
资助国家:
美国
项目状态:
已结题
起止时间:
2008-08-01 至 2012-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Multi-million line systems are being developed in Java for avionics, shipboard computing and simulation. A key attraction of the Real-Time Specification for Java for such systems is that it makes it possible to develop applications that mix hard-, soft-, and non-real-time tasks in the same environment in a memory-safe way. Unfortunately these advantages come at the expense of predictability of the real-time subsystems. One of the main culprits for such unpredictability in Java is garbage collection, which often requires applications to be interrupted for hundreds of milliseconds. Such pauses are not acceptable in real-time systems. One way to address this critical problem is to develop real-time garbage collectors (RTGC) with worst-case bounds on pause times and minimum mutator utilization. RTGC research is still in its infancy. There are limits to the applicability of current algorithms in terms of the strength of the timing guarantees that they offer. Furthermore, one serious limitation to the use of RTGC in safety- and mission- critical settings is the issue of certification of the software. In the current state of the art, no garbage collector has been formally verified. Without these guarantees there is little hope of adoption.This research comprises work on two crucial issues in real-time virtual machines for high-level languages. First, it is exploring new approaches to RTGC based on probabilistic lock-free synchronization that provide strong timing guarantees that have a vanishingly small probability of being violated. Second, it uses theorem proving to generate a provably correct garbage collection algorithm. This step is critical for certification of advanced runtime environments and, as best is known, has never been attempted before. RTGC prototypes are being implemented in the context of a high-performance open source real-time Java virtual machine. This experimental platform is an industrial strength implementation of Java which is the only Java virtual machine to have been flight tested (in a collaboration with Boeing). Outcomes include empirical results for a suite of large real-time Java programs. All results are being released as open source.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Predictable Performance for Just-in-Time Compilation
-
批准号:2139612
-
项目类别:Standard Grant
-
资助金额:$49.96万
-
财政年份:2022
-
负责人:Jan Vitek
-
依托单位:
CCRI: ENS: Collaborative Research: Enhancing R for Scalability and Deployment
-
批准号:1925644
-
项目类别:Standard Grant
-
资助金额:$179.97万
-
财政年份:2019
-
负责人:Jan Vitek
-
依托单位:
SHF: Small: Program Analysis for Data Science
-
批准号:1910850
-
项目类别:Standard Grant
-
资助金额:$49.97万
-
财政年份:2019
-
负责人:Jan Vitek
-
依托单位:
SHF: Small: Collaborative Research: A Rational Reconstruction of the Julia Type System
-
批准号:1908389
-
项目类别:Standard Grant
-
资助金额:$24.72万
-
财政年份:2019
-
负责人:Jan Vitek
-
依托单位:
NSF Student Travel Grant for 2017 Programming Language Implementation Summer School (PLISS)
-
批准号:1723053
-
项目类别:Standard Grant
-
资助金额:$1.75万
-
财政年份:2017
-
负责人:Jan Vitek
-
依托单位:
SHF: PROJECT DARWIN_ Towards Principled Language Evolution
-
批准号:1544542
-
项目类别:Standard Grant
-
资助金额:$109.97万
-
财政年份:2016
-
负责人:Jan Vitek
-
依托单位:
ECOOP Travel support
-
批准号:1643041
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2016
-
负责人:Jan Vitek
-
依托单位:
SHF: Small: Foundations of Just-in-Time Compilation
-
批准号:1618732
-
项目类别:Standard Grant
-
资助金额:$44.98万
-
财政年份:2016
-
负责人:Jan Vitek
-
依托单位:
European Conference on Object Oriented Programming
-
批准号:1521864
-
项目类别:Standard Grant
-
资助金额:$2.0万
-
财政年份:2015
-
负责人:Jan Vitek
-
依托单位:
CPS: Medium: Robust Distributed Wind Power Engineering
-
批准号:1523426
-
项目类别:Standard Grant
-
资助金额:$47.44万
-
财政年份:2014
-
负责人:Jan Vitek
-
依托单位:
CSR: CC: Small: Collaborative Research: Language and Runtime Support for Large-Scale Data Analytics
-
批准号:1460683
-
项目类别:Standard Grant
-
资助金额:$13.7万
-
财政年份:2014
-
负责人:Jan Vitek
-
依托单位:
CSR: CC: Small: Collaborative Research: Language and Runtime Support for Large-Scale Data Analytics
-
批准号:1218348
-
项目类别:Standard Grant
-
资助金额:$24.66万
-
财政年份:2012
-
负责人:Jan Vitek
-
依托单位:
SI2: Conceptualization: Dynamic Languages for Scalable Data Analytics
-
批准号:1216853
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2012
-
负责人:Jan Vitek
-
依托单位:
CPS: Medium: Robust Distributed Wind Power Engineering
-
批准号:1136045
-
项目类别:Standard Grant
-
资助金额:$160.0万
-
财政年份:2011
-
负责人:Jan Vitek
-
依托单位:
Third International Summer School on Trends in Concurrency
-
批准号:1024387
-
项目类别:Standard Grant
-
资助金额:$1.2万
-
财政年份:2010
-
负责人:Jan Vitek
-
依托单位:
EAGER: Foundations of Data-Centric Concurrency Control
-
批准号:1048398
-
项目类别:Standard Grant
-
资助金额:$11.0万
-
财政年份:2010
-
负责人:Jan Vitek
-
依托单位:
II-New: A Computational Infrastructure for Scalable Transactional Memory Abstractions in Managed Languages
-
批准号:0958465
-
项目类别:Standard Grant
-
资助金额:$55.63万
-
财政年份:2010
-
负责人:Jan Vitek
-
依托单位:
VEESC: Virtual Execution Environments for Scientific Computing Workshop
-
批准号:1042905
-
项目类别:Standard Grant
-
资助金额:$4.68万
-
财政年份:2010
-
负责人:Jan Vitek
-
依托单位:
SI2-SSE: A Tracing Virtual Machine for Statistical Computing
-
批准号:1047962
-
项目类别:Standard Grant
-
资助金额:$48.91万
-
财政年份:2010
-
负责人:Jan Vitek
-
依托单位:
SHF: Small: Collaborative Research: Specification and Verification of Safety Critical Java
-
批准号:0916310
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2009
-
负责人:Jan Vitek
-
依托单位:
国内基金
海外基金
登录
查看更多内容
液晶态圆偏振荧光共振能量转移体系的构筑及CPL性能的研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:15.0万元
-
批准年份:2024
-
负责人:余振强
-
依托单位:
铁电耦合CPL活性的手性钙钛矿化合物组装及机理研究
-
批准号:22365017
-
项目类别:地区科学基金项目
-
资助金额:32万元
-
批准年份:2023
-
负责人:唐云志
-
依托单位:
稀土四面体CPL探针的氨基酸传感研究
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2022
-
负责人:周妍妍
-
依托单位:
U1A及其互作蛋白CPL1/FRY2响应盐胁迫的转录后调控机制
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2021
-
负责人:顾进宝
-
依托单位:
拟南芥CPL2-CDKD;3介导的RNA聚合酶II磷酸化参与气孔发育的转录调控途径的研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:58万元
-
批准年份:2021
-
负责人:乐捷
-
依托单位:
U1A及其互作蛋白CPL1/FRY2响应盐胁迫的转录后调控机制
-
批准号:32100252
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:顾进宝
-
依托单位:
光-电驱动下的AIE-active手性高分子CPL液晶器件研究
-
批准号:92156014
-
项目类别:重大研究计划
-
资助金额:70.0万元
-
批准年份:2021
-
负责人:成义祥
-
依托单位:
光-电驱动下的AIE-active手性高分子CPL液晶器件研究
-
批准号:--
-
项目类别:--
-
资助金额:70万元
-
批准年份:2021
-
负责人:成义祥
-
依托单位:
酸性固态发酵鱼CPL降解肌原纤维蛋白促质构劣化机制研究
-
批准号:32060556
-
项目类别:地区科学基金项目
-
资助金额:35.0万元
-
批准年份:2020
-
负责人:曾雪峰
-
依托单位:
新型靶向融合蛋白CPL的构建及其增强乙肝DNA疫苗免疫效应的研究
-
批准号:81273321
-
项目类别:面上项目
-
资助金额:16.0万元
-
批准年份:2012
-
负责人:周承
-
依托单位: