Configure Multitasking Checks

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

To enable verification of shared access of global variables by concurrent tasks or threads, specify the option Enable automatic concurrency detection for Code Prover (-enable-concurrency-detection).

Polyspace^® recognizes certain families of multitasking functions. Unless you use these functions, use the options in this category 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

Multitasking

`Enable automatic concurrency detection for Code Prover (-enable-concurrency-detection)`	Automatically detect certain families of multithreading functions
`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
`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)

Code Behavior Specification

-code-behavior-specifications Associate behaviors with code elements such as 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

Related Information

Global Variables