Electrical computers and digital processing systems: virtual mac – Task management or control – Process scheduling
Reexamination Certificate
2007-05-15
2007-05-15
Thomson, William (Department: 2194)
Electrical computers and digital processing systems: virtual mac
Task management or control
Process scheduling
C710S200000
Reexamination Certificate
active
10776149
ABSTRACT:
Methods and systems for analyzing multi-threaded programs are provided. The predisposed execution of multi-threaded programs is modified to cause and detect latent deadlocks. When a thread attempts to acquire a synchronization object, it is determined if the synchronization object was previously held by a thread that subsequently acquired another synchronization object while still holding the first. If this occurred, the thread is suspended and may be awakened by a thread that has acquired the synchronization object. The newly awakened thread may then attempt to acquire a synchronization object that is held by the second thread thereby increasing the likelihood that a latent deadlock will be caused and detected.
REFERENCES:
patent: 5515538 (1996-05-01), Kleiman
patent: 5765157 (1998-06-01), Lindholm et al.
patent: 6009269 (1999-12-01), Burrows et al.
patent: 6223204 (2001-04-01), Tucker
patent: 6542921 (2003-04-01), Sager
Coulouris, George, “Distributed Systems Concept and Design” 1994, Dadison-Wesely, Second Edition, pp. 384 and 389.
Hoang Phuong N.
International Business Machines - Corporation
Thomson William
LandOfFree
Detecting and causing latent deadlocks in multi-threaded... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Detecting and causing latent deadlocks in multi-threaded..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Detecting and causing latent deadlocks in multi-threaded... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3778381