Systèmes Temps réel E. RAMAT. 1 er juillet Université du Littoral - Côte d Opale. E. Ramat (ULCO) STR 1 er juillet / 36

Transcription

1 Systèmes Temps réel E. RAMAT Université du Littoral - Côte d Opale 1 er juillet 2014 E. Ramat (ULCO) STR 1 er juillet / 36

2 Déroulement du module 6h de cours 6h de TD 12h de TP chaque séance de tp : un compte rendu en fin de séance une note note du module = 1 2 (examen + moyenne des notes TP) E. Ramat (ULCO) STR 1 er juillet / 36

3 Plan 1 Introduction 2 Temps partagé 3 Systèmes d exploitation temps réel E. Ramat (ULCO) STR 1 er juillet / 36

4 Introduction Qu est ce que le temps réel? Types de systèmes informatiques Systèmes transformationnels (calcul scientifique, gestion de bases de donnnées) : les données sont disponibles au lancement les instants de productions des résultats ne sont pas contraints Systèmes interactifs (systèmes transactionnels ou outils bureautiques) : les résultats dépendent de données produites par l environnement les instants de production respectent des valeurs statistiques (souvent peu contraints) E. Ramat (ULCO) STR 1 er juillet / 36

5 Introduction Qu est ce que le temps réel? Types de systèmes informatiques Systèmes temps réel ou systèmes réactifs : Systèmes embarqués Systèmes où l intervention humaine est limitée (voire absente) Résultats entièrement conditionnés par l environnement connecté Les instants de production dépendent de la dynamique du procédé (environnement + traitement) Les instants de production sont fortement contraints (survie du système) E. Ramat (ULCO) STR 1 er juillet / 36

6 Introduction Qu est ce que le temps réel? Défintion 1 Le comportement d un système informatique est qualifié de temps réel lorsqu il est assujetti à l évolution d un procédé qui lui est connecté et qu il doit piloter ou suivre en réagissant à tous ses changements d états. Défintion 2 Un système temps réel est défini comme un système dont le comportement dépend : Retard de l exactitude des traitements effectués de la date où les résultats sont produits Un retard est le fait de rater une échéance. E. Ramat (ULCO) STR 1 er juillet / 36

7 Introduction Qu est ce que le temps réel? Tâche périodique La tâche est réveillée en début de période (notée t1) P : durée de la période T : durée de la tâche L : temps de latence (temps nécessaire au réveil de la tâche) E. Ramat (ULCO) STR 1 er juillet / 36

8 Introduction Qu est ce que le temps réel? Tâche périodique La tâche est réveillée à t2 et son traitement se termine avant la période suivante. E. Ramat (ULCO) STR 1 er juillet / 36

9 Introduction Qu est ce que le temps réel? Tâche périodique La tâche est réveillée à t3, la latence a augmentée ce qui conduit à un traitement non terminé avant la période suivante. E. Ramat (ULCO) STR 1 er juillet / 36

10 Introduction Qu est ce que le temps réel? Validation d un système temps réel le temps est au coeur de la validation : le temps de réaction (ou de réponse) doit à a tre adapté aux événements externes (crucial pour les systèmes embarqués) Le système doit pouvoir fonctionner en continu en maintenant sa capacité de traitement du flux de données d entrée les temps de calculs sont connus (ou estimés) et peuvent à a tre utilisés dans l analyse de réactivité Valider un système temps réel c est démontrer rigoureusement que le système a le comportement spécifié. E. Ramat (ULCO) STR 1 er juillet / 36

11 Introduction Qu est ce que le temps réel? Temps réel dur ou mou si les retards de traitement sont interdits : on parle d échéance dure et il s agit d une défaillance si les retards sont autorisés : échéance molle un système dont aucune échéance ne doit à a tre dépassée : temps réel dur (hard real time) si un dépassement occasionnel ne met pas en danger le système : temps réel mou (soft real time) E. Ramat (ULCO) STR 1 er juillet / 36

