skip to main content

CONCEPTION, REALISATION ET CERTIFICATION D'UN GLANEUR DE CELLULES CONCURRENT

Doligez, Damien ; LEVY, J.-J.

S.l. : s.n., 1995

Voir les exemplaires

  • Titre:
    CONCEPTION, REALISATION ET CERTIFICATION D'UN GLANEUR DE CELLULES CONCURRENT
  • Auteur: Doligez, Damien
  • Autre(s) auteur(s): LEVY, J.-J.
  • Sujets: Synchronisation;
    Mémoire partagée répartie;
    Parallélisme (informatique);
    Informatique -- Gestion;
    Ordinateurs -- Mémoires;
    GARBAGE COLLECTOR;
    LANGAGE ML;
    Preuve de programme;
    H-LOGICIEL
  • Description: Thèse de doctorat
    LA GESTION MANUELLE DE LA MEMOIRE EST UNE SOURCE INEPUISABLE D'ERREURS FACILES A COMMETTRE ET DIFFICILES A REPERER. LA GESTION AUTOMATIQUE DE LA MEMOIRE LIBERE LE PROGRAMMEUR DE CES ERREURS, ET UN LANGAGE DE HAUT NIVEAU NE SE CONCOIT PLUS SANS GESTION AUTOMATIQUE DE LA MEMOIRE. DANS LE CAS D'UNE MACHINE PARALLELE, LA GESTION DE LA MEMOIRE DEVIENT UN PROBLEME DELICAT. CETTE DIFFICULTE AUGMENTE ENCORE L'INTERET D'UN GESTIONNAIRE DE MEMOIRE AUTOMATIQUE (GC). CETTE THESE EST CONSACREE A LA CONCEPTION, LA PREUVE ET L'IMPLEMENTATION D'UN GC DESTINE A ETRE UTILISE AVEC DES PROGRAMMES ECRITS DANS UN LANGAGE DE HAUT NIVEAU AUTORISANT L'EXECUTION PARALLELE AVEC UN MODELE A MEMOIRE PARTAGEE. C'EST UN GC CONCURRENT QUI UTILISE AU MINIMUM LES PRIMITIVES DE SYNCHRONISATION COUTEUSES. COMME POUR TOUT ALGORITHME PARALLELE, IL EST DIFFICILE D'AVOIR CONFIANCE DANS CET ALGORITHME SI ON NE DISPOSE PAS D'UNE PREUVE FORMELLE DE SA CORRECTION. NOUS DONNONS UNE TELLE PREUVE, EN UTILISANT LE FORMALISME TLA. NOUS DONNONS AUSSI UNE EXTENSION DE CET ALGORITHME PAR UN SYSTEME DE GENERATIONS, QUI PERMET D'OBTENIR DES PERFORMANCES TRES SATISFAISANTES. CETTE EXTENSION UTILISE DE FACON ORIGINALE LE TYPAGE STATIQUE FORT DU LANGAGE ML POUR FAIRE COOPERER LE PROGRAMME AVEC LE GC. CETTE EXTENSION PEUT AUSSI S'ADAPTER A D'AUTRES GC CONCURRENTS OU PRALLELES
  • Éditeur: S.l. : s.n.
  • Date de publication: 1995
  • Format: 194 P.
  • Langue: Français
  • Identifiant: ISBN 2-7261-0928-4
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré