Towards Designing SVM Coherence Protocols Using High-level Specifications and Aspect-oriented Translations

David Mentré 1 Daniel Le Métayer 2 Thierry Priol 1
1 CAPS - Compilation, parallel architectures and system
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
2 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : We propose a two-stage approach for the design of a shared virtual memory. The first stage is a high-level protocol description using the Structured Gamma formalism which is amenable to formal verifications. The second is a translation of this abstraction into an automaton which can be dynamically loaded in a runtime environment that provides a concept of global directory. This translation is based on Aspect-Oriented Programming which makes it possible to specify independently different aspects of the implementation. The complete system can thus be easily ported on a new environment.
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00072897
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 11:13:59 AM
Last modification on : Thursday, November 29, 2018 - 6:18:06 PM
Long-term archiving on : Sunday, April 4, 2010 - 8:55:17 PM

Identifiers

  • HAL Id : inria-00072897, version 1

Citation

David Mentré, Daniel Le Métayer, Thierry Priol. Towards Designing SVM Coherence Protocols Using High-level Specifications and Aspect-oriented Translations. [Research Report] RR-3765, INRIA. 1999. ⟨inria-00072897⟩

Share

Metrics

Record views

163

Files downloads

155