Manuel d'utilisateur :

I. Organisation des bibliothèques système

La figure suivante illustre la modalisation du système :

Les bibliothèques constituant le système sont :

• pthread : contient l’implémentation d’un sous-ensemble des thread POSIX.
• libc : contient l’implémentation des services système tel que malloc, printf, read, memcpy ..etc.
• mwmr : contient l’implémentation du protocole 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 des processeurs de la plate-forme.
• 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.

Les bibliothèques pthread, libc et mwmr sont indépendantes de la spécification de la plate-forme.

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.

II. API du système

MUTEKP fourni trois bibliothèques pour les threads de l’application :

• Un sous-ensemble de l'API des threads POSIX :
  • pthread_attr_init: initier la structure d’un attribut.
  • pthread_create?: créer une tâche
  • pthread_exit?: mettre fin à une tâche avec une valeur de retour
  • pthread_self?: Donner l’indenté du thread appelant.
  • pthread_equal?: tester l’égalité entre deux identificateur.
  • pthread_yield?: céder le processeur pour un autre thread.
  • pthread_join: attendre la fin d’un thread.
  • pthread_spin_init: initialiser un verrou à une attente active.
  • pthread_spin_destroy: détruire un verrou.
  • pthread_spin_lock: verrouiller le verrou à une attente active.
  • pthread_spin_trylock: version non bloquante de pthread_spin_lock.
  • pthread_spin_unlock: déverrouiller le verrou à une attente active.

• Les fonctions implémentant le protocole MWMR :
  • mwmr_read?: lecture d’un FIFO MWMR.
  • mwmr_write?: écriture dans un FIFO MWMR.
  • mwmr_init?: création et initialisation d’un FIFO MWMR.

• Quelques fonctions de la bibliothèque libC :
  • printf?: afficher une chaîne de caractères formatée sur le terminal utilisateur (tty1).
  • sprintf?: écrire une chaîne de caractères formatée dans un buffer.
  • fprintf?: afficher une chaîne de caractères formatée sur un terminal donné.
  • puts?: afficher une chaîne de caractères non formatée sur le terminal utilisateur (tty1).
  • strlen?: calculer la longueur d'une chaîne de caractères.
  • malloc?: allocation de mémoire dynamique.
  • read?: pour lire un nombre fixe d'octets à partir du buffer système.
  • write?: pour écrire le contenu d'un buffer sur un terminal.
  • memset?: remplir une zone mémoire par une valeur donnée.
  • memcpy?: copie une zone moire source vers une autre zone mémoire distination.

• Appels propres à l'implémentation Mutekp :
  • pthread_attr_setprocid_np : permet d’affecter un numéro de processeur à un attribut.
  • 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.

III. Description de la plateforme

La figure suivante illustre la plateform SocLib? :

IV. L’Organisation des fichiers systèmes

V. La génération d’une application