SGER: Demonstrating the Feasibility of Semantic Reconfiguration and Semantic Checkpointing

SGER：展示语义重新配置和语义检查点的可行性

• 批准号: 0451238
• 负责人: Karen Sollins
• 金额: $ 8.02万
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-11-01 至 2006-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0451238&HistoricalAwards=false
• 关键词: SGER; Demonstrating; Feasibility; Semantic; Reconfiguration

This project addresses the provision of system support for applications that are forced or may benefit from use of alternate resources during their execution. The objective is to provide the application user as much of a sense of continuity as possible across reorganization of the application, including significant remodularization of the application. This project is an SGER that investigates and provides a proof of concept of two key problems: semantic reconfiguration and semantic checkpointing. Semantic reconfiguration is the process of reorganizing and remodularizing an application, based on alternate resources, while retaining the overall semantics of the application. Semantic checkpointing is the process of capturing and restoring state at the semantic level of the application itself, in contrast with capturing the state of the underlying hardware or operating system. To this end, the project is based on a distributed database application with specific consistency requirements, moving among combinations of low and high capacity servers and networks. The initial, handcrafted system includes: specification of the application and state to be checkpointed, component composition, conversion of checkpointing state, and the checkpointing itself. The contributions of this work are to 1) design and build the key algorithms to achieve semantic reconfiguration and semantic checkpointing, 2) understanding a path toward generalization and automation of these two tasks, and 3) identify and frame other key components required for complete automated transitions. As mobile applications become more prevalent, such a systematic approach will become increasing critical.

该项目解决了对被迫或可能在执行过程中使用替代资源的应用程序的系统支持的提供。 目的是为应用程序用户提供尽可能多的连续性感，包括对应用程序的重大重塑。 该项目是一个调查并提供两个关键问题概念的SGER：语义重新配置和语义检查点。 语义重新配置是基于替代资源重新组织和重塑应用程序的过程，同时保留应用程序的整体语义。 语义检查点是在应用程序本身的语义级别捕获和恢复状态的过程，与捕获基础硬件或操作系统的状态相比。 为此，该项目基于具有特定一致性要求的分布式数据库应用程序，以及在低容量服务器和网络的组合之间移动。初始手工制作的系统包括：要检查点的应用程序和状态的规范，组件组成，检查点状态的转换以及检查点本身。 这项工作的贡献是1）设计和构建关键算法以实现语义重新配置和语义检查点，2）了解这两个任务的概括和自动化的途径，以及3）识别和框架完全自动过渡所需的其他关键组件。 随着移动应用程序变得越来越普遍，这种系统的方法将变得越来越重要。