PI Mutex Test
OBSOLETE CONTENT
This wiki has been archived and the content is no longer updated.
This regression test suite was written by User:Clark to test the classic three-way Priority inversion deadlock and shows that Priority Inheritance mutexes will avoid this deadlock.
TODO
|
Add documentation about using the test suite
|
External links
This tarball contains the source code for two test programs:
- classic_pi - a program that demonstrates how a PI mutex can resolve a Priority Inversion deadlock
- pi_stress - a stress test that runs groups of threads that cause Priority Inversions
To use, create a directory and untar the archive contents into that directory. Run make, which by default will build the two tests. If things don't compile, chances are your GLIBC does not support the Priority Inheritance attribute for pthread mutexes and you will need to upgrade.
Both programs have usage messages (--help) that explain their options. The classic_pi program is generally just used to show that PI mutexes work, while the pi_stress program is used to exercies the PI C library/kernel code path.
For example:
# pi_stress <options> options: --verbose - lots of output --groups=<n> - set the number of inversion groups [10] --inversions=<n>- number of inversions per group [infinite] --report=<path> - output to file [/dev/null] --rr - use SCHED_RR for test threads [SCHED_FIFO] --prompt - prompt before starting the test --signal - Use Ctrl-C to stop test instea of key press --uniprocessor - force all threads to run on one processor --debug - turn on debug prints --version - print version number on output --help - print this message