next up previous
Next: Year 2006 Up: Queinnec's bibliography Previous: Year 2004

Year 2005


Luc Moreau and Christian Queinnec. Resource aware programming. ACM Transaction on Programming Languages and Systems, 27(3):441-476, May 2005.

Abstract:

We introduce the Resource Aware Programming framework, which allows users to monitor the resources used by their programs and to programmatically express policies for the management of such resources. The framework is based on a notion of hierarchical groups, which act as resource containers for the computations they sponsor. Asynchronous notifications for resource exhaustion and for computation termination can be handled by arbitrary user code, which is also executed under the control of this hierarchical group structure. Resources are manipulated by the programmer using resource descriptors, whose operations are specified by a resource algebra. In this paper, we overview the Resource Aware Programming framework and describe its semantics in the form of a language-independent abstract machine able to model both shared and distributed memory environments. Finally, we discuss a prototype implementation of the Resource Aware Programming framework in Java.

[See also]


Grégory Haïk, Jean-Pierre Briot, and Christian Queinnec. Automatic introduction of mobility for standard-based frameworks. In Distributed Objects and Applications Symposium Proceedings, Lecture Notes in Computer Science, Agia Napa, Cyprus, October-November 2005. Springer-Verlag.

Abstract:

The computerization of industrial design processes raises software engineering problems that are addressed by distributed component frameworks. But these frameworks are constrained by a set of antagonistic constraints, between performances and reusability of the components. In order to take up this challenge, we study how mobile code technology enables the improvement of performances without harming the components' reusability. Our approach relies on a transparent, totally automatic introduction of mobility into the programs. This transformation is a local optimization which is based on a static analysis. It is implemented within a compiler. An experimental study shows how the approach can be helpful for increasing the efficiency of the framework, enabling the usage of standards that - as for today - lack of efficiency.


Christian Queinnec. Site ouèbe de la licence d'informatique, 2005. cf. http://www.infop6.jussieu.fr/lmd/licence/. [See also]


Christian Queinnec. Cédérom VideoScm 2005 -- LI101, 2005. cf. http://www.infop6.jussieu.fr/Ressources/cederoms/VideoScm2005/. [See also]


next up previous
Next: Year 2006 Up: Queinnec's bibliography Previous: Year 2004

© C. Queinnec fecit (2012-02-19) [Home page]