Method, system and program product for detecting and managing unwanted synchronization

A computer program product for minimizing unwanted synchronizations in a multithreading program, said computer program product comprising a computer usable medium having computer readable program code thereon, said computer readable program code comprising:

• computer readable program code means for identifying program functions in a multithreading program as input tails, said input tails being functions that should not be synchronized;
• computer readable program code means for constructing an invocation graph having a plurality of nodes, each corresponding to code functions of said multithreading program, said plurality of nodes including head nodes and tail nodes corresponding to said input tails;
• computer readable program code means for determining synchronization information for objects in said multithreading program, ones of said plurality of nodes representing sources of synchronization in said invocation graph, said ones being identified as source nodes;
• and
• computer readable program code means for finding all paths from head nodes to tail nodes through at least one source node.

A system for minimizing unwanted synchronizations in a multithreading program comprising:

• means for identifying program functions in a multithreading program as input tails, said input tails being functions that should not be synchronized;
• means for constructing an invocation graph having a plurality of nodes, each corresponding to code functions of said multithreading program, head nodes being automatically identified in said plurality of nodes and tail nodes corresponding to said input tails;
• means for determining synchronization information for objects in said multithreading program, ones of said plurality of nodes representing sources of synchronization in said invocation graph, said ones being identified as source nodes;
• and
• means for finding all paths from head nodes to tail nodes through at least one source node.