12 Introduction Exemples Téléphone mobile système embarqué gestion des opérations de la couche physique : émission, réception, mesure des niveaux de réception,... gestion des procédures logiques : localisation, mesures de qualité du lien radio,... gestion de la conversation : relais entre deux reseaux IHM : rédaction de SMS, navigation,... Visioconférence numérisation du signal video : séquencement de 30 images par seconde compression réseau : accès, envoi et réception E. Ramat (ULCO) STR 1 er juillet / 36

13 Moyens Moyens horloges matérielles, interruptions,... style de programmation adaptés : multitâches, évenementiels,... langages spécifiques (langages synchrones, par exemple) outils de modélisation : logique temporelle, réseaux de Petri,... Une norme IEEE POSIX Des systèmes d exploitation ou des extensions temps réel QNX VxWorks ecos RTAI Xenomai E. Ramat (ULCO) STR 1 er juillet / 36

14 Plan 1 Introduction 2 Temps partagé 3 Systèmes d exploitation temps réel E. Ramat (ULCO) STR 1 er juillet / 36

15 Temps partagé Limites des systèmes classiques Constat La plupart des systèmes d exploitation sont à temps partagé. Limites ordonnancement : temps partagé gestion des entrées sorties et des interruptions sous optimales gestion de la mémoire virtuelle très souple : engendre des fluctuations des temps d exécution des activités d un système résolution temporelle pas assez fine E. Ramat (ULCO) STR 1 er juillet / 36

16 Temps partagé Temps partagé et Unix Définition le temps partagé est un mode d ordonnancement dont l objectif est d attribuer le plus équitablement possible le temps CPU disponible plusieurs tâches peuvent s exécuter simultanément sur le même processeur le composant du noyau (kernel) qui est en charge de l ordonnancement se nomme scheduler (ordonnanceur) le scheduler est en charge de commuter l exécution du processeur entre les différentes tâches prêtes (runnable) E. Ramat (ULCO) STR 1 er juillet / 36

17 Temps partagé Temps partagé et Unix Etats d une tâche running - R : la tâche est en cours d exécution et elle consomme du CPU sleeping - S : la tâche est inactive ; elle est bloquée dans un appel système (probablement en attente de données externes) traced - T : la tâche est gelée par un debugger zombie - Z : la tâche est terminée mais son code de terminaison persiste E. Ramat (ULCO) STR 1 er juillet / 36

18 Temps partagé Temps partagé et Unix L état runnable si le nombre de tâches désirant s exécuter dépasse le nombre de processeurs (ou de coeurs), certaines tâches sont mis en attente c est l état runnable cet état s intercale entre les états running et slepping E. Ramat (ULCO) STR 1 er juillet / 36

19 Temps partagé Temps partagé et Unix Election lorsque plusieurs tâches sont prêtes en même temps, le scheduler doit choisir : mécanisme d élection la qualité et la performance d un scheduler sont liées à la pertinence de ce choix Préemption de manière générale, si une tâche monopolise le CPU sur une trop longue période, le système peut décider de la suspendre elle est placée en état runnable on dit que la tâche a été préemptée on parle de système multitâche préemptif E. Ramat (ULCO) STR 1 er juillet / 36

20 Temps partagé Ordonnancement Situations de commutation Considérons 2 tâches T1 et T2 où T1 s exécute, plusieurs types de commutation peuvent apparaã R tre. Explications T1 invoque un appel système et elle s endort le scheduler donne la main à T2 qui est runnable E. Ramat (ULCO) STR 1 er juillet / 36

21 Temps partagé Ordonnancement Explications une interruption arrive et passe T2 runnable (elle réactive T2 qui était en attente) T1 est stoppée et devient runnable après que T2 soit passée running E. Ramat (ULCO) STR 1 er juillet / 36

