Hostname: page-component-78c5997874-ndw9j Total loading time: 0 Render date: 2024-11-10T21:57:00.362Z Has data issue: false hasContentIssue false
  • English
  • Français

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

Published online by Cambridge University Press:  15 June 2001

PAUL TARAU  and
VERONICA DAHL
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)
Get access Rights & Permissions [Opens in a new window]

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.

Keywords

mobile computationsremote executionnetworkingInternet programmingfirst order continuationsLinda coordinationblackboard-based logic programmingmobile agentsdynamic recompilationcode migration
Type
Regular Paper
Information
Theory and Practice of Logic Programming , Volume 1 , Issue 3 , May 2001 , pp. 359 - 380
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.)