G - Physics – 06 – F
Patent
G - Physics
06
F
G06F 9/52 (2006.01) G06F 9/38 (2006.01) G06F 9/45 (2006.01)
Patent
CA 2453714
There is provided a method, system and article for identifying and executing synchronized read regions and synchronized write regions in programming languages that offer synchronization but which do not offer programmers means to explicitly distinguish between such regions, the method comprising the steps of: (i) processing the code of the program with a software tool to convert the code to an internal representation for the software tool; (ii) constructing a control flow graph of code blocks which also identifies the entry and exit points for each region of code subject to a lock; (iii) for each code block in the control flow graph, performing visibility analysis to identify the code blocks whose execution by a thread will be visible to other threads and/or whose execution may examine fields of the synchronized objects; (iv) moving each determined entry and exit point to enclose the smallest set of code blocks subject to a lock which can be achieved without altering the semantics of the code of the program; (v) creating a set of trees to uniquely represent the manner in which the synchronized regions are nested; (vi) for each tree created in (v), if the tree contains at least one block identified in step (iii) then marking the tree a write tree and otherwise marking the tree a read tree; and (vii) creating a write lock for the regions in each tree identified as a write tree and creating a read lock for the regions in each tree identified as a read tree.
Kielstra Allan H.
Langman Kevin J.
Hoicka Leonora
Ibm Canada Limited - Ibm Canada Limitee
LandOfFree
Method, system and product for indentifying and executing... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method, system and product for indentifying and executing..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method, system and product for indentifying and executing... will most certainly appreciate the feedback.
Profile ID: LFCA-PAI-O-1796571