• Cheddar, c'est quoi ?
  
• Télécharger le source, les binaires
  
• Installer Cheddar
  
• Dernière version
• Exemple d'utilisation
• Liste de diffusion
• Documents, publications
• Matériel pédagogique
• Auteurs
• Rapports de bugs
  
• Feedback utilisateurs
  

Cheddar, c'est quoi ?

Cheddar est un outil de simulation permettant de calculer différents critères de performance (contraintes temporelles, dimensionnement de ressources). L'outil permet, entre autre, de tester le respect des contraintes temporelles d'un jeu de tâches modélisant une application/un système temps réel. Cet outil a initialement été écrit dans un but pédagogique, mais il peut néanmoins, dans une certaine mesure, aider les personnes qui étudient/conçoivent des algorithmes d'ordonnancement temps réel ou qui souhaitent étudier les contraintes temporelles d'une application temps réel simple. Cheddar est maintenu par le LISYC, Université de Brest.

Cheddar est principalement constitué de deux composants logiciel :

• Un éditeur qui permet à l'utilisateur de décrire l'application à analyser et sur lequel, les résultats de simulation seront présentés.
• Une bibliothèque comportant les principaux résultats de la théorie de l'ordonnancement temps réel ainsi que quelques outils de files d'attente.

Pour chaque résultat d'analyse, Cheddar affiche le nom ou la référence de la méthode de calcul appliquée (voir la liste des publications/documents de cette page).

Les principales fonctionnalités de l'outil sont :

• Calcul d'ordonnancement pour la plupart des algorithmes "standards" :
  • Rate Monotonic (ou RM).
  • Earliest Deadline First (ou EDF).
  • Deadline Monotonic (ou DM, Inverse Deadline).
  • Least Laxity First (ou LLF).
  • Ordonnancement POSIX 1003b (politiques SCHED_FIFO, SCHED_RR, SCHED_OTHERS).
  • A partir d'un ordonnancement, l'environnement de simulation permet d'obtenir :
    • Les temps de blocage sur ressources partagées (bornes maximales, minimales, délais moyens).
    • Les temps de réponse des tâches (bornes maximales, minimales, délais moyens).
    • Nombre de commutations de contexte, de préemption.
    • Recherche d'interblocage, d'inversion de priorité.
    • Echéances manquées.
    • ...
  • ...
• Possibilité d'appliquer des tests de faisabilité dans le cas préemptif ou non préemptif :
  • Borne sur les temps de réponse (pour EDF, LL, DM et RM).
  • Borne sur les temps de blocage sur ressources partagées (avec PCP et PIP),
  • Test sur le taux d'utilisation processeur (avec EDF, LLF, RM et DM).
• Support des tâches périodiques, apériodiques, activées aléatoirement (loi de Poisson, Exponentiel). Support de tâches périodiques avec jitter, offset et avec délais critiques > période.
• Support des ressources partagées (simulation, calcul de borne de temps de blocage). Protocoles supportés : PIP, PCP.
• Expression et ordonnancement de tâches avec contraintes de précédence ;
  • Temps de réponse de bout en bout avec le calcul Holistique de Tindell (test de faisabilité).
  • Modification de paramètres de tâches avec la méthode de Chetto et Blazewicz ( test de faisabilité et simulation).
  • Ordonnancement de tâches avec graphe de précédences pour système multi-processeurs.
• Outils de partitionnement pour système multi-processeurs.
• Outils pour analyser l'utilisation de tampons :
  • Test de faisabilité pour calculer une borne sur la taille des tampons.
  • Outils de simultation pour analyser le taux d'occupation des tampons à partir d'une simulation.
• Ordonnancement de messages.
• Services permettant d'étendre le simulateur par adjonction d'ordonnanceurs, de modèle de tâches ou d'analyseur d'événements.
• ...

L'image ci-dessous est une copie d'écran de l'outil. On y va dans la partie haute les chronogrammes issues de l'ordonnancement des tâches, puis, dans la partie basse, les résultats concertant l'analyse de l'ordonnancement ainsi que les tests de faisabilité.

Télécharger le source, les binaires

