26.13. Event Recording Configuration

This section describes configuration options related to the event recording.

26.13.1. CONFIGURE_RECORD_EXTENSIONS_ENABLED

CONSTANT:

CONFIGURE_RECORD_EXTENSIONS_ENABLED

OPTION TYPE:

This configuration option is a boolean feature define.

DEFAULT CONFIGURATION:

If this configuration option is undefined, then the described feature is not enabled.

DESCRIPTION:

In case

then the event record extensions are enabled.

NOTES:

The record extensions capture thread create, start, restart, delete, switch, begin, exitted and terminate events.

26.13.2. CONFIGURE_RECORD_FATAL_DUMP_BASE64

CONSTANT:

CONFIGURE_RECORD_FATAL_DUMP_BASE64

OPTION TYPE:

This configuration option is a boolean feature define.

DEFAULT CONFIGURATION:

If this configuration option is undefined, then the described feature is not enabled.

DESCRIPTION:

In case

then the event records are dumped in Base64 encoding in a fatal error extension (see System Termination Procedure).

NOTES:

This extension can be used to produce crash dumps.

26.13.3. CONFIGURE_RECORD_FATAL_DUMP_BASE64_ZLIB

CONSTANT:

CONFIGURE_RECORD_FATAL_DUMP_BASE64_ZLIB

OPTION TYPE:

This configuration option is a boolean feature define.

DEFAULT CONFIGURATION:

If this configuration option is undefined, then the described feature is not enabled.

DESCRIPTION:

In case

then the event records are compressed by zlib and dumped in Base64 encoding in a fatal error extension (see System Termination Procedure).

NOTES:

The zlib compression needs about 512KiB of RAM. This extension can be used to produce crash dumps.

26.13.4. CONFIGURE_RECORD_INTERRUPTS_ENABLED

CONSTANT:

CONFIGURE_RECORD_INTERRUPTS_ENABLED

OPTION TYPE:

This configuration option is a boolean feature define.

DEFAULT CONFIGURATION:

If this configuration option is undefined, then the described feature is not enabled.

DESCRIPTION:

In case

then the interrupt event recording is enabled.

NOTES:

The interrupt event recording generates interrupt entry and exit events when interrupt entries are dispatched.

26.13.5. CONFIGURE_RECORD_PER_PROCESSOR_ITEMS

CONSTANT:

CONFIGURE_RECORD_PER_PROCESSOR_ITEMS

OPTION TYPE:

This configuration option is an integer define.

DEFAULT VALUE:

The default value is 0.

DESCRIPTION:

The value of this configuration option defines the event record item count per processor.

NOTES:

The event record buffers are statically allocated for each configured processor (CONFIGURE_MAXIMUM_PROCESSORS). If the value of this configuration option is zero, then nothing is allocated.

CONSTRAINTS:

The following constraints apply to this configuration option:

  • The value of the configuration option shall be greater than or equal to 16.

  • The value of the configuration option shall be less than or equal to SIZE_MAX.

  • The value of the configuration option shall be a power of two.

  • The value of the configuration option shall be less than or equal to a BSP-specific and application-specific value which depends on the size of the memory available to the application.