On the Finiteness of Resources in Distributed Computing
Luc Moreau, Christian Queinnec, Luc Moreau (u. Of Southampton, Luc Moreau (u. Of Southampton, Christian Queinnec (cristal, Christian Queinnec (cristal · ePrints Soton (University of Southampton) · 1997
: Millions of computers are now connected together by the Internet. At a fast pace, applications are taking profit of these new capabilities, and become parallel and distributed, e.g. applets on the WWW or agent technology. As we live in a world with finite resources, an important challenge is to be able to control computations in such an environment. For instance, a user might like to suspend a computation because another one seems to be more promising. In this paper, we present a paradigm that allows the programmer to monitor and control computations, whether parallel or distributed, by mastering their resource consumption. Key-words: programming languages, parallelism, distribution, abstract machine (R'esum'e : tsvp) Ces travaux ont 'et'e partiellement financ'es par le contrat EPSRC GR/K30773 et par le projet europ'een ERB 4050 PL 930186. Unit'e de recherche INRIA Rocquencourt Domaine de Voluceau, Rocquencourt, BP 105, 78153 LE CHESNAY Cedex (France) T'el'ephone : (33) 01 39 63 55 ...