zbMATH — the first resource for mathematics

Aliasing models for mobile objects. (English) Zbl 1012.68114
Summary: In Obliq, a lexically scoped, distributed, object-oriented programming language, object migration was suggested as the creation of a copy of the state of an object 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 above-mentioned style of migration. We introduce Øjeblik, a typed distribution-free subset of Obliq, and provide four 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 allows for safe migration at least for a large class of program contexts. In addition, we propose a type system that allows a programmer to statically guarantee that programs belong to that class. Our work suggests a straightforward repair of Obliq’s aliasing model.

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
Full Text: DOI
[1] Abadi, M; Cardelli, L, A theory of objects, (1996), Springer-Verlag Berlin
[2] Boreale, M., Fournet, C., and Laneve, C., Bisimulations for the join-calculus, inProgramming Concepts and Methods (PROCOMET’98)D. Gries and W.-P. de Roever, Eds., International Federation for Information Processing (IFIP), Chapman & Hall, London.
[3] Cardelli, L. 1994, obliq-std.exe—Binaries for windows nt, available at, http://www.luca.demon.co.uk/Obliq/Obliq.html.
[4] Cardelli, L, A language with distributed scope, Proceedings of POPL ’95, (1994), p. 27-59
[5] Di Blasio, P; Fisher, K, A concurrent object calculus, (), 655-670
[6] Felleisen, M; Friedman, D.P, Control operators, the SECD-machine, and the λ-calculus, (), 193-217
[7] Gordon, A.D; Hankin, P.D, A concurrent object calculus: reduction and typing, () · Zbl 0917.68064
[8] Gordon, A. D., Hankin, P. D., and Lassen, S. B.1997, Compilation and equivalence of imperative objects, inProceedings of FSTTCS ’97S. Ramesh and G. Sivakumar, Eds., Lecture Notes in Computer Science, Vol. 1346, pp. 74-87, Springer-Verlag, Berlin. Full version available as Technical Report 429, Computer Laboratory, University of Cambridge.
[9] Gries, D; de Roever, W.-P, Programming concepts and methods (PROCOMET ’98), (1998), Chapman & HallInternational Federation for Information Processing (IFIP) London
[10] Hüttel, H; Kleist, J; Merro, M; Nestmann, U, Migration=cloning; aliasing (preliminary version), Informal Proceedings of the sixth international workshop on foundations of object-oriented languages (FOOL 6), san antonio, TX, USA, (1999), ACM/SIGPLAN
[11] Jul, E; Levy, H; Hutchinson, N; Black, A, Fine-grained mobility in the emerald system, ACM trans. comput. systems, 1, 109-133, (1988)
[12] Kleist, J; Sangiorgi, D, Imperative objects and mobile processes, Programming concepts and methods (PROCOMET ’98), (1998), International Federation for Information Processing (IFIP), p. 285-303
[13] Laneve, C. 1996, May and Must Testing in the Join-Calculus, Technical Report UBLCS-96-4, DoCS, University of Bologna, Revised, May 1996.
[14] Merro, M; Kleist, J; Nestmann, U, Local π-calculus at work: mobile objects as mobile processes, Proceedings of theoretical computer science (TCS 2000), (2000), p. 390-408 · Zbl 0998.68517
[15] Milner, R; Parrow, J; Walker, D, A calculus of mobile processes, I/II, Inform. and comput., 100, 1-77, (1992) · Zbl 0752.68037
[16] Moggi, E, Computational lambda calculus and monads, Fourth annual symposium on logic in computer science, LICS, asilomar, CA, (1989), IEEE Computer Society Press Los Alamitos, p. 14-23 · Zbl 0716.03007
[17] Morris, J.-H, Lambda calculus models of programming languages, (1968), MIT Cambridge
[18] Nestmann, U, Mobile objects (a project overview), (), 155-164
[19] Nestmann, U; Hüttel, H; Kleist, J; Merro, M, Aliasing models for object migration, Proceedings of EUROPAR ’99, (1999), Springer-Verlag Berlin
[20] Nielsen, C. L, Outzen, L, Ilsøe, P. M, Pedersen, S. H, Thomadsen, T, and, Lange, T. 1999, Øjeblink, Term Project Report, Aalborg University, available at, http://www.cs.auc.dk/research/FS/ojeblik/.
[21] Reppy, J.1992, Higher-Order Concurrency, Ph.D. thesis, Cornell University. Technical Report TR 92-1285.
[22] Sekiguchi, T; Yonezawa, A, A calculus with code mobility, Prodeedings of FMOODS’97, Canterbury, July, (1997), Chapman & HallIFIP London
[23] Talcott, C. L. (unpublished), Obliq semantics notes, available at, clt@cs.stanford.edu.
[24] Roy, P.V; Haridi, S; Brand, P; Smolka, G; Mehl, M; Scheidhauer, R, Mobile objects in distributed oz, ACM trans. programming languages systems, 19, 804-851, (1997)
[25] Vitek, J. 1999, Mobile object systems, available at, http://cuiwww.unige.ch/ ecoopws/.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.