Automatic inline allocation of objects

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Automatic inline allocation of objects

Full text

Pdf (1.37 MB)

Source

Conference on Programming Language Design and Implementation archive
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation table of contents

Las Vegas, Nevada, United States

Pages: 7 - 17

Year of Publication: 1997

ISBN:0-89791-907-6

Also published in ...

Author

Julian Dolby

Concurrent Systems Architecture Group, Department of Computer Science, University of Illinois, 1304 West Springfield Avenue, Urbana, IL

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 19, Citation Count: 19

Additional Information:

abstract references cited by index terms collaborative colleagues peer to peer

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/258915.258918 What is a DOI?

ABSTRACT

Object-oriented languages like Java and Smalltalk provide a uniform object model that simplifies programming by providing a consistent, abstract model of object behavior. But direct implementations introduce overhead, removal of which requires aggressive implementation techniques (e.g. type inference, function specialization); in this paper, we introduce object inlining, an optimization that automatically inline allocates objects within containers (as is done by hand in C++) within a uniform model. We present our technique, which includes novel program analyses that track how inlinable objects are used throughout the program. We evaluated object inlining on several object-oriented benchmarks. It produces performance up to three times as fast as a dynamic model without inlining and roughly equal to that of manually-inlined codes.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Ole Agesen , Jens Palsberg , Michael I. Schwartzbach, Type Inference of SELF, Proceedings of the 7th European Conference on Object-Oriented Programming, p.247-267, July 26-30, 1993
	2	Jennifer M. Anderson , Saman P. Amarasinghe , Monica S. Lam, Data and computation transformations for multiprocessors, Proceedings of the fifth ACM SIGPLAN symposium on Principles and practice of parallel programming, p.166-178, July 19-21, 1995, Santa Barbara, California, United States
	3	Apple Computer inc. The NewtonScript Program. ruing Language, December 1995. Available online from ftp://ftpdev.info.apple.com/Developer_Services/ Newton.Development/DOCS_PDF/NSCRIPTR.ZIP.
	4	Andrew Black , Norman Hutchinson , Eric Jul , Henry Levy, Object structure in the Emerald system, Conference proceedings on Object-oriented programming systems, languages and applications, p.78-86, September 29-October 02, 1986, Portland, Oregon, United States
	5	Brad Calder, Dirk Grunwald, and Benjamin Zorn. Quantifying differences between C and C++ programs. Technical Report CU-CS-698-94, University of Colorado, Boulder, January 1994.
	6	Craig Chambers , David Ungar, Interactive type analysis and extended message splitting; optimizing dynamically-typed object-oriented programs, Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, p.150-164, June 1990, White Plains, New York, United States
	7	Craig Chambers. The Cecil language: Specification and rationale, version 2.0. Technical report, Department of Computer Science and Engineering, University of Washington, Seattle, Washington, March 1995.
	8	Andrew Chien , Julian Dolby , Bishwaroop Ganguly , Vijay Karamcheti , Xingbin Zhang, Supporting High Level Programming with High Performance: The Illinois Concert System, Proceedings of the 1997 Workshop on High-Level Programming Models and Supportive Environments (HIPS '97), p.15, April 01-01, 1997
	9	Andrew A. Chien , Uday S. Reddy , John Plevyak , Julian Dolby, ICC++-AC++ Dialect for High Performance Parallel Computing, Proceedings of the Second JSSST International Symposium on Object Technologies for Advanced Software, p.76-95, March 11-15, 1996
	10	Jeffrey Dean , Craig Chambers , David Grove, Selective specialization for object-oriented languages, Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation, p.93-102, June 18-21, 1995, La Jolla, California, United States
	11	Margaret A. Ellis , Bjarne Stroustrup, The annotated C++ reference manual, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1990
	12	Tim Freeman , Frank Pfenning, Refinement types for ML, Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, p.268-277, June 24-28, 1991, Toronto, Ontario, Canada
	13	Adele Goldberg , David Robson, Smalltalk-80: the language and its implementation, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1983
	14	Hanspeter Mössenböck, Object-oriented programming in Oberon-2, Springer-Verlag New York, Inc., New York, NY, 1993
	15	Cordelia Hall, Simon L. Peyton-Jones, and Patrick M. Sansom. Functional Programming, Glasgow 1994, chapter Unboxing Using Specialization. Workshops in Computing Science. Springer-Verlag, 1995.
	16	Urs Hölzle , Craig Chambers , David Ungar, Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches, Proceedings of the European Conference on Object-Oriented Programming, p.21-38, July 15-19, 1991
	17	Urs Hölzle , David Ungar, Optimizing dynamically-dispatched calls with run-time type feedback, Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, p.326-336, June 20-24, 1994, Orlando, Florida, United States
	18	N. C. Hutchinson, EMERALD: An object-based language for distributed programming, University of Washington, Seattle, WA, 1987
	19	Xavier Leroy, Unboxed objects and polymorphic typing, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.177-188, January 19-22, 1992, Albuquerque, New Mexico, United States [doi>10.1145/143165.143205]
	20	Niklaus Wirth , Jürg Gutknecht, Project Oberon: the design of an operating system and compiler, ACM Press/Addison-Wesley Publishing Co., New York, NY, 1992
	21	Jens Palsberg , Michael I. Schwartzbach, Object-oriented type inference, Conference proceedings on Object-oriented programming systems, languages, and applications, p.146-161, October 06-11, 1991, Phoenix, Arizona, United States
	22	John Bradley Plevyak , Andrew Chien, Optimization of object-oriented and concurrent programs, 1996
	23	John Plevyak , Andrew A. Chien, Precise concrete type inference for object-oriented languages, Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications, p.324-340, October 23-28, 1994, Portland, Oregon, United States
	24	John Plevyak , Andrew A. Chien, Type Directed Cloning for Object-Oriented Programs, Proceedings of the 8th International Workshop on Languages and Compilers for Parallel Computing, p.566-580, August 10-12, 1995
	25	Zhong Shao , John H. Reppy , Andrew W. Appel, Unrolling lists, Proceedings of the 1994 ACM conference on LISP and functional programming, p.185-195, June 27-29, 1994, Orlando, Florida, United States
	26	Olin Shivers. Topics in Advanced Language Imp&men. tation~ chapter Data-Flow Analysis and Type Recovery in Scheme, pages 47-88. MIT Press, Cambridge, MA, 1991.
	27	Sun Microsystems Computer Corporation. The Java Language Specification, March 1995. Available at ht tp://j ava. sun. corn/1.0alp ha2/doc }java-whitepaper. ps.
	28	Gregory V. Wilson and Paul Lu, editors. Parallel Programming Using C-t-4-. MIT Press, 1995.
	29	Michael E. Wolf , Monica S. Lam, A data locality optimizing algorithm, Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation, p.30-44, June 24-28, 1991, Toronto, Ontario, Canada

CITED BY 19

	Christian Wimmer , Hanspeter Mössenböck, Automatic feedback-directed object inlining in the java hotspot™ virtual machine, Proceedings of the 3rd international conference on Virtual execution environments, June 13-15, 2007, San Diego, California, USA
	Ondrej Lhoták , Laurie Hendren, Run-time evaluation of opportunities for object inlining in Java, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, p.175-184, November 03-05, 2002, Seattle, Washington, USA
	Christian Wimmer , Hanspeter Mössenböök, Automatic array inlining in java virtual machines, Proceedings of the sixth annual IEEE/ACM international symposium on Code generation and optimization, April 05-09, 2008, Boston, MA, USA
	Zoran Budimlic , Ken Kennedy, Almost-whole-program compilation, Proceedings of the 2002 joint ACM-ISCOPE conference on Java Grande, p.104-111, November 03-05, 2002, Seattle, Washington, USA
	Christopher Barton , Peng Zhao , Robert Niewiadomski , José Nelson Amaral, Identifying opportunities for automatic remote field cloning, Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, p.124-134, October 04-07, 2004, Markham, Ontario, Canada
	Peng Wu , Sam Midkiff , José Moreira , Manish Gupta, Efficient support for complex numbers in Java, Proceedings of the ACM 1999 conference on Java Grande, p.109-118, June 12-14, 1999, San Francisco, California, United States
	Jeff Bogda , Urs Hölzle, Removing unnecessary synchronization in Java, ACM SIGPLAN Notices, v.34 n.10, p.35-46, Oct. 1999
	Julian Dolby , Andrew A. Chien, An evaluation of automatic object inline allocation techniques, ACM SIGPLAN Notices, v.33 n.10, p.1-20, Oct. 1998
	Zoran Budimlić , Ken Kennedy , Jeff Piper, The cost of being object-oriented: A preliminary study, Scientific Programming, v.7 n.2, p.87-95, April 1999
	Yefim Shuf , Manish Gupta , Hubertus Franke , Andrew Appel , Jaswinder Pal Singh, Creating and preserving locality of java applications at allocation and garbage collection times, ACM SIGPLAN Notices, v.37 n.11, November 2002
	Martin C. Rinard , Pedro C. Diniz, Eliminating synchronization bottlenecks using adaptive replication, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.3, p.316-359, May 2003
	Xingbin Zhang , Andrew A. Chien, Dynamic pointer alignment: tiling and communication optimizations for parallel pointer-based computations, ACM SIGPLAN Notices, v.32 n.7, p.37-47, July 1997
	Zoran Budimlić , Mackale Joyner , Ken Kennedy, Improving Compilation of Java Scientific Applications, International Journal of High Performance Computing Applications, v.21 n.3, p.251-265, August 2007
	Ayal Zaks , Vitaly Feldman , Nava Aizikowitz, Sealed calls in Java packages, ACM SIGPLAN Notices, v.35 n.10, p.83-92, Oct. 2000
	Jong-Deok Choi , Manish Gupta , Mauricio Serrano , Vugranam C. Sreedhar , Sam Midkiff, Escape analysis for Java, ACM SIGPLAN Notices, v.34 n.10, p.1-19, Oct. 1999
	Craig Chambers, Staged compilation, ACM SIGPLAN Notices, v.37 n.3, March 2002
	Julian Dolby , Andrew Chien, An automatic object inlining optimization and its evaluation, ACM SIGPLAN Notices, v.35 n.5, p.345-357, May 2000
	Yefim Shuf , Manish Gupta , Rajesh Bordawekar , Jaswinder Pal Singh, Exploiting prolific types for memory management and optimizations, ACM SIGPLAN Notices, v.37 n.1, p.295-306, Jan. 2002
	Matthew Hertz , Emery D. Berger, Quantifying the performance of garbage collection vs. explicit memory management, ACM SIGPLAN Notices, v.40 n.10, October 2005