Abstract | ||
---|---|---|
Temporal isolation in real-time systems allows the execution of software processes isolated from one another in the temporal domain. Intuitively, the execution of a process is temporally isolated if the real-time behavior of the process is independent of the execution of the other concurrently scheduled processes in the system. The article provides a comprehensive discussion of temporal isolation through variable-bandwidth servers (VBSs). VBS consists of an EDF-based uniprocessor scheduling algorithm and a utilization-based schedulability test. The scheduling algorithm runs in constant time modulo the time complexity of queue management. The schedulability test runs in time linear in the number of processes and enables admission of an individual process in constant time. The test is a sufficient condition for VBS to provide temporal isolation through lower and upper response-time bounds on processes. We present the VBS design, implementation, proofs, and experiments, followed by condensed versions of results on scheduler overhead accounting with VBS and on reducing power consumption in VBS systems. |
Year | DOI | Venue |
---|---|---|
2013 | 10.1007/s10009-012-0246-x | STTT |
Keywords | Field | DocType |
Real-time, Scheduling, Resource reservation, Power-aware scheduling, Compositionality | Computer science,Modulo,Scheduling (computing),Temporal isolation,Parallel computing,Server,Real-time computing,Software,Mathematical proof,Queue management system,Time complexity,Distributed computing | Journal |
Volume | Issue | ISSN |
15 | 3 | 1433-2787 |
Citations | PageRank | References |
1 | 0.35 | 50 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Silviu S. Craciunas | 1 | 131 | 11.80 |
christoph m kirsch | 2 | 526 | 49.50 |
Hannes Payer | 3 | 204 | 16.35 |
Harald Röck | 4 | 60 | 4.96 |
Ana Sokolova | 5 | 254 | 18.88 |