diff options
Diffstat (limited to 'c-user/key_concepts.rst')
| -rw-r--r-- | c-user/key_concepts.rst | 2 |
1 files changed, 1 insertions, 1 deletions
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 |