Configure Multitasking Checks

Specify multitasking constructs used in your code, such as entry points, interrupts, cyclic tasks, and temporally exclusive tasks

By default, Polyspace^® supports several multitasking libraries, including the POSIX^® library and the standard library for C11 and C++11. For a list of supported multitasking libraries and keywords, see Auto-Detection of Thread Creation and Critical Section in Polyspace.

If you use a different multitasking library, you can map the library you use to a supported library by using the option -code-behavior-specifications.

Alternatively, use the options listed here to specify which functions in your code indicate entry points, cyclic tasks, or interrupts. You must also specify the protection mechanisms for shared variables.

Polyspace Options

expand all

Map to Supported Library

-code-behavior-specifications Associate behaviors with code elements such as functions

Multitasking

`OIL files selection (-osek-multitasking)`	Set up multitasking configuration from OIL file definition
`ARXML files selection (-autosar-multitasking)`	Set up multitasking configuration from ARXML file definitions
`Configure multitasking manually`	Consider that code is intended for multitasking
`Tasks (-entry-points)`	Specify functions that serve as tasks to your multitasking application
`Cyclic tasks (-cyclic-tasks)`	Specify functions that represent cyclic tasks
`Interrupts (-interrupts)`	Specify functions that represent nonpreemptable interrupts
`Critical section details (-critical-section-begin -critical-section-end)`	Specify functions that begin and end critical sections
`Temporally exclusive tasks (-temporal-exclusions-file)`	Specify entry point functions that cannot execute concurrently
`-non-preemptable-tasks`	Specify functions that represent nonpreemptable tasks
`-preemptable-interrupts`	Specify functions that represent preemptable interrupts
`Disabling all interrupts (-routine-disable-interrupts -routine-enable-interrupts)`	Specify routines that disable and reenable interrupts.
`Specify multitasking configuration using file`	Specify if you want to setup multitasking configuration by using an external file. (Since R2023b)
`External file for multitasking`	Specify which supported external file format you want to use to set up your multitasking configuration. (Since R2023b)
`-disable-concurrency-detection`	Disable automatic detection of multitasking functions

Topics

Analyze Multitasking Programs in Polyspace

Detect data races or deadlocks with Bug Finder, or see a comprehensive analysis of shared variable usage with Code Prover.
- Auto-Detection of Thread Creation and Critical Section in Polyspace
- Configuring Polyspace Multitasking Analysis Manually
Protections for Shared Variables in Multitasking Code

Protect shared variables by using critical section, temporal exclusion, priorities, or interrupt disabling.
- Define Atomic Operations in Multitasking Code
- Define Critical Sections with Functions That Take Arguments
Define Task Priorities for Data Race Detection in Polyspace
Emulate task priorities by making tasks nonpreemptable and interrupts preemptable.

Related Information

Global Variables (Polyspace Code Prover)