Multiprocesseur à mémoire multiport série : architecture de la mémoire et modèle de consistance / par Dominique Carrière ; sous la direction de Daniel Litaize

Date :

Editeur / Publisher : [S.l] : [s.n] , [1996]

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Multiprocesseurs

Ordinateurs -- Mémoires

Antémémoire

Litaize, Daniel (Directeur de thèse / thesis advisor)

Université Toulouse 3 Paul Sabatier (1969-....) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : LE PROJET DE RECHERCHE M3S (MULTIPROCESSEURS A MEMOIRE MULTIPORT SERIE) A CONSISTE A ETUDIER UNE FAMILLE DE MULTIPROCESSEURS FAISANT USAGE DE MEMOIRES MULTIPORT COHERENTES RELIEES AUX PROCESSEURS DE TRAITEMENTS VIA UN RESEAU DE TYPE TOTALEMENT CONNECTE ET CONSTITUE DE LIAISONS SERIE FONCTIONNANT A TRES HAUT DEBIT. NOUS PRESENTONS DANS CETTE THESE LA CONCEPTION DU MODULE MEMOIRE ET L'IMPLEMENTATION DU PROTOCOLE DE COHERENCE DE CACHE A REPERTOIRE CENTRALISE ET SA VALIDATION. L'ETUDE DES INTERACTIONS ENTRE LE LIEN PRIVE DE TRANSPORT DE DONNEES DE CHAQUE PROCESSEUR AVEC LA MEMOIRE D'UNE PART, ET LE LIEN COMMUN DE MISE EN COHERENCE ISSU DE CETTE MEME MEMOIRE D'AUTRE PART, A FAIT APPARAITRE DES AMBIGUITES DANS L'INTERPRETATION DU PROTOCOLE INITIALEMENT UTILISE. AFIN DE GARANTIR LA SIMPLICITE DE PROGRAMMATION DE CE MULTIPROCESSEUR A MEMOIRE PARTAGEE, LE PROTOCOLE A DU ETRE ADAPTE POUR MAINTENIR LE MODELE D'EXECUTION CONVENTIONNEL: LA COHERENCE SEQUENTIELLE. CETTE MODIFICATION A ETE FAITE PAR L'APPLICATION DES PRINCIPES DE L'ORDRE FORT ENTRE LES ACCES MEMOIRE EFFECTUES AU COURS DE L'EXECUTION. LE PROTOCOLE DE M3S, A LA DIFFERENCE DES PROTOCOLES DE COHERENCE REALISES JUSQU'ICI, N'UTILISE PAS D'ACCUSES DE RECEPTION DES INVALIDATIONS. DE CE FAIT, L'ACCOMPLISSEMENT DES ACCES, QUI EST NECESSAIRE POUR GARANTIR L'ORDRE FORT, A DU ETRE REDEFINI EN EXPLOITANT LES CARACTERISTIQUES TEMPORELLES PROPRES AU MULTIPROCESSEUR. CETTE REDEFINITION A PERMIS D'ETENDRE LE MODELE DE MEMOIRE JUSQU'A LA CONSISTANCE FAIBLE, CONSIDEREE CONVENTIONNELLEMENT COMME PLUS PERFORMANTE. POUR REALISER UNE PREUVE FORMELLE, NOUS AVONS DERIVE DU PROTOCOLE PRECEDENT UN PROTOCOLE SIMPLIFIE POUR UN SEUL MODULE MEMOIRE SANS LIEN DE COHERENCE NI EXPLOITATION DES CARACTERISTIQUES TEMPORELLES. APRES AVOIR MIS EN EVIDENCE, A L'AIDE D'UN CONTRE-EXEMPLE PROUVE PAR SIMULATION, LES DIFFERENCES FONDAMENTALES ENTRE CE PROTOCOLE ET CEUX DECRITS DANS LA LITTERATURE, NOUS AVONS ETABLI FORMELLEMENT LA CONSISTANCE SEQUENTIELLE PAR RAFFINEMENT DE SYSTEMES DE TRANSITIONS