From f1eb94b1430b63f0818dea5b047e3ebbcb7f370f Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Tue, 26 Jul 2022 11:24:01 +0200 Subject: c-user: Do not mention pseudo-interrupt priority Update #2365. --- c-user/key_concepts.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'c-user/key_concepts.rst') diff --git a/c-user/key_concepts.rst b/c-user/key_concepts.rst index 6bc1c3e..3628954 100644 --- a/c-user/key_concepts.rst +++ b/c-user/key_concepts.rst @@ -330,7 +330,7 @@ O(m) Independence-Preserving Protocol (OMIP) The :math:`O(m)` Independence-Preserving Protocol (OMIP) is a generalization of the priority inheritance protocol to clustered scheduling which avoids the -non-preemptive sections present with priority boosting +non-preemptive sections present with :term:`priority boosting` :cite:`Brandenburg:2013:OMIP`. The :math:`m` denotes the number of processors in the system. Similar to the uniprocessor priority inheritance protocol, the OMIP mutexes do not need any external configuration data, e.g. a ceiling -- cgit v1.2.3