Detecting and causing unsafe latent accesses to a resource...

Details Detecting and causing unsafe latent accesses to a resource... Detecting and causing unsafe latent accesses to a resource...

2005-07-19

2005-07-19

Lee, Thomas (Department: 2126)

Electrical computers and digital processing systems: virtual mac

Task management or control

Process scheduling

C711S141000, C711S168000, C717S124000

Reexamination Certificate

active

06920634

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 unsafe accesses to a resource, such as a memory location. It is first determined that unsynchronized accesses to a resource of interest are possible. When a thread requests to access the resource, the thread is suspended. A subsequent thread that accesses the resource awakens the suspended thread, thereby causing unsynchronized accesses to the resource that may produce unpredictable results. The unsynchronized accesses can be logged for viewing by a user.

REFERENCES:
patent: 5630128 (1997-05-01), Farrell et al.
patent: 5632032 (1997-05-01), Ault et al.
patent: 5784618 (1998-07-01), Toutonghi
patent: 5842016 (1998-11-01), Toutonghi et al.
patent: 5940827 (1999-08-01), Hapner et al.
patent: 6009269 (1999-12-01), Burrows et al.
patent: 6026427 (2000-02-01), Nishihara et al.
patent: 6360303 (2002-03-01), Wisler et al.
patent: 6434590 (2002-08-01), Blelloch et al.
Savage et al., “Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs”.

Affiliated with

Also associated with

Rating

Detecting and causing unsafe latent accesses to a resource... 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 unsafe latent accesses to a resource..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Detecting and causing unsafe latent accesses to a resource... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3398823