专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US6161219A System and method for providing checkpointing with precompile directives and supporting software to produce checkpoints, independent of environment constraints 失效
标题翻译：提供检查点与预编译指令的系统和方法，并支持软件生成检查点，而不受环境限制
公开(公告)号：US6161219A
公开(公告)日：2000-12-12
申请号：US888013
申请日：1997-07-03
申请人： Balkrishna Ramkumar , Volker Strumpen
发明人： Balkrishna Ramkumar , Volker Strumpen
IPC分类号： G06F11/36 , G06F9/44
CPC分类号： G06F11/1438
摘要： A method for portable checkpointing comprising the steps of: pre-compiling an input source code; and outputting an associated output source code which includes support for portable checkpointing. The portability of the checkpoints allows migration between systems with different hardware, software, and operating systems.The portable checkpoints are stored in a Universal Code Format (UCF) and are selectively activated at the next potential checkpoint marker after a MinTBC (Minimum Time Between Checkpoints) timer expires.
摘要翻译：一种用于便携式检查点的方法，包括以下步骤：预编译输入源代码; 并输出包括支持便携式检查点的关联的输出源代码。检查点的可移植性允许在具有不同硬件，软件和操作系统的系统之间进行迁移。便携式检查点以通用代码格式（UCF）存储，并且在MinTBC（检查点之间的最小时间）定时器到期之后，在下一个潜在检查点标记处有选择地激活。

2. 发明授权

US6154877A Method and apparatus for portable checkpointing using data structure metrics and conversion functions 失效
标题翻译：使用数据结构度量和转换功能的便携式检查点的方法和装置
公开(公告)号：US6154877A
公开(公告)日：2000-11-28
申请号：US911908
申请日：1997-08-15
申请人： Balkrishna Ramkumar , Volker Strmupen
发明人： Balkrishna Ramkumar , Volker Strmupen
IPC分类号： G06F11/36 , G06F9/44
CPC分类号： G06F11/1438
摘要： A method and apparatus for portable checkpointing comprising the steps of: pre-compiling an input application source code and basic data type conversion functions; and outputting an associated output application source code and structure metrics and conversion function source code, wherein the output application source code includes support for portable checkpointing. The portability of the checkpoints allows migration between systems with different hardware, software, and operating systems. The present invention additionally provides a method and apparatus for conversion of data representations between a local machine format and a Universal Checkpoint Format (UCF) and a method for pointer handling, which involves transforming as absolute pointer into a machine independent offset and vice versa.
摘要翻译：一种用于便携式检查点的方法和装置，包括以下步骤：预编译输入应用源代码和基本数据类型转换函数; 以及输出关联的输出应用源代码和结构度量和转换函数源代码，其中所述输出应用源代码包括对便携式检查点的支持。检查点的可移植性允许在具有不同硬件，软件和操作系统的系统之间进行迁移。本发明另外提供了一种用于转换本地机器格式和通用检查点格式（UCF）之间的数据表示的方法和装置，以及用于指针处理的方法，其涉及将绝对指针转换为机器独立偏移量，反之亦然。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式