Migration = cloning; aliasiing

Hans Hüttel, Josva Kleist, Uwe Nestmann, Massimo Merro

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

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.
Original languageEnglish
Title of host publicationProceeding of FOOL6
Volume1685
PublisherSpringer
Publication date1999
Pages1353-1368
ISBN (Print)978-3-540-66443-7
DOIs
Publication statusPublished - 1999
Event6th Workshop on Foundations of Object Oriented Languages - FOOL6 -
Duration: 19 May 2010 → …
Conference number: 6

Conference

Conference6th Workshop on Foundations of Object Oriented Languages - FOOL6
Number6
Period19/05/2010 → …
SeriesLecture Notes in Computer Science
Number1685
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Migration = cloning; aliasiing'. Together they form a unique fingerprint.

Cite this