Cost-driven autonomous mobility

Xiao Yan Deng, Greg Michaelson, Phil Trinder

Research output: Contribution to journalArticlepeer-review

5 Citations (Scopus)


Autonomous mobile programs (AMPs) offer a novel decentralised load management technology where periodic use is made of cost models to decide where to execute in a network. In this paper we demonstrate how sequential programs can be automatically converted into AMPs. The AMPs are generated by an automatic continuation cost analyser that replaces iterations with costed autonomous mobility skeletons (CAMS) that encapsulate autonomous mobility. The CAMS cost model uses an entirely novel continuation cost semantics to predict both the cost of the current iteration and the continuation cost of the remainder of the program. We show that CAMS convey significant performance advantages, e.g. reducing execution time by up to 53%; that the continuation cost models are consistent with the existing AMP cost models; and that the overheads of collecting and utilising the continuation costs are relatively small. We discuss example AMPs generated by the analyser and demonstrate that they have very similar performance to hand-costed CAMS programs. © 2009 Elsevier Ltd. All rights reserved.

Original languageEnglish
Pages (from-to)34-59
Number of pages26
JournalComputer Languages, Systems and Structures
Issue number1
Publication statusPublished - Apr 2010


  • Autonomous systems
  • Cost models
  • Jocaml
  • Load balancing


Dive into the research topics of 'Cost-driven autonomous mobility'. Together they form a unique fingerprint.

Cite this