An expressive aspect language for system applications with Arachne

Rémi Douence 1, 2 Thomas Fritz 3, 1 Nicolas Loriant 3, 1 Jean-Marc Menaud 3, 1 Marc Ségura-Devillechaise 3, 1 Mario Südholt 3, 1
1 OBASCO - Objects, aspects and components
Mines Nantes - Mines Nantes, Inria Rennes – Bretagne Atlantique
2 ASCOLA - Aspect and composition languages
Inria Rennes – Bretagne Atlantique , Département informatique - EMN, LINA - Laboratoire d'Informatique de Nantes Atlantique
Abstract : C applications, in particular those using operating system level services, frequently comprise multiple crosscutting con- cerns: network protocols and security are typical examples of such concerns. While these concerns can partially be addressed during design and implementation of an applica- tion, they frequently become an issue at runtime, e.g., to avoid server downtime. A deployed network protocol might not be sufficiently efficient and may thus need to be re- placed. Buffer overflows might be discovered that imply critical breaches in the security model of an application. A prefetching strategy may be required to enhance perfor- mance. While aspect-oriented programming seems attractive in this context, none of the current aspect systems is expres- sive and efficient enough to address such concerns. This paper presents a new aspect system solving these problems. While efficiency considerations have played an important part in the design of the aspect language, the language al- lows aspects to be expressed more concisely than previous approaches. In particular, it allows aspect programmers to quantify over sequences of execution points as well as over alias accesses. We show how the former can be used to modularize the replacement of network protocols and the latter to prevent buffer overflows. We also present an im- plementation of the language as an extension of Arachne, a dynamic weaver for C applications. Finally, we show eval- uations proving that Arachne is fast enough to extend high performance applications, such as the Squid web cache.
Type de document :
Communication dans un congrès
4th International Conference on Aspect-Oriented Software Development, Mar 2005, Chicago, United States. 2005
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00441355
Contributeur : Nicolas Loriant <>
Soumis le : mardi 15 décembre 2009 - 17:53:26
Dernière modification le : vendredi 22 juin 2018 - 09:27:58
Document(s) archivé(s) le : jeudi 17 juin 2010 - 23:43:16

Fichier

douence.aosd05.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00441355, version 1

Citation

Rémi Douence, Thomas Fritz, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura-Devillechaise, et al.. An expressive aspect language for system applications with Arachne. 4th International Conference on Aspect-Oriented Software Development, Mar 2005, Chicago, United States. 2005. 〈inria-00441355〉

Partager

Métriques

Consultations de la notice

293

Téléchargements de fichiers

201