= Manuel de l’utilisateur =
[[PageOutline]]

== 1. Organisation des bibliothèques système ==
La figure suivante illustre la modalisation du système :[[BR]]

[[Image(modalisation_mutekp.PNG, nolink)]]

Les bibliothèques constituant le système sont :
 *  pthread : contient l'interface système des Threads POSIX.
 *  libc : contient l’interface des services système tel que malloc, printf, read, memcpy ..etc.
 *  mwmr : contient l’interface système des FIFO MWMR.
 *  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.
 *  cpu  : contient le code système en assembleur qui dépend de type de processeurs de la plate-forme.
 *  arch : contient le code C qui dépend de la plate-forme, tel que les configurations système vis-à-vis des composants de la plate-forme, les ISR d’interruption des différents types de cibles…, etc. 

En cas de modification au niveau de la configuration matérielle, il suffit d’adapter le code système des deux bibliothèques cpu et arch pour pouvoir déployer Mutek''P'' sur la nouvelle plate-forme.

== 2. API du système ==

Mutek''P'' fournit trois bibliothèques pour les Threads de l’application :

 *  Un sous-ensemble de l'API des threads POSIX :
   *  [wiki:pthread_attr_init]: initialise la structure d’un attribut.
   *  [wiki:pthread_attr_setstacksize]: permet de spécifier la taille de la pile du Thread à créer.
   *  [wiki:pthread_create]: crée un Thread
   *  [wiki:pthread_exit]: met fin à une tâche avec une valeur de retour 
   *  [wiki:pthread_self]: récupère l’identité du Thread appelant. 
   *  [wiki:pthread_equal]: teste l’égalité entre deux identificateurs.
   *  [wiki:pthread_yield]: cède le processeur pour un autre Thread.
   *  [wiki:pthread_join]: attend la fin d’un Thread. 
   *  [wiki:pthread_spin_init]: initialise un verrou à une attente active.
   *  [wiki:pthread_spin_destroy]: détruit un verrou à une attente active.  
   *  [wiki:pthread_spin_lock]: verrouille le verrou à une attente active.
   *  [wiki:pthread_spin_trylock]: version non bloquante de pthread_spin_lock.
   *  [wiki:pthread_spin_unlock]: déverrouille le verrou à une attente active.
   *  [wiki:pthread_mutex_init]: initialise un verrou à une attente passive.
   *  [wiki:pthread_mutex_destroy]: détruit un verrou à une attente passive.  
   *  [wiki:pthread_mutex_lock]: verrouille le verrou à une attente passive.
   *  [wiki:pthread_mutex_trylock]: version non bloquante de pthread_mutex_lock.
   *  [wiki:pthread_mutex_unlock]: déverrouille le verrou à une attente passive.


 *  Les fonctions implémentant le protocole MWMR :
   *  [wiki:mwmr_read]: lit une FIFO MWMR.
   *  [wiki:mwmr_write]: écrit dans une FIFO MWMR.
   *  [wiki:mwmr_init]: crée et initialise une FIFO MWMR.
	
 *  Quelques fonctions de la bibliothèque libC :
   *  [wiki:printf]: affiche une chaîne de caractères formatée sur le terminal utilisateur (tty1).
   *  [wiki:sprintf]: écrit une chaîne de caractères formatée dans un buffer.  
   *  [wiki:fprintf]: affiche une chaîne de caractères formatée sur un terminal donné.
   *  [wiki:puts]: affiche une chaîne de caractères non formatée sur le terminal utilisateur (tty1).
   *  [wiki:strlen]: calcule la longueur d'une chaîne de caractères.
   *  [wiki:malloc]: alloue de mémoire dynamique.
   *  [wiki:read]: lit un nombre fixe d'octets à partir du buffer système.
   *  [wiki:write]: écrit le contenu d'un buffer sur un terminal.
   *  [wiki:memset]: remplie une zone mémoire par une valeur donnée.
   *  [wiki:memcpy]: copie une zone moire source vers une autre zone mémoire distinction.

 *  Appels propres à l'implémentation Mutek''p'' : 
   *  [wiki:pthread_attr_setprocid_np] : permet d’affecter un numéro de processeur à un attribut.
   *  [wiki:pthread_profiling_np] : permet d'afficher, sur le terminal système (tty0), des statistiques sur le déroulement de l'application et la réactivité du système.   

== 3. Description de la plateforme ==

La figure suivante illustre la plateforme matérielle  [[BR]] 
[[Image(Plate-forme.PNG, nolink)]]
[[BR]]
Composants de la plateforme :
 * Type MPSoCs 1 seul cluster
   * 4 processeurs de type MIPS R3000 avec cache Instruction et Data (16 lignes / 8 mots).
 * Un interconnect VCI (Virtual Component Interconnect)
 * Une RAM multi segments
   * 8 segments
   * taille de 256 octets à 64ko
 * Un contrôleur TTY
   * 4 terminaux
 * Un contrôleur de timers programmables.
   * 5 timers
 * Un ICU : concentrateur d’interruptions
   * relié au processeur 0 pour 1 timer et les TTY
 * Un contrôleur de verrous matériels