Object views: language support for intelligent object caching in parallel and distributed computations

ABSTRACT

Object-based parallel and distributed applications are becoming increasingly popular, driven by the programmability advantages of component technology and a flat shared-object space. However, the flat shared-object space introduces a performance challenge: applications that rely on the transparent coherent caching of objects achieve high performance only on tightly coupled parallel machines. In distributed environments, the overheads of object caching force application designers to choose other solutions. Consequently, most applications sacrifice programmability, relying instead on either the explicit coherence management of cached objects, or on vastly different middleware abstractions such as multicast and events.In this paper, we describe object views — language support for efficient object caching in parallel and distributed computations. Object views specify restrictions on how computation threads can use an object, providing the underlying implementation with information about the potential side effects of object access, and thereby enabling construction of scalable, low-overhead caching protocols customized to application requirements. We present extensions to the Java programming language for expressing object views, and describe the design and implementation of a translator and run-time system for executing view-augmented Java programs on a distributed cluster of workstations. Experimental results based on a shared whiteboard application demonstrate that view-based object caching can achieve performance superior to multicast- and event-based implementations, while retaining essentially a shared object interface.

REFERENCES

• 1: Cristiana Amza , Alan L. Cox , Sandhya Dwarkadas , Pete Keleher , Honghui Lu , Ramakrishnan Rajamony , Weimin Yu , Willy Zwaenepoel, TreadMarks: Shared Memory Computing on Networks of Workstations, Computer, v.29 n.2, p.18-28, February 1996 [doi>10.1109/2.485843 ]
• 2: Ken Arnold , James Gosling, The Java programming language (2nd ed.), ACM Press/Addison-Wesley Publishing Co., New York, NY, 1998
• 3: Henri E. Bal , M. Frans Kaashoek , Andrew S. Tanenbaum, Orca: A Language for Parallel Programming of Distributed Systems, IEEE Transactions on Software Engineering, v.18 n.3, p.190-205, March 1992 [doi>10.1109/32.126768 ]
• 4: An Efficient Multicast Protocol for Content-Based Publish-Subscribe Systems, Proceedings of the 19th IEEE International Conference on Distributed Computing Systems, p.262, May 31-June 04, 1999
• 5: B.N. Bershad, M. J. Zekauskas, and W. A. Sawdon. The Midway distributed shared memory system. In Proceedings of COMPCON 1993, pages 528-537, March 1993.
• 6: John B. Carter , John K. Bennett , Willy Zwaenepoel, Implementation and performance of Munin, Proceedings of the thirteenth ACM symposium on Operating systems principles, p.152-164, October 13-16, 1991, Pacific Grove, California, United States
• 7: A. Chabert, E. Grossman, L. Jackson, and S. Pietrovicz. NCSA Habanero: Synchronous collaborative framework and environment. Software Development Division at NCSA, Champaign, IL, 1997.
• 8: C. Houck and G. Agha. HAL: A high-level actor language and its distributed implementation. In Proceedings of the 21st International Conference on Parallel Processing, pages 158-165, St. Charles, IL, August 1992.
• 9: Liviu Iftode , Cezary Dubnicki , Edward W. Felten , Kai Li, Improving Release-Consistent Shared Virtual Memory using Automatic Update, Proceedings of the 2nd IEEE Symposium on High-Performance Computer Architecture, p.14, February 03-07, 1996
• 10: K. L. Johnson , M. F. Kaashoek , D. A. Wallach, CRL: high-performance all-software distributed shared memory, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.213-226, December 03-06, 1995, Copper Mountain, Colorado, United States
• 11: Vijay Karamcheti , Andrew A. Chien, View Caching: Efficient Software Shared Memory for Dynamic Computations, Proceedings of the 11th International Symposium on Parallel Processing, p.483-489, April 01-05, 1997
• 12: Povl T. Koch, Robert J. Fowler, and Eric Jul. Messagedriven relaxed consistency in a software dis-tributed shared memory, in First Symposium on Operating Systems Design and Implementation, pages 75-85, November 1994.
• 13: Kai Li , Paul Hudak, Memory coherence in shared virtual memory systems, ACM Transactions on Computer Systems (TOCS), v.7 n.4, p.321-359, Nov. 1989 [doi>10.1145/75104.75105]
• 14: Hidehiko Masuhara , Satoshi Matsuoka , Takuo Watanabe , Akinori Yonezawa, Object-oriented concurrent reflective languages can be implemented efficiently, conference proceedings on Object-oriented programming systems, languages, and applications, p.127-144, October 18-22, 1992, Vancouver, British Columbia, Canada
• 15: Satoshi Matsuoka , Kenjiro Taura , Akinori Yonezawa, Highly efficient and encapsulated re-use of synchronization code in concurrent object-oriented languages, Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, p.109-126, September 26-October 01, 1993, Washington, D.C., United States
• 16: Scott Pakin , Vijay Karamcheti , Andrew A. Chien, Fast Messages: Efficient, Portable Communication for Workstation Clusters and MPPs, IEEE Parallel & Distributed Technology: Systems & Technology, v.5 n.2, p.60-73, April 1997
• 17: Harjinder S. Sandhu , Benjamin Gamsa , Songnian Zhou, The shared regions approach to software cache coherence on multiprocessors, Proceedings of the fourth ACM SIGPLAN symposium on Principles and practice of parallel programming, p.229-238, May 19-22, 1993, San Diego, California, United States
• 18: Daniel J. Scales , Kourosh Gharachorloo , Chandramohan A. Thekkath, Shasta: a low overhead, software-only approach for supporting fine-grain shared memory, Proceedings of the seventh international conference on Architectural support for programming languages and operating systems, p.174-185, October 01-04, 1996, Cambridge, Massachusetts, United States
• 19: Daniel J. Scales and Monica S. Lam. The design and evaluation of a shared object system for dis-tributed memory machines. In First Symposium on Operating Systems Design and Implementation, pages 101-114, 1994.
• 20: C. Tomlinson , V. Singh, Inheritance and synchronization with enabled-sets, Conference proceedings on Object-oriented programming systems, languages and applications, p.103-112, October 02-06, 1989, New Orleans, Louisiana, United States
• 21: Rajendra K. Raj , Ewan Tempero , Henry M. Levy , Andrew P. Black , Norman C. Hutchinson , Eric Jul, Emerald: a general-purpose programming language, Software—Practice & Experience, v.21 n.1, p.91-118, Jan. 1991 [doi>10.1002/spe.4380210107]
• 22: Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990

INDEX TERMS

Primary Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: Java

  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)

General Terms:
Design, Human Factors, Languages, Management, Measurement, Performance, Theory

Keywords:
Java, collaborative applications, distributed objects, object caching, object representation, shared objects, views