I. Introduction
In the real-time systems realm, problems related to power consumption and limited further speed increase of uniprocessors have led to aroused interest towards the use of multicore processors for such systems. Moreover, the real-time research community put considerable efforts for developing multiprocessor scheduling algorithms assuming real-time applications consist only of independent tasks. However, typical applications include tasks that share resources like shared data structures which require appropriate techniques for ensuring mutual exclusion, such that only a single task holds the resource at all times.