GHS prend en charge les processeurs multicœurs
Cette mise à jour d’INTEGRITY-178B conserve son atout exceptionnel qui est d’assurer un partitionnement robuste. C’est la caractéristique fondamentale d’un système d’exploitation multiniveau sécurisé. Toutefois, il dessert désormais les processeurs multicœurs, au sein d’un environnement d’exploitation qui prend en charge la combinaison d’AMP (Asynchronous Multiprocessing) et de SMP (Symmetric Multiprocessing). Ceci est rendu possible par une nouvelle approche, en instance de brevet, de la planification des tâches de ces processeurs désignée par Time-variant Unified Multiprocessing (tuMP qui se prononce " two-MP ") ou multitraitement unifié variable dans le temps.
Pour les développeurs de systèmes embarqués à sécurité et sûreté critiques, l’avènement des processeurs multicœurs a créé un problème fondamental : comment développer, intégrer ou porter dans l’environnement d’exploitation des applications auparavant indépendantes afin de les faire tourner sur ces processeurs. Elles doivent en effet s’exécuter sur un processeur possédant deux ou plusieurs cœurs séparés qui se partagent les ressources système. Plusieurs paradigmes de systèmes d’exploitation multicœurs ont été développés jusqu’à présent dont AMP (chaque cœur a son propre exécutable), SMP (le même exécutable est utilisé par plusieurs cœurs à la fois), ou des combinaisons des deux formules (une partie des cœurs sont utilisés pour AMP et l’autre partie pour SMP). La rigidité de ces paradigmes apparaît lorsqu’on tente d’intégrer des applications supplémentaires dans une plate-forme basée sur des processeurs multicœurs.
La dernière version d’INTEGRITY-178B de Green Hills Software est bâtie sur un système qui a largement fait ses preuves depuis dix ans et a été certifié pour des applications telles l’avionique embarquées, les communications et les systèmes de contrôle de vol. Aujourd’hui, elle se dote de nouvelles fonctionnalités de pointe qui en font un système d’exploitation pour processeurs multicœurs. Ces nouvelles fonctionnalités permettent à plusieurs applications indépendantes à sûreté et/ou sécurité critiques de s’exécuter, d’une manière prédictible et bien définie, dans un environnement d’exploitation multicœur. Elles prennent en charge AMP et SMP mais contrôlent les différents cœurs de façon à préserver l’indépendance des applications, même si elles utilisent en commun les cœurs et les autres ressources système du processeur.
Étant donné que les cœurs d’un processeur multicœur offrent une plus grande capacité d’exécution que ne l’exige chaque application, et que certaines des applications sont conçues pour utiliser plusieurs cœurs à la fois, Green Hills Software a ajouté une nouvelle dimension à son planificateur de partitions pour utiliser efficacement les processeurs multicœurs. Avec la nouvelle méthode de planification, tuMP, il n’existe qu’un seul OS (unifié) qui permet la planification simultanée des applications AMP et SMP en la faisant varier dans le temps. Pour ce faire, elle associe les cœurs et les applications en groupements (nommés groupes d’affinités) qui correspondent à une ou plusieurs fonctions désirées. Ces groupes définissent la façon dont les cœurs seront utilisés par une ou plusieurs applications. Par ailleurs; ces groupes d’affinités (qui regroupent les cœurs et les applications) ont la possibilité de varier dans le temps. Ils peuvent être planifiés indépendamment les uns des autres et les calendriers épousent étroitement les besoins de chaque application. D’autres ensembles de groupes d’affinités peuvent être développés pour exploiter les fenêtres de temps où aucun cœur n’est utilisé. Toute nouvelle application (ou l’extension d’une application existante) peut utiliser le temps d’exécution non alloué à travers le processeur multicœur.
La dernière version d’INTEGRITY-178B et l’environnement d’exploitation associé sont configurables pour prévenir toute interférence entre les applications, ou la contrôler suffisamment pour la prédire avec exactitude et en tenir compte. Ceci est rendu possible par tuMP, une approche révolutionnaire de la planification du système d’exploitation qui l’adapte aux processeurs multicœurs. Elle étend le partitionnement effectué par INTEGRITY-178B au-delà des processeurs monocœurs, et cette flexibilité lui permet d’accueillir un grand nombre d’applications. En parallèle, les ressources sont préservées et le système peut croître sans qu’on ait à s’inquiéter de savoir s’il peut accueillir de nouveaux processeurs monocœurs. La version d’INTEGRITY-178B dédiée aux architectures multicœurs est disponible à la base pour la famille de processeurs QorIQ de Freescale Semiconductor, le premier processeur pris en charge étant le P4080. INTEGRITY-178B est également fourni avec l’environnement de développement intégré MULTI/AdaMULTI de Green Hills Software qui comprend des compilateurs d’optimisation C, C++ et Ada95..
Si vous avez apprécié cet article, vous aimerez les suivants : ne les manquez pas en vous abonnant à :