Seeking time-composable partitions of tasks for COTS multicore processors
Document typeConference lecture
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Rights accessOpen Access
European Commission's projectSAFURE - SAFety and secURity by design for interconnected mixed-critical cyber-physical systems (EC-H2020-644080)
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.
CitationFerná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.
All rights reserved. This work is protected by the corresponding intellectual and industrial property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public communication or transformation of this work are prohibited without permission of the copyright holder