This paper investigates the problem of guaranteeing stability and run-time feasibility in real-time systems containing coupled tasks, in the context of non-preemptive priority scheduling. Instability is the result of so-called multiprocessor timing anomalies, where deadlines can be missed due to the reduction in task durations. Such reductions can also result in ruu-time infeasibility of coupled task pairs due to the inherent intertask timing constraints. A scheduling environment, feasibility conditions and a general algorithm are presented that avoid both phenomena at run-time.
RESUMECet article examine le probleme qui consiste a garantir la stabilite et faisabilite pendant execution dans des systemes fonctionnant en temps reel, contenant des taches accouplees, dans le contexte d'un ordonnancement a priorite uon-preemptif. L'instabilite est le resultat d'anomalies temporelles du multiprocesseur, ou les dates limites ne sont pas respectees a cause de la reduction de la duree des taches. De telles reductions peuvent egalemeut avoir pour consequence la non-faisabilite de paires de taches accouplees, ceci etajit du aux contraintes de temps inherentes entre deux taches.' L'environnement de l'ordonnancement, les conditions de faisabilite et un algorithme general qui evitent ces deux phenomenes sont presentes ci-dessous.