JP2009032197A - ソフトウェアのシミュレーション方法、ソフトウェアのシミュレーションのためのプログラム、及びソフトウェアのシミュレーション装置 - Google Patents
ソフトウェアのシミュレーション方法、ソフトウェアのシミュレーションのためのプログラム、及びソフトウェアのシミュレーション装置 Download PDFInfo
- Publication number
- JP2009032197A JP2009032197A JP2007198001A JP2007198001A JP2009032197A JP 2009032197 A JP2009032197 A JP 2009032197A JP 2007198001 A JP2007198001 A JP 2007198001A JP 2007198001 A JP2007198001 A JP 2007198001A JP 2009032197 A JP2009032197 A JP 2009032197A
- Authority
- JP
- Japan
- Prior art keywords
- access
- program
- thread
- threads
- software
- 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/30—Monitoring
- G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation ; Recording or statistical evaluation of user activity, e.g. usability assessment
- G06F11/3457—Performance evaluation by simulation
-
- 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/3632—Software debugging of specific synchronisation aspects
-
- 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/52—Program synchronisation; Mutual exclusion, e.g. by means of semaphores
- G06F9/524—Deadlock detection or avoidance
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- General Engineering & Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Software Systems (AREA)
- Debugging And Monitoring (AREA)
Abstract
【解決手段】コンピュータによるソフトウェアのシミュレーション方法は、ソフトウェアによるシミュレータ上にソフトウェアとして実現したハードウェアのモデルにより複数のスレッドからなるプログラムを実行し、シミュレータのモニタ機能によりハードウェアのモデル内のリソースに対する複数のスレッドによるアクセスをモニタしてアクセスに関する情報を収集し、モニタ機能により、収集された情報から複数のスレッドによる同一のリソース領域に対する重複するアクセスを抽出し、モニタ機能により、重複するアクセスを警告するメッセージを生成する各段階を含むことを特徴とする。
【選択図】図1
Description
11 SoCシミュレータ
12 SoCモデル
13 メモリモニタ
14 キャッシュモニタ
15 SW/HWモニタ
21 CPU
22 周辺ブロック
23 DRAM
24 メモリ
25 バス
510 コンピュータ
511 CPU
512 RAM
513 ROM
514 二次記憶装置
515 可換媒体記憶装置
516 インターフェース
520 ディスプレイ装置
521 キーボード
522 マウス
523 通信装置
Claims (10)
- ソフトウェアによるシミュレータ上にソフトウェアとして実現したハードウェアのモデルにより複数のスレッドからなるプログラムを実行し、
該シミュレータのモニタ機能により該ハードウェアのモデル内のリソースに対する該複数のスレッドによるアクセスをモニタしてアクセスに関する情報を収集し、
該モニタ機能により、該収集された情報から複数のスレッドによる同一のリソース領域に対する重複するアクセスを抽出し、
該モニタ機能により、該重複するアクセスを警告するメッセージを生成する
各段階を含むことを特徴とするコンピュータによるソフトウェアのシミュレーション方法。 - 該収集する情報は、アクセス元のCPUのID、該CPUのプログラムカウンタの値、アクセスアドレス、アクセスサイズ、Read/Writeの種別、及びアクセス発生時の該シミュレータの実行サイクル数であることを特徴とする請求項1記載のシミュレーション方法。
- 該重複するアクセスを抽出する段階は、該複数のスレッドによるアクセス間で、該アクセスアドレス及び該アクセスサイズを比較することにより、該重複するアクセスを抽出することを特徴とする請求項2記載のシミュレーション方法。
- 抽出された該重複するアクセスに関する情報をスレッド単位で整理する段階を更に含むことを特徴とする請求項1記載のシミュレーション方法。
- 該スレッド単位で整理された該重複するアクセスに関する情報に基づいてスレッドとリソースとの関係を示す表を作成し、
該表に基づいてデッドロックの可能性を検出する
各段階を更に含み、該メッセージを生成する段階は該検出されたデッドロックの可能性について警告するメッセージを生成することを特徴とする請求項4記載のシミュレーション方法。 - 該スレッド単位で整理された該重複するアクセスに関する情報に基づいて、該重複するアクセスが読み出しアクセスであるか又は書き込みアクセスであるかに応じてデータレースの可能性を検出する段階を更に含み、該メッセージを生成する段階は該検出されたデータレースの可能性について警告するメッセージを生成することを特徴とする請求項4記載のシミュレーション方法。
- 該メッセージを生成する段階は、該重複するアクセスに起因する問題の種別を特定する情報及び該重複するアクセスのアクセス先を特定する情報を含めて該メッセージを生成することを特徴とする請求項1記載のシミュレーション方法。
- 該ハードウェアのモデルの動作期間を複数の期間に分割し、該複数の期間のうちの所定の期間において生成された該アクセスに関する情報を該所定の期間において収集し、該収集された情報に基づいて該所定の期間の次の期間において該メッセージを生成することを特徴とする請求項1記載のシミュレーション方法。
- ソフトウェアによるシミュレータ上にソフトウェアとして実現したハードウェアのモデルにより複数のスレッドからなるプログラムを実行し、
該シミュレータのモニタ機能により該ハードウェアのモデル内のリソースに対する該複数のスレッドによるアクセスをモニタしてアクセスに関する情報を収集し、
該モニタ機能により、該収集された情報から複数のスレッドによる同一のリソース領域に対する重複するアクセスを抽出し、
該モニタ機能により、該重複するアクセスを警告するメッセージを生成する
各段階をコンピュータに実行させる指令から構成されるソフトウェアのシミュレーションのためのプログラム。 - ソフトウェアとして実現したハードウェアのモデルを含むシミュレータプログラムと該ハードウェアのシステムでの実行を想定した複数のスレッドからなるプログラムとを格納するメモリと、
該メモリに格納された該シミュレータプログラムを実行することにより該メモリに格納された該複数のスレッドからなるプログラムを該ハードウェアのモデル上で実行する演算処理ユニットを含み、該演算処理ユニットは、
該シミュレータのモニタ機能により該ハードウェアのモデル内のリソースに対する該複数のスレッドによるアクセスをモニタしてアクセスに関する情報を収集し、
該モニタ機能により、該収集された情報から複数のスレッドによる同一のリソース領域に対する重複するアクセスを抽出し、
該モニタ機能により、該重複するアクセスを警告するメッセージを生成する
各段階を実行することを特徴とするソフトウェアのシミュレーション装置。
Priority Applications (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007198001A JP4888272B2 (ja) | 2007-07-30 | 2007-07-30 | ソフトウェアのシミュレーション方法、ソフトウェアのシミュレーションのためのプログラム、及びソフトウェアのシミュレーション装置 |
EP08158811A EP2037368A3 (en) | 2007-07-30 | 2008-06-23 | Simulation of program execution to detect problem such as deadlock |
US12/213,871 US20090037888A1 (en) | 2007-07-30 | 2008-06-25 | Simulation of program execution to detect problem such as deadlock |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2007198001A JP4888272B2 (ja) | 2007-07-30 | 2007-07-30 | ソフトウェアのシミュレーション方法、ソフトウェアのシミュレーションのためのプログラム、及びソフトウェアのシミュレーション装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
JP2009032197A true JP2009032197A (ja) | 2009-02-12 |
JP4888272B2 JP4888272B2 (ja) | 2012-02-29 |
Family
ID=40280741
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2007198001A Expired - Fee Related JP4888272B2 (ja) | 2007-07-30 | 2007-07-30 | ソフトウェアのシミュレーション方法、ソフトウェアのシミュレーションのためのプログラム、及びソフトウェアのシミュレーション装置 |
Country Status (3)
Country | Link |
---|---|
US (1) | US20090037888A1 (ja) |
EP (1) | EP2037368A3 (ja) |
JP (1) | JP4888272B2 (ja) |
Cited By (4)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013196241A (ja) * | 2012-03-19 | 2013-09-30 | Fujitsu Ltd | 情報処理装置およびログ取得方法 |
JP2015022484A (ja) * | 2013-07-18 | 2015-02-02 | スパンション エルエルシー | プログラムの検査プログラム、検査装置、及び、検査方法 |
JP2015219727A (ja) * | 2014-05-17 | 2015-12-07 | インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Machines Corporation | メモリアクセストレース方法 |
JP2017503233A (ja) * | 2013-12-12 | 2017-01-26 | インテル コーポレイション | 競合状態を検出する技法 |
Families Citing this family (40)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US8887167B2 (en) * | 2010-07-30 | 2014-11-11 | International Business Machines Corporation | High performance locks |
DE102009050161A1 (de) * | 2009-10-21 | 2011-04-28 | Siemens Aktiengesellschaft | Verfahren und Vorrichtung zum Testen eines Systems mit zumindest einer Mehrzahl von parallel ausführbaren Softwareeinheiten |
US7962615B1 (en) | 2010-01-07 | 2011-06-14 | International Business Machines Corporation | Multi-system deadlock reduction |
US9262302B2 (en) * | 2010-12-16 | 2016-02-16 | International Business Machines Corporation | Displaying values of variables in a first thread modified by another thread |
US20120232880A1 (en) * | 2011-03-13 | 2012-09-13 | International Business Machines Corporation | Performance assessment of a program model |
CN102799517B (zh) * | 2011-05-25 | 2015-03-11 | 中国科学院软件研究所 | 一种快速的循环扩展检测方法 |
GB2500707B (en) * | 2012-03-30 | 2014-09-17 | Cognovo Ltd | Multiprocessor system, apparatus and methods |
US8885510B2 (en) | 2012-10-09 | 2014-11-11 | Netspeed Systems | Heterogeneous channel capacities in an interconnect |
US9009648B2 (en) * | 2013-01-18 | 2015-04-14 | Netspeed Systems | Automatic deadlock detection and avoidance in a system interconnect by capturing internal dependencies of IP cores using high level specification |
US9471726B2 (en) | 2013-07-25 | 2016-10-18 | Netspeed Systems | System level simulation in network on chip architecture |
US9473388B2 (en) | 2013-08-07 | 2016-10-18 | Netspeed Systems | Supporting multicast in NOC interconnect |
CN103729288B (zh) * | 2013-11-01 | 2016-02-24 | 华中科技大学 | 一种嵌入式多核环境下应用程序的调试方法 |
US9699079B2 (en) | 2013-12-30 | 2017-07-04 | Netspeed Systems | Streaming bridge design with host interfaces and network on chip (NoC) layers |
US9473415B2 (en) | 2014-02-20 | 2016-10-18 | Netspeed Systems | QoS in a system with end-to-end flow control and QoS aware buffer allocation |
US9742630B2 (en) | 2014-09-22 | 2017-08-22 | Netspeed Systems | Configurable router for a network on chip (NoC) |
US9571341B1 (en) | 2014-10-01 | 2017-02-14 | Netspeed Systems | Clock gating for system-on-chip elements |
US9660942B2 (en) | 2015-02-03 | 2017-05-23 | Netspeed Systems | Automatic buffer sizing for optimal network-on-chip design |
US9444702B1 (en) | 2015-02-06 | 2016-09-13 | Netspeed Systems | System and method for visualization of NoC performance based on simulation output |
US9568970B1 (en) | 2015-02-12 | 2017-02-14 | Netspeed Systems, Inc. | Hardware and software enabled implementation of power profile management instructions in system on chip |
US9928204B2 (en) | 2015-02-12 | 2018-03-27 | Netspeed Systems, Inc. | Transaction expansion for NoC simulation and NoC design |
US10348563B2 (en) | 2015-02-18 | 2019-07-09 | Netspeed Systems, Inc. | System-on-chip (SoC) optimization through transformation and generation of a network-on-chip (NoC) topology |
US10050843B2 (en) | 2015-02-18 | 2018-08-14 | Netspeed Systems | Generation of network-on-chip layout based on user specified topological constraints |
US9864728B2 (en) | 2015-05-29 | 2018-01-09 | Netspeed Systems, Inc. | Automatic generation of physically aware aggregation/distribution networks |
US9825809B2 (en) | 2015-05-29 | 2017-11-21 | Netspeed Systems | Dynamically configuring store-and-forward channels and cut-through channels in a network-on-chip |
US10218580B2 (en) | 2015-06-18 | 2019-02-26 | Netspeed Systems | Generating physically aware network-on-chip design from a physical system-on-chip specification |
US10452124B2 (en) | 2016-09-12 | 2019-10-22 | Netspeed Systems, Inc. | Systems and methods for facilitating low power on a network-on-chip |
US20180159786A1 (en) | 2016-12-02 | 2018-06-07 | Netspeed Systems, Inc. | Interface virtualization and fast path for network on chip |
US10313269B2 (en) | 2016-12-26 | 2019-06-04 | Netspeed Systems, Inc. | System and method for network on chip construction through machine learning |
US10063496B2 (en) | 2017-01-10 | 2018-08-28 | Netspeed Systems Inc. | Buffer sizing of a NoC through machine learning |
US10084725B2 (en) | 2017-01-11 | 2018-09-25 | Netspeed Systems, Inc. | Extracting features from a NoC for machine learning construction |
US10469337B2 (en) | 2017-02-01 | 2019-11-05 | Netspeed Systems, Inc. | Cost management against requirements for the generation of a NoC |
US10298485B2 (en) | 2017-02-06 | 2019-05-21 | Netspeed Systems, Inc. | Systems and methods for NoC construction |
CN107247630A (zh) * | 2017-06-05 | 2017-10-13 | 努比亚技术有限公司 | 线程检测方法、终端及计算机可读存储介质 |
US11144457B2 (en) | 2018-02-22 | 2021-10-12 | Netspeed Systems, Inc. | Enhanced page locality in network-on-chip (NoC) architectures |
US10547514B2 (en) | 2018-02-22 | 2020-01-28 | Netspeed Systems, Inc. | Automatic crossbar generation and router connections for network-on-chip (NOC) topology generation |
US10983910B2 (en) | 2018-02-22 | 2021-04-20 | Netspeed Systems, Inc. | Bandwidth weighting mechanism based network-on-chip (NoC) configuration |
US10896476B2 (en) | 2018-02-22 | 2021-01-19 | Netspeed Systems, Inc. | Repository of integration description of hardware intellectual property for NoC construction and SoC integration |
US11176302B2 (en) | 2018-02-23 | 2021-11-16 | Netspeed Systems, Inc. | System on chip (SoC) builder |
US11023377B2 (en) | 2018-02-23 | 2021-06-01 | Netspeed Systems, Inc. | Application mapping on hardened network-on-chip (NoC) of field-programmable gate array (FPGA) |
CN108959098B (zh) * | 2018-07-20 | 2021-11-05 | 大连理工大学 | 一种针对分布式系统程序死锁缺陷的测试系统及方法 |
Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH07191882A (ja) * | 1993-12-27 | 1995-07-28 | Nec Corp | メモリアクセス頻度測定方式 |
JPH0816430A (ja) * | 1994-06-27 | 1996-01-19 | Mitsubishi Electric Corp | 並列プログラムトレース装置 |
JPH09101945A (ja) * | 1995-10-09 | 1997-04-15 | Nippon Telegr & Teleph Corp <Ntt> | シミュレーション装置 |
JPH10254716A (ja) * | 1997-03-10 | 1998-09-25 | Digital Equip Corp <Dec> | マルチスレッデッドプログラムにおけるコンカレントエラーの検出 |
JP2000222228A (ja) * | 1999-01-29 | 2000-08-11 | Hitachi Ltd | リソース占有順序の検証によるデッドロック防止方法 |
JP2002297414A (ja) * | 2001-03-30 | 2002-10-11 | Nec Corp | システムシミュレータ、シミュレーション方法及びシミュレーションプログラム |
JP2005122560A (ja) * | 2003-10-17 | 2005-05-12 | Fujitsu Ltd | デッドロック事前検出プログラム |
JP2006293759A (ja) * | 2005-04-12 | 2006-10-26 | Fujitsu Ltd | マルチコアモデルシミュレータ |
Family Cites Families (29)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH05134886A (ja) * | 1990-11-30 | 1993-06-01 | Fujitsu Ltd | デツドロツク検出方式 |
US5764976A (en) * | 1995-02-06 | 1998-06-09 | International Business Machines Corporation | Method and system of deadlock detection in a data processing system having transactions with multiple processes capable of resource locking |
US5675804A (en) * | 1995-08-31 | 1997-10-07 | International Business Machines Corporation | System and method for enabling a compiled computer program to invoke an interpretive computer program |
US6622155B1 (en) * | 1998-11-24 | 2003-09-16 | Sun Microsystems, Inc. | Distributed monitor concurrency control |
US6593940B1 (en) * | 1998-12-23 | 2003-07-15 | Intel Corporation | Method for finding errors in multithreaded applications |
US6405326B1 (en) * | 1999-06-08 | 2002-06-11 | International Business Machines Corporation Limited | Timing related bug detector method for detecting data races |
US6751583B1 (en) * | 1999-10-29 | 2004-06-15 | Vast Systems Technology Corporation | Hardware and software co-simulation including simulating a target processor using binary translation |
US6597907B1 (en) * | 2000-05-05 | 2003-07-22 | Ericsson Inc. | Detection of a deadlocked resource condition in a pool of shared resources |
US20020124085A1 (en) * | 2000-12-28 | 2002-09-05 | Fujitsu Limited | Method of simulating operation of logical unit, and computer-readable recording medium retaining program for simulating operation of logical unit |
GB0118294D0 (en) * | 2001-07-27 | 2001-09-19 | Ibm | Method and system for deadlock detection and avoidance |
US7516446B2 (en) * | 2002-06-25 | 2009-04-07 | International Business Machines Corporation | Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs |
US7093262B2 (en) * | 2002-07-30 | 2006-08-15 | Intel Corporation | Detecting deadlocks in multithreaded programs |
US7278057B2 (en) * | 2003-07-31 | 2007-10-02 | International Business Machines Corporation | Automated hang detection in Java thread dumps |
US7549150B2 (en) * | 2004-03-24 | 2009-06-16 | Microsoft Corporation | Method and system for detecting potential races in multithreaded programs |
US7496918B1 (en) * | 2004-06-01 | 2009-02-24 | Sun Microsystems, Inc. | System and methods for deadlock detection |
US7366956B2 (en) * | 2004-06-16 | 2008-04-29 | Hewlett-Packard Development Company, L.P. | Detecting data races in multithreaded computer programs |
US7657894B2 (en) * | 2004-09-29 | 2010-02-02 | Intel Corporation | Detecting lock acquisition hierarchy violations in multithreaded programs |
US7774783B2 (en) * | 2004-12-23 | 2010-08-10 | Microsoft Corporation | Method and apparatus for detecting deadlocks |
US7620852B2 (en) * | 2005-03-02 | 2009-11-17 | Microsoft Corporation | Systems and methods of reporting multiple threads involved in a potential data race |
US7958512B2 (en) * | 2005-10-31 | 2011-06-07 | Microsoft Corporation | Instrumentation to find the thread or process responsible for an application failure |
US8266605B2 (en) * | 2006-02-22 | 2012-09-11 | Wind River Systems, Inc. | Method and system for optimizing performance based on cache analysis |
US7844862B1 (en) * | 2006-03-23 | 2010-11-30 | Azul Systems, Inc. | Detecting software race conditions |
US7836435B2 (en) * | 2006-03-31 | 2010-11-16 | Intel Corporation | Checking for memory access collisions in a multi-processor architecture |
US7673181B1 (en) * | 2006-06-07 | 2010-03-02 | Replay Solutions, Inc. | Detecting race conditions in computer programs |
US8229726B1 (en) * | 2006-10-05 | 2012-07-24 | Oracle America, Inc. | System for application level analysis of hardware simulations |
US7992146B2 (en) * | 2006-11-22 | 2011-08-02 | International Business Machines Corporation | Method for detecting race conditions involving heap memory access |
US8234624B2 (en) * | 2007-01-25 | 2012-07-31 | International Business Machines Corporation | System and method for developing embedded software in-situ |
US7861118B2 (en) * | 2007-03-30 | 2010-12-28 | Microsoft Corporation | Machine instruction level race condition detection |
US8621468B2 (en) * | 2007-04-26 | 2013-12-31 | Microsoft Corporation | Multi core optimizations on a binary using static and run time analysis |
-
2007
- 2007-07-30 JP JP2007198001A patent/JP4888272B2/ja not_active Expired - Fee Related
-
2008
- 2008-06-23 EP EP08158811A patent/EP2037368A3/en not_active Withdrawn
- 2008-06-25 US US12/213,871 patent/US20090037888A1/en not_active Abandoned
Patent Citations (8)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH07191882A (ja) * | 1993-12-27 | 1995-07-28 | Nec Corp | メモリアクセス頻度測定方式 |
JPH0816430A (ja) * | 1994-06-27 | 1996-01-19 | Mitsubishi Electric Corp | 並列プログラムトレース装置 |
JPH09101945A (ja) * | 1995-10-09 | 1997-04-15 | Nippon Telegr & Teleph Corp <Ntt> | シミュレーション装置 |
JPH10254716A (ja) * | 1997-03-10 | 1998-09-25 | Digital Equip Corp <Dec> | マルチスレッデッドプログラムにおけるコンカレントエラーの検出 |
JP2000222228A (ja) * | 1999-01-29 | 2000-08-11 | Hitachi Ltd | リソース占有順序の検証によるデッドロック防止方法 |
JP2002297414A (ja) * | 2001-03-30 | 2002-10-11 | Nec Corp | システムシミュレータ、シミュレーション方法及びシミュレーションプログラム |
JP2005122560A (ja) * | 2003-10-17 | 2005-05-12 | Fujitsu Ltd | デッドロック事前検出プログラム |
JP2006293759A (ja) * | 2005-04-12 | 2006-10-26 | Fujitsu Ltd | マルチコアモデルシミュレータ |
Cited By (9)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JP2013196241A (ja) * | 2012-03-19 | 2013-09-30 | Fujitsu Ltd | 情報処理装置およびログ取得方法 |
JP2015022484A (ja) * | 2013-07-18 | 2015-02-02 | スパンション エルエルシー | プログラムの検査プログラム、検査装置、及び、検査方法 |
JP2017503233A (ja) * | 2013-12-12 | 2017-01-26 | インテル コーポレイション | 競合状態を検出する技法 |
JP2015219727A (ja) * | 2014-05-17 | 2015-12-07 | インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Machines Corporation | メモリアクセストレース方法 |
US9928175B2 (en) | 2014-05-17 | 2018-03-27 | International Business Machines Corporation | Identification of a computing device accessing a shared memory |
US9940237B2 (en) | 2014-05-17 | 2018-04-10 | International Business Machines Corporation | Identification of a computing device accessing a shared memory |
US10169237B2 (en) | 2014-05-17 | 2019-01-01 | International Business Machines Corporation | Identification of a computing device accessing a shared memory |
US10241917B2 (en) | 2014-05-17 | 2019-03-26 | International Business Machines Corporation | Identification of a computing device accessing a shared memory |
US11163681B2 (en) | 2014-05-17 | 2021-11-02 | International Business Machines Corporation | Identification of a computing device accessing a shared memory |
Also Published As
Publication number | Publication date |
---|---|
JP4888272B2 (ja) | 2012-02-29 |
EP2037368A3 (en) | 2010-04-28 |
EP2037368A2 (en) | 2009-03-18 |
US20090037888A1 (en) | 2009-02-05 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP4888272B2 (ja) | ソフトウェアのシミュレーション方法、ソフトウェアのシミュレーションのためのプログラム、及びソフトウェアのシミュレーション装置 | |
Xu et al. | A serializability violation detector for shared-memory server programs | |
Wulf et al. | Overview of the Hydra operating system development | |
JP5329983B2 (ja) | デバッグ支援装置 | |
US20080208555A1 (en) | Simulation method and simulation apparatus | |
JP2006293759A (ja) | マルチコアモデルシミュレータ | |
JP4766487B2 (ja) | プログラム改ざん検出装置 | |
US20050125776A1 (en) | Determining the possibility of adverse effects arising from a code change | |
Jalbert et al. | {RADBench}: A concurrency bug benchmark suite | |
Huang et al. | Lean: Simplifying concurrency bug reproduction via replay-supported execution reduction | |
CN101403979A (zh) | 一种自旋锁的加锁方法及计算机系统 | |
Hedde et al. | A non intrusive simulation-based trace system to analyse multiprocessor systems-on-chip software | |
Zhang et al. | AI: a lightweight system for tolerating concurrency bugs | |
Atachiants et al. | Parallel performance problems on shared-memory multicore systems: taxonomy and observation | |
Zhou et al. | Deadlock prediction via generalized dependency | |
JP2007207120A (ja) | システム検証装置及びその検証方法 | |
Yu et al. | Symbolic consistency checking of OpenMP parallel programs | |
KR20200077297A (ko) | 멀티 프로세스/멀티 스레드에서 사용하는 공유 메모리에 대한 원자성 위반 결함 탐지 방법 및 장치 | |
Wheeler et al. | Visualizing massively multithreaded applications with threadscope | |
Yen et al. | Overview of PowerPC 620 multiprocessor verification strategy | |
Ricken et al. | Test-first Java concurrency for the classroom | |
Floridia et al. | Parallel software-based self-test suite for multi-core system-on-chip: Migration from single-core to multi-core automotive microcontrollers | |
Teodorescu et al. | Prototyping architectural support for program rollback using FPGAs | |
JP2007052783A (ja) | データ処理装置のシミュレーション | |
JP2011203803A (ja) | デバッグ支援装置及びデバッグ支援用プログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20100430 |
|
A977 | Report on retrieval |
Free format text: JAPANESE INTERMEDIATE CODE: A971007 Effective date: 20110722 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20110823 |
|
A521 | Written amendment |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20111024 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20111115 |
|
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20111128 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 4888272 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 Free format text: JAPANESE INTERMEDIATE CODE: R150 |
|
FPAY | Renewal fee payment (event date is renewal date of database) |
Free format text: PAYMENT UNTIL: 20141222 Year of fee payment: 3 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313113 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
R250 | Receipt of annual fees |
Free format text: JAPANESE INTERMEDIATE CODE: R250 |
|
S111 | Request for change of ownership or part of ownership |
Free format text: JAPANESE INTERMEDIATE CODE: R313111 |
|
R350 | Written notification of registration of transfer |
Free format text: JAPANESE INTERMEDIATE CODE: R350 |
|
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 |