Explicit Reservation of Local Memory in a Predictable, Preemptive Multitasking Real-Time System

Jack Whitham, Neil C. Audsley
2012 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium  
This paper proposes Carousel, a mechanism to manage local memory space, i.e. cache or scratchpad memory (SPM), such that inter-task interference is completely eliminated. The cost of saving and restoring the local memory state across context switches is explicitly handled by the preempting task, rather than being imposed implicitly on preempted tasks. Unlike earlier attempts to eliminate inter-task interference, Carousel allows each task to use as much local memory space as it requires,
more » ... ng the approach to scale to large numbers of tasks. Carousel is experimentally evaluated using a simulator. We demonstrate that preemption has no effect on task execution times, and that the Carousel technique compares well to the conventional approach to handling interference, where worst-case interference costs are simply added to the worst-case execution times (WCETs) of lower-priority tasks.
doi:10.1109/rtas.2012.19 dblp:conf/rtas/WhithamA12 fatcat:nzdrk3s2evd6pfhisya6qs7k3a