Automatically Costed Autonomous Mobility

To share resources in open distributed systems we have developed autonomous mobile programs, which periodically use a cost model to decide where to execute in a network. In addition, self-aware mobile coordination for common patterns of computation over collections are encapsulated by autonomous mobility skeletons. Performance can be improved if an autonomous mobile program can predict the cost of the entire program rather than a single iteration. We propose a cost calculus that predicts the costs for the remainder of a computation at arbitrary program points. We extend our autonomous mobility skeleton cost models to be parametrised on the cost of the remainder of the program, and propose costed autonomous mobility skeletons. An automatic cost analyser which implements the calculus has been constructed to generate Jocaml programs with higher-order functions replaced by costed autonomous mobility skeletons.