Browse Prior Art Database

Method and apparatus for automatic release of nested locks at exception handling Disclosure Number: IPCOM000013333D
Original Publication Date: 2001-Oct-22
Included in the Prior Art Database: 2003-Jun-18

Publishing Venue



Disclosed is a method to analyze nested critical sections. This method intends to analyze how those critical sections are nested at each program point. We assume that a program calls primitives for critical sections. For example, in Windows' API (Win32), they are EnterCriticalSection and LeaveCriticalSection. These primitives use a critical section data structure to prevent other threads (or processes) from entering the same critical section specified by the critical section data structure. To analyze nested critical sections in a program, a processor of the program: splits a basic block at each call site of a critical section primitive