View article

0006 An advance is made in the art according to the principles of the present invention directed to a computer implemented method for pointeralias analysis for concurrent Software programs.

0007 Viewed from a first aspect, the present invention is directed to a computer implemented method for determining pointer aliases which performs a precise, pointer partition based transaction delineation that takes into account any syn chronization constraints and shared variable effects. In sharp contrast to the prior art—the present method operates on concurrent software programs as opposed to the sequential programs dealt with generally in the art. 0008 Operationally, the computer implemented method takes as input a concurrent Software program and identifies a set of pointers contained within the concurrent program. The program is then partitioned into a number of distinct parti tions. For each of the partitions, a set of …