Method and apparatus for enforcing locking invariants in...

Details Method and apparatus for enforcing locking invariants in... Method and apparatus for enforcing locking invariants in...

G - Physics

06

F

G06F 9/44 (2006.01) G06F 9/46 (2006.01)

Patent

CA 2255131

In order to maintain locking invariants in a multi-threaded system, a special inverse lock class is defined whose constructor stores a reference to, and then releases, a previously-acquired lock whose reference is passed into it. Thedestructor of the class re-acquires the referenced lock. During operation, the class is instantiated, passing in the desired lock before an upcall is made. Instantiation executes the constructor and causes the lock to be released. When the upcall terminates, either normally or by an exception, the inverse lock object destructor is executed causing the lock to be re-acquired. Since the inverse lock object destructor will always be called when the object is destroyed, the locking invariant will always be satisfied.

Affiliated with

Also associated with

Rating

Method and apparatus for enforcing locking invariants in... does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and apparatus for enforcing locking invariants in..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for enforcing locking invariants in... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFCA-PAI-O-1550849