Migration = cloning; aliasiing

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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

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.
OriginalsprogEngelsk
TitelProceeding of FOOL6
Vol/bind1685
ForlagSpringer
Publikationsdato1999
Sider1353-1368
ISBN (Trykt)978-3-540-66443-7
DOI
StatusUdgivet - 1999
Begivenhed6th Workshop on Foundations of Object Oriented Languages - FOOL6 -
Varighed: 19 maj 2010 → …
Konferencens nummer: 6

Konference

Konference6th Workshop on Foundations of Object Oriented Languages - FOOL6
Nummer6
Periode19/05/2010 → …
NavnLecture Notes in Computer Science
Nummer1685
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Migration = cloning; aliasiing'. Sammen danner de et unikt fingeraftryk.

Citationsformater