Design and Semantics of Quantum: a Language to Control Resource Consumption in Distributed Computing - Archive ouverte HAL
Communication Dans Un Congrès Année : 1997

Design and Semantics of Quantum: a Language to Control Resource Consumption in Distributed Computing

Luc Moreau
  • Fonction : Auteur
Christian Queinnec

Résumé

This paper describes the semantics of Quantum , a language that was specifically designed to control resource consumption of distributed computations, such as mobile agent style applications. In Quantum , computations can be driven by mastering their resource consumption. Resources can be understood as processors cycles, geographical expansion, bandwidth or duration of communications, etc. We adopt a generic view by saying that computations need energy to be performed. Quantum relies on three new primitives that deal with energy. The first primitive creates a tank of energy associated with a computation. Asynchronous notifications inform the user of energy exhaustion and computation termination. The other two primitives allow us to implement suspension and resumption of computations by emptying a tank and by supplying more energy to a tank. The semantics takes the form of an abstract machine with explicit parallelism and energy-related primitives.
Fichier non déposé

Dates et versions

hal-01646743 , version 1 (23-11-2017)

Identifiants

  • HAL Id : hal-01646743 , version 1

Citer

Luc Moreau, Christian Queinnec. Design and Semantics of Quantum: a Language to Control Resource Consumption in Distributed Computing. Usenix Conference on Domain Specific Language, DSL'97, Oct 1997, Santa-Barbara, CA, United States. pp.183-197. ⟨hal-01646743⟩
54 Consultations
0 Téléchargements

Partager

More