配置多任务检查项

指定代码中使用的多任务构造，例如入口函数、中断、周期任务和时序互斥任务

要启用并发任务或线程对全局变量的共享访问的验证，请指定为 Code Prover 启用自动并发检测 (-enable-concurrency-detection) 选项。

Polyspace^® 识别某些系列的多任务函数。除非您使用这些函数，否则使用此类别中的选项指定代码中的哪些函数指示入口函数、周期任务，哪些指示中断。您还必须指定对共享变量的保护机制。

Polyspace 选项

`为 Code Prover 启用自动并发检测 (-enable-concurrency-detection)`	自动检测某些系列的多线程函数
`OIL 文件选择 (-osek-multitasking)`	Set up multitasking configuration from OIL file definition
`ARXML 文件选择 (-autosar-multitasking)`	Set up multitasking configuration from ARXML file definitions
`手动配置多任务`	Consider that code is intended for multitasking
`任务 (-entry-points)`	Specify functions that serve as tasks to your multitasking application
`周期任务 (-cyclic-tasks)`	Specify functions that represent cyclic tasks
`中断 (-interrupts)`	Specify functions that represent nonpreemptable interrupts
`临界区详细信息 (-critical-section-begin -critical-section-end)`	Specify functions that begin and end critical sections
`时序互斥任务 (-temporal-exclusions-file)`	Specify entry point functions that cannot execute concurrently
`-non-preemptable-tasks`	指定表示不可抢占任务的函数
`-preemptable-interrupts`	指定表示可抢占中断的函数
`使用文件指定多任务配置`	Specify if you want to setup multitasking configuration by using an external file. (自 R2023b 起)
`用于多任务的外部文件`	Specify which supported external file format you want to use to set up your multitasking configuration. (自 R2023b 起)

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

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
- 手动配置 Polyspace 多任务分析
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