Systèmes temps réels. Fabien Calcado, Matthieu Lemerre CEA, LIST. Contenu du cours. Généralités. Plan du cours.

Transcription

1 Contenu du cours Systèmes temps réels Fabien Calcado, Matthieu Lemerre CEA, LIST Cours introduction EFREI Cours 1: Qu est ce que le temps réel? Cours 2: Parallélisme, communication et contrôle de la concurrence Rappels d architecture (notion de bus, interruption, atomicité, modèle von Neumann) Mécanismes de contrôle de la concurrence (sémaphores, spinlocks, instructions atomiques) Cours 3: Ordonnancement, analyse de faisabilité + fiabilité Algorithmes d ordonnancement Garanties et notion de faisabilité Cours introduction EFREI Plan du cours Relations entre les E / S Un système de traitement de l information est appelé à remplir une mission : Mise en œuvre d un certain nombre de fonctions Suites d instruction codées (programme) Des informations codées et organisées Réalisation Nécessite la mise en œuvre de ressources matérielles HW => relativement figées Logiciels MW et SW spécifiques Cours introduction EFREI Cours introduction EFREI

2 Qualités des logiciels Efficaces réaliser les fonctions requises avec des performances adaptées Fiables Corrects, complets, sûrs Testables compréhensibles, lisibles, structurées, auto-descriptifs Portables sur différentes machines Maintenables corrections Réutilisables évolutions Certifiables prouver le bon comportement Cours introduction EFREI Cela implique: Une conception conforme à la mission du système Une réalisation conforme à la conception Faire une analyse des spécifications: Des méthodes et des règles Des techniques élémentaires Conception / programmation / mise en oeuvre Cours introduction EFREI Quelques chiffres: Le logiciel représente 70% à 80% du coût 50% du budget sont pour les tests et la maintenance 60% des erreurs sont dues à la conception 54% des erreurs sont détectées chez les clients Cours introduction EFREI L approche modulaire: Permet la division de la complexité d un problème Le partage du travail à réaliser Les méthodes pour la cohérence des modules: Cohérence logique répartition par classe de problème, matériel ou logiciel Cohérence temporelle synchronisation, enchaînement des traitements Cohérence procédurale organisation des algorithmes Cohérence par données communes approche objet Cohérence fonctionnelle 1 fonctionnalité donne 1 module Cours introduction EFREI

3 Le modèle en V: Cours introduction EFREI Le modèle en V: Analyse des besoins Experts du domaine d application Environnement, rôle, ressources, contraintes Spécification globale Description de l action du logiciel, pas de décision sur la réalisation Conception architecturale détaillée Décomposition du logiciel, spécification des interfaces, description de la réalisation des composants Programmation ~15% de l activité Gestion de configuration et intégration Permettre l évolution des composants, assemblage Vérification et validation Adéquation aux besoins, satisfaction de la spécification Analyses, tests Cours introduction EFREI Plan du cours Système simple e S s Relations entre les E / S e : entrée du système S s = F(e) S : processus A priori, non temps-réel s : sortie du système S Analyse Structure de données, Algorithmes Etat 1 Programme Etat 2 Cours introduction EFREI Cours introduction EFREI

4 Système classique (Multiple flots de données) Système temps-réel e i S s i (e i, t i ) S (s i, T i ) e i : entrée du système S s i = F(e i ) s i : sortie du système S s i = F(e i,e i-1,e i-2 ) = F(E i-1, e i ) Caractéristiques Non terminaison du système Cadencement évènementiel Les traitements et les E / S se succèdent et s entrelacent Le système peut attendre un évènement Les flots de données suivent des lois temporelles (e i, t i ) : évènements reçus par le système S (s i, T i ) : évènements émis par le système S i i s i = F(E i-1, e i, t i ) T i = G(E i-1, e i, t i ) Cours introduction EFREI Cours introduction EFREI Système temps-réel numérique Utilité temporelle normale: (e i, t i ) S (s i, T i ) Milieu continu milieu discontinu Les lois évènementielles sont discrétisées Conséquence de la numérisation E / S approximatives Calculs exacts (!) Applications directes: Traitement du signal, Filtrage non linéaire t Cours introduction EFREI Cours introduction EFREI

