Seeking time-composable partitions of tasks for COTS multicore processors
Visualitza/Obre
Cita com:
hdl:2117/100088
Tipus de documentComunicació de congrés
Data publicació2015
EditorInstitute of Electrical and Electronics Engineers (IEEE)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
ProjecteRYC-2013-14717 (MINECO-RYC-2013-14717)
SAFURE - SAFety and secURity by design for interconnected mixed-critical cyber-physical systems (EC-H2020-644080)
SAFURE - SAFety and secURity by design for interconnected mixed-critical cyber-physical systems (EC-H2020-644080)
Abstract
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.
CitacióFernández, G., Abella, J., Quiñones, E., Fossati, L., Zulianello, M., Vardanega, T., Cazorla, F. Seeking time-composable partitions of tasks for COTS multicore processors. A: IEEE International Symposium on Real-Time Distributed Computing. "2015 IEEE 18th International Symposium on Real-Time Distributed Computing: 13-17 April 2015 Aukland, New Zealand: proceedings". Aukland: Institute of Electrical and Electronics Engineers (IEEE), 2015, p. 208-217.
ISBN978-1-4799-8781-8
Versió de l'editorhttp://ieeexplore.ieee.org/document/7153808/
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Seeking+Time-Co ... artitions+of+Tasks+for.pdf | 535,5Kb | Visualitza/Obre |