DMTCP: Checkpoint-Restart on the Desktop
DMTCP: Checkpoint-Restart on the Desktop
批准号:
0960978
负责人:
Gene Cooperman
金额:
$36.88万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2010
资助国家:
美国
项目状态:
已结题
起止时间:
2010-05-15 至 2014-04-30
中文摘要
标题:DMTCP:Checkpoint-Restart on the DesktopPI:gene Coperman NSF提案编号:0960978ABSTRACT:这项工作建立在现有的开源、用户空间DMTCP包的基础上,以实现透明的、分布式的检查点。将实现三个目标:(1)桌面上长期运行的计算的检查点重启;(2)交互软件包的保存-恢复;(3)通用可逆调试器。前两个目标将允许软件开发团队在他们的包中添加可靠的“保存工作区”功能-不需要内核模块或其他特权操作。第三个目标是增强任何调试器的可逆性(例如,退步命令),并使用反向表达式观察点命令从软件错误向后恢复到原始软件故障。INTELLECTUAL优点:虽然检查点已经存在了20多年,但更早的包很难维护。DMTCP没有特权的用户空间设计已经有五年的记录了。它非常适合集成到其他软件中,在这些软件中,任何最终用户安装内核模块或其他管理权限的要求都与广泛的分发不兼容。最后,DMTCP是第一个能够直接对GDB会话(GDB进程及其目标进程)设置检查点的包--这是设想的新型可逆调试器的关键功能。BROADER影响:检查点和进程迁移长期以来一直是科学和工程领域的兴趣,但经常受到软件脆弱性或特殊要求的影响。DMTCP方法消除了这些障碍。此外,由于更容易发现错误,更广泛地使用“时间旅行(可逆)调试器”将极大地加速软件开发。NIST的一份报告估计,软件错误每年给经济造成的损失为595亿美元。最后,桌面上检查点重启的兴奋因素有助于吸引和激励学生学习这项关键技术中有时难以理解的系统问题。
英文摘要
Title: DMTCP: Checkpoint-Restart on the DesktopPI: Gene CoopermanNSF Proposal Number: 0960978ABSTRACT: This work builds upon the existing open source, user-space DMTCP packagefor transparent, distributed checkpointing. Three goals will be accomplished:(i) checkpoint-restart of long-running computations on the desktop;(ii) save-restore of interactive software packages; and (iii) a universalreversible debugger. The first two goals will allow software developmentteams to add to their package a reliable "save workspace" feature --- withno requirement for a kernel module or other privileged operations.The third goal is to enhance any debugger with reversibility (e.g. aback-step command), and with a reverse expression watchpoint command tomove backwards from a software error to the original software fault.INTELLECTUAL MERIT:While checkpointing has existed for over 20 years, earlier packageswere difficult to maintain. The unprivileged, user-space design ofDMTCP has a five-year track record. It is ideal for integration intoother software, where any end-user requirement for installation of akernel module or other administrative privilege is incompatible withwidespread distribution. Finally, DMTCP is the first package able todirectly checkpoint a gdb session (the gdb process and its target process)-- a key feature for the envisioned new type of reversible debugger.BROADER IMPACT:Checkpointing and process migration have long been of interest for scienceand engineering, but too often suffered from software fragility or specialrequirements. The DMTCP approach removes these obstacles. Further,the wider use of ``time-traveling (reversible) debuggers'' will greatlyaccelerate software development due to the greater ease of finding bugs.A NIST report estimates the cost of software bugs to the economy at$59.5 billion per year. Finally, the excitement factor of checkpoint-restarton the desktop helps attract and motivate students toward the learningof sometimes arcane systems issues in this critical technology.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
NSCI: SI2-SSE: An Extensible Model to Support Scalable Checkpoint-Restart for DMTCP Across Multiple Disciplines
-
批准号:1740218
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2018
-
负责人:Gene Cooperman
-
依托单位:
SI2-SSE: Enhancement and Support of DMTCP for Adaptive, Extensible Checkpoint-Restart
-
批准号:1440788
-
项目类别:Standard Grant
-
资助金额:$49.92万
-
财政年份:2014
-
负责人:Gene Cooperman
-
依托单位:
AF:Small: Computation in Very Large Groups
-
批准号:0916133
-
项目类别:Standard Grant
-
资助金额:$39.29万
-
财政年份:2009
-
负责人:Gene Cooperman
-
依托单位:
MRI: Enabling Research on Terabyte-Scale Datasets
-
批准号:0619616
-
项目类别:Standard Grant
-
资助金额:$19.9万
-
财政年份:2006
-
负责人:Gene Cooperman
-
依托单位:
Scalable Parallel Symbolic Computation for Irregular Problems
-
批准号:0204113
-
项目类别:Continuing Grant
-
资助金额:$24.77万
-
财政年份:2002
-
负责人:Gene Cooperman
-
依托单位:
Parallel Infrastructure for Recognition of Non-Local Patterns from Particle Detectors
-
批准号:9872114
-
项目类别:Standard Grant
-
资助金额:$16.66万
-
财政年份:1999
-
负责人:Gene Cooperman
-
依托单位:
Connections Among Applied Computational Group Theory, Matrix Representations, and Parallel Computations
-
批准号:9732330
-
项目类别:Standard Grant
-
资助金额:$13.0万
-
财政年份:1998
-
负责人:Gene Cooperman
-
依托单位:
MRI: A High-Performance, Low-Cost Testbed for Network-based Research
-
批准号:9871022
-
项目类别:Standard Grant
-
资助金额:$22.78万
-
财政年份:1998
-
负责人:Gene Cooperman
-
依托单位:
U.S.-German Cooperative Research in Computational Algebra and High-Speed Networks
-
批准号:9722439
-
项目类别:Standard Grant
-
资助金额:$1.65万
-
财政年份:1997
-
负责人:Gene Cooperman
-
依托单位:
East Coast Computer Algebra Day, Northeastern University, Boston, MA, May 3, l997
-
批准号:9707543
-
项目类别:Standard Grant
-
资助金额:$1.2万
-
财政年份:1997
-
负责人:Gene Cooperman
-
依托单位:
Applications of Group Theory to Large Scale Computation
-
批准号:9509783
-
项目类别:Continuing Grant
-
资助金额:$21.81万
-
财政年份:1995
-
负责人:Gene Cooperman
-
依托单位:
Group-Theoretic Tools and Applications
-
批准号:9204469
-
项目类别:Continuing Grant
-
资助金额:$33.3万
-
财政年份:1992
-
负责人:Gene Cooperman
-
依托单位:
Algebraic Methods in Search
-
批准号:8903952
-
项目类别:Continuing Grant
-
资助金额:$22.8万
-
财政年份:1989
-
负责人:Gene Cooperman
-
依托单位:
国内基金
海外基金
NK细胞抑制性受体CD96作为肝癌checkpoint免疫治疗靶点的进一步验证
-
批准号:81972679
-
项目类别:面上项目
-
资助金额:60.0万元
-
批准年份:2019
-
负责人:孙昊昱
-
依托单位: