-disable-concurrency-detection
Disable automatic detection of multitasking functions
Syntax
-disable-concurrency-detection
Description
-disable-concurrency-detection
disables the automatic concurrency
detection for supported multitasking functions.
Polyspace® can automatically detect multitasking functions from several libraries, including these:
POSIX®
VxWorks®
Windows®
μC/OS II
μC/OS III
C++11
C11
See Multitasking Routines That Polyspace Can Detect.
Automatic detection of these functions might find too many tasks and slow down a
Polyspace analysis. In such cases, use this option to disable automatic detection.
Instead, manually configure your multitasking analysis by using analysis options such as
Tasks
(-entry-points)
, Critical section details (-critical-section-begin
-critical-section-end)
, Temporally exclusive tasks
(-temporal-exclusions-file)
. See Configuring Polyspace Multitasking Analysis Manually.
In the user interface (Polyspace desktop products only), on the Configuration pane, enter this
option in the Other field. See Other
.
Examples
Disable automatic detection of multitasking functions by using this option. Then, manually configure the multitasking analysis:
polyspace-bug-finder -checkers concurrency -disable-concurrency-detection -entry-points foo1,foo2,foo3
Tips
This option is not useful in a Polyspace as You Code analysis.