High-Level Networking With Mobile Code And First Order AND-Continuations
Abstract
We describe a scheme for moving living code between a set of distributed processes coordinated with unification based Linda operations, and its application to building a comprehensive Logic programming based Internet programming framework. Mobile threads are implemented by capturing first order continuations in a compact data structure sent over the network. Code is fetched lazily from its original base turned into a server as the continuation executes at the remote site. Our code migration techniques, in combination with a dynamic recompilation scheme, ensure that heavily used code moves up smoothly on a speed hierarchy while volatile dynamic code is kept in a quickly updatable form. Among the examples, we describe how to build programmable client and server components (Web servers, in particular) and mobile agents.
Cite
@article{arxiv.cs/0405088,
title = {High-Level Networking With Mobile Code And First Order AND-Continuations},
author = {Paul Tarau and Veronica Dahl},
journal= {arXiv preprint arXiv:cs/0405088},
year = {2007}
}
Comments
Appeared in Theory and Practice of Logic Programming, vol. 1, no. 3, 2001