Methods for distinguishing dynamically allocated storage along d

Details Methods for distinguishing dynamically allocated storage along d Methods for distinguishing dynamically allocated storage along d

1995-10-10

1996-07-09

Kriess, Kevin A.

Boots, shoes, and leggings

364DIG1, 36423223, 3642805, G06F 944

Patent

active

055353940

ABSTRACT:
The invention provides a method for improving the precision of interprocedural alias analysis by efficiently qualifying (naming) dynamically allocated storage locations with call path information and identifying as identical qualified name pairs, one of which is a prefix substring of another. The invention also provides a compact method for representing alias information which improves the efficiency and in some cases, the precision, of alias analysis, by eliminating alias relations that involve more than one level of dereferencing and by eliminating all alias relations that do not contain at least one dereferenced object.

REFERENCES:
patent: 4503492 (1985-03-01), Pilat
patent: 4893234 (1990-01-01), Davidson et al.
patent: 4922414 (1990-05-01), Holloway et al.
patent: 5107418 (1992-04-01), Cramer et al.
patent: 5161216 (1992-11-01), Reps et al.
patent: 5170465 (1992-12-01), McKeeman et al.
patent: 5175856 (1992-12-01), Van Dyke et al.
patent: 5182806 (1993-01-01), McKeeman et al.
patent: 5428793 (1995-06-01), Odnert et al.
Burke, Michael & Ryder, Barbara G., "A Critical Analysis of Incremental Data Flow Analysis Algorithms", IEEE Jul. 1990.
Marlowe, Thomas J. & Ryder, Barbara G., "Hybrid Incremental Alias Analysis", 1991 IEEE.
Banning, J., Sixth Annual ACM Symposium on Principles of Programming Languages, (Jan. 1979) pp. 29-41.
Cooper et al., SIGPLAN '88 Conference on Programming Language Design and Implementation (Jun. 1988) pp. 57-66.
Callahan, D., Proceedings of the SIGPLAN '88 Conference on Programming Language Design and Implementation, (Jun. 1988) pp. 47-56.
Landi & Ryder, Eighteenth Annual ACM Symposium on Principles of Programming Languages, "The Interprocedural Control Flow Graph" Jan. 1991 pp. 93-103.
Harold and Soffa, Proceedings of the IEEE Computer Society 1990 International Conference on Computer Languages, (1990) pp. 297-306.
Landi & Ryder, SIGPLAN '92 Conference on Programming Language Design and Implementation pp. 235-248. (Jun. 1992).
J. Ferrante, K., Ottenstein "The Program Dependence Graph and Its Use In Optimization" IBM Technical Report RC-10543 Jun. 1984 Computer Science pp. 1-33.
L. Gurevich, Harel & Rubin, "Computing the Aliasing Relation" IBM TDB Jan. 1986 pp. 3503-3508.
K. Gilbert, "Effective Register Management During Code Generation" Jan. 1973 IBM TDB pp. 2640-2645.
ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, San Francisco, Ca. vol. 27 No. 7 Jul. 1992 (Abstract).
L. J. Hendren, J. Hummel, A. Nicolau "Abstractions for Recursive Pointer Data Struftures:Improving the Analysis and Transformation of Imperative Programs" SIGPLAN Not. USA vol. 27, No. 7, pp. 249-260 Jul. 1992 (Abstract).
J. Crowcroft, I. Wakeman, Z. Wang, D. Sirovica, "Is Layering, Harmful?" (Remote Procedure Call) IEEE Netw. (USA) vol. 6, No. 1, Jan. 1992 pp. 20-24 (Abstract).
Yi-Hsiu Wei, A. Stoyenko, G. Goldszmidt "The Design of a Stub Generator for Heterogeneous RPC Systems" J. Parallel Distrib. Comput. USA, vol. 11, No. 3, pp. 188-197 Mar. 1991 (Abstract).
A. Ah-kee "Proof Obligations for Blocks and Procedures" Form. Asp. Comput. UK, vol. 2, No. 4, pp. 312-330, Oct.-Dec. 1990 (Abstract).
E. G. Wagner et al., "On Declarations" Categorical Methods in Computer Science With Aspects from Topology, Springer-Verlag, Vi+350pp. p. 261-7, 1989 (Abstract).
D. R. Chase, M. Wegman, F. Zadeck, "Analysis of Pointers and Structures" SIGPLAN Not. (USA), vol. 25, No. 6, pp. 296-310, Jun. 1990 (Abstract).
L. Beliard, "Microsoft C 6.0:The New-Generation C" Micro Syst. (France) No. 109, pp. 105-111 Jun. 1990 (Journal Paper) (Abstract).
S. Richardson, M. Ganapathi "Code Optimization Across Procedures" Computer (USA), vol. 22, No. 2, pp. 42-50, Feb. 1989 (Abstract).
H. Dietz, C-H Chi, "CRegs: A New Kind of memory for Referencing Arrays and Pointers" Proceedings. Supercomputing '88 IEEE Comput. Soc. Press, Xii+458pp.360-7. (Abstract).
M. L. Scott et al., "Design Rationale for Psyche, A General Purpose Multiprocessor Operating System" Proceedings International Conf. on Parallel Processing Pen State U. (xii+461+462x+262xiii+311) pp. 255-262 vol. 2, 1988 (Abstract).
V. A. Guarna, F. Briggs, Conference Paper Proceedings 1988 International Conference on Parallel processing (xiii+461+x+262+xiii+311) pp. 212-220 vol. 2, 1988 (Abstract).
J. R. Larus, P. Hilfinger, "Detecting Conflicts Between Structure Accesses" SIGPLAN Not. (USA) vol. 23, No. 7, pp. 21-34, Jul. 1988 (Abstract).
J. P. Jacky, I. J. Kalet, "An Object-Oriented Programming Discipline or Standard Pascal" Commun. ACM (USA), vol. 30. No. 9, pp. 772-6, Sep. 1987 (Abstract).
R. B. Essick, IV, "Cross-Architecture Procedure Call", RPT. No. UIUCDCS-R-87-1340, v+144pp. May 1987 (Abstract).
D. A. Price, P. C. Poole, "Dynamic Data Flow Analysis-A Tool for Reliability" Instn. Eng. Australia, Barton, ACT, Aust. pp. 97-100, Feb. 1986 (Abstract).
M. Burke, R. Cytron "Inerprocedural Dependence Analysis and Parallelization" Dept. of Comput. Sci., IBM TJW Res. Center, Yorktown vol. 21, No. 7, pp. 162-175 Jul. 1986 Conference paper (Abstract).
K. D. Cooper, K. Kennedy, "Efficient Computation of Flow Insensitive Interprocedural Summary Information" SIGPLAN 84' vol. 19, No. 6, pp. 247-258, Jun. 1984 (Abstract).
S. Walters, "The Advanced Architecture of the Z8 Microcomputer" Electron. Conventions, El Segundo, CA, USApp.26-3/1-12, 1981 Conf. Paper (Abstract).
A. L. Chow, A. Rudmik "The Design of a Data Flow Analyzer" SIGPLAN 82' vol. 17, no. 6, pp. 106-113, Jun. 1982 Conf. Paper (Abstract).
G. Barth, "Aliasing in Interprocedural Data flow Analysis" Fachbereich Informatik, Germany, No. 43, pp. 275-286, 1981 (Abstract).
R. Cartwright, D. Oppen, "The Logic of Aliasing" Journal Paper Acta Inf. (Germany), vol. 15, No. 4, pp. 365-384, Aug. 1981 (Abstract).
D. HJ. Uyeno, w. Vaessen, "PASSIM:a discrete-Event Simulation Package for PASCAL Simulation" Journal Paper Simulation (USA), vol. 35, No. 6, pp. 183-190, Dec. 1980 (Abstract).
F. T. Bradshaw et al., "Procedure Semantics and Language Definition" SIGPLAN Not. (USA), vol. 15, No. 6, pp. 28-33, Jun. 1980 (Abstract).
R. L. Schwartz, "Aliasing Among pointers in EUCLID" Inf. Process. Lett. (Netherlands), vol. 9, No. 2, pp. 76-79, Aug. 1979 Jour. Paper (Abstract).
D. B. Lomet, "Data Flow Analysis in the Presence of Procedure Calls" IBM Research & Dev. USA, vol. 21, No. 6, pp. 559-571, Nov. 1977 (Abstract).
T. Yamamoto "A Scan Conversion Algorithm Using Quad-Tree Representation of dZ Buffer" Syst. Comput. Jpn. USA, vol. 23, No. 8, pp. 65-74 1992 (Abstract).
A. W. Appel, Zhong Shao, "Callee-save Registers in Continuation-passing Style" LISP Symb. Comput. (Netherlands) vol. 5, No. 3, pp. 191-221 Sep. 1992 (Abstract).
P. Emma, J. Pomerene "Conditional Execution in a Registr Management Scheme for Out of Sequence Execution" IBM TDB n10A Mar. 1992 pp. 449-454.

Affiliated with

Also associated with

Rating

Methods for distinguishing dynamically allocated storage along 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 Methods for distinguishing dynamically allocated storage along d, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods for distinguishing dynamically allocated storage along d will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-1876497