配置多任务检查项

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

默认情况下，Polyspace® 支持多个多任务库，包括 POSIX® 库以及用于 C11 和 C++11 的标准库。有关支持的多任务库和关键字的列表，请参阅Auto-Detection of Thread Creation and Critical Section in Polyspace。

如果您使用其他多任务库，则可以使用 -code-behavior-specifications 选项将所用的库映射到受支持的库。

或者，使用此处列出的选项来指定代码中的哪些函数指示入口函数、周期任务，哪些指示中断。您还必须指定对共享变量的保护机制。

Polyspace 选项

全部展开

-code-behavior-specificationsAssociate behaviors with code elements such as functions
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指定表示可抢占中断的函数
禁用所有中断 (-routine-disable-interrupts -routine-enable-interrupts)Specify routines that disable and reenable 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 起)
-disable-concurrency-detectionDisable automatic detection of multitasking functions

主题

相关信息