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/smp.t | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'doc/user/smp.t') diff --git a/doc/user/smp.t b/doc/user/smp.t index db4114c564..de07f3c2d9 100644 --- a/doc/user/smp.t +++ b/doc/user/smp.t @@ -164,12 +164,14 @@ and instruction caches. With clustered scheduling it is possible to honour the cache topology of a system and thus avoid expensive cache synchronization traffic. It is easy to implement. The problem is to provide synchronization primitives for inter-cluster synchronization (more than one cluster is involved -in the synchronization process). In RTEMS there are currently three means +in the synchronization process). In RTEMS there are currently four means available @itemize @bullet @item events, -@item message queues, and +@item message queues, +@item semaphores using the @ref{Semaphore Manager Priority Inheritance} +protocol (priority boosting), and @item semaphores using the @ref{Semaphore Manager Multiprocessor Resource Sharing Protocol} (MrsP). @end itemize -- cgit v1.2.3