This HTML5 document contains 26 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Subject Item

n2:id

rdf:type

rdac:C10001 frbr:Work

marcrel:aut

n19:id

dc:subject

SCIENCES APPLIQUEES : INFORMATIQUE, AUTOMATIQUE THEORIQUE, SYSTEMES Ordinateurs -- Mémoires Parallélisme (informatique) PREUVE PROGRAMME/PARALLELISME/MEMOIRE PARTAGEE/GESTION MEMOIRE/SYNCHRONISATION/GLANEUR DE CELLULES/GC A GENERATION/GC CONCURRENT/TLA PROGRAM PROOF/PARALLELISM/SHARED MEMORY/STORAGE MANAGEMENT/SYNCHRONIZATION Thèses et écrits académiques Mémoire partagée répartie Informatique -- Gestion Synchronisation

skos:prefLabel

Conception, realisation et certification d'un glaneur de cellules concurrent

dcterms:language

n13:fra

dcterms:subject

n4:id n6:id n7:id n10:id n20:id n21:id

dc:title

Conception, realisation et certification d'un glaneur de cellules concurrent

skos:note

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

dc:type

Text

n11:P1001

n12:T1009

rdaw:P10219

1995

rdau:P60049

n16:1020