Real-time systems need time-predictable computing platforms. For a multicore processor to be time-predictable, communication between processor cores needs to be time-predictable as well. This paper presents a time-predictable message-passing library for such a platform. We show how to build up abstraction layers from a simple, time-division multiplexed hardware push channel. We develop these time-predictable abstractions and implement them in software. To prove the time-predictability of these functions we analyze their worst-case execution time (WCET) with the aiT WCET analysis tool. We combine these WCET numbers with the calculation of the network latency of a message and then provide a statically computed end-to-end latency for this core-to-core message.
|Title of host publication||Proceedings of the 18th IEEE Symposium on Real-time Computing (ISORC '15)|
|Publication status||Published - 2015|
|Event||18th IEEE International Symposium on Real-time Computing - Auckland, New Zealand|
Duration: 13 Apr 2015 → 17 Apr 2015
Conference number: 18
|Conference||18th IEEE International Symposium on Real-time Computing|
|Period||13/04/2015 → 17/04/2015|