Development Tools

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 cfg600px assigns the ID number automatically.

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 RI600PX adopts Simplified priority ceiling protocol. The ceiling priority should be defined in ceilpri.

- Definition format
Numeric value

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