Towards Designing SVM Coherence Protocols Using High-level Specifications and Aspect-oriented Translations - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1999

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

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.
Fichier principal
Vignette du fichier
RR-3765.pdf (210.07 Ko) Télécharger le fichier

Dates and versions

inria-00072897 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00072897 , version 1

Cite

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⟩
64 View
103 Download

Share

Gmail Facebook Twitter LinkedIn More