Salers
Salers est le nom d’une race française de vaches originaire du Cantal dans le centre de la France. Elle est notamment élevée pour son lait utilisé pour le fromage Salers.
Cette page et les suivantes décrivent le processeur Salers. Il permet l’exécution dans l’ordre de plusieurs instructions par cycle. Il est conçu autour d’un pipeline et de deux niveaux de mémoires caches. Basé sur l’ISA RISC-V, il est développé en Chisel3 et se veut hautement configurable (taille des données, nombre d’étages, extensions du jeu d’instructions supportées etc.).
Une version précédente de Salers a servi de base pour certains travaux sur l’isolation microarchitecturale [Esco2021]. Elle supportait notamment plusieurs fils d’exécutions simultanés (multithreading). En théorie, si la partie Back-End permet toujours le support de plusieurs harts, la version globale actuelle a été simplifiée et ne permet plus qu’un fil d’exécution.
Vue globale
Support du jeu d’instructions
| Extension | Version | Implementée ? | Testée ? | Optionnelle ? | Dépendances |
|---|---|---|---|---|---|
| M | 2.0 | ||||
| A | 2.1 | ||||
| B | 1.0.0 | ||||
| Zicsr | |||||
| Zicntr | |||||
| Zifencei | 2.0 |
Si les versions 32 et 64 bits sont implémentées, seule la version 32 bits est actuellement utilisée et testée. Un travail supplémentaire est nécessaire pour vérifier les instructions spécifiques à la version 64 bits, comme celles dédiées à la manipulation de mots de 32 bits.