Downloads provided by UsageCounts
handle: 2117/100088 , 11577/3329251
The timing verification of real-time single core systems involves a timing analysis step that yields an Execution Time Bound (ETB) for each task, followed by a schedulability analysis step, where the scheduling attributes of the individual tasks, including the ETB, are studied from the system level perspective. The transition between those two steps involves accounting for the interference effects that arise when tasks contend for access to shared resource. The advent of multicore processors challenges the viability of this two-step approach because several complex contention effects at the processor level arise that cause tasks to be unable to make progress while actually holding the CPU, which are very difficult to tightly capture by simply inflating the tasks' ETB. In this paper we show how contention on access to hardware shared resources creates a circular dependence between the determination of tasks' ETB and their scheduling at runtime. To help loosen this knot we present an approach that acknowledges different flavors of time compos ability, examining in detail the variant intended for partitioned scheduling, which we evaluate on two real processor boards used in the space domain.
Multicore processing, Multiprocessors -- Programming, Hardware, Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Scheduling, Resource management, Processor scheduling, Timing, Program processors, Multiprocessadors -- Programació
Multicore processing, Multiprocessors -- Programming, Hardware, Àrees temàtiques de la UPC::Informàtica::Arquitectura de computadors, Scheduling, Resource management, Processor scheduling, Timing, Program processors, Multiprocessadors -- Programació
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 5 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
| views | 44 | |
| downloads | 84 |

Views provided by UsageCounts
Downloads provided by UsageCounts