Implementation of a language with strong mobility

Stephane Epardaud 1
1 MIMOSA - Migration and mobility : semantics and applications
CRISAM - Inria Sophia Antipolis - Méditerranée , Université de Provence - Aix-Marseille 1, MINES ParisTech - École nationale supérieure des mines de Paris
Abstract : In order to avoid the problems raised by the integration of a growing number of programmable home appliances, we propose a language with mobile agents. These mobile agents are capable of migrating from one appliance or computer to another in order to work on its local resources, which allows us to benefit from each appliance's capabilities from a single program. This language is called ULM: Un Langage pour la Mobilité. We present in this dissertation its features, its differences with other languages, as well as its implementation. ULM is based on the Scheme language, to which we have added functionality linked with mobility and the communication of mobile agents. ULM has a number of primitives allowing the creation of strongly mobile agents, with a cooperative deterministic scheduling, and control primitives such as suspension or weak preemption. We present in this dissertation the integration of these primitives in the Scheme language, as well as their interaction and the addition of new primitives such as strong preemption and safe migration. We then present the denotational semantics, and its implementation with a bytecode compiler and two virtual machines: one written in Bigloo Scheme for execution on traditional computers, the other in Java ME for mobile phones. We present then the possible use of ULM as a replacement for programs written for event loops, the interfacing of ULM and external languages, a few examples of ULM applications, and future work before we conclude.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00264028
Contributor : Stephane Epardaud <>
Submitted on : Thursday, March 13, 2008 - 6:35:13 PM
Last modification on : Monday, November 12, 2018 - 11:00:07 AM
Long-term archiving on: Thursday, May 20, 2010 - 9:07:27 PM

Identifiers

  • HAL Id : tel-00264028, version 1

Citation

Stephane Epardaud. Implementation of a language with strong mobility. Computer Science [cs]. Université Nice Sophia Antipolis, 2008. English. ⟨tel-00264028⟩

Share

Metrics

Record views

327

Files downloads

343