CN102736948B - 用于设置检查点并恢复程序状态的方法 - Google Patents
用于设置检查点并恢复程序状态的方法 Download PDFInfo
- Publication number
- CN102736948B CN102736948B CN201110428259.2A CN201110428259A CN102736948B CN 102736948 B CN102736948 B CN 102736948B CN 201110428259 A CN201110428259 A CN 201110428259A CN 102736948 B CN102736948 B CN 102736948B
- Authority
- CN
- China
- Prior art keywords
- function
- execution
- checkpoint
- computer
- microprocessor
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/07—Responding to the occurrence of a fault, e.g. fault tolerance
- G06F11/14—Error detection or correction of the data by redundancy in operation
- G06F11/1402—Saving, restoring, recovering or retrying
- G06F11/1415—Saving, restoring, recovering or retrying at system level
- G06F11/1438—Restarting or rejuvenating
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3636—Software debugging by tracing the execution of the program
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/3664—Environments for testing or debugging software
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F9/00—Arrangements for program control, e.g. control units
- G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
- G06F9/46—Multiprogramming arrangements
- G06F9/461—Saving or restoring of program or task context
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Quality & Reliability (AREA)
- Computer Hardware Design (AREA)
- Retry When Errors Occur (AREA)
- Software Systems (AREA)
- Devices For Executing Special Programs (AREA)
- Debugging And Monitoring (AREA)
Abstract
Description
Claims (9)
Applications Claiming Priority (2)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US12/972,792 US9740562B2 (en) | 2010-12-20 | 2010-12-20 | Method for checkpointing and restoring program state |
US12/972,792 | 2010-12-20 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN102736948A CN102736948A (zh) | 2012-10-17 |
CN102736948B true CN102736948B (zh) | 2015-04-01 |
Family
ID=46236230
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201110428259.2A Active CN102736948B (zh) | 2010-12-20 | 2011-12-19 | 用于设置检查点并恢复程序状态的方法 |
Country Status (8)
Country | Link |
---|---|
US (1) | US9740562B2 (zh) |
EP (1) | EP2656217A4 (zh) |
JP (1) | JP6027020B2 (zh) |
KR (1) | KR101903805B1 (zh) |
CN (1) | CN102736948B (zh) |
CA (1) | CA2821522A1 (zh) |
HK (1) | HK1175005A1 (zh) |
WO (1) | WO2012088171A2 (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108241543A (zh) * | 2016-12-30 | 2018-07-03 | 深圳壹账通智能科技有限公司 | 业务操作断点执行的方法、业务服务器及系统 |
Families Citing this family (16)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8782434B1 (en) | 2010-07-15 | 2014-07-15 | The Research Foundation For The State University Of New York | System and method for validating program execution at run-time |
US9122873B2 (en) | 2012-09-14 | 2015-09-01 | The Research Foundation For The State University Of New York | Continuous run-time validation of program execution: a practical approach |
US9069782B2 (en) | 2012-10-01 | 2015-06-30 | The Research Foundation For The State University Of New York | System and method for security and privacy aware virtual machine checkpointing |
US9384019B2 (en) * | 2014-03-25 | 2016-07-05 | International Business Machines Corporation | Dynamic code injection |
JP6691294B2 (ja) * | 2016-06-13 | 2020-04-28 | 富士通株式会社 | 情報処理装置、ダイナミックリンクプログラムおよびプログラム再開方法 |
US10782950B2 (en) * | 2018-05-01 | 2020-09-22 | Amazon Technologies, Inc. | Function portability for services hubs using a function checkpoint |
US10853178B1 (en) * | 2018-05-18 | 2020-12-01 | Amazon Technologies, Inc. | Code function checkpoint and restore |
EP3605374A1 (en) | 2018-08-03 | 2020-02-05 | Hewlett-Packard Development Company, L.P. | Intrusion resilient applications |
WO2020146011A1 (en) * | 2019-01-10 | 2020-07-16 | Mentor Graphics Corporation | Software checkpoint-restoration between distinctly compiled executables |
US11368470B2 (en) * | 2019-06-13 | 2022-06-21 | International Business Machines Corporation | Real-time alert reasoning and priority-based campaign discovery |
CN111198689B (zh) * | 2019-12-30 | 2023-04-28 | 北京明略软件系统有限公司 | 一种代码执行方法、装置及计算机可读存储介质 |
CN113778742A (zh) * | 2020-06-09 | 2021-12-10 | 华为技术有限公司 | 程序执行方法,程序处理方法以及相关设备 |
US11467850B2 (en) | 2020-11-11 | 2022-10-11 | Micron Technology, Inc. | Computing device reboot |
CN113127248B (zh) * | 2021-04-02 | 2022-08-09 | 清华大学 | 面向机器人ros程序的自动崩溃恢复方法和系统 |
US11899546B2 (en) | 2022-05-26 | 2024-02-13 | Red Hat, Inc. | Portability of checkpoints of an application using central processing unit (CPU)-specific functions |
KR102625338B1 (ko) * | 2023-03-06 | 2024-01-15 | 주식회사 모레 | 인공지능 연산과 연관된 호출 목록 병렬 처리 방법및 시스템 |
Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6044475A (en) * | 1995-06-16 | 2000-03-28 | Lucent Technologies, Inc. | Checkpoint and restoration systems for execution control |
Family Cites Families (40)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6154877A (en) | 1997-07-03 | 2000-11-28 | The University Of Iowa Research Foundation | Method and apparatus for portable checkpointing using data structure metrics and conversion functions |
US6161219A (en) | 1997-07-03 | 2000-12-12 | The University Of Iowa Research Foundation | System and method for providing checkpointing with precompile directives and supporting software to produce checkpoints, independent of environment constraints |
US6631514B1 (en) * | 1998-01-06 | 2003-10-07 | Hewlett-Packard Development, L.P. | Emulation system that uses dynamic binary translation and permits the safe speculation of trapping operations |
US6256751B1 (en) | 1998-10-29 | 2001-07-03 | International Business Machines Corporation | Restoring checkpointed processes without restoring attributes of external data referenced by the processes |
US7814309B1 (en) * | 2000-02-29 | 2010-10-12 | Cisco Technology, Inc. | Method for checkpointing and reconstructing separated but interrelated data |
US7240334B1 (en) * | 2000-06-29 | 2007-07-03 | International Business Machines Corporation | Methods, systems, and computer program products for deferred computer program tracing |
US6708288B1 (en) * | 2000-10-31 | 2004-03-16 | Hewlett-Packard Development Company, L.P. | Compiler-based checkpointing for support of error recovery |
US6874138B1 (en) * | 2000-11-28 | 2005-03-29 | Hewlett-Packard Development Company, L.P. | Method and apparatus for resuming execution of a failed computer program |
US6766471B2 (en) | 2000-12-28 | 2004-07-20 | International Business Machines Corporation | User-level checkpoint and restart for groups of processes |
US6817014B2 (en) * | 2001-04-11 | 2004-11-09 | Hewlett-Packard Development Company, L.P. | Analysis of executable program code using compiler-generated function entry points and endpoints with other sources of function entry points and endpoints |
US20030088807A1 (en) * | 2001-11-07 | 2003-05-08 | Mathiske Bernd J.W. | Method and apparatus for facilitating checkpointing of an application through an interceptor library |
US7206964B2 (en) * | 2002-08-30 | 2007-04-17 | Availigent, Inc. | Consistent asynchronous checkpointing of multithreaded application programs based on semi-active or passive replication |
US20040260678A1 (en) | 2003-06-18 | 2004-12-23 | Microsoft Corporation | State based configuration failure detection using checkpoint comparison |
US7536591B2 (en) | 2003-11-17 | 2009-05-19 | Virginia Tech Intellectual Properties, Inc. | Transparent checkpointing and process migration in a distributed system |
US7275183B2 (en) * | 2004-04-30 | 2007-09-25 | Hewlett-Packard Development Company, L.P. | Method of restoring processes within process domain |
US7634687B2 (en) | 2005-01-13 | 2009-12-15 | Microsoft Corporation | Checkpoint restart system and method |
FR2881246B1 (fr) * | 2005-01-21 | 2007-03-23 | Meiosys Soc Par Actions Simpli | Procede perdictif de gestion, de journalisation ou de rejeu d'operations non deterministes au sein du deroulement d'un processus applicatif |
US20060206873A1 (en) * | 2005-03-11 | 2006-09-14 | Argade Pramod V | Environment for run control of computer programs |
US7711988B2 (en) * | 2005-06-15 | 2010-05-04 | The Board Of Trustees Of The University Of Illinois | Architecture support system and method for memory monitoring |
US8082468B1 (en) * | 2008-12-15 | 2011-12-20 | Open Invention Networks, Llc | Method and system for providing coordinated checkpointing to a group of independent computer applications |
US8255745B2 (en) * | 2005-08-29 | 2012-08-28 | The Invention Science Fund I, Llc | Hardware-error tolerant computing |
US7673181B1 (en) | 2006-06-07 | 2010-03-02 | Replay Solutions, Inc. | Detecting race conditions in computer programs |
US7810081B2 (en) * | 2006-08-22 | 2010-10-05 | International Business Machines Corporation | Compilation error isolation, optimization and resolution |
US7669081B2 (en) | 2006-09-27 | 2010-02-23 | Raytheon Company | Systems and methods for scheduling, processing, and monitoring tasks |
CA2667172C (en) * | 2006-10-20 | 2013-01-08 | Her Majesty The Queen, In Right Of Canada As Represented By The Minister Of Health Through The Public Health Agency Of Canada | Method and apparatus for software policy management |
US8214806B2 (en) * | 2007-05-09 | 2012-07-03 | International Business Machines Corporation | Iterative, non-uniform profiling method for automatically refining performance bottleneck regions in scientific code |
US7818610B2 (en) * | 2007-09-27 | 2010-10-19 | Microsoft Corporation | Rapid crash recovery for flash storage |
US8495573B2 (en) * | 2007-10-04 | 2013-07-23 | International Business Machines Corporation | Checkpoint and restartable applications and system services |
US7793153B2 (en) * | 2008-01-11 | 2010-09-07 | International Business Machines Corporation | Checkpointing and restoring user space data structures used by an application |
US8510757B2 (en) * | 2008-01-11 | 2013-08-13 | Google Inc. | Gathering pages allocated to an application to include in checkpoint information |
US20090254888A1 (en) * | 2008-04-07 | 2009-10-08 | International Business Machines Corporation | Debug tours for software debugging |
US8533663B2 (en) * | 2008-05-12 | 2013-09-10 | Oracle America, Inc. | System and method for utilizing available best effort hardware mechanisms for supporting transactional memory |
US8291383B1 (en) * | 2008-10-20 | 2012-10-16 | Google Inc. | Code analysis via dual branch exploration |
US20100153776A1 (en) * | 2008-12-12 | 2010-06-17 | Sun Microsystems, Inc. | Using safepoints to provide precise exception semantics for a virtual machine |
US9021502B2 (en) * | 2008-12-29 | 2015-04-28 | Oracle America Inc. | Method and system for inter-thread communication using processor messaging |
US7945808B2 (en) * | 2009-01-30 | 2011-05-17 | International Business Machines Corporation | Fanout connectivity structure for use in facilitating processing within a parallel computing environment |
US9940138B2 (en) * | 2009-04-08 | 2018-04-10 | Intel Corporation | Utilization of register checkpointing mechanism with pointer swapping to resolve multithreading mis-speculations |
US8949801B2 (en) * | 2009-05-13 | 2015-02-03 | International Business Machines Corporation | Failure recovery for stream processing applications |
US8392694B2 (en) * | 2009-09-15 | 2013-03-05 | International Business Machines Corporation | System and method for software initiated checkpoint operations |
US8745597B2 (en) * | 2009-11-25 | 2014-06-03 | International Business Machines Corporation | Providing programming support to debuggers |
-
2010
- 2010-12-20 US US12/972,792 patent/US9740562B2/en active Active
-
2011
- 2011-12-19 CN CN201110428259.2A patent/CN102736948B/zh active Active
- 2011-12-20 WO PCT/US2011/066280 patent/WO2012088171A2/en active Application Filing
- 2011-12-20 KR KR1020137015985A patent/KR101903805B1/ko active IP Right Grant
- 2011-12-20 EP EP11851108.8A patent/EP2656217A4/en not_active Ceased
- 2011-12-20 CA CA2821522A patent/CA2821522A1/en not_active Abandoned
- 2011-12-20 JP JP2013546344A patent/JP6027020B2/ja active Active
-
2013
- 2013-02-20 HK HK13102145.5A patent/HK1175005A1/zh unknown
Patent Citations (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6044475A (en) * | 1995-06-16 | 2000-03-28 | Lucent Technologies, Inc. | Checkpoint and restoration systems for execution control |
Non-Patent Citations (1)
Title |
---|
Checkpointing-based rollback recovery for parallel applications on the InteGrade grid middleware;Raphael Y. de Camargo, Andrei Goldchleger, Fabio Kon, Alfredo;《Proceedings of the 2nd workshop on Middleware for grid computing》;20041031;第4.2节,4.2.1节 * |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN108241543A (zh) * | 2016-12-30 | 2018-07-03 | 深圳壹账通智能科技有限公司 | 业务操作断点执行的方法、业务服务器及系统 |
CN108241543B (zh) * | 2016-12-30 | 2020-07-07 | 深圳壹账通智能科技有限公司 | 业务操作断点执行的方法、业务服务器及系统 |
Also Published As
Publication number | Publication date |
---|---|
EP2656217A2 (en) | 2013-10-30 |
HK1175005A1 (zh) | 2013-06-21 |
US20120159462A1 (en) | 2012-06-21 |
WO2012088171A2 (en) | 2012-06-28 |
JP2014500564A (ja) | 2014-01-09 |
WO2012088171A3 (en) | 2012-10-26 |
KR20140000283A (ko) | 2014-01-02 |
JP6027020B2 (ja) | 2016-11-16 |
CN102736948A (zh) | 2012-10-17 |
KR101903805B1 (ko) | 2018-10-02 |
US9740562B2 (en) | 2017-08-22 |
CA2821522A1 (en) | 2012-06-28 |
EP2656217A4 (en) | 2014-07-09 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN102736948B (zh) | 用于设置检查点并恢复程序状态的方法 | |
US20100146481A1 (en) | Developing applications at runtime | |
CN1838088B (zh) | 探测具有限制性调用约定代码的方法 | |
CN110603527B (zh) | 用于服务器侧生产代码的条件调试的方法、系统和设备 | |
MX2008011914A (es) | Modelo de ejecucion abstracto durante un meta-tiempo de funcionamiento basado en continuacion. | |
US9841953B2 (en) | Pluggable components for runtime-image generation | |
CN102609296A (zh) | 虚拟机分支和并行执行 | |
JP2009532758A (ja) | ワークフローにおいて継続をモデル化するフレームワーク | |
CN113811852A (zh) | 依赖性版本冲突自动解决 | |
CN104267978A (zh) | 一种生成差分包的方法及装置 | |
CN109491664B (zh) | iOS应用程序的生成方法、装置、设备及存储介质 | |
Huang et al. | A framework for reliability-aware embedded system design on multiprocessor platforms | |
CN110333867B (zh) | 一种多方安全计算数据处理方法、装置及系统 | |
CN110781126A (zh) | 一种TensorFlow的FPGA异构加速实现方法、系统、终端及存储介质 | |
CN108399068B (zh) | 函数程序持久化的方法、电子设备及存储介质 | |
US10496433B2 (en) | Modification of context saving functions | |
Fanfarillo et al. | Resilient computational applications using Coarray Fortran | |
Aparicio-Morales et al. | Minimizing Deployment Cost of Hybrid Applications | |
EP3906470B1 (en) | Techniques for scheduling instructions in compiling source code | |
CN115629795A (zh) | 一种可执行文件的配置方法、装置及电子设备 | |
US9298449B2 (en) | Composite program history | |
US20050005087A1 (en) | System and method for memory management | |
US20230297346A1 (en) | Intelligent data processing system with metadata generation from iterative data analysis | |
Tounaka et al. | Unicage Architecture Development Method | |
US9928045B2 (en) | Information processing apparatus, compile method and non-transitory recording medium storing compile program |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
C06 | Publication | ||
PB01 | Publication | ||
C10 | Entry into substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
REG | Reference to a national code |
Ref country code: HK Ref legal event code: DE Ref document number: 1175005 Country of ref document: HK |
|
C14 | Grant of patent or utility model | ||
GR01 | Patent grant | ||
ASS | Succession or assignment of patent right |
Owner name: MICROSOFT TECHNOLOGY LICENSING LLC Free format text: FORMER OWNER: MICROSOFT CORP. Effective date: 20150731 |
|
C41 | Transfer of patent application or patent right or utility model | ||
TR01 | Transfer of patent right |
Effective date of registration: 20150731 Address after: Washington State Patentee after: Micro soft technique license Co., Ltd Address before: Washington State Patentee before: Microsoft Corp. |
|
REG | Reference to a national code |
Ref country code: HK Ref legal event code: GR Ref document number: 1175005 Country of ref document: HK |