Conception pleinement asynchrone : methodologie et application a la realisation d'un processeur de communication pour machine parallele

par ERIC SENN

Thèse de doctorat en Sciences appliquées

Sous la direction de BERTRAND ZAVIDOVIQUE.

Soutenue en 1998

à Paris 11 .

    mots clés mots clés


  • Résumé

    Dans cette these, nous nous proposons d'etudier la realisation d'un processeur de communication pleinement asynchrone pour une machine parallele. L'architecture originale de la machine est presentee. Son caractere intrinsequement asynchrone nait de son fonctionnement et de son modele de programmation. La synchronisation de son reseau d'interconnexion implique le choix d'un mode de controle. Les modes de controle synchrone et asynchrone sont compares. Ce dernier presente divers interets. Il satisfait notamment les contraintes physiques emergeant de la construction de la machine, en supportant naturellement l'asynchronisme de son fonctionnement. Le controle pleinement asynchrone est prefere pour ses performances et fiabilite. Apres un etat de l'art des techniques de conception asynchrone, nous proposons un formalisme original permettant d'evaluer objectivement leur rapport qualite sur cout, et de les comparer. Nous developpons une methodologie basee sur une ecriture de haut niveau du type processus communiquants, puis une traduction en graphes de transitions puis en graphe d'etats. Nous introduisons un ensemble de concepts et de proprietes originaux pour garantir la fiabilite des implantations. Celles-ci utilisent plusieurs cellules particulieres que nous devons construire. Le dessin original de ces cellules personnalisees, pour leur implantation micro-electronique, est presente. Notre methode est ainsi appliquee a la specification de notre routeur et a son implantation. Le circuit, de retour de fabrication, est teste, et ses performances mesurees. Les performances globales de la machine sont extrapolees de ces resultats.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 271 P.
  • Annexes : 114 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-013707
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.