22 Temps partagé Ordonnancement Explications T1 utilise toute sa tranche de temps (timeslice) qui est fonction de la priorité de T1 à la fin du timeslice de T1, l ordonnanceur stoppe T1 et donne la main à T2 Temps de commutation Les diagrammes montrent clairement que l on ne commute pas instantanément de T1 à T2! E. Ramat (ULCO) STR 1 er juillet / 36

23 Temps partagé scheduler Le scheduler dans le noyau Linux, le scheduler est implémenté par la fonction schedule() dans le fichier kernel/sched.c dès 1991, le scheduler était présent (version 0.0.1) algorithme : calcul pour chacune des tâches en état runnnable de son intérêt d être lancée qui est fonction : de la priorité de la tâche, du fait qu un thread du même processus a déjà été lancé sur le CPU considéré, de la nature (temps réel ou non) du coût de la migration vers un autre CPU du nombre de ticks système non consommés dans son timeslice Problème La complexité du scheduler est en O(N) où N est le nombre de tâches runnable. E. Ramat (ULCO) STR 1 er juillet / 36

24 Temps partagé scheduler Noyau 2.6 introduction de 2 tables : active et expired chaque table contient 40 entrées (une par niveau de priorité) une entrée est une liste de tâches runnable initialement, expired est vide le schedule n a qu à prendre la première tâche en partant de l entrée de plus haure priorité la tâche sélectionnée est retirée de la table active à la fin de la timeslice de cette dernière, la tâche est placée dans la table expired lorsque la table active est vide, on permute les 2 tables E. Ramat (ULCO) STR 1 er juillet / 36

25 Temps partagé scheduler Autre mécanisme Le scheduler peut changer la position d une tâche dans la liste lors de son placement dans la table expired pour pénaliser ou avantager une tâche. Avantages la complexité du scheduler est en O(1) en extraction donc constant quel que soit le nombre de tâches et en O(log(N)) en insertion dans les tables même la tâche la moins prioritaire est sûre d être exécutée (même si son timeslice est petit) E. Ramat (ULCO) STR 1 er juillet / 36

26 Temps partagé Limitations Tâches périodiques La plupart des systèmes temps réel doivent réaliser des tâches périodiques avec des contraintes temporelles fortes. Sous Linux Il existe 2 méthodes : l appel système setitimer() timer_create normalisé par l extension Posix temps réel setitimer / timer_create timer_create permet de créér plusieurs timers par processus contrairement à setitimer. E. Ramat (ULCO) STR 1 er juillet / 36

27 Plan 1 Introduction 2 Temps partagé 3 Systèmes d exploitation temps réel E. Ramat (ULCO) STR 1 er juillet / 36

28 Systèmes d exploitation temps réel Définition Système d exploitation multitâche pour des applications temps réel (dur) Caractéristiques Usage une politique d ordonnancement temps réel un temps de réponse (latence) assez court pour l application visée : latence de l ordonnancement latence sur une interruption (événement asynchrone et externe) un temps de réponse déterministe : sa variation (gigue - jitter) est faible et bornée n assure pas le respect de contraintes temps réel quelconques! donne les primitives pour respecter des contraintes temps-réel si lae. Ramat conception (ULCO) et la programmation STR sont correctes 1 er juillet / 36

29 Systèmes d exploitation temps réel Latence et temps de réponse Définitions latence d interruption : délai entre l occurrence d un événement externe signalé par une interruption et l exécution du gestionnaire correspondant latence d ordonnancement : délai entre le passage à l état prêt d une tâche et l exécution de l ordonnanceur permettant le passage en exécution effective de la tâche gigue : déviation du temps de réponse ou de la période d une tâche périodique temps de réponse (latence globale) : latence d interruption + durée du gestionnaire + latence d ordonnancement + durée de l ordonnanceur E. Ramat (ULCO) STR 1 er juillet / 36

