JP2008508626A - コンピュータプログラムを処理する方法、オペレーティングシステムおよび計算装置 - Google Patents
コンピュータプログラムを処理する方法、オペレーティングシステムおよび計算装置 Download PDFInfo
- Publication number
- JP2008508626A JP2008508626A JP2007524328A JP2007524328A JP2008508626A JP 2008508626 A JP2008508626 A JP 2008508626A JP 2007524328 A JP2007524328 A JP 2007524328A JP 2007524328 A JP2007524328 A JP 2007524328A JP 2008508626 A JP2008508626 A JP 2008508626A
- Authority
- JP
- Japan
- Prior art keywords
- error
- program
- computing device
- computer program
- program object
- 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.)
- Granted
Links
Images
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/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/1479—Generic software techniques for error detection or fault masking
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Retry When Errors Occur (AREA)
Abstract
【選択図】図2
Description
新たに開始されるプログラムオブジェクトは、エラーが検出された際に完全に処理されている必要はない。本発明の主旨において、エラー検出の時点までに完全に処理されていないが、既に処理が開始されているプログラムオブジェクトもまた、エラーが発生した際に新たに開始されうる。すなわち、本発明によれば、過渡的エラーまたは恒久的エラーが発生した際には、少なくとも1つのオペレーティングシステムのオブジェクトが新たに実行される。マイクロロールバックの利点は、特にプログラムオブジェクトの繰返しを非常に僅かなハードウェア支援によって実現しうることにある。プログラムオブジェクトの新たな実行に必要とされる情報(例えばプログラムオブジェクトの入力変量)を記憶可能なように、たかだか付加的なメモリ領域が必要とされるのみである。本発明に基づく方法の本質的な管理(Verwaltung)は、計算装置のオペレーティングシステムによって実施されうる。すなわち、本発明に基づく方法は、付加的なハードウェアを必要とせずに、従来の商業用プロセッサによって実現可能である。もちろん、本発明に基づく方法をハードウェア支援によって実現することも可能である。
本発明は、計算装置上、特にマイクロプロセッサ上でコンピュータプログラムを処理する方法に関する。コンピュータプログラムは、望ましくはタスクとして形成される複数のプログラムオブジェクトを有する。本方法においては、計算装置上でコンピュータプログラムを処理中にエラーが検出される。検出されたエラーは、過渡的(すなわち一時的)または恒久的なものでありうる。
21 メモリ媒体
22 マイクロプロセッサ
23 コンピュータプログラム
24 データ接続
25 オペレーティングシステム
Claims (19)
- 計算装置(20)上、特にマイクロプロセッサ(22)上でコンピュータプログラム(23)を処理する方法であって、前記コンピュータプログラム(23)が複数のプログラムオブジェクトを有し、かつ、前記計算装置(20)上で前記コンピュータプログラム(23)を処理中にエラーが検出される、前記方法において、
エラーが検出されると、既に処理中である少なくとも1つのプログラムオブジェクトが規定された状態に移行され、その状態から新たに開始されることを特徴とする、計算装置上でコンピュータプログラムを処理する方法。 - 前記プログラムオブジェクトが前記コンピュータプログラム(23)のタスクとして形成されており、前記エラーが検出されると、少なくとも1つのタスクが新たに実行されることを特徴とする、請求項1に記載の方法。
- 前記エラーが検出された時点で実行されていたプログラムオブジェクトが、新たに実行されることを特徴とする、請求項1または2に記載の方法。
- 前記プログラムオブジェクトの処理中、特に前記プログラムオブジェクトの処理の開始時に、前記プログラムオブジェクトの少なくとも1つの規定された状態が形成され、記憶されることを特徴とする、請求項1〜3のいずれか1項に記載の方法。
- エラー検出のために、前記計算装置(20)に対して冗長に作動する他の計算装置が使用されることを特徴とする、請求項1〜4のいずれか1項に記載の方法。
- 前記方法が車両で、特に車両制御装置で使用されることを特徴とする、請求項1〜5のいずれか1項に記載の方法。
- 少なくとも1つのプログラムオブジェクトが新たに実行された際に同一のエラーが新たに発生した場合には、恒久的エラーが推定される(12)ことを特徴とする、請求項1〜6のいずれか1項に記載の方法。
- 少なくとも1つのプログラムオブジェクトの繰返回数が、予め設定可能な値に制限されることを特徴とする、請求項7に記載の方法。
- 少なくとも1つのプログラムオブジェクトの繰返回数が、予め設定可能な値に動的に制限されることを特徴とする、請求項8に記載の方法。
- 少なくとも1つのプログラムオブジェクトの繰返回数が、スケジューリング上で残されている空き時間に応じて、予め設定可能な値に動的に制限されることを特徴とする、請求項9に記載の方法。
- 前記コンピュータプログラム(23)の処理中、プログラムオブジェクトの実行前に、前記プログラムオブジェクトの処理に必要とされる変量の値が記憶される(2)ことを特徴とする、請求項1〜10のいずれか1項に記載の方法。
- 一周期で周期的に処理すべきコンピュータプログラム(23)において、所定のプログラムオブジェクト上でエラーが検出されると、前記コンピュータプログラム(23)の前記周期内で予め設定可能なチェックポイントにジャンプバックされることを特徴とする、請求項1〜10のいずれか1項に記載の方法。
- 前記コンピュータプログラム(23)の処理中、前記チェックポイントでのプログラムオブジェクトの実行前にのみ、前記プログラムオブジェクトに含まれる全ての入力変量が記憶されることを特徴とする、請求項12に記載の方法。
- エラー検出後のプログラムオブジェクトの新たな実行に際して、前記プログラムオブジェクトのために記憶されている入力変量によって、前記プログラムオブジェクトが新たに実行されることを特徴とする、請求項11または13に記載の方法。
- 計算装置(20)上、特にマイクロプロセッサ(22)上で実行可能なオペレーティングシステム(25)において、
前記オペレーティングシステム(25)が、請求項1〜14のいずれか1項に記載の方法を実施するようにプログラミングされており、前記計算装置(20)上で実行されると、請求項1〜14のいずれか1項に記載の方法を実施することを特徴とする、駆動システム。 - 複数のプログラムオブジェクトを有するコンピュータプログラム(23)を処理する計算装置(20)であって、その場合に前記計算装置(20)上で前記コンピュータプログラム(23)の処理中にエラーを検出するエラー検出機構を有する、前記計算装置(20)において、
エラー処理機構を有しており、前記エラー検出機構によってエラーが検出されると、既に処理中である少なくとも1つのプログラムオブジェクトが、規定された状態に移行されて、その状態から新たに開始されるように促すことを特徴とする、計算装置。 - エラーが検出されると、前記少なくとも1つのプログラムオブジェクトを新たに開始させるトリガーロジックを、前記エラー処理機構が備えることを特徴とする、請求項16に記載の計算装置。
- 前記計算装置(20)上で、リアルタイムオペレーティングシステム(25)が実行されることを特徴とする、請求項16または17に記載の計算装置。
- マイクロプロセッサ(22)を備えることを特徴とする、請求項16〜18のいずれか1項に記載の計算装置。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
DE102004037713A DE102004037713A1 (de) | 2004-08-04 | 2004-08-04 | Verfahren, Betriebssystem und Rechengerät zum Abarbeiten eines Computerprogramms |
DE102004037713.8 | 2004-08-04 | ||
PCT/EP2005/053621 WO2006015945A2 (de) | 2004-08-04 | 2005-07-25 | Verfahren, betriebssystem und rechengerät zum abarbeiten eines computerprogramms |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2008508626A true JP2008508626A (ja) | 2008-03-21 |
JP4728334B2 JP4728334B2 (ja) | 2011-07-20 |
Family
ID=35395722
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2007524328A Expired - Fee Related JP4728334B2 (ja) | 2004-08-04 | 2005-07-25 | コンピュータプログラムを処理する方法、オペレーティングシステムおよび計算装置 |
Country Status (8)
Country | Link |
---|---|
US (1) | US7890800B2 (ja) |
EP (1) | EP1854007A2 (ja) |
JP (1) | JP4728334B2 (ja) |
CN (1) | CN1993679B (ja) |
BR (1) | BRPI0513229A (ja) |
DE (1) | DE102004037713A1 (ja) |
RU (1) | RU2431182C2 (ja) |
WO (1) | WO2006015945A2 (ja) |
Families Citing this family (12)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
DE102004051967A1 (de) * | 2004-10-25 | 2006-04-27 | Robert Bosch Gmbh | Verfahren, Betriebssystem und Rechengerät zum Abarbeiten eines Computerprogramms |
DE102005037247A1 (de) * | 2005-08-08 | 2007-02-15 | Robert Bosch Gmbh | Verfahren und Vorrichtung zur Steuerung eines Speicherzugriffs bei einem Rechnersystem mit wenigstens zwei Ausführungseinheiten |
US8205113B2 (en) * | 2009-07-14 | 2012-06-19 | Ab Initio Technology Llc | Fault tolerant batch processing |
CN102279787B (zh) * | 2010-06-08 | 2015-06-17 | 腾讯科技(深圳)有限公司 | 一种平均无故障时间的测试方法和装置 |
EP2657797B1 (de) | 2012-04-27 | 2017-01-18 | Siemens Aktiengesellschaft | Verfahren zum Betreiben eines redundanten Automatisierungssystems |
RU2521265C2 (ru) * | 2012-09-28 | 2014-06-27 | Закрытое акционерное общество "Лаборатория Касперского" | Система и способ автоматической обработки системных ошибок программного обеспечения |
RU2543960C1 (ru) * | 2013-08-29 | 2015-03-10 | Открытое акционерное общество "Концерн "Системпром" | Способ определения уязвимых функций при автоматизированной проверке веб-приложений на наличие уязвимостей |
US10235232B2 (en) | 2014-02-10 | 2019-03-19 | Via Alliance Semiconductor Co., Ltd | Processor with approximate computing execution unit that includes an approximation control register having an approximation mode flag, an approximation amount, and an error threshold, where the approximation control register is writable by an instruction set instruction |
US9588845B2 (en) * | 2014-02-10 | 2017-03-07 | Via Alliance Semiconductor Co., Ltd. | Processor that recovers from excessive approximate computing error |
US9389863B2 (en) | 2014-02-10 | 2016-07-12 | Via Alliance Semiconductor Co., Ltd. | Processor that performs approximate computing instructions |
US9990245B2 (en) * | 2015-11-25 | 2018-06-05 | Stmicroelectronics S.R.L. | Electronic device having fault monitoring for a memory and associated methods |
GB2604089B (en) * | 2020-11-27 | 2024-05-08 | Advanced Risc Mach Ltd | Data processing systems |
Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH076103A (ja) * | 1993-06-21 | 1995-01-10 | Nec Corp | 入出力チャネルの障害処理システム |
JPH113306A (ja) * | 1997-06-12 | 1999-01-06 | Mitsubishi Electric Corp | エージェント方式 |
JP2001357637A (ja) * | 2000-06-14 | 2001-12-26 | Sony Corp | 情報再生装置、情報処理方法及び情報記録媒体 |
JP2002527820A (ja) * | 1998-10-12 | 2002-08-27 | センタ・ナショナル・デチュード・スパティアレ | 過渡エラー制約を受ける電子システムのための処理手順およびメモリアクセス監視装置 |
Family Cites Families (16)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US4852092A (en) * | 1986-08-18 | 1989-07-25 | Nec Corporation | Error recovery system of a multiprocessor system for recovering an error in a processor by making the processor into a checking condition after completion of microprogram restart from a checkpoint |
JP2674764B2 (ja) | 1987-10-17 | 1997-11-12 | 日本電気株式会社 | 冗長系切替回路網 |
JP2685712B2 (ja) * | 1994-03-30 | 1997-12-03 | 株式会社サンポウロック | ハンドルロック |
US6105148A (en) * | 1995-06-16 | 2000-08-15 | Lucent Technologies Inc. | Persistent state checkpoint and restoration systems |
JP3258228B2 (ja) * | 1996-03-15 | 2002-02-18 | 株式会社東芝 | チェックポイント生成方法 |
US6625756B1 (en) * | 1997-12-19 | 2003-09-23 | Intel Corporation | Replay mechanism for soft error recovery |
US6366980B1 (en) | 1999-06-04 | 2002-04-02 | Seagate Technology Llc | Disc drive for achieving improved audio and visual data transfer |
US6584581B1 (en) * | 1999-12-06 | 2003-06-24 | Ab Initio Software Corporation | Continuous flow checkpointing data processing |
US6542844B1 (en) * | 2000-08-02 | 2003-04-01 | International Business Machines Corporation | Method and apparatus for tracing hardware states using dynamically reconfigurable test circuits |
US7412520B2 (en) * | 2001-06-07 | 2008-08-12 | Intel Corporation | Systems and methods for recoverable workflow |
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 |
CA2365427A1 (en) | 2001-12-19 | 2003-06-19 | Ibm Canada Limited-Ibm Canada Limitee | Internal product fault monitoring apparatus and method |
US7206964B2 (en) * | 2002-08-30 | 2007-04-17 | Availigent, Inc. | Consistent asynchronous checkpointing of multithreaded application programs based on semi-active or passive replication |
US7543001B2 (en) * | 2004-06-17 | 2009-06-02 | International Business Machines Corporation | Storing object recovery information within the object |
US7634687B2 (en) * | 2005-01-13 | 2009-12-15 | Microsoft Corporation | Checkpoint restart system and method |
US7516361B2 (en) * | 2005-06-27 | 2009-04-07 | Sun Microsystems, Inc. | Method for automatic checkpoint of system and application software |
-
2004
- 2004-08-04 DE DE102004037713A patent/DE102004037713A1/de not_active Withdrawn
-
2005
- 2005-07-25 EP EP05777777A patent/EP1854007A2/de not_active Ceased
- 2005-07-25 WO PCT/EP2005/053621 patent/WO2006015945A2/de active Application Filing
- 2005-07-25 BR BRPI0513229-0A patent/BRPI0513229A/pt not_active Application Discontinuation
- 2005-07-25 CN CN2005800262785A patent/CN1993679B/zh not_active Expired - Fee Related
- 2005-07-25 RU RU2007106437/08A patent/RU2431182C2/ru not_active IP Right Cessation
- 2005-07-25 US US11/659,307 patent/US7890800B2/en not_active Expired - Fee Related
- 2005-07-25 JP JP2007524328A patent/JP4728334B2/ja not_active Expired - Fee Related
Patent Citations (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH076103A (ja) * | 1993-06-21 | 1995-01-10 | Nec Corp | 入出力チャネルの障害処理システム |
JPH113306A (ja) * | 1997-06-12 | 1999-01-06 | Mitsubishi Electric Corp | エージェント方式 |
JP2002527820A (ja) * | 1998-10-12 | 2002-08-27 | センタ・ナショナル・デチュード・スパティアレ | 過渡エラー制約を受ける電子システムのための処理手順およびメモリアクセス監視装置 |
JP2001357637A (ja) * | 2000-06-14 | 2001-12-26 | Sony Corp | 情報再生装置、情報処理方法及び情報記録媒体 |
Also Published As
Publication number | Publication date |
---|---|
DE102004037713A1 (de) | 2006-03-16 |
US7890800B2 (en) | 2011-02-15 |
WO2006015945A2 (de) | 2006-02-16 |
RU2431182C2 (ru) | 2011-10-10 |
JP4728334B2 (ja) | 2011-07-20 |
US20090217090A1 (en) | 2009-08-27 |
WO2006015945A3 (de) | 2006-06-08 |
CN1993679B (zh) | 2010-05-26 |
CN1993679A (zh) | 2007-07-04 |
RU2007106437A (ru) | 2008-09-10 |
BRPI0513229A (pt) | 2008-04-29 |
EP1854007A2 (de) | 2007-11-14 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP4728334B2 (ja) | コンピュータプログラムを処理する方法、オペレーティングシステムおよび計算装置 | |
CN102063286B (zh) | 程序流控制 | |
JP4648396B2 (ja) | コンピュータプログラムを処理する方法、駆動システムおよび計算装置 | |
TWI478052B (zh) | 處置例外事件之裝置及方法 | |
JP4903149B2 (ja) | コンピュータシステム上でコンピュータプログラムを処理する方法 | |
US20120317576A1 (en) | method for operating an arithmetic unit | |
EP2642392A1 (en) | Semiconductor integrated circuit device and system using the same | |
TWI498820B (zh) | 具有用於分支錯誤預測之第二跳躍執行單元的處理器 | |
JP2008513899A (ja) | コンピュータシステム上でコンピュータプログラムを処理する方法 | |
RU2603497C2 (ru) | Способ управления исполнением задачи в компьютерной системе | |
JP4596488B2 (ja) | コンピュータプログラムを処理する方法、駆動システム、および計算装置 | |
CN110673975B (zh) | 一种星载计算机软件的安全内核结构及安全运行方法 | |
JP2011008702A (ja) | 故障処理装置 | |
CN105474174A (zh) | 控制时间密集的指令 | |
JP2016066139A (ja) | 車両制御装置 | |
US6938115B2 (en) | Method and computer device with different criticality | |
US20220382581A1 (en) | Method, arrangement, and computer program product for organizing the excitation of processing paths for testing a microelectric circuit | |
RU2305313C1 (ru) | Способ я.а. горбадея обеспечения надежной работы программного вычислительного средства | |
US20230333891A1 (en) | Method, data processing module, and data processing network for processing data | |
Abdi et al. | Achieving system-level fault-tolerance with controlled resets | |
CN115629934A (zh) | 监控方法、微控制器、计算机程序及其存储介质 | |
JPS63263543A (ja) | マルチレベルプログラミング方式 | |
CN118132214A (zh) | 控制器及包括控制器的车辆 | |
CN115225633A (zh) | 基于对端网络信号的状态机状态转换方法及*** |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20100209 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20100419 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20101019 |
|
A601 | Written request for extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A601 Effective date: 20110119 |
|
A602 | Written permission of extension of time |
Free format text: JAPANESE INTERMEDIATE CODE: A602 Effective date: 20110126 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20110207 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20110315 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20110414 |
|
R150 | Certificate of patent or registration of utility model |
Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20140422 Year of fee payment: 3 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
LAPS | Cancellation because of no payment of annual fees |