Controlling and Optimizing the Usage of One Resource

Antoine Galland (1) , Mathieu Baudet

1 SRC - Systèmes répartis et coopératifs

This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling the usage of a single resource in a multi-process operating system. Its specificity lies in its ability to improve the task scheduling in order to spare resources. Our architecture comprises two parts. The first statically computes the resource needs using a dedicated lattice. The second guarantees at runtime that there will always be enough resources for every application to terminate, thanks to an efficient deadlock-avoidance algorithm. The example studied here is an implementation on a JVM (Java Virtual Machine) for smart cards, dealing with a realistic subset of the Java bytecode.

Domaines: Informatique [cs]

Antoine Galland, Mathieu Baudet. Controlling and Optimizing the Usage of One Resource. First Asian Symposium on Programming Languages and Systems (APLAS), Nov 2003, Beijing, China. pp.195-211, ⟨10.1007/978-3-540-40018-9_14⟩. ⟨hal-01531069⟩