30 Systèmes d exploitation temps réel Latence du noyau Linux Facteurs de latence d interruption Interruption masquée dans les sections critiques du noyau Linux Facteurs de latence d ordonnancement arrivé d autres interruptions (liées à des tâches de priorités inférieures) durée d ordonnancement des tâches : constant sous 2.6 (O(1)), proportionnel au nombre de tâches sous 2.4 (O(n)) préemption (appel ordonnanceur) inactive dans les sections critiques du noyau gestion de la mémoire (MMU) : code de la tâche (processus) à rapatrier de la mémoire secondaire (le disque dur, par exemple). E. Ramat (ULCO) STR 1 er juillet / 36

31 Systèmes d exploitation temps réel Limitations de Linux pour le temps réel Linux, un noyau initialement non préemptif programmation facilitée par l absence de préemption dans le noyau : une seule tâche noyau (donc 1 seul appel système) à la fois ; pas de risques de concurrences sur les structures internes du noyau évalution vers un noyau préemptif : multitâche dans l espace noyau mais définition de sections critiques conséquentes (non-préemptibles, non-interruptibles) protégées par spinlock (mutex) pour éviter les concurrences Linux, un système d exploitation pour un usage général optimisation du débit de traitement des applications au détriment du temps de réponse : limiter le nombre de réordonnancement (économie du temps de changement de contexte) E. Ramat (ULCO) STR 1 er juillet / 36

32 Systèmes d exploitation temps réel Solutions pour rendre temps réel Linux Solution 1 : modifier le noyau rendre le noyau le plus préemptible possible (fine granularity) : réduire le nombre de sections critiques appeler l ordonnanceur + souvent mais judicieusement intégration progressive des modifications dans le noyau 2.6 par des patches Solution 2 : Ajouter un micro noyau temps réel concept du Dual Kernel ou co-noyau adosser un micro-noyau temps réel à Linux tout en conservant les fonctionnalités Linux implications : virtualisation des interruptions IPC de communication inter-domaines entre Linux et le micro-noyau E. Ramat (ULCO) STR 1 er juillet / 36

33 Systèmes d exploitation temps réel Patch : CONFIG_PREEMPT_RT Le patch RealTime Preemption Faire de Linux un noyau totalement préemptif conception entièrement préemptible, modification importante du code totalement déterministe vis-à-vis de l ordonnancement, et la gestion des interruptions mécanisme d héritage de priorité patch en développement maintenu par Ingo Molnar latence : < 100 µs mais jitter de 300 µs objectif : intégration dans le noyau officiel (CONFIG_PREEMPT_RT) E. Ramat (ULCO) STR 1 er juillet / 36

34 Systèmes d exploitation temps réel Linux + co-noyau Le concept un micro-noyau temps réel est inséré entre le hardware et Linux ordonnanceur temps réel spécifique pas de dépendance aux sections critiques Linux le micro-kernel capture en priorité les interruptions pour ses routines temps réel, Linux reçoit alors des interruptions virtuelles (Virtualisation des interruptions) Linux est un système d exploitation de priorité secondaire (actif quand le co-noyau inactif) le micro-noyau garantit des temps de commutation de contexte très courts performant (latence < 20 µs) on bénéficie de tout l environnement Linux (Xwindows, réseau) qui peut communiquer avec le micro-noyau via des IPC spécifiques E. Ramat (ULCO) STR 1 er juillet / 36

35 Bibliographie A. Tannenbaum, Les systèmes d exploitation, 2e édition, 2003, Campus Press P. Ficheux, Linux Embarqué, 3e édition, 2011, Eyrolles A. Williams, C++ - Concurrency in action - Pratical Multithreading, Manning, 2012 E. Ramat (ULCO) STR 1 er juillet / 36

36 Copyright Auteur Éric Ramat Licence Copyright (C) LISIC - ULCO Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License". E. Ramat (ULCO) STR 1 er juillet / 36