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.
Originalsprog | Engelsk |
---|---|
Titel | Proceeding of FOOL6 |
Vol/bind | 1685 |
Forlag | Springer |
Publikationsdato | 1999 |
Sider | 1353-1368 |
ISBN (Trykt) | 978-3-540-66443-7 |
DOI | |
Status | Udgivet - 1999 |
Begivenhed | 6th Workshop on Foundations of Object Oriented Languages - FOOL6 - Varighed: 19 maj 2010 → … Konferencens nummer: 6 |
Konference
Konference | 6th Workshop on Foundations of Object Oriented Languages - FOOL6 |
---|---|
Nummer | 6 |
Periode | 19/05/2010 → … |
Navn | Lecture Notes in Computer Science |
---|---|
Nummer | 1685 |
ISSN | 0302-9743 |