Hostname: page-component-848d4c4894-m9kch Total loading time: 0 Render date: 2024-05-12T00:41:49.311Z 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)

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.

Type
Regular Paper
Copyright
© 2001 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)