Encapsulating concurrency with Early-Reply

ABSTRACT

Component methods often produce their final parameter values long before the method body is ready to terminate. To minimize client blocking, Early-Reply can be used to forward invocation results to the caller as soon as they are (safely) available. After executing Early-Reply, the method remainder and the client caller can proceed concurrently, modulo synchronization constraints. The prime motivation for Early-Reply, then, is to improve performance factors such as response time and resource utilization.Early-Reply received previous attention as a construct for explicit concurrent programming. It's value for sequential programming, however, has not been widely recognized. The present research supplies a formal treatment of Early-Reply as a basis for concurrent execution of sequential programs. In particular, we reformulate Early-Reply under local proof obligations that encapsulate concurrency as a (temporal) unit of information hiding. The upshot is that software developers can use Early-Reply to exploit the performance benefits of concurrent execution, without compromising the reasoning benefits of sequential programming.

REFERENCES

• 1: Gul Agha, Actors: a model of concurrent computation in distributed systems, MIT Press, Cambridge, MA, 1986
• 2: Pierre America, Pool-T: a parallel object-oriented language, Object-oriented concurrent programming, MIT Press, Cambridge, MA, 1987
• 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: Dennis de Champeaux , Doug Lea , Penelope Faure, Object-oriented system development, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1993
• 5: Tom Ender, Object-oriented programming with REXX, John Wiley & Sons, Inc., New York, NY, 1997
• 6: Douglas E. Harms , Bruce W. Weide, Copying and Swapping: Influences on the Design of Reusable Software Components, IEEE Transactions on Software Engineering, v.17 n.5, p.424-435, May 1991 [doi>10.1109/32.90445]
• 7: Douglas Lea , Doug Lea, Concurrent Programming in Java: Design Principles and Patterns, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1996
• 8: Michael Philippsen. A survey of concurrent object-oriented languages. Concurrency: Practice and Experience, 12(10):917--980, 2000.
• 9: Scott M. Pike , Nigamanth Sridhar, Early-Reply Components: Concurrent Execution with Sequential Reasoning, Proceedings of the 7th International Conference on Software Reuse: Methods, Techniques, and Tools, p.46-61, April 15-19, 2002
• 10: Michael L. Scott, The Lynx distributed programming language: motivation, design and experience, Computer Languages, v.16 n.3-4, p.209-233, 1991 [doi>10.1016/0096-0551(91)90008-W]
• 11: Michael L. Scott, Programming language pragmatics, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2000