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

Verfahren und Vorrichtung zur reihenweisen Parallelprogrammfehlersuche.

Info

Publication number
DE69021659T2
DE69021659T2 DE69021659T DE69021659T DE69021659T2 DE 69021659 T2 DE69021659 T2 DE 69021659T2 DE 69021659 T DE69021659 T DE 69021659T DE 69021659 T DE69021659 T DE 69021659T DE 69021659 T2 DE69021659 T2 DE 69021659T2
Authority
DE
Germany
Prior art keywords
parallel
program
subroutine
sections
section
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
German (de)
English (en)
Other versions
DE69021659D1 (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
Publication of DE69021659D1 publication Critical patent/DE69021659D1/de
Application granted granted Critical
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 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)
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 DE69021659D1 (de) 1995-09-21
DE69021659T2 true 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 (https=)
EP (1) EP0406602B1 (https=)
JP (1) JPH0338735A (https=)
DE (1) DE69021659T2 (https=)

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 プログラム編集方法とその装置
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分析方法和装置
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
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

Also Published As

Publication number Publication date
JPH0338735A (ja) 1991-02-19
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
US5048018A (en) 1991-09-10

Similar Documents

Publication Publication Date Title
DE69021659T2 (de) Verfahren und Vorrichtung zur reihenweisen Parallelprogrammfehlersuche.
DE69622305T2 (de) Verfahren und Gerät für einen optimierenden Kompiler
DE69316210T2 (de) Fehlerbeseitiger, der die zuordnung zwischen dem quellprogramm und optimierten objektcode beinhaltet.
DE69129067T2 (de) Verfahren um die skalaren datenabhängigkeiten für einen optimisationskompiler darzustellen
DE69604347T2 (de) Bestimmung der dynamischen Eigenschaften von Programmen
DE69525706T2 (de) Vorrichtung und Verfahren zum Generieren des Zielsprachcodes durch Verwendung eines objektorientierten Codegenerators
EP0689694B1 (de) Verfahren zur maschinellen erzeugung von nebenläufig bearbeitbaren befehlsgruppen aus einem programm für superskalare mikroprozessoren
DE69028061T2 (de) Bearbeitung von Ablaufdaten paralleler Verarbeitung
DE69031078T2 (de) Rechnerunterstützte softwareentwicklungseinrichtung
DE60313652T2 (de) Verfahren und gerät zur kontrolle der umwandlung von programm-kodes
DE69130814T2 (de) Verfahren und Gerät zur Umwandlung von Maschinensprachprogrammstrukturen in Strukturen höherer Sprachen durch Manipulierung graphischer Programmdarstellungen
DE69031758T2 (de) Verfahren zur Organisation von und zum Zugriff auf Produkt beschreibenden Daten in Zusammenhang mit einem technischen Prozess
DE68921776T2 (de) Prozessorssimulation.
DE3853981T2 (de) Veränderliche Bereiche anwendendes Verfahren und Gerät zum Stützen der symbolischen Fehlersuche von optimierten Kodes.
DE68921906T2 (de) Verfahren für ein Multiprozessorsystem mit sich selbst zuordnenden Prozessoren.
DE60001916T2 (de) Plattformunabhängige speicherabbild analysearchitektur zur programmfehlerbeseitigung
DE69924857T2 (de) Programm-kode-umwandlung
DE68921775T2 (de) Prozessorssimulation.
DE68926956T2 (de) Anordnung zur teilung eines generischen kodes für ein digitales datenverarbeitungssystem
DE2934971C2 (de) Nach dem Fließbandprinzip arbeitender Zentralprozessor
DE69831732T2 (de) Verfahren und gerät zum korrigieren von fehlern in einem rechnersystem
DE3586374T2 (de) Verfahren zur elimination globaler gemeinsamer unterexpressionen und zur kodeverschiebung in einem optimierenden kompilierer.
DE3750515T2 (de) Verfahren zur Zugriffssteuerung einer Datenbasis.
DE69622161T2 (de) Rechnersystem mit Kontextumschaltung und Programmentwicklung dafür
DE10039538A1 (de) Vorrichtung und Methode zum Analysieren der Leistung eines Computerprogramms

Legal Events

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