Lazy argument passing in Java RMI

ABSTRACT

Though often criticized for its inherent synchronization overhead and coupling, the remote method invocation (RMI) paradigm remains one of the most popular abstractions for building distributed applications. Many authors have suggested ways to overcome its drawbacks focusing mostly on the invoker's perspective, for example by multiplexing invocations to replicated server objects, through "future" return values, or even by prohibiting return values altogether. The more global perspective, and in particular the invokee side, has conversely only received little attention.

In this paper we take a fresh look at the RMI paradigm, elaborating on argument passing semantics. We identify three lazy ways of passing arguments by value, differing by the moment at which the transfer of the arguments synchronizes with the execution of the method body. We present a preliminary library implementation of our argument passing semantics in Java RMI, and illustrate their individual benefits through examples. We characterize analytically and empirically application scenarios which benefit from lazy argument passing.

REFERENCES

• 1: J.-P. Briot. Actalk: A Testbed for Classifying and Designing Actor Languages in the Smalltalk-80 Environment. In Proceedings of the 3rd European Conference on Object-Oriented Programming (ECOOP '89), pages 109--129, July 1989.
• 2: Peter A. Buhr , W. Y. Russell Mok, Advanced Exception Handling Mechanisms, IEEE Transactions on Software Engineering, v.26 n.9, p.820-836, September 2000 [doi>10.1109/32.877844]
• 3: Denis Caromel, Toward a method of object-oriented concurrent programming, Communications of the ACM, v.36 n.9, p.90-102, Sept. 1993 [doi>10.1145/162685.162711]
• 4: Denis Caromel , Ludovic Henrio , Bernard Paul Serpette, Asynchronous and deterministic objects, Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.123-134, January 14-16, 2004, Venice, Italy
• 5: Semantics for parameter passing in a type-complete persistent RPC, Proceedings of the 16th International Conference on Distributed Computing Systems (ICDCS '96), p.411, May 27-30, 1996
• 6: Christophe Dony , Jorgen Lindskov Knudsen , Alexander Romanovsky , Anand Tripathi, Advanced Topics in Exception Handling Techniques (Lecture Notes in Computer Science), Springer-Verlag New York, Inc., Secaucus, NJ, 2006
• 7: Richard Ekwall , Andre Schiper, Solving Atomic Broadcast with Indirect Consensus, Proceedings of the International Conference on Dependable Systems and Networks, p.156-165, June 25-28, 2006 [doi>10.1109/DSN.2006.65]
• 8: R. Friedman and A. Kama. Transparent Fault-tolerant Java Virtual Machine. In Proceedings of the 22nd IEEE Symposium on Reliable Distributed Systems (SRDS '03), pages 319--328, October 2003.
• 9: Timothy H. Harrison , David L. Levine , Douglas C. Schmidt, The design and performance of a real-time CORBA event service, Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.184-200, October 05-09, 1997, Atlanta, Georgia, United States
• 10: Robert H. Halstead, Jr., MULTILISP: a language for concurrent symbolic computation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.7 n.4, p.501-538, Oct. 1985 [doi>10.1145/4472.4478]
• 11: Eric Jul , Henry Levy , Norman Hutchinson , Andrew Black, Fine-grained mobility in the Emerald system, ACM Transactions on Computer Systems (TOCS), v.6 n.1, p.109-133, Feb. 1988 [doi>10.1145/35037.42182]
• 12: Aaron W. Keen , Ronald A. Olsson, Exception Handling during Asynchronous Method Invocation (Research Note), Proceedings of the 8th International Euro-Par Conference on Parallel Processing, p.656-660, August 27-30, 2002
• 13: Cristina Videira Lopes, Adaptive Parameter Passing, Proceedings of the Second JSSST International Symposium on Object Technologies for Advanced Software, p.118-136, March 11-15, 1996
• 14: J. Napper, L. Alvisi, and H. Vin. A Fault-tolerant Java Virtual Machine. In Proceedings of the 4th IEEE International Conference on Dependable Systems and Networks (DSN 2003), pages 425--434, June 2003.
• 15: P. Nienaltowski, V. Arslan, and B. Meyer. Concurrent Object-oriented Programming on .NET. IEE Proceedings Software, Special Issue on ROTOR, 150(5):308--314, October 2003.
• 16: OMG. The Common Object Request Broker: Architecture and Specification, version 3.0. OMG, December 2002.
• 17: Alexander Romanovsky , Christophe Dony , Jørgen Lindskov Knudsen , Anand Tripathi, Advances in exception handling techniques, Springer-Verlag New York, Inc., New York, NY, 2001
• 18: Sun. Dynamic Proxy Classes, 1999.
• 19: Akinori Yonezawa , Etsuya Shibayama , Toshihiro Takada , Yasuaki Honda, Modelling and programming in an object-oriented concurrent language ABCL/1, Object-oriented concurrent programming, MIT Press, Cambridge, MA, 1987

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.4 Distributed Systems
          Subjects: Client/server

Additional Classification:
  D. Software
  D.1 PROGRAMMING TECHNIQUES
      D.1.3 Concurrent Programming
          Subjects: Distributed programming
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Classes and objects

General Terms:
Languages, Performance

Keywords:
Java, argument passing, asynchronous, future, invocation, lazy, method remote