Treffer: Conception de protocoles de cohérence de MVP par traduction d'une spécification Gamma à l'aide d'aspects / Designing SVM coherence protocols with aspect-oriented translation of Gamma specification

Title:
Conception de protocoles de cohérence de MVP par traduction d'une spécification Gamma à l'aide d'aspects / Designing SVM coherence protocols with aspect-oriented translation of Gamma specification
Authors:
MENTRE, D, LE METAYER, D, PRIOL, T
Source:
Méthodes de construction de systèmes répartisCalculateurs parallèles (Besançon). 11(2):193-210
Publisher Information:
Paris: Hermès, 1999.
Publication Year:
1999
Physical Description:
print, 1 p.1/4
Original Material:
INIST-CNRS
Subject Terms:
Computer science, Informatique, Telecommunications, Télécommunications, Sciences exactes et technologie, Exact sciences and technology, Sciences appliquees, Applied sciences, Informatique; automatique theorique; systemes, Computer science; control theory; systems, Logiciel, Software, Systèmes informatiques et systèmes répartis. Interface utilisateur, Computer systems and distributed systems. User interface, Electronique, Electronics, Matériel informatique, Hardware, Informatique répartie, Distributed computer systems, Aspect, Appearance, Aspecto, Conception système, System design, Concepción sistema, Fonction gamma, Gamma function, Función gama, Implémentation, Implementation, Ejecución, Mémoire partagée, Shared memory, Memoria compartida, Mémoire virtuelle, Virtual memory, Memoria virtual, Spécification programme, Program specification, Especificación programa, Système exploitation, Operating system, Sistema operativo, Système réparti, Distributed system, Sistema repartido, Technique programmation, Programmation technique, Técnica programación
Document Type:
Fachzeitschrift Article
File Description:
text
Language:
French
Author Affiliations:
Irisa/Inria - Campus de Beaulieu, 35042 Rennes, France
ISSN:
1260-3198
Access URL:
http://pascal-francis.inist.fr/vibad/index.php?action=search&terms=1986485
Rights:
Copyright 1999 INIST-CNRS
CC BY 4.0
Sauf mention contraire ci-dessus, le contenu de cette notice bibliographique peut être utilisé dans le cadre d’une licence CC BY 4.0 Inist-CNRS / Unless otherwise stated above, the content of this bibliographic record may be used under a CC BY 4.0 licence by Inist-CNRS / A menos que se haya señalado antes, el contenido de este registro bibliográfico puede ser utilizado al amparo de una licencia CC BY 4.0 Inist-CNRS
Notes:
Computer science; theoretical automation; systems

Electronics
Accession Number:
edscal.1986485
Database:
PASCAL Archive

Weitere Informationen

Nous proposons un cadre permettant de concevoir de manière systématique des protocoles de cohérence de mémoires virtuelles partagées à partir d'une spécification. La conception s'effectue en plusieurs phases. La première est une description abstraite d'un protocole dans une variante du formalisme Gamma qui permet d'effectuer certaines vérifications. La seconde consiste à traduire cette abstraction en automate chargeable au sein d'un environnement d'exécution supportant le concept de répertoire global. Cette traduction est réalisée par une technique de programmation par « aspects » qui permet de spécifier indépendamment certaines caractéristiques de la mise en oeuvre (contrôle et représentation des données). L'ensemble du système peut ainsi être facilement porté dans un nouvel environnement.