JP2018538628A5 - - Google Patents
Download PDFInfo
- Publication number
- JP2018538628A5 JP2018538628A5 JP2018531614A JP2018531614A JP2018538628A5 JP 2018538628 A5 JP2018538628 A5 JP 2018538628A5 JP 2018531614 A JP2018531614 A JP 2018531614A JP 2018531614 A JP2018531614 A JP 2018531614A JP 2018538628 A5 JP2018538628 A5 JP 2018538628A5
- Authority
- JP
- Japan
- Prior art keywords
- instruction
- replay
- state
- block
- recording
- 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
- 230000004044 response Effects 0.000 claims 20
- 238000001514 detection method Methods 0.000 claims 9
- 230000004048 modification Effects 0.000 claims 7
- 238000012986 modification Methods 0.000 claims 7
- 230000000694 effects Effects 0.000 claims 6
- 238000000034 method Methods 0.000 claims 5
- 230000003993 interaction Effects 0.000 claims 3
- 230000008569 process Effects 0.000 claims 3
- 230000003068 static effect Effects 0.000 claims 3
Applications Claiming Priority (5)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US201562271475P | 2015-12-28 | 2015-12-28 | |
| US62/271,475 | 2015-12-28 | ||
| US15/252,323 US11188336B2 (en) | 2015-12-28 | 2016-08-31 | Replay of partially executed instruction blocks in a processor-based system employing a block-atomic execution model |
| US15/252,323 | 2016-08-31 | ||
| PCT/US2016/065740 WO2017116652A1 (en) | 2015-12-28 | 2016-12-09 | Replay of partially executed instruction blocks in a processor-based system employing a block-atomic execution model |
Publications (3)
| Publication Number | Publication Date |
|---|---|
| JP2018538628A JP2018538628A (ja) | 2018-12-27 |
| JP2018538628A5 true JP2018538628A5 (OSRAM) | 2020-01-09 |
| JP6963552B2 JP6963552B2 (ja) | 2021-11-10 |
Family
ID=59086553
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2018531614A Active JP6963552B2 (ja) | 2015-12-28 | 2016-12-09 | ブロックアトミック実行モデルを利用するプロセッサベースシステムにおける部分的に実行された命令ブロックのリプレイ |
Country Status (8)
| Country | Link |
|---|---|
| US (1) | US11188336B2 (OSRAM) |
| EP (1) | EP3398060B1 (OSRAM) |
| JP (1) | JP6963552B2 (OSRAM) |
| KR (1) | KR102706938B1 (OSRAM) |
| CN (1) | CN108369519B (OSRAM) |
| AU (1) | AU2016380796B2 (OSRAM) |
| ES (1) | ES2824474T3 (OSRAM) |
| WO (1) | WO2017116652A1 (OSRAM) |
Families Citing this family (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US10452516B2 (en) * | 2017-07-10 | 2019-10-22 | Microsoft Technology Licensing, Llc | Replaying time-travel traces relying on processor undefined behavior |
| US10824429B2 (en) | 2018-09-19 | 2020-11-03 | Microsoft Technology Licensing, Llc | Commit logic and precise exceptions in explicit dataflow graph execution architectures |
| US10983801B2 (en) * | 2019-09-06 | 2021-04-20 | Apple Inc. | Load/store ordering violation management |
| US11360773B2 (en) * | 2020-06-22 | 2022-06-14 | Microsoft Technology Licensing, Llc | Reusing fetched, flushed instructions after an instruction pipeline flush in response to a hazard in a processor to reduce instruction re-fetching |
Family Cites Families (20)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US5832202A (en) | 1988-12-28 | 1998-11-03 | U.S. Philips Corporation | Exception recovery in a data processing system |
| JP3670290B2 (ja) | 1995-02-14 | 2005-07-13 | 富士通株式会社 | 特殊機能を提供する高性能投機的実行プロセッサの構造及び方法 |
| US6832367B1 (en) | 2000-03-06 | 2004-12-14 | International Business Machines Corporation | Method and system for recording and replaying the execution of distributed java programs |
| FR2882449A1 (fr) * | 2005-01-21 | 2006-08-25 | Meiosys Soc Par Actions Simpli | Procede non intrusif de rejeu d'evenements internes au sein d'un processus applicatif, et systeme mettant en oeuvre ce procede |
| US7882339B2 (en) | 2005-06-23 | 2011-02-01 | Intel Corporation | Primitives to enhance thread-level speculation |
| US7506318B1 (en) | 2005-06-28 | 2009-03-17 | Replay Solutions, Inc. | Recording and replaying computer programs |
| US8079019B2 (en) | 2007-11-21 | 2011-12-13 | Replay Solutions, Inc. | Advancing and rewinding a replayed program execution |
| US7958497B1 (en) | 2006-06-07 | 2011-06-07 | Replay Solutions, Inc. | State synchronization in recording and replaying computer programs |
| US8316352B2 (en) | 2006-06-09 | 2012-11-20 | Oracle America, Inc. | Watchpoints on transactional variables |
| US8190859B2 (en) * | 2006-11-13 | 2012-05-29 | Intel Corporation | Critical section detection and prediction mechanism for hardware lock elision |
| US8473919B2 (en) | 2008-01-31 | 2013-06-25 | Ca, Inc. | System and method for repeating program flow for debugging and testing |
| JP5385545B2 (ja) * | 2008-04-17 | 2014-01-08 | インターナショナル・ビジネス・マシーンズ・コーポレーション | トランザクションの実行を制御する装置及び方法 |
| US8291202B2 (en) * | 2008-08-08 | 2012-10-16 | Qualcomm Incorporated | Apparatus and methods for speculative interrupt vector prefetching |
| EP2366144B1 (en) | 2008-10-15 | 2015-09-30 | Hyperion Core, Inc. | Sequential processor comprising an alu array |
| US8402318B2 (en) | 2009-03-24 | 2013-03-19 | The Trustees Of Columbia University In The City Of New York | Systems and methods for recording and replaying application execution |
| US8549504B2 (en) | 2010-09-25 | 2013-10-01 | Intel Corporation | Apparatus, method, and system for providing a decision mechanism for conditional commits in an atomic region |
| US8826273B1 (en) * | 2010-12-22 | 2014-09-02 | Vmware, Inc. | Synchronously logging to disk for main-memory database systems through record and replay |
| US20130080738A1 (en) * | 2011-09-23 | 2013-03-28 | Qualcomm Incorporated | Processor configured to perform transactional memory operations |
| US9170915B1 (en) | 2011-12-06 | 2015-10-27 | Amazon Technologies, Inc. | Replay to reconstruct program state |
| US9697040B2 (en) | 2014-03-26 | 2017-07-04 | Intel Corporation | Software replayer for transactional memory programs |
-
2016
- 2016-08-31 US US15/252,323 patent/US11188336B2/en active Active
- 2016-12-09 WO PCT/US2016/065740 patent/WO2017116652A1/en not_active Ceased
- 2016-12-09 KR KR1020187017864A patent/KR102706938B1/ko active Active
- 2016-12-09 JP JP2018531614A patent/JP6963552B2/ja active Active
- 2016-12-09 AU AU2016380796A patent/AU2016380796B2/en active Active
- 2016-12-09 ES ES16820447T patent/ES2824474T3/es active Active
- 2016-12-09 EP EP16820447.7A patent/EP3398060B1/en active Active
- 2016-12-09 CN CN201680072709.XA patent/CN108369519B/zh active Active
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Lantz et al. | Yat: A validation framework for persistent memory software | |
| US20100031084A1 (en) | Checkpointing in a processor that supports simultaneous speculative threading | |
| KR102025078B1 (ko) | 단일 스텝 실행을 이용한 코드 진단 | |
| JP2019519056A5 (OSRAM) | ||
| CN102388368B (zh) | 一种内存监控方法及装置 | |
| CN103176876B (zh) | 一种高效安全的计算机在线自检方法及自检装置 | |
| US9086969B2 (en) | Establishing a useful debugging state for multithreaded computer program | |
| JP2018538628A5 (OSRAM) | ||
| US8732418B1 (en) | Shadow registry | |
| GB2576288A (en) | Generating and verifying hardware instruction traces including memory data contents | |
| US20170068603A1 (en) | Information processing method and information processing apparatus | |
| CN106030532B (zh) | 用于事务存储器程序的软件回放器 | |
| CN107111488B (zh) | 调试数据处理事务 | |
| JP6963552B2 (ja) | ブロックアトミック実行モデルを利用するプロセッサベースシステムにおける部分的に実行された命令ブロックのリプレイ | |
| US7765526B2 (en) | Management of watchpoints in debuggers | |
| CN108388778B (zh) | Android平台融合多特征的APP反调试方法 | |
| CN104657229A (zh) | 基于高可用性硬件检查点的多核处理器卷回恢复系统及其卷回恢复方法 | |
| CN107239320A (zh) | 基于虚拟化技术的实时保存客户机中进程状态的方法 | |
| CN105718357A (zh) | 一种内存监视的方法 | |
| KR102825843B1 (ko) | 트랜잭션 메모리를 위한 장치 및 데이터 처리 방법 | |
| CN113785284B (zh) | 基于历史调试追踪来标识数据不一致和数据争用 | |
| WO2012137239A1 (ja) | 計算機システム | |
| KR20230063247A (ko) | 결함 복구 시스템 | |
| CN120429122B (zh) | 线程调试方法、装置、控制系统以及电子设备 | |
| Chyłek | Emulation based software reliability evaluation and optimization |