DE69021659D1 - Verfahren und Vorrichtung zur reihenweisen Parallelprogrammfehlersuche. - Google Patents

Verfahren und Vorrichtung zur reihenweisen Parallelprogrammfehlersuche.

Info

Publication number
DE69021659D1
DE69021659D1 DE69021659T DE69021659T DE69021659D1 DE 69021659 D1 DE69021659 D1 DE 69021659D1 DE 69021659 T DE69021659 T DE 69021659T DE 69021659 T DE69021659 T DE 69021659T DE 69021659 D1 DE69021659 D1 DE 69021659D1
Authority
DE
Germany
Prior art keywords
serial parallel
parallel debugging
debugging
serial
parallel
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.)
Expired - Fee Related
Application number
DE69021659T
Other languages
English (en)
Other versions
DE69021659T2 (de
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
Application granted granted Critical
Publication of DE69021659D1 publication Critical patent/DE69021659D1/de
Publication of DE69021659T2 publication Critical patent/DE69021659T2/de
Anticipated expiration legal-status Critical
Expired - Fee Related legal-status Critical Current

Links

Classifications

    • 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/3624—Software debugging by performing operations on the source code, e.g. via a compiler
    • 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/3604—Software analysis 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)
DE69021659T 1989-06-29 1990-06-15 Verfahren und Vorrichtung zur reihenweisen Parallelprogrammfehlersuche. Expired - Fee Related DE69021659T2 (de)

Applications Claiming Priority (1)

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

Publications (2)

Publication Number Publication Date
DE69021659D1 true DE69021659D1 (de) 1995-09-21
DE69021659T2 DE69021659T2 (de) 1996-05-02

Family

ID=23474605

Family Applications (1)

Application Number Title Priority Date Filing Date
DE69021659T Expired - Fee Related DE69021659T2 (de) 1989-06-29 1990-06-15 Verfahren und Vorrichtung zur reihenweisen Parallelprogrammfehlersuche.

Country Status (4)

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

Families Citing this family (39)

* 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 プログラム編集方法とその装置
US5799142A (en) * 1994-09-12 1998-08-25 Nec Corporation Debugging method and debugging system for multi-task programs
JP2738360B2 (ja) * 1994-09-12 1998-04-08 日本電気株式会社 マルチタスクプログラムのデバッグ方法およびデバッグシステム
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
US6275868B1 (en) * 1997-03-12 2001-08-14 Microsoft Corporation Script Engine interface for multiple languages
US6353923B1 (en) * 1997-03-12 2002-03-05 Microsoft Corporation Active debugging environment for debugging mixed-language scripting code
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分析方法和装置
CN108304330B (zh) * 2018-02-26 2021-09-21 腾讯科技（深圳）有限公司 内容提取方法、装置和计算机设备

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
JPH0756636B2 (ja) * 1985-12-11 1995-06-14 株式会社日立製作所 データ処理方法
US4803683A (en) * 1985-08-30 1989-02-07 Hitachi, Ltd. Method and apparatus for testing a distributed computer system
DE3752280T2 (de) * 1986-07-30 2000-02-03 Hitachi Ltd Mustergenerator
US4953084A (en) * 1987-11-16 1990-08-28 Hewlett-Packard Company Method and apparatus using variable ranges to support symbolic debugging of optimized code

Also Published As

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

Similar Documents

Publication Publication Date Title
DE69021659D1 (de) Verfahren und Vorrichtung zur reihenweisen Parallelprogrammfehlersuche.
DE69000870D1 (de) Verfahren und vorrichtung zur abfallbeseitigung.
DE69013790D1 (de) Verfahren und Vorrichtung zur Positionsbestimmung.
DE3886745D1 (de) Verfahren und vorrichtung zur intrauterinen befruchtung.
DE68928231D1 (de) Verfahren und Vorrichtung zur Maschinenübersetzung
DE69013203D1 (de) Verfahren und Vorrichtung zum Überbringen von Plättchen.
DE68927413D1 (de) Verfahren und Vorrichtung zur Datenbankverarbeitung
DE68907344D1 (de) Verfahren und vorrichtung zur anzeige von urinbestandteilen.
DE69018838D1 (de) Verfahren und Vorrichtung zur Oberflächenanalyse.
DE58906917D1 (de) Vorrichtung und Verfahren zur Leckprüfung.
DE3781628D1 (de) Verfahren und vorrichtung zum filtrieren.
DE69028190D1 (de) Verfahren und Vorrichtung zur Softwareüberwachung und -entwicklung
DE3683958D1 (de) Verfahren und vorrichtung zur guetepruefung von masken.
DE69009109D1 (de) Vorrichtung und Verfahren zur Lichtmessung.
DE3888522D1 (de) Vorrichtung und verfahren zum filtrieren.
DE69009091D1 (de) Verfahren und Vorrichtung zur Signalverarbeitung.
DE68916616D1 (de) Verfahren und Vorrichtung zum Gruppenlochen.
DE68924563D1 (de) Verfahren und Vorrichtung zur Oberflächenanalyse.
DE69012321D1 (de) Verfahren und vorrichtung zur identifikation von teilchen.
DE58902049D1 (de) Verfahren und vorrichtung zur ladedruckregelung.
DE69002726D1 (de) Verfahren und vorrichtung zum granulieren und ueberziehen.
DE69009368D1 (de) Vorrichtung und Verfahren zur Drahtbearbeitung.
DE69016818D1 (de) Verfahren und Vorrichtung zum Aufwickeln.
ATA143190A (de) Verfahren und vorrichtung zum entholzen und zum aufbereiten von flachs
DE69017029D1 (de) Verfahren und vorrichtung zur nichtzerstörenden prüfung.

Legal Events

Date Code Title Description
8364 No opposition during term of opposition
8339 Ceased/non-payment of the annual fee