| 5 | La figure suivante illustre la modalisation du système : [[BR]] |
| 6 | [[Image(modalisation_mutekp.PNG, nolink)]][[BR]] |
| 7 | Les bibliothèques constituant le système sont : |
| 8 | * pthread : contient l’implémentation d’un sous-ensemble des thread POSIX. |
| 9 | * libc : contient l’implémentation des services système tel que malloc, printf, read, memcpy ..etc. |
| 10 | * mwmr : contient l’implémentation du protocole MWMR. |
| 11 | * sys : contient le code système qui ne dépend pas de l'architecture de la plate-forme ou de type des processeurs utilisés. |
| 12 | * cpu : contient le code système en assembleur qui dépend de type des processeurs de la plate-forme. |
| 13 | * 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. |
| 14 | |
| 15 | 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. |
| 16 | |