Hostname: page-component-74656f9884-g96k6 Total loading time: 0 Render date: 2026-11-10T02:06:56.314Z Has data issue: false hasContentIssue false

High-level networking with mobile code and first order AND-continuations

Published online by Cambridge University Press:  15 June 2001

PAUL TARAU
Affiliation:
Department of Computer Science, University of North Texas, P.O. Box 311366, Denton, TX 76203, USA (e-mail: tarau@cs.unt.edu)
VERONICA DAHL
Affiliation:
Logic and Functional Programming Group, Department of Computing Sciences, Simon Fraser University, Canada (e-mail: veronica@cs.sfu.ca)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

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.

Information

Type
Regular Paper
Copyright
© 2001 Cambridge University Press