ATE366959T1 - Verfahren und system zur erkennung von möglichen blockierungen in computerprogrammen - Google Patents

Verfahren und system zur erkennung von möglichen blockierungen in computerprogrammen

Info

Publication number
ATE366959T1
ATE366959T1 AT04251092T AT04251092T ATE366959T1 AT E366959 T1 ATE366959 T1 AT E366959T1 AT 04251092 T AT04251092 T AT 04251092T AT 04251092 T AT04251092 T AT 04251092T AT E366959 T1 ATE366959 T1 AT E366959T1
Authority
AT
Austria
Prior art keywords
request
resource
resources
requests
previously
Prior art date
Application number
AT04251092T
Other languages
English (en)
Inventor
Craig Dunk
John Dahms
Original Assignee
Research In Motion Ltd
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 Research In Motion Ltd filed Critical Research In Motion Ltd
Application granted granted Critical
Publication of ATE366959T1 publication Critical patent/ATE366959T1/de

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; 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)
  • Hardware Redundancy (AREA)
AT04251092T 2004-02-26 2004-02-26 Verfahren und system zur erkennung von möglichen blockierungen in computerprogrammen ATE366959T1 (de)

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
EP04251092A EP1569121B1 (de) 2004-02-26 2004-02-26 Verfahren und System zur Erkennung von möglichen Blockierungen in Computerprogrammen

Publications (1)

Publication Number Publication Date
ATE366959T1 true ATE366959T1 (de) 2007-08-15

Family

ID=34746097

Family Applications (1)

Application Number Title Priority Date Filing Date
AT04251092T ATE366959T1 (de) 2004-02-26 2004-02-26 Verfahren und system zur erkennung von möglichen blockierungen in computerprogrammen

Country Status (3)

Country Link
EP (1) EP1569121B1 (de)
AT (1) ATE366959T1 (de)
DE (1) DE602004007475T2 (de)

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101576830B (zh) * 2009-06-04 2011-11-30 中兴通讯股份有限公司 数据库事务锁机制的死锁检测方法及装置
US8375367B2 (en) 2009-08-06 2013-02-12 International Business Machines Corporation Tracking database deadlock
CN103218291B (zh) * 2013-03-29 2016-05-04 迈普通信技术股份有限公司 多任务操作系统中互斥信号量异常的检测方法及装置
CN115373932A (zh) * 2021-05-20 2022-11-22 北京字跳网络技术有限公司 组件运行的监测方法及装置
CN113961365A (zh) * 2021-11-26 2022-01-21 中国工商银行股份有限公司 一种资源死锁的检测方法和装置
CN115495254A (zh) * 2022-09-23 2022-12-20 中国工商银行股份有限公司 业务资源死锁检测方法、装置、计算机设备和存储介质

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6009269A (en) * 1997-03-10 1999-12-28 Digital Equipment Corporation Detecting concurrency errors in multi-threaded programs

Also Published As

Publication number Publication date
EP1569121A1 (de) 2005-08-31
DE602004007475D1 (de) 2007-08-23
HK1080179A1 (en) 2006-04-21
DE602004007475T2 (de) 2008-03-13
EP1569121B1 (de) 2007-07-11

Similar Documents

Publication Publication Date Title
Flanagan et al. The RoadRunner dynamic analysis framework for concurrent programs
Huang et al. LEAP: Lightweight deterministic multi-processor replay of concurrent Java programs
CN102222015A (zh) 检测多线程程序中的死锁的方法及系统
Lu et al. Efficient deterministic multithreading without global barriers
US7921272B2 (en) Monitoring patterns of processes accessing addresses in a storage device to determine access parameters to apply
US8276021B2 (en) Concurrency test effectiveness via mutation testing and dynamic lock elision
Wamhoff et al. FastLane: improving performance of software transactional memory for low thread counts
Roloff et al. Execution-driven parallel simulation of PGAS applications on heterogeneous tiled architectures
Malhotra et al. ParTejas: A parallel simulator for multicore processors
Zhang et al. Low-overhead software transactional memory with progress guarantees and strong semantics
DE602004007475D1 (de) Verfahren und System zur Erkennung von möglichen Blockierungen in Computerprogrammen
Antić et al. Locking made easy
Ceze et al. Colorama: Architectural support for data-centric synchronization
Chiang et al. Formal analysis of GPU programs with atomics via conflict-directed delay-bounding
Zhou et al. Deadlock prediction via generalized dependency
Wang et al. Precisely deciding control state reachability in concurrent traces with limited observability
Lourenço et al. Discovering concurrency errors
Jenke et al. Mapping high-level concurrency from OpenMP and MPI to ThreadSanitizer Fibers
Yu et al. Tolerating concurrency bugs using transactions as lifeguards
Cao et al. Drinking from both glasses: Combining pessimistic and optimistic tracking of cross-thread dependences
CA2459123A1 (en) Method and system for detecting potential deadlocks in computer programs
Chamith et al. Living on the Edge: Rapid-toggling Probes with Cross-modification on x86
Bradbury et al. Defining a catalog of programming anti-patterns for concurrent java
CN109522049B (zh) 一种同步多线程系统中共享寄存器的验证方法及装置
Liang et al. RaceBench: A Triggerable and Observable Concurrency Bug Benchmark

Legal Events

Date Code Title Description
RER Ceased as to paragraph 5 lit. 3 law introducing patent treaties