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. © 2007 IEEE.
|Title of host publication||Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2007|
|Number of pages||7|
|Publication status||Published - 2008|
|Event||IEEE Computer Society Technical Committee on Intelligent Informatics(TCII) - Fremont, CA, United States|
Duration: 2 Nov 2007 → 5 Nov 2007
|Conference||IEEE Computer Society Technical Committee on Intelligent Informatics(TCII)|
|Period||2/11/07 → 5/11/07|