Cette semaine, nous commençons à faire de la programmation. Nous commençons par étudier le type d'ordonnanceur le plus simple - l'ordonnanceur à horloge. Ensuite, nous approfondissons notre apprentissage avec l'ordonnanceur à priorité fixe et les ordonnanceurs monotones. Nous apprenons comment les priorités sont déterminées à l'aide de ces ordonnanceurs et nous apprenons quand/quand ne pas utiliser ces ordonnanceurs. Deuxièmement, nous apprenons comment déterminer si un système est surchargé afin de valider les plannings sans simulation complète du système.Concrètement, après avoir assisté à cette semaine, vous serez capable de : (1) Ordonnancer un ensemble de tâches avec l'ordonnanceur à horloge, avec l'ordonnanceur à priorité fixe, avec les ordonnanceurs monotones. (2) Déterminer si un système est surchargé en utilisant la méthode de l'utilisation totale et la méthode Urm. (3) Programmez FreeRTOS pour planifier un ensemble de tâches en utilisant l'ordonnanceur à priorité fixe

La semaine précédente, nous avons appris les limites de la méthode de l'utilisation totale et de la méthode Urm. Cette semaine, nous commençons par étendre ces tests à des tâches avec des temps de réponse courts. La nouvelle méthode est également, comme d'habitude, utilisée dans la pratique ! Nous nous concentrons ensuite sur l'amélioration de l'optimalité des plannings en temps réel. Pour ce faire, nous apprenons les principes des méthodes d'ordonnancement dynamique. Deux nouveaux ordonnanceurs utilisant le principe de l'ordonnancement dynamique sont appris et utilisés en pratique avec quelques exemples ; l'ordonnanceur LST et l'ordonnanceur EDF : (1) Comment déterminer la faisabilité d'un ensemble de tâches en utilisant la méthode d'analyse de la demande de temps. (2) Comment planifier un ensemble de tâches en utilisant LST et EDF. (3) Déterminer quand un planificateur dynamique est approprié et quand il ne l'est pas.

Tout est facile et agréable lorsque l'on ne se préoccupe pas des tâches non périodiques. Lorsque des tâches non périodiques sont incluses, les programmateurs doivent les prendre en compte pour établir un programme réalisable, ce que nous apprendrons cette semaine. Le problème est qu'un travail non périodique peut arriver à tout moment, même si un travail périodique est déjà programmé. Nous apprenons à la fois comment optimiser un planning pour les travaux non périodiques et comment valider un planning lorsque des travaux non périodiques arrivent sur le planning. Concrètement, nous apprendrons : (1) Comment utiliser la méthode de vol de mou pour optimiser un planning avec des travaux non périodiques (2) Comment utiliser le planificateur LRT pour optimiser un planning avec des travaux non périodiques (3) Comment utiliser le serveur différé pour optimiser un planning avec des travaux non périodiques (4) Vérifier formellement un planning avec des travaux non périodiques

Cette semaine est celle que nous attendions tous ! Nous allons approfondir notre apprentissage de FreeRTOS, de son noyau et de ses fonctionnalités. Nous démontrons l'importance de la prévisibilité des architectures informatiques, par exemple lors de la détermination du changement de contexte et des facteurs influençant cet overhead. En nous tournant vers l'avenir, nous terminons ce cours en vous présentant les systèmes temps réel multi-cœurs et les méthodes d'ordonnancement pour les systèmes temps réel multi-cœurs. Concrètement, vous apprendrez (1) Les mécanismes internes de FreeRTOS, par exemple les mutex/semaphores et les files d'attente de messages. (2) Les architectures informatiques multi-cœurs pour les systèmes temps réel. (3) Les méthodes d'ordonnancement multicœur.