Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2008-06-17
2008-06-17
Dam, Tuan (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S154000, C717S158000, C717S159000
Reexamination Certificate
active
07389501
ABSTRACT:
The construction of Static Single Assignment form (SSA) is used as a dynamic conflict graph so that while constructing SSA in linear time, the program being analyzed is simultaneously register allocated. When allocating a register for the symbol, the conflict set is examined so that the register chosen for the symbol is not used by a symbol in the conflict set. When a symbol is register-allocated, the symbol is added to all the conflict set of all live symbols. A live symbol is determined by keeping two counters, called herein a use counter and a use threshold counter. Both counters are initialized when a definition of a symbol is encountered in a block. Both counters are incremented when a use of the symbol is encountered when traversing a block in a depth-first downward traversal. The use count is decremented when a use is detected when traversing the block in an upward traversal. A symbol is live when the use count is less than the use count threshold and the use count is greater than zero when a register is allocated. The register-allocated symbol is added to the conflict set of all live symbols.
REFERENCES:
patent: 5659754 (1997-08-01), Grove et al.
patent: 6072952 (2000-06-01), Janakiraman
patent: 6226789 (2001-05-01), Tye et al.
patent: 6260190 (2001-07-01), Ju
patent: 6286135 (2001-09-01), Santhanam
patent: 6301704 (2001-10-01), Chow et al.
patent: 6463582 (2002-10-01), Lethin et al.
patent: 2004/0128660 (2004-07-01), Nair et al.
Araujo, G. et al., “Global Array Reference Allocation”,ACM Transactions on Design Automation of Electronic Systems, 2002, 7(2), 336-357.
Cytron, . et al., “An Efficient Method of Computing Static Single Assignment Form”,ACM, 1989, 25-35.
Faustmann, G., “Configuration for Adaptation- A Human-Centered Approach to Flexible Workflow Enactment”,Computer Supported Cooperative Work, 2000, 9, 413-434.
Kammer, P.J. et al., “Techniques for Supporting Dynamic and Adaptive Workflow”,Computer Supported Cooperative Work, 2000, 9, 269-292.
Lee, I.B. et al., “KWM: Knowledge-based workflow Model for Agile Organization”,Journal of Intelligent Information Systems, 1999, 13, 261-278.
Musich, P. “MSPs Make Big Deals-As Customer's Names Change, Small Companies License Software, Team with Larger Vendors”,News and Analysis, Eweek, 2002, 23, 2 pages.
Schulz, N., “Library Collections, Acquisitions, & Technical Services”,E Journal Database, 2001, 25(4), 449-459 (Cover Page).
Vegdahl, S.R., “Using Node Merging to Enhance Graph Coloring”,ACM, 1999, 34(5), 150-154.
Farouki Karim T.
Radigan James J.
Chou Andrew Y.
Dam Tuan
Microsoft Corporation
Woodcock & Washburn LLP
LandOfFree
System and method for register allocation using SSA... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with System and method for register allocation using SSA..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for register allocation using SSA... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2805045