DE69421346D1 - Verklemmungsanalyseverfahren in einem Betriebssystem - Google Patents

Verklemmungsanalyseverfahren in einem Betriebssystem

Info

Publication number
DE69421346D1
DE69421346D1 DE69421346T DE69421346T DE69421346D1 DE 69421346 D1 DE69421346 D1 DE 69421346D1 DE 69421346 T DE69421346 T DE 69421346T DE 69421346 T DE69421346 T DE 69421346T DE 69421346 D1 DE69421346 D1 DE 69421346D1
Authority
DE
Germany
Prior art keywords
operating system
analysis method
deadlock analysis
deadlock
operating
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 - Lifetime
Application number
DE69421346T
Other languages
English (en)
Other versions
DE69421346T2 (de
Inventor
Thierry Jacquin
Jean-Paul Dubourreau
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.)
Bull SAS
Original Assignee
Bull SAS
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 Bull SAS filed Critical Bull SAS
Publication of DE69421346D1 publication Critical patent/DE69421346D1/de
Application granted granted Critical
Publication of DE69421346T2 publication Critical patent/DE69421346T2/de
Anticipated expiration legal-status Critical
Expired - Lifetime legal-status Critical Current

Links

Classifications

    • 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)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Multi Processors (AREA)
DE69421346T 1993-08-03 1994-07-29 Verklemmungsanalyseverfahren in einem Betriebssystem Expired - Lifetime DE69421346T2 (de)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
FR9309533A FR2708766B1 (fr) 1993-08-03 1993-08-03 Procédé d'analyse d'interblocages dans un système d'exploitation.

Publications (2)

Publication Number Publication Date
DE69421346D1 true DE69421346D1 (de) 1999-12-02
DE69421346T2 DE69421346T2 (de) 2000-02-10

Family

ID=9449885

Family Applications (1)

Application Number Title Priority Date Filing Date
DE69421346T Expired - Lifetime DE69421346T2 (de) 1993-08-03 1994-07-29 Verklemmungsanalyseverfahren in einem Betriebssystem

Country Status (6)

Country Link
US (1) US5590335A (de)
EP (1) EP0637798B1 (de)
JP (1) JPH07191865A (de)
CA (1) CA2119988A1 (de)
DE (1) DE69421346T2 (de)
FR (1) FR2708766B1 (de)

Families Citing this family (20)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5805839A (en) * 1996-07-02 1998-09-08 Advanced Micro Devices, Inc. Efficient technique for implementing broadcasts on a system of hierarchical buses
US5796605A (en) * 1996-07-02 1998-08-18 Sun Microsystems, Inc. Extended symmetrical multiprocessor address mapping
US5754877A (en) * 1996-07-02 1998-05-19 Sun Microsystems, Inc. Extended symmetrical multiprocessor architecture
US6009269A (en) * 1997-03-10 1999-12-28 Digital Equipment Corporation Detecting concurrency errors in multi-threaded programs
US6560682B1 (en) * 1997-10-03 2003-05-06 Intel Corporation System and method for terminating lock-step sequences in a multiprocessor system
US6622155B1 (en) 1998-11-24 2003-09-16 Sun Microsystems, Inc. Distributed monitor concurrency control
US6295611B1 (en) 1998-12-14 2001-09-25 Sun Microsystems, Inc.. Method and system for software recovery
US6721775B1 (en) * 1999-08-12 2004-04-13 International Business Machines Corporation Resource contention analysis employing time-ordered entries in a blocking queue and waiting queue
US6681241B1 (en) 1999-08-12 2004-01-20 International Business Machines Corporation Resource contention monitoring employing time-ordered entries in a blocking queue and waiting queue
US6898617B2 (en) * 1999-11-18 2005-05-24 International Business Machines Corporation Method, system and program products for managing thread pools of a computing environment to avoid deadlock situations by dynamically altering eligible thread pools
GB0118294D0 (en) * 2001-07-27 2001-09-19 Ibm Method and system for deadlock detection and avoidance
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
US7467383B2 (en) * 2004-03-08 2008-12-16 Ab Initio Software Llc System for controlling task execution using a graphical representation of task dependency
US7496918B1 (en) * 2004-06-01 2009-02-24 Sun Microsystems, Inc. System and methods for deadlock detection
US7774783B2 (en) * 2004-12-23 2010-08-10 Microsoft Corporation Method and apparatus for detecting deadlocks
US7950001B2 (en) * 2006-09-08 2011-05-24 International Business Machines Corporation Method and apparatus for instrumentation in a multiprocessing environment
CN102053861B (zh) * 2009-10-30 2014-03-12 国际商业机器公司 并行程序中死锁检测的方法和系统
CN111090528B (zh) * 2019-12-25 2023-09-26 北京天融信网络安全技术有限公司 死锁确定方法、装置及电子设备
CN111767155A (zh) * 2020-08-06 2020-10-13 腾讯科技（深圳）有限公司 死锁检测方法、装置、设备及计算机可读存储介质

