Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: technika binaryzacji

Sortuj według:

Ogranicz wyniki do:

Szeregowanie zadań okresowych w systemach czasu rzeczywistego o ostrych ograniczeniach czasowych

Siuta T.

Elektronika : konstrukcje, technologie, zastosowania

2002

Vol. 43, nr 2

26-28

Omówiono podstawowe zagadnienia związane z problematyką szeregowania zadań w systemach czasu rzeczywistego. Systemy czasu rzeczywistego są obecnie coraz powszechniej stosowane w różnych gałęziach przemysłu i transportu. W systemach takich czas wykonywania zadania jest krytycznym parametrem i nie może on przekraczać nałożonych na niego ograniczeń. Wypływa stąd konieczność opracowania odpowiednich technik szeregowania zadań, które potrafią zagwarantować nienaruszalność ograniczeń czasowych. W artykule przedstawiono podstawy teorii szeregowania zadań. Pokazano, w jaki sposób można na drodze formalnej wykazać, że dany zbiór zadań okresowych jest szeregowany. Opisano również technikę binaryzacji okresów zadań, która prowadzi do zmniejszenia rozmiaru horyzontu czasowego zbioru szeregowanych zadań.

In the paper some basic problems connected with the field of task scheduling in the real - time systems are discussed. The real - time systems are getting and more ubiquitous in miscellaneous branches of industry and transport. In this kind of systems the time of task execution is a critical parameter and cannot exceed the pre-defined deadline point. Thus the proper task scheduling techniques must be developed, so that it was guaranteed that all tasks met their deadlines. In the paper the basic of task scheduling theory is presented. It is shown how on a formal way one can prove that the given task set is schedulable. Further, the task period binarisation technique is described. This technique makes it possible to minimize the dimension of the time horizon of the task set, which is scheduled.