JPH0338735A - 並列プログラム中のエラーを探す方法及び支援システム - Google Patents

並列プログラム中のエラーを探す方法及び支援システム

Info

Publication number
JPH0338735A
JPH0338735A JP2170388A JP17038890A JPH0338735A JP H0338735 A JPH0338735 A JP H0338735A JP 2170388 A JP2170388 A JP 2170388A JP 17038890 A JP17038890 A JP 17038890A JP H0338735 A JPH0338735 A JP H0338735A
Authority
JP
Japan
Prior art keywords
program
parallel
subprogram
sections
serialization
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
Application number
JP2170388A
Other languages
English (en)
Japanese (ja)
Other versions
JPH0432416B2 (https=
Inventor
David Bernstein
デヴイド・ベーンステイン
Kimming So
キムイング・ソー
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
International Business Machines Corp
Original Assignee
International Business Machines Corp
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by International Business Machines Corp filed Critical International Business Machines Corp
Publication of JPH0338735A publication Critical patent/JPH0338735A/ja
Publication of JPH0432416B2 publication Critical patent/JPH0432416B2/ja
Granted legal-status Critical Current

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/362—Debugging of software
    • G06F11/3624—Debugging of software by performing operations on the source code, e.g. via a compiler
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Prevention of errors by analysis, debugging or testing of software
    • G06F11/3604—Analysis of software for verifying properties of programs

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Devices For Executing Special Programs (AREA)
JP2170388A 1989-06-29 1990-06-29 並列プログラム中のエラーを探す方法及び支援システム Granted JPH0338735A (ja)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US07/373,953 US5048018A (en) 1989-06-29 1989-06-29 Debugging parallel programs by serialization
US373953 1995-01-17

Publications (2)

Publication Number Publication Date
JPH0338735A true JPH0338735A (ja) 1991-02-19
JPH0432416B2 JPH0432416B2 (https=) 1992-05-29

Family

ID=23474605

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2170388A Granted JPH0338735A (ja) 1989-06-29 1990-06-29 並列プログラム中のエラーを探す方法及び支援システム

Country Status (4)

Country Link
US (1) US5048018A (https=)
EP (1) EP0406602B1 (https=)
JP (1) JPH0338735A (https=)
DE (1) DE69021659T2 (https=)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108304330A (zh) * 2018-02-26 2018-07-20 腾讯科技（深圳）有限公司 内容提取方法、装置和计算机设备

Families Citing this family (38)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2978189B2 (ja) * 1989-11-16 1999-11-15 シャープ株式会社 自動フローチャート作成装置
US5361352A (en) * 1989-11-27 1994-11-01 Hitachi, Ltd. Method for debugging in a parallel computer system and system for the same
US5412799A (en) * 1990-02-27 1995-05-02 Massachusetts Institute Of Technology Efficient data processor instrumentation for systematic program debugging and development
US5860009A (en) * 1994-04-28 1999-01-12 Kabushiki Kaisha Toshiba Programming method for concurrent programs and program supporting apparatus thereof
JPH0863346A (ja) * 1994-08-25 1996-03-08 Canon Inc プログラム編集方法とその装置
JP2738360B2 (ja) * 1994-09-12 1998-04-08 日本電気株式会社 マルチタスクプログラムのデバッグ方法およびデバッグシステム
US5799142A (en) * 1994-09-12 1998-08-25 Nec Corporation Debugging method and debugging system for multi-task programs
US5687375A (en) * 1994-10-14 1997-11-11 International Business Machines Corporation Debugging of High Performance Fortran programs with backup breakpoints
US5649085A (en) * 1994-12-09 1997-07-15 International Business Machines Corporation Method and system for storing and displaying system operation traces with asynchronous event-pairs
US5872909A (en) * 1995-01-24 1999-02-16 Wind River Systems, Inc. Logic analyzer for software
US5805890A (en) * 1995-05-15 1998-09-08 Sun Microsystems, Inc. Parallel processing system including arrangement for establishing and using sets of processing nodes in debugging environment
US5819024A (en) * 1995-07-11 1998-10-06 Hitachi, Ltd. Fault analysis system
US6067415A (en) * 1995-12-26 2000-05-23 Kabushiki Kaisha Toshiba System for assisting a programmer find errors in concurrent programs
US6353923B1 (en) * 1997-03-12 2002-03-05 Microsoft Corporation Active debugging environment for debugging mixed-language scripting code
US6275868B1 (en) * 1997-03-12 2001-08-14 Microsoft Corporation Script Engine interface for multiple languages
US6061517A (en) 1997-03-31 2000-05-09 International Business Machines Corporation Multi-tier debugging
US6286130B1 (en) * 1997-08-05 2001-09-04 Intel Corporation Software implemented method for automatically validating the correctness of parallel computer programs
US6757868B1 (en) 1998-06-22 2004-06-29 International Business Machines Corporation Programmatic switching of arbitrary HTML forms
US6408430B2 (en) * 1998-09-03 2002-06-18 Lucent Technologies, Inc. Interactive software testing system and method
US7117433B1 (en) 1998-09-29 2006-10-03 International Business Machines Corporation HTML mapping substitution graphical user interface for display of elements mapped to HTML files
US7882426B1 (en) * 1999-08-09 2011-02-01 Cognex Corporation Conditional cell execution in electronic spreadsheets
WO2001022228A1 (en) 1999-09-17 2001-03-29 Nortel Networks Limited System and method for producing a verification system for verifying procedure interfaces
JP2004192139A (ja) * 2002-12-09 2004-07-08 Sharp Corp デバッグ装置、デバッグ方法および記録媒体
US20050223359A1 (en) * 2004-03-30 2005-10-06 Rao Nagaraju Kodalapura N Techniques for multi-core debugging
US7673295B1 (en) * 2004-04-27 2010-03-02 Sun Microsystems, Inc. System and method for compile-time non-concurrency analysis
US8266600B2 (en) * 2005-03-28 2012-09-11 Nec Laboratories America, Inc. Model checking of multi threaded software
US8185874B2 (en) * 2006-11-07 2012-05-22 Microsoft Corporation Automatic and systematic detection of race conditions and atomicity violations
US9317636B1 (en) * 2006-12-11 2016-04-19 Synopsys, Inc. System and method for stopping integrated circuit simulation
JP4908363B2 (ja) * 2007-09-25 2012-04-04 株式会社東芝 情報処理装置、並列処理最適化方法およびプログラム
US9678775B1 (en) * 2008-04-09 2017-06-13 Nvidia Corporation Allocating memory for local variables of a multi-threaded program for execution in a single-threaded environment
GB2459353A (en) * 2008-04-09 2009-10-28 Nvidia Corp Translating a program for a multi core graphical processor to run on a general purpose processor
US8776030B2 (en) * 2008-04-09 2014-07-08 Nvidia Corporation Partitioning CUDA code for execution by a general purpose processor
US8156476B2 (en) * 2008-06-10 2012-04-10 Microsoft Corporation Debugging support for tasks in multithreaded environments
US9846628B2 (en) 2010-06-15 2017-12-19 Microsoft Technology Licensing, Llc Indicating parallel operations with user-visible events
US9043761B2 (en) * 2010-09-01 2015-05-26 International Business Machines Corporation Fault localization using condition modeling and return value modeling
US8898640B2 (en) * 2012-06-06 2014-11-25 Microsoft Corporation Exception handling for a distributed runtime
US9753835B2 (en) 2015-11-10 2017-09-05 National Instruments Corporation Debugging parallel graphical program code
CN106201874B (zh) * 2016-07-06 2018-12-28 华为技术有限公司 并行程序的mhp分析方法和装置

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4502116A (en) * 1982-11-17 1985-02-26 At&T Bell Laboratories Multiple processor synchronized halt test arrangement
US4803683A (en) * 1985-08-30 1989-02-07 Hitachi, Ltd. Method and apparatus for testing a distributed computer system
JPH0756636B2 (ja) * 1985-12-11 1995-06-14 株式会社日立製作所 データ処理方法
EP0255118B1 (en) * 1986-07-30 1999-06-09 Hitachi, Ltd. Pattern generator
US4953084A (en) * 1987-11-16 1990-08-28 Hewlett-Packard Company Method and apparatus using variable ranges to support symbolic debugging of optimized code

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN108304330A (zh) * 2018-02-26 2018-07-20 腾讯科技（深圳）有限公司 内容提取方法、装置和计算机设备

Also Published As

Publication number Publication date
EP0406602B1 (en) 1995-08-16
DE69021659D1 (de) 1995-09-21
EP0406602A3 (en) 1991-12-27
JPH0432416B2 (https=) 1992-05-29
EP0406602A2 (en) 1991-01-09
DE69021659T2 (de) 1996-05-02
US5048018A (en) 1991-09-10

Similar Documents

Publication Publication Date Title
JPH0338735A (ja) 並列プログラム中のエラーを探す方法及び支援システム
EP0688448B1 (en) Incremental build system
US5956479A (en) Demand based generation of symbolic information
US6954747B1 (en) Methods for comparing versions of a program
Hennessy Symbolic debugging of optimized code
US5671416A (en) Apparatus and a method for searching and modifying source code of a computer program
US5325533A (en) Engineering system for modeling computer programs
US5680622A (en) System and methods for quickly detecting shareability of symbol and type information in header files
US5187789A (en) Graphical display of compiler-generated intermediate database representation
US6014518A (en) Terminating polymorphic type inference program analysis
US20010011370A1 (en) Interactive software testing system and method
Copperman Debugging optimized code without being misled
US20030028860A1 (en) Compiler and debugging device
JPH05508494A (ja) ソフトウェア開発のためのコンピュータプログラムの統合階層表示
US8683439B2 (en) System and process for debugging object-oriented programming code leveraging preprocessors
WO2013184952A1 (en) Method for automatic extraction of designs from standard source code
Marceau et al. The design and implementation of a dataflow language for scriptable debugging
GB2420638A (en) Method of substituting code fragments in Internal Representation
Livadas et al. System dependence graphs based on parse trees and their use in software maintenance
Jørgensen et al. Computer aided verification of lamport's fast mutual exclusion algorithm using colored petri nets and occurrence graphs with symmetries
Nilsson A declarative approach to debugging for lazy functional languages
Vukasović Implementation of the debugging support for the llvm outlining optimization
Hendren et al. Intererence analysis tools for parallelizing programs with recursive data structures
JPH07281879A (ja) アプリケーションプログラム編集装置
Bemmerl et al. On-line distributed debugging on scalable multiprocessor architectures