Family Cites Families (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4318182A (en) * 1974-04-19 1982-03-02 Honeywell Information Systems Inc. Deadlock detection and prevention mechanism for a computer system
US4494193A (en) * 1982-09-30 1985-01-15 At&T Bell Laboratories Deadlock detection and resolution scheme
JPS61233849A (ja) * 1985-04-08 1986-10-18 Hitachi Ltd デ−タベ−ス排他制御方法
JPH07120299B2 (ja) * 1986-01-10 1995-12-20 株式会社日立製作所 マルチプロセッサシステムの試験方法
WO1989000734A1 (en) * 1987-07-21 1989-01-26 Stellar Computer Inc. Detecting multiple processor deadlock
US4881166A (en) * 1987-07-24 1989-11-14 Amoco Corporation Method for consistent multidatabase transaction processing
US5016167A (en) * 1987-12-21 1991-05-14 Amdahl Corporation Resource contention deadlock detection and prevention
JPH01207842A (ja) * 1988-02-16 1989-08-21 Fujitsu Ltd デッドロック検出方式
JPH0250231A (ja) * 1988-08-12 1990-02-20 Canon Inc デツドロツク検出装置
US5167022A (en) * 1988-10-25 1992-11-24 Hewlett-Packard Company Multiprocessor bus locking system with a winning processor broadcasting an ownership signal causing all processors to halt their requests
IT1227711B (it) * 1988-11-18 1991-05-06 Caluso Torino Sistema multiprocessore di elaborazione dati a risorse distribuite condivise e prevenzione di stallo.
US5133074A (en) * 1989-02-08 1992-07-21 Acer Incorporated Deadlock resolution with cache snooping
US5161227A (en) * 1989-11-13 1992-11-03 International Business Machines Corporation Multilevel locking system and method

Also Published As

Publication number Publication date
FR2708766A1 (fr) 1995-02-10
US5590335A (en) 1996-12-31
CA2119988A1 (fr) 1995-02-04
EP0637798A1 (de) 1995-02-08
FR2708766B1 (fr) 1995-09-08
JPH07191865A (ja) 1995-07-28
DE69421346T2 (de) 2000-02-10
EP0637798B1 (de) 1999-10-27

Similar Documents

Publication Publication Date Title
DE69421346D1 (de) Verklemmungsanalyseverfahren in einem Betriebssystem
DK0628822T3 (da) Automatiseret blodanalysesystem
DE69428759D1 (de) Navigationssystem und -verfahren mit mehreren verfahrensarten
DE69532847D1 (de) System zur Seitenanalyse
IT9020430A0 (it) metodo di analisi
DE69332370D1 (de) Netzwerkanalyseverfahren
DE59408457D1 (de) Frequenzanalyseverfahren
DE69633277D1 (de) Computergestütztes diagnosesystem und -verfahren
DE69424610D1 (de) Datenverarbeitungs-anlage und -verfahren
DK0566751T3 (da) DNA-påvisningsmetode
DE69425993D1 (de) Vorrichtung zur Ausdehnung von Trennwänden
DE69424944D1 (de) Datenreduktion in einem system zur analysierung von geometrischen datenbanken
DE69423076D1 (de) Verteiltes Datenbankverarbeitungssystem
DE69414001D1 (de) Bestimmungsmethode
DE69328784D1 (de) Allgemeines analysesystem
DE69421067D1 (de) System zur gefahrwahrnehmungspruefung
DE69525695D1 (de) Objektbasiertes Anzeigesystem und Verfahren
DE69631012D1 (de) Leistungssteuerung in einem Informationsverarbeitungssystem
LTIP1892A (en) Corrosian analysis system and method
DE69716376D1 (de) Fensterverarbeitung in einem Bildschirmanzeigensystem
DE69619120D1 (de) Automatisiertes immunotest-verarbeitungssystem
KR950702724A (ko) 물리량 해석방법 및 그 장치
DE69424344D1 (de) Verfahren und System eines numerischen Prozessors
DE69404859D1 (de) Analytische vorrichtung
EP0614140A3 (de) System und Verfahren zur Vermeidung von Verklemmung in einem Rechner.

Legal Events

Date Code Title Description
8364 No opposition during term of opposition