Test de Systèmes d'exploitation dans les conditions d'un TP

© M. Laporte laporte@romarin.univ-aix.fr - D. Mathieu mathieu@romarin.univ-aix.fr
I.U.T.d'Aix en Provence - Département Informatique
Créé le 06/11/2000 - Dernière mise à jour : 06/11/2001

Tout document autorisé

Sommaire

Outils nécessaires à la communication au travers d'une file de messages
Protocole de communication, adressage du consommateur, messages de taille variable
Gestion des priorités
Gestion de catégories de messages

Outils nécessaires à la communication au travers d'une file de messages

Voir le support de cours "Les supports du modèle Producteurs/Consommateurs sous Unix" et plus particulièrement le paragraphe "files de messages".

    Dans les fichiers nsSysteme.h, nsSysteme.hxx et nsSysteme.cxx, vous disposez des wrappers correspondants à l'utilisation des files de messages (espace de noms nsSysteme) :

// Fonctions concernant les files de messages
void Msgctl (int msqid) throw (CExcFctSystIPC);
void Msgctl (int msqid, int cmd, ::msqid_ds * buf)
                        throw (CExcFctSystIPC);
int Msgget (::key_t key, int msgflg)
                        throw (CExcFctSystIPC);
// key != IPC_PRIVATE
int Msgget (::key_t key) throw (nsUtil::CExcFct);
int Msgrcv (int msqid, void * msgp, std::size_t msgsz,
            long msgtyp, int msgflg = 0)
                         throw (CExcFctSystIPC);
void Msgsnd (int msqid, void * msgp, std::size_t msgsz, int msgflg = 0)
                         throw (CExcFctSystIPC);

    Dans le fichier nsMsg.h, vous disposez des déclarations suivantes :

/**
*
* @File : nsMsg.h
*
* @Authors : M. Laporte
*
* @Date : 06/11/2001
*
* @Version : V1.0
*
* @Synopsis :
*
**/
#if !defined __NSMSG_H__
#define      __NSMSG_H__
#include <cstddef>      // size_t
#include <unistd.h>     // pid_t
namespace nsMsg
{
    struct SMsg
    {
        long m_type;                 // partie "type"
        ::pid_t m_Pid;                // partie "utile"
    }; // SMsg
    const long   CstMaxNumber = 4;
    const size_t CstMaxTaille = 128;
    struct SRep
    {
        long m_Type;                   // partie "type"
        char m_Message [CstMaxTaille]; // partie "utile"
    }; // SRep
} // namespace nsMsg
#endif __NSMSG_H_

Protocole de communication, adressage du consommateur, messages de taille variable

exo_01

Liste des fichiers créés ou modifiés : exo_01d.cxx, exo_01c.cxx, exo_01p.cxx, Makefile

Dans le fichier exo_01d.cxx, écrire un "démon" qui gère une file de messages dont la clé est votre numéro d'utilisateur.

Dans le fichier exo_01p.cxx, écrire un "producteur" qui :

acquiert la file de messages déjà existante, de clé votre numéro d'utilisateur;
dans une boucle sur i, répétée pour tous les arguments de la commande :

lit un message (SMsg) de type est 1;
crée un message (SRep), dont la partie "type" est la partie "utile" du message lu, et dont la partie "utile" est le i^ème argument de la commande;
envoie ce message dans la file;

se termine normalement.

On suppose que la valeur de la constante CstMaxTaille est suffisante pour que les arguments puissent être stockés dans le tableau m_Message, y compris le caractère '\0'.

Dans le fichier exo_01c.cxx, écrire un "consommateur" qui :

acquiert la file de messages déjà existante de clé votre numéro d'utilisateur;
dans une boucle infinie :

crée un message (SMsg), dont la partie "type" est 1 et la partie "utile" est le pid du processus (exo_01c);
envoie ce message dans la file;
lit dans la file un messages (SRep), dont la partie "type" est son propre numéro de processus;
affiche la partie "utile" de ce SRep;

se termine normalement.

Modifier le fichier Makefile.

Corrigés : Makefile - exo_01d.cxx - exo_01c.cxx - exo_01p.cxx

Sommaire

Gestion des priorités

exo_02

Dans cet exercice, il s'agit de gérer des priorités des messages qui peuvent aller de 1 à CstMaxNumber (niveau 1 = priorité maximale)

Liste des fichiers créés ou modifiés : exo_02c.cxx, exo_02p.cxx.

Dans le fichier exo_02p.cxx, écrire un "producteur" qui :

acquiert la file de messages déjà existante, de clé votre numéro d'utilisateur;
dans une boucle sur i, répétée pour tous les arguments de la commande :

crée un message (SRep), dont la partie "type" est l'indice de boucle (modulo CstMaxNumber) + 1 (le type ne doit en aucun cas être 0), et dont la partie "utile" est le i^ème argument de la commande;
envoie ce message dans la file;

se termine normalement.

Dans le fichier exo_02c.cxx, écrire un "consommateur" qui :

acquiert la file de messages déjà existante, de clé votre numéro d'utilisateur;
dans une boucle infinie :

dans une boucle variant de 1 à CstMaxNumber (priorité minimale) :

essaie de lire un message (SRep) dont la partie "type" est la priorité en cours (indice de boucle);
s'il existe un message de ce type, affiche la partie "utile" et sort de la boucle interne;
si aucun message de ce type n'existe (errno == ENOMSG) passe à l'itération (interne) suivante;

se termine normalement.

Si vous avez suivi les consignes pour l'exo_02c, vous vous apercevez que le processus fait de l'attente active. Que faut-il ajouter et où, dans exo_02c.cxx, pour que l'attente soit passive.

Corrigés : exo_02c.cxx - exo_02p.cxx

Sommaire

Gestion de catégories de messages

exo_03

Dans cet exercice, il s'agit de gérer des messages en classes d'équivalence. Le type d'un message envoyé sera la taille maximale d'un message (CstMaxTaille) diminuée de la longueur de la chaîne contenue dans la partie "utile" du message. Le type sera donc d'autant plus petit que la taille du message sera longue.

Liste des fichiers créés ou modifiés : exo_03c.cxx, exo_03p.cxx.

Dans le fichier exo_03p.cxx, écrire un "producteur" qui :

acquiert la file de messages déjà existante, de clé votre numéro d'utilisateur;
dans une boucle sur i, répétée pour tous les arguments de la commande :

crée un message (SRep) dont la partie "type" est égale à CstMaxTaille diminué de longueur de la chaîne du i^ème argument de la commande, et dont la partie "utile" est ce i^ème argument;
envoie ce message dans la file;

se termine normalement.

Dans le fichier exo_03c.cxx, écrire un "consommateur" qui :

acquiert la file de messages déjà existante, de clé votre numéro d'utilisateur;
dans une boucle infinie :

Dans une boucle variant de 10 en 10 jusqu'à dépasser CstMaxTaille
essaie de lire un message (SRep) dont la partie "type" est inférieure ou égale à l'indice d'itération;
s'il existe un message de ce type, affiche sa partie "utile" et sort de la boucle interne;
si aucun message de ce type n'existe (errno == ENOMSG) passe à l'itération (interne) suivante;

se termine normalement.

Corrigés : exo_03c.cxx - exo_03p.cxx

Sommaire

I.U.T.d'Aix en Provence - Département Informatique