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 calculate 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 built in Jocaml, which outputs Jocaml programs with higher-order functions replaced by costed autonomous mobility skeletons.
Xiao Yan Deng, Greg Michaelson, Philip W. Trinder