Mutexes test

File: testmtx.c

Description

This module implements the test sequence for the Mutexes and Condition Variables subsystems.
Tests on those subsystems are particularly critical because the system-wide implications of the Priority Inheritance mechanism.

Objective

Objective of the test module is to cover 100% of the subsystems code.

Preconditions

The module requires the following kernel options:

• CH_USE_MUTEXES
• CH_USE_CONDVARS
• CH_DBG_THREADS_PROFILING

In case some of the required options are not enabled then some or all tests may be skipped.

Test Cases

• Priority enqueuing test
• Priority inheritance, simple case
• Priority inheritance, complex case
• Priority return verification
• Mutex status
• Condition Variable signal test
• Condition Variable broadcast test
• Condition Variable priority boost test