Boots – shoes – and leggings
Patent
1992-03-17
1995-09-05
Kriess, Kevin A.
Boots, shoes, and leggings
3642804, 3642805, G06F 944
Patent
active
054487374
ABSTRACT:
The present invention provides a system and method for optimizing or parallelizing computer code typically represented by a source program. The source program is represented by a control flow graph. The present invention includes an optimizer for constructing a compact data flow representation from the control flow graph and a mechanism for evaluating the compact data flow representation in relation to a data flow framework in order to determine a solution to a particular data flow problem. The present invention represents data flow chains compactly, obtaining some of the advantages of Static Single Assignment (SSA) form without modification of program text (i.e., renaming). In addition, the present invention represents compactly certain data flow chains which SSA form fails to represent (i.e. def-def, use-def, and use-use chains). The data flow representation of the present invention combines information only once in the graph, information is forwarded directly to where it is needed, and useless information is not represented.
REFERENCES:
patent: 4773007 (1988-09-01), Kanada et al.
patent: 4802091 (1989-01-01), Cooke et al.
patent: 5146594 (1992-09-01), Iitsuka
patent: 5175856 (1992-12-01), Van Dyke et al.
patent: 5327561 (1994-07-01), Choi et al.
J. D. Choi, "Parallel Program Debugging with Flowback Analysis", Ph.D. Thesis, University of Wisconsin--Madison (1989).
Cytron et al., "An Efficient Method of Computing Static Single Assignment Form", ACM Transactions on Programming Languages and Systems, pp. 25-35, (1989).
Choi et al., "Automatic Construction of Sparse Data Flow Evaluation Graphs", (1991).
Choi et al., "On the Efficient Treatment of Preserving Definitions", submitted for publication to IEEE Transactions on Software Engineering, (Jul. 1991).
Choi et al., U.S. Patent Appln. Ser. No. 07/763,099, filed Sep. 20, 1991, and assigned to IBM Corporation, entitled "System and Method for Solving Monotone Information Propagation Problems".
Choi et al., "Techniques for Debugging Parallel Programs with Flowback Analysis", ACM Transactions on Programming Languages and Systems, vol. 13, No. 4, pp. 491-530, (Oct. 1991).
Cytron et al., "Efficiently Computing Static Single Assignment Form and the Control Dependence Graph", ACM Transactions on Programming Languages and Systems, vol. 13, No. 4, pp. 451-490, (Oct. 1991).
Carl McConnell & Ralph E. Johnson, "Using Static Single Assignment Form in a Code Optimizer", 1992 ACM.
Burke Michael G.
Choi Jong-Deok
Cytron Ronald G.
International Business Machines - Corporation
Kriess Kevin A.
Payne Matthew M.
Percello Louis J.
LandOfFree
System and method for optimizing computer code using a compact d 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 optimizing computer code using a compact d, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and System and method for optimizing computer code using a compact d will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-481108