Modèle de stockages distribués appliqué aux caches hiérarchiques

Caches’ systems are ubiquitous in modern computer systems, eitherembedded in hardware (processors, disks controlers, . . . ) or in software(file systems, databases, web servers, . . . ). A large amount ofwork has been dedicated to design, implement and optimise thosesystems. However there exists to the best of our knowledge no universalconception of what is and what achieves a cache, and thereforeno tool allowing the conception and the simulation of systemsdefined this way. In this thesis we propose such a generic and universalpoint of view on caches and we develop a new cache modeltoward this direction. A simulator implementing this model is realisedand examples are developed in order to illustrate the usageof the model and validate its relevance.Les systèmes de cache sont omniprésents dans les systèmes informatiquesmodernes, qu’ils soient embarqués dans le matériel (processeurs,contrôleurs de disques, . . .) ou le logiciel (systèmes de fichiers,bases de données, serveurs web, . . .). Une grande quantité de travauxont été réalisés pour concevoir, implémenter et optimiser cessystèmes. Cependant il n’existe pas à notre connaissance de conceptionuniverselle de ce qu’est et réalise un cache, ni donc d’outil permettantla conception et la simulation de système définis ainsi. Danscette thèse nous proposons un tel point de vue générique et universelsur les caches et nous développons un nouveau modèle de cacheallant dans cette direction. Un simulateur implémentant ce modèleest réalisé et des exemples sont développés afin d’illustrer l’usage dumodèle et d’en valider la pertinence