Method, system and product for identifying and executing locked read regions and locked write regions in programming languages that offer synchronization without explicit means to distinguish between such regions

Abstract

A technique for identifying and executing synchronized read regions and synchronized write regions is provided. The technique processes program code with a software tool to convert the code to an internal representation for the software tool and constructs a control flow graph of code blocks which also identifies the entry and exit points for each region of code subject to a lock. For each code block in the control flow graph, visibility analysis is performed. Each determined entry and exit point is moved to enclose the smallest set of code blocks subject to a lock which can be achieved without altering code semantics. A set of trees is created to represent the manner in which the synchronized regions are nested. If the tree contains at least one block previously identified, then the tree is marked a write. Otherwise, the tree is marked a read tree. A write lock is then created for the region in each tree identified as a write tree and a read lock is created for the regions in each tree identified as a read tree.

Description

BACKGROUND OF THE INVENTION [0001] 1. Field of the Invention [0002] The present invention relates to computer systems. More specifically, the present invention relates to identifying and executing locked read and write regions in programming languages that offer synchronization but which do not offer explicit means to distinguish between such regions. [0003] 2. Description of the Related Art [0004] Many modem operating systems allow for the simultaneous execution of multiple processes within an application and these executing processes are typically referred to as threads. As will be apparent to those of skill in the art, in single processor systems threads in fact are not executed simultaneously, but instead share the processor between themselves and other applications being executed on the processor, but this sharing of the processor is largely transparent to users and to programmers who treat it as a logical simultaneity, and is not generally a consideration to the discussion her...

AI Technical Summary

Benefits of technology

[0014] According to another aspect of the present invention, there is provided a system for efficiently executing threads in a program written in a language offering only a lock mechanism undifferentiated between read locks and write locks, the system comprising: a code analyzer to process the code of the program to convert the code to code in an internal representation for execution by the system; a control flow analyzer to construct a control flow graph of code blocks which also identifies the entry and exit points for each region of code subject to a lock; a visibility analyzer to, for each block in the control flow graph, identify the blocks which are write blocks and the blocks which are read blocks; a ...

Problems solved by technology

While locking mechanisms such as Java's synchronized keyword are well known, they can suffer from disadvantages.

As Java's synchronized mechanism does not make a differentiation between synchronized code that merely reads from fields versus code that writes to fields, threads can be blocked from executing which, in fact, ...

Images