Conference paper Open Access

Seeking Time-Composable Partitions of Tasks for COTS Multicore Processors

Fernandez, Gabriel; Abella, Jaume; Qui˜nones, Eduardo; Fossati, Luca; Zulianello, Marco; Vardanega, Tullio; Cazorla, Francisco J.

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.

Files (509.1 kB)
Name Size
2015ISORC.BSC.1.AuthorCopy.pdf
md5:a96011d1761d0b006c4aa115ac1d1b0a
509.1 kB Download
23
2
views
downloads
All versions This version
Views 2323
Downloads 22
Data volume 1.0 MB1.0 MB
Unique views 2323
Unique downloads 22

Share

Cite as