From dafa5d88435853809040761b79ab9d8f2217281b Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Thu, 3 Sep 2015 10:27:16 +0200 Subject: score: Implement priority boosting --- doc/user/sem.t | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'doc/user/sem.t') diff --git a/doc/user/sem.t b/doc/user/sem.t index 6bd22dd3d7..210f1d0d92 100644 --- a/doc/user/sem.t +++ b/doc/user/sem.t @@ -115,6 +115,11 @@ for that resource. Each time a task blocks attempting to obtain the resource, the task holding the resource may have its priority increased. +On SMP configurations, in case the task holding the resource and the task that +blocks attempting to obtain the resource are in different scheduler instances, +the priority of the holder is raised to the pseudo-interrupt priority (priority +boosting). The pseudo-interrupt priority is the highest priority. + RTEMS supports priority inheritance for local, binary semaphores that use the priority task wait queue blocking discipline. When a task of higher priority than the task -- cgit v1.2.3