| | 15 | Les bibliothèques constituant le système sont : |
| | 16 | * pthread : contient l’implémentation d’un sous-ensemble des thread POSIX. |
| | 17 | * libc : contient l’implémentation des services système tel que malloc, printf, pipe, memcpy …etc. |
| | 18 | * mwmr : contient l’implémentation du protocole MWMR. |
| | 19 | * cpu : contient le code système en assembleur qui dépend de type des processeurs de la plate-forme. |
| | 20 | * arch : contient le code C qui dépend de la plate-forme tel que des configurations système vis-à-vis des composants de la plate-forme, les ISR d’interruption des différant types de cibles …etc. |
| | 21 | |
| | 22 | Les bibliothèques pthread, libc et mwmr sont indépendantes de la spécification de la plate-forme. |
| | 23 | |
| | 24 | En cas de modification au niveau de la configuration matériel, il suffit d’adapter le code système des deux bibliothèques cpu et arch pour pouvoir déployer MUTEKP sur la nouvelle plate-forme. |
