Detecting and causing latent deadlocks in multi-threaded...

Electrical computers and digital processing systems: virtual mac – Task management or control – Process scheduling

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

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.

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

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.

Rate now

     

Profile ID: LFUS-PAI-O-3778381

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.