公开(公告)号：CA2675686A1

公开(公告)日：2009-11-05

申请号：CA2675686

申请日：2009-08-27

Applicant: IBM CANADA

Inventor： RAMARAO PRAMOD ,  SUNDARESAN VIJAY ,  DOYLE PATRICK R

IPC: G06F9/45

Abstract: A computer-implemented method, system, and computer program product for performing object collocation on a computer system are provided. The method includes analyzing a sequence of computer instructions for object allocations and uses of the allocated objects. The method further includes creating an allocation interference graph of object allocation nodes with edges indicating pairs of allocations to be omitted from collocation. The method also includes colouring the allocation interference graph such that adjacent nodes are assigned different colours, and creating an object allocation at a program point prior to allocations of a selected colour from the allocation interference graph. The method additionally includes storing an address associated with the created object allocation in a collocation pointer, and replacing a use of each allocation of the selected colour with a use of the collocation pointer to collocate multiple objects.

公开(公告)号：CA2675686C

公开(公告)日：2011-10-11

申请号：CA2675686

申请日：2009-08-27

Applicant: IBM CANADA

Inventor： DOYLE PATRICK R ,  RAMARAO PRAMOD ,  SUNDARESAN VIJAY

IPC: G06F9/45

Abstract: A computer-implemented method, system, and computer program product for performing object collocation on a computer system are provided. The method includes analyzing a sequence of computer instructions for object allocations and uses of the allocated objects. The method further includes creating an allocation interference graph of object allocation nodes with edges indicating pairs of allocations to be omitted from collocation. The method also includes colouring the allocation interference graph such that adjacent nodes are assigned different colours, and creating an object allocation at a program point prior to allocations of a selected colour from the allocation interference graph. The method additionally includes storing an address associated with the created object allocation in a collocation pointer, and replacing a use of each allocation of the selected colour with a use of the collocation pointer to collocate multiple objects.

公开(公告)号：CA2691851A1

公开(公告)日：2011-08-04

申请号：CA2691851

申请日：2010-02-04

Applicant: IBM CANADA

Inventor： DOYLE PATRICK R ,  KIELSTRA ALLAN H ,  RAMARAO PRAMOD

Abstract: In an illustrative embodiment a computer-implemented process for deductive reaching definition analysis receives a control flow graph to form a set of received blocks and edges, performs traditional reaching definitions to produce bit-vectors OUT(b), GEN(b) and KILL(b) for each block in the set of received blocks and receives impossibility indicators for a set of definitions that are impossible on specific edges. The computer-implemented process further performs deduction operations using a combination of the bit-vectors and impossibility indicators to deduce that additional definitions cannot reach certain blocks to create resulting reachability information and provides the resulting reachability information as a result to a requestor.