• Binaires Linux : Cheddar-1.3p5-linux-bin.tar.gz (ce fichier contient aussi toutes les bibliotheques requises).
• Binaires Windows : Cheddar-1.3p5-win32-bin.zip (ce fichier contient aussi toutes les DLL requises).
• Binaires solaris : Cheddar-1.3p5-solaris-bin.tar.gz (ce fichier contient aussi toutes les bibliotheques requises).

Cheddar est un outil open-source distribué sous la license GNU.
Vous pouvez télécharger la version stable actuelle du source ici .

Les versions précédentes sont ici (voir ChangesLog pour un historique des modifications).

Vous pouvez aussi consulter les versions non stables produites tous les soirs depuis le répertoire CVS. Le cas échéant, nous disposons d'un accès CVS (à demander par la liste de diffusion de Cheddar).

Installer Cheddar

1) Plates-formes testées :

• Linux Redhat (6.1, 6.2, 7.1 et 9.1).
• Sparc/Solaris 2.7, 2.8 et 2.9.
• Windows Me, 95, 98, 2000, NT4 and XP.
• Cheddar devrait fonctionner sur toute plate-forme supportée par GNAT/GtkAda.

2) Logiciel nécessaire :

Sur Windows, il suffit de décompresser le fichier zip est de lancer Cheddar depuis le répertoire utilisé lors de la décompression. Sur Unix, vous avez besoin de La commande GNU make (gmake).

3) Installation pour Unix :

Sur Unix, la façon la plus simple pour installer Cheddar est la suivante :

1. Editez le Makefile afin de désigner le répertoire où doit être installé le logiciel. Pour ce faire, vous devez mettre à jour la variable CHEDDAR_ROOT. Par défaut, Cheddar sera installé dans /usr/local
2. Tapez `gmake' pour installer le logiciel.
3. Modifiez vos variables shell PATH et LD_LIBRARY_PATH (voir le fichier INSTALL).
4. Lancez et testez l'outil.

Dernière version

Liste de diffusion

Documents et publications

• Cheddar : a Flexible Real Time Scheduling Framework. F. Singhoff, J. Legrand, L. Nana, L. Marcé. ACM Ada Letters journal, 24(4):1-8, ACM Press. Also published in the proceedings of the ACM SIGADA International Conference, Atlanta, 15-18 November, 2004.
• Scheduling and Memory requirement analysis with AADL. F. Singhoff, J. Legrand, L. Nana, and L. Marcé. ACM Ada Letters journal, 25(4):1-10, ACM Press. Also published in the proceedings of the ACM SIGADA International Conference, Atlanta, 14-17 November, 2005.
  
  
• Cheddar User's Guide. Frank Singhoff, Jérôme Legrand. EA 2215 Technical report number singhoff-01-2003, September 2003.
• The Cheddar FAQ.
• Framework User's guide. Jérôme Legrand, Frank Singhoff. EA 2215 Technical report number legrand-01-2004, July 2004.
  
  
  
  
• Toutes les publications utilisées dans Cheddar peuvent être consultées ici.
• Toutes les publications associées à Cheddar peuvent être consultées ici.

Matériel pédagogique

• The Monash University (C. Kopp). Cached documents . In english.
• Centro Universitario de Mérida (H. S. Santamaria). Cached documents . In spanish.
• University of Rhode Island (V. Fay-Wolfe). Cached documents . In english.
• Universitat Politécnica de Catalunya (R. Costa-Castelló). Cached documents . In English and Catalan.
• University of Brest (F. Singhoff). Cached documents . In french.

Auteurs

Rapport de bugs

Les rapports de bug peuvent être envoyer sur cheddar@listes.univ-brest.fr (Attention, pour poster sur cette liste, vous devez d'abord y être abonné).

Feedback utilisateur

Vous utilisez Cheddar ? si c'est le cas, faites nous le savoir et n'hesitez pas à nous indiquer ce qui manque à cet outil.


Contact et questions peuvent être posées sur : cheddar@listes.univ-brest.fr (Attention, pour poster sur cette liste, vous devez d'abord y être abonné).

Merci à tous ceux qui nous ont aidé par leurs commentaires, rapports de bug ou conseils.