About: Conception, realisation et certification d'un glaneur de cellules concurrent   Goto Sponge  NotDistinct  Permalink

An Entity of Type : rdac:C10001, within Data Space : data.idref.fr associated with source document(s)

AttributesValues
type
Author
dc:subject
  • Thèses et écrits académiques
  • Ordinateurs -- Mémoires
  • Parallélisme (informatique)
  • SCIENCES APPLIQUEES : INFORMATIQUE, AUTOMATIQUE THEORIQUE, SYSTEMES
  • Synchronisation
  • Informatique -- Gestion
  • Mémoire partagée répartie
  • 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
preferred label
  • Conception, realisation et certification d'un glaneur de cellules concurrent
Language
Subject
dc:title
  • Conception, realisation et certification d'un glaneur de cellules concurrent
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
http://iflastandar...bd/elements/P1001
rdaw:P10219
  • 1995
has content type
is primary topic of
is rdam:P30135 of
Faceted Search & Find service v1.13.91 as of Aug 16 2018


Alternative Linked Data Documents: ODE     Content Formats:       RDF       ODATA       Microdata      About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data]
OpenLink Virtuoso version 07.20.3229 as of May 14 2019, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (70 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software