Abstract
In Obliq, a lexically scoped, distributed, object-oriented programming language, object migration was suggested as the creation of a copy of an object’s state at the target site, followed by turning the object itself into an alias, also called surrogate, for the remote copy. We consider the creation of object surrogates as an abstraction of the abovementioned style of migration. We introduce Øjeblik, a distribution-free subset of Obliq, and provide three different configuration-style semantics, which only differ in the respective aliasing model. We show that two of the semantics, one of which matches Obliq’s implementation, render migration unsafe, while our new proposal for a third semantics is provably safe. Our work suggests a straightforward repair of Obliq’s aliasing model such that it allows programs to safely migrate objects.
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Abadi and L. Cardelli. An Imperative Object Calculus. Theory and Practice of Object Systems, 1(13):151–166, 1996.
M. Abadi and L. Cardelli. A Theory of Objects. Monographs in Computer Science. Springer, 1996.
L. Cardelli. obliq-std.exe — Binaries for Windows NT. http://www.luca.demon.co.uk/Obliq/Obliq.html.
L. Cardelli. A Language with Distributed Scope. Computing Systems, 8(1):27–59, 1995. Short version in Proceedings of POPL’ 95. A preliminary version appeared as Report 122, Digital Systems Research, June 1994.
L. Cardelli. On the Semantics of Obliq. Personal Communication, 1998.
P. Di Blasio and K. Fisher. A Concurrent Object Calculus. In U. Montanari and V. Sassone, eds, Proceedings of CONCUR’ 96, volume 1119 of LNCS, pages 655–670. Springer, 1996. An extended version appeared as Stanford University Technical Note STAN-CS-TN-96-36, 1996.
K. Fisher and J. Mitchell. Notes on Typed Object-Oriented Programming. In M. Hagiya and J.C. Mitchell, eds, Proceedings of TACS’ 94, volume 789 of LNCS, pages 844–885. Springer, 1994.
A.D. Gordon and P.D. Hankin. A Concurrent Object Calculus: Reduction and Typing. In U. Nestmann and B.C. Pierce, eds, Proceedings of HLCL’ 98, volume 16.3 of ENTCS. Elsevier Science Publishers, 1998.
A.D. Gordon, P.D. Hankin and S.B. Lassen. Compilation and Equivalence of Imperative Objects. In S. Ramesh and G. Sivakumar, eds, Proceedings of FSTTCS’ 97, volume 1346 of LNCS, pages 74–87. Springer, Dec. 1997. Full version available as Technical Report 429, University of Cambridge Computer Laboratory, June 1997.
H. Hüttel, J. Kleist, M. Merro and U. Nestmann. Migration = Cloning; Aliasing (Preliminary Version). In Informal Proceedings of the Sixth International Workshop on Foundations of Object-Oriented Languages (FOOL 6, San Antonio, Texas, USA). Sponsored by ACM/SIGPLAN, 1999. Available from http://www.cs.williams.edu/~kim/FOOL/sched6.html.
J. Kleist and D. Sangiorgi. Imperative Objects and Mobile Processes. In D. Gries and W.-P. de Roever, eds, Proceedings of PROCOMET’ 98, pages 285–303. International Federation for Information Processing (IFIP), Chapman & Hall, 1998.
M. Merro, H. Hüttel, J. Kleist and U. Nestmann. Mobile Objects As Mobile Processes. Draft. Available from Massimo.Merro@sophia.inria.fr, 1999.
E. Moggi. Computational Lambda Calculus and Monads. Technical Report ECS-LFCS-88-66, LFCS, University of Edinburgh, Oct. 1988.
J.-H. Morris. Lambda Calculus Models of Programming Languages. PhD thesis, MIT, 1968.
M. Merro and D. Sangiorgi. On Asynchrony in Name-Passing Calculi. In K.G. Larsen, S. Skyum and G. Winskel, eds, Proceedings of ICALP’ 98, volume 1443 of LNCS, pages 856–867. Springer, July 1998.
C.L. Talcott. Interaction Semantics for Components of Distributed Systems. In 1st IFIP Workshop on Formal Methods for Open Object-based Distributed Systems, FMOODS’96, 1996. http://www-formal.stanford.edu/MT/96fmoods.ps.Z.
C.L. Talcott. Obliq semantics notes. Unpublished note. Available from clt@cs.stanford.edu, Jan. 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nestmann, U., Hüttel, H., Kleist, J., Merro, M. (1999). Aliasing Models for Object Migration⋆. In: Amestoy, P., et al. Euro-Par’99 Parallel Processing. Euro-Par 1999. Lecture Notes in Computer Science, vol 1685. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48311-X_191
Download citation
DOI: https://doi.org/10.1007/3-540-48311-X_191
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66443-7
Online ISBN: 978-3-540-48311-3
eBook Packages: Springer Book Archive