Dismiss
InnovationQ and the IP.com Prior Art Database will be updated on Sunday, December 15, from 11am-2pm ET. You may experience brief service interruptions during that time.
Browse Prior Art Database

Method and apparatus for automatic release of nested locks at exception handling

IP.com Disclosure Number: IPCOM000013333D
Original Publication Date: 2001-Oct-22
Included in the Prior Art Database: 2003-Jun-18

Publishing Venue

IBM

Abstract

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