5 Utilité temporelle dans le cas critique: Définition d un système temps réel: Un système temps réel est un système qui a la capacité de répondre à des évènements asynchrones issus du monde physique dans des délais prédéterminés Systèmes temps réel dur (Hard Real-Time System / Time Critical): Une contrainte non respectée est considérée comme une défaillance du système Entraîne un risque de dysfonctionnement, risque d incident Life Critical Real-Time System (safety-critical) Idem, mais incident -> accident - Attention: Un système temps réel n est pas un système rapide! Cours introduction EFREI Cours introduction EFREI Le caractère temps-réel d un système découle de ses spécifications. Les lois d arrivées des entrées doivent être strictement définies et connues. Les résultats fournis sont très souvent spécifiés de manières incomplètes: interactions sur les données communes utilités des résultats Deux systèmes ayant la même mise en œuvre Temps réel ou non vis-à-vis des spécifications Le terme temps-réel est souvent employé à tord et à travers! Exemple des systèmes intéractifs Systèmes simples pour lesquels la contrainte temps-réel peut être négligée. Exemple: messagerie électronique La réciproque est aussi vraie: par abus de langage, un système fondé sur des techniques courantes en temps-réel sera souvent dit temps-réel. Exemple: systèmes Multi-Utilisateurs Cours introduction EFREI Cours introduction EFREI

6 Plan du cours Relation entre les E / S Systèmes de transmission Relations entre les E / S Peut être temps-réel Débits ou temps de réponse Fiabilité Disponibilité Cours introduction EFREI Cours introduction EFREI Relation entre les E / S Relation entre les E / S Systèmes d acquisition: Systèmes de contrôle commande: Le système physique impose le rythme d acquisition Les entrées se font en temps-réel Les sorties peuvent être temps-réel Le système physique impose ses lois de commande Les entrées et les sorties se font en temps-réel Le système est en boucle fermée Cours introduction EFREI Cours introduction EFREI

7 Relation entre les E / S Relation entre les E / S Systèmes de contrôle commande multifonctions: Exemples Asservissements, alarmes, protections, communication inter-systèmes Plusieurs flots de contrôles (de données) Systèmes multitâches ou multithreads Un seul système global à prédire Synchronisation, communication Composition de flot multiple en un seul Produit synchronisé d automates Ordonnancement (statique ou dynamique) Note: modulaire n implique pas compositionnel! Cours introduction EFREI La notion de flot de contrôle multiple est liée: Aux acquisitions non synchrones (lois différentes) Aux différentes courbes d utilités Critère de priorités Utilité directe ou indirecte Importance de la fonction Conséquences: Préemption (interruption) de traitement long au profit de traitement plus court Entrelacement possible de plusieurs suites d instructions (problème de cohérence possible) Ou bien, éviter les arrivées asynchrones (difficile en pratique) Cours introduction EFREI Plan du cours Relations entre les E / S Cours introduction EFREI La préemption: gérer les différentes échelles de temps E1 E2 E : Evènements : traitement Avantages Grande souplesse Facile Optimisation possible Inconvénients Cohérence des données (entrelacement) Pertinence (violation d une contrainte essentielle) Partage des ressources (deadlock, famine) t Cours introduction EFREI

8 La programmation en boucle Eviter le multitâche en adoptant une programmation en boucle Flot de contrôle statique Pas de préemption Avantages «Très simple» Garanties par le temps de cycle Inconvénients Rigide Pas optimal Peu performant Composition parallèle de programme P = P 1 * P 2 Connaissant P 1 et P 2, que peut-on dire de P? Caractériser les intéractions, explicites ou implicites: Cas asynchrone: produit possible ou non Cas synchrone: produit synchronisé d automate La programmation en boucle permet une composition rigide et simple, mais peu efficace Une interruption peut introduire une désynchronisation Cours introduction EFREI Cours introduction EFREI Plan du cours Relations entre les E / S Cours introduction EFREI Confiance des systèmes critiques est fondée sur quelques grands principes: Robustesse, tolérance aux fautes détection et confinement d anomalies, modes dégradés, etc... Maîtrise des mécanismes mis en œuvre exemple: problèmes des logiciels à interruption Déterminisme comportemental reproductibilité des tests et essais: les mêmes causes impliquent les mêmes effets Application du principe de diversification prévenir les pannes de cause commune (redondance ou diversité fonctionnelle, etc..) Défense en profondeur Cours introduction EFREI

9 Reproductibilité et tests Les défauts logiciels systématiques Les défaillances dues aux logiciels systématiques (e.g. division par zéro) non systématiques (e.g. synchronisation et non cohérence des données) Difficulté majeure pour la sûreté de fonctionnement Les approches statistiques sont inadaptées pour le logiciel Dès que la probabilité de défaillance admissible du système est très basse Le logiciel n a pas de fiabilité quantifiable Objectifs pour la sûreté de fonctionnement des systèmes à logiciel prépondérant comportements du système prédictible tests du systèmes reproductibles Construction du déterminisme Cours introduction EFREI Tests et déterminisme Système non déterministe Une petite variation des entrées (incontournable) entraîne une grande variation du comportement tests successifs peuvent donner des résultats différents tests et système final peuvent donner des résultats différents Le test a peu de valeur pour la validation du système Il faut agir en amont pour assurer structurellement le déterminisme Cours introduction EFREI Activités à exécuter sur des calculateurs: Acquérir les données décrivant le procédé et l environnement (entrées) Traiter ces données (algorithmes) Commander des actionneurs (sorties) Contraintes temporelles spécifiées (explicites ou non): Rythmes: Tstart = T0,T1,T2... Intervalles temporels de validité pour les activités élémentaires: Tstart < AE < Tend Dépendances entre les activités (relations d ordres, sections critiques) Coordination de toutes les activités: Cohérence temporelle: synchronisations sur le temps physique (temps réel) Branchements conditionnels : synchronisations logiques Problèmes: De quelques centaines à quelques milliers d activités élémentaires à coordonner La coordination déterministe de toutes les activités est difficile Cours introduction EFREI Modèle d exécution séquentiel découpage statique, ex: programmation en boucle Avantage déterministe Inconvénients contraintes très fortes sur la réalisation (réalistes?) Ne profite pas des architectures multiprocesseur Modèle d exécution parallèle Découpage dynamique, préemptions Problème Vérifications analytiques possibles? Cours introduction EFREI

10 Le déterminisme idéal Déterminisme logique et temporels sont indissociables unicité et invariance du comportement dynamique asynchronismes du système maîtrisés Impact du déterminisme comportement dynamique du système prédictible et invariant:» reproductibilité du comportement dynamique tests (vérification/validation pour la sûreté) :» exhaustivité des comportements atteignable (recherche du pire des cas) indépendance de l implantation simulation exacte sans la machine cible Empêcher les propagations d erreurs et maîtriser l impact des anomalies mécanismes déterministes de détection et de confinement d anomalies L impact d une anomalie de fonctionnement doit (devrait) être déterministe Cours introduction EFREI Plan du cours Relations entre les E / S Cours introduction EFREI Pourquoi? Les problèmes dans les systèmes temps-réels ne sont pas dû au parallélisme mais aux intéractions entre les programmes se déroulant en parallèle Cause de non déterminisme Intéractions entre les programmes Partage des ressources Garantir que l exécution en parallèle de plusieurs processus fournit le même résultat qu une exécution strictement séquentielle Communication, coopération Garantir que l échange d information entre les programmes obéit à un protocole défini Cours introduction EFREI Exemple de mise à jour de comptes bancaires: (4) (1) (2) (3) Problème si on exécute: Val = 5, debiteur(6), crediteur(4) Séquence: (1), (4), (2), (3)... découvert signalé! (val = 3) Problème si on exécute: Val = 5, debiteur(4) en // debiteur(3) Séquence: (1), (1), (3), (3). aucun découvert signalé! (val = -2) Cours introduction EFREI

11 Une solution pour le problème de l exclusion mutuelle vérifie les propriétés suivante: Indépendante de la vitesse d exécution des programmes Deux processus (ou plus) ne peuvent se trouver simultanément en section critique Un processus hors de sa section critique et qui ne demande pas à y entrer ne doit empêcher un autre processus d entrer en section critique Deux processus ne doivent pas s empêcher mutuellement et indéfiniment d entrer en section critique Phénomène d Interblocage Un processus doit toujours entrer en section critique au bout d un temps fini Phénomène de famine Cours introduction EFREI Sémaphore: Un sémaphore est un objet sur lequel seulement 2 opérations atomiques sont possibles P(sem) : décrémentation de la valeur du sémaphore «sem»» Blocage si la valeur est < 0 (barrière) V(sem) : incrémentation de la valeur du sémaphore «sem»» Permet de débloquer un processus bloqué par P (laissez-passer) Note : Vient du Hollandais Passeren (prendre), Vrygeven (libérer) Cours introduction EFREI Sémaphore d exclusion mutuelle (mutex): Sémaphore binaire initialisé à 1 Sert à protéger une section critique Permet d assurer l accès à des ensembles disjoints de variables partagées Associer un sémaphore d exclusion mutuelle à chaque ensemble Autre exemple d utilisation du sémaphore: Un processus doit être activé par un autre sur un évènement (sémaphore privé) Un seul processus peut exécuter l opération P Les autres processus peuvent exécuter l opération V Processus réveilleur 1 Processus réveilleur 2 Processus à activer Cours introduction EFREI Cours introduction EFREI

12 Mutex POSIX: Sémaphores généraux: Utilisés comme compteurs de ressources N est pas limité à 0 ou 1 contrairement au sémaphore d exclusion mutuelle Valeurs du sémaphore Initiale représente le nombre de ressources maximum Courante le nombre de ressources disponibles L opération P permet d acquérir une ressource Bloqué si aucune ressource n est disponible L opération V permet de libérer une ressource Signale la disponibilité d une ressource et débloque un processus éventuellement en attente Cours introduction EFREI Cours introduction EFREI Exemple du Pool d imprimantes: Valeur initiale du sémaphore (?) Les M processus utilisateurs font des P( ) Le gestionnaire fait des V( ) pour libérer une ressource Imprimante 1 Imprimante N Gestionnaire d imprimantes Utilisateur 1 Utilisateur M Cours introduction EFREI Producteur / Consommateur: Le système possède N emplacements pour stocker de l information Les processus producteurs produisent de l information vers ces emplacements Les processus consommateurs utilisent l information et libère l emplacement correspondant Un sémaphore est nécessaire pour synchroniser les deux types de processus Bloquer un producteur s il n y a plus de place Bloquer un consommateur s il n y a plus d information disponible Cours introduction EFREI

13 Exemple d un tampon de Lecture / Ecriture : Processus E écrit des données dans le buffer Processus L lit les données dans le buffer Valeurs initiales des sémaphores Lib=N, Occ=0 Cas de plusieurs lecteurs / écrivains Problème d exclusion mutuelle Sémaphore POSIX: Processus E P(Lib) Ecrit V(Occ) N cases Processus L P(Occ) Lire V(Lib) Cours introduction EFREI Cours introduction EFREI