Principe, modele et realisation d'un serveur de coherence dans un environnement de conception vlsi multi-utilisateurs et multi-machines

par François Pêcheux

Thèse de doctorat en Sciences appliquées

Sous la direction de HABIB MEHREZ.

Soutenue en 1992

à Paris 6 .

    mots clés mots clés


  • Résumé

    Cette these presente les principes, le modele et la realisation d'un serveur de coherence dans un environnement de conception d'objets produits vlsi multi-concepteurs et multi-machines. Notre etude porte sur trois problemes: qu'est-ce que la coherence en conception vlsi? comment modeliser la coherence? comment parametrer notre modele pour une situation particuliere et comment l'appliquer a des environnements de conception quelconques? le modele de coherence repose sur la definition d'une methode, enchainement raisonne de moyens en vue d'une fin, et sur un outil methodologique de gestion de methodes, qui permet le codage informatique hierarchique de cette methode en vue de son exploitation ulterieure. Un serveur de coherence est defini, qui associe des meta-informations aux objets (objets produits, outils et methodes) et qui gere les requetes concurrentes des concepteurs. Ces meta-informations forment ensemble un graphe de contraintes d'integrite qui peut etre parcouru et exploite pour construire de maniere valide les objets. La realisation de ce modele pour la conception de vlsi, le systeme cadix, passe par la definition de quatre couches de programmation: la couche domaine d'application vlsi, rassemblant les primitives de generation procedurale, la couche gestion de la coherence, qui gere les transactions concurrentes des concepteurs, la couche reseau de contraintes, qui gere le graphe des contraintes d'integrite, et la couche reseau, qui gere le bon fonctionnement reparti du serveur et des clients. Un exemple est presente qui indique une utilisation possible du systeme cadix. La parametrisation du modele de coherence pour une situation particuliere se fait en identifiant le serveur de coherence a un systeme de production


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 123 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1992 288
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1992
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.