diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-07-21 01:03:22 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-07-21 01:03:22 +0200 |
| commit | 6e16ff5a6002400489349f55cc7961bccf2fe520 (patch) | |
| tree | 01f6a9f33866ede587dcc7aa0658ecd802fa01d6 | |
| parent | 0c48c48b05b12b5d4faa966c74486ba3b1d3f06c (diff) | |
INSTALL: document the --enable-mutex-adaptive option
| -rw-r--r-- | INSTALL | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -243,6 +243,13 @@ X15 Options in a file named `test_pmap_update_mp.c' would be selected with the option `--enable-test-module=pmap_update_mp'. +`--enable-mutex-adaptive' + Enable the adaptive spinning mutex implementation for regular mutexes. + Adaptive spinning mutexes optimistically spin instead of sleep if the + owner of a mutex is found running, in the hope the mutex is unlocked + soon. This optimization increases performance by avoiding some sleeps + and wakeups, but it makes the system globally non real-time. + `--enable-mutex-pi' Enable priority inheritance for regular mutexes (note that priority inheritance is always enabled for real-time mutexes). This option is |