19.12 Mutex Information (mutex[])
Here, each mutex is defined.

Format

Parentheses < >show the user input part.

 mutex[ <1. ID number> ] {
     name          = <2. ID name (name)>;
     ceilpri       = <3. Ceiling priority (ceilpri)>;
 };


1 ) ID number

- Description
Define the mutex ID number.


- Definition format
Numeric value


- Definition range
From 1 to 255


- When omitting
The cfg600 assigns the ID number automatically.


- Note
The ID numbers must be assigned without an omission beginning with 1. Therefore, when specifying an ID number, be sure that the specified value is equal to or less than the number of objects defined.


2 ) ID name (name)

- Description
Define the ID name. The specified ID name is output to the system information header file (kernel_id.h) in the form of the following.


 #define   <ID name>   <ID number>
- Definition format
Symbol


- Definition range
-


- When omitting
Cannot be omitted.


3 ) Ceiling priority (ceilpri)

- Description
The RI600V4 adopts Simplified priority ceiling protocol. The ceiling priority should be defined in ceilpri.


- Definition format
Numeric value


- Definition range
From 1 to Maximum task priority (priority) in System Information (system)


- When omitting
The set value in the default system configuration file (factory setting: 1) applied.