Multitâche

Options de multitâche, points d’entrée, sections critiques, tâches exclusives

Pour configurer la vérification de plusieurs tâches ou liens qui s'exécutent simultanément, utilisez les options de multitâche. Polyspace^® peut détecter et interpréter automatiquement certaines familles de fonctions de multitâche. À moins que vous n'utilisiez ces fonctions, vous devez spécifier explicitement quelles fonctions dans votre code indiquent des points d'entrée, des tâches cycliques ou des interruptions. Vous devez également spécifier les mécanismes de protection des variables partagées. Bug Finder utilise ces spécifications pour détecter les situations d'accès concurrent, les deadlocks, les doubles locks et autres problèmes de concurrence.

Options Polyspace

développer tout

Options courantes

`External multitasking configuration`	Enable setup of multitasking configuration from external file definitions
`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
`Disabling all interrupts (-routine-disable-interrupts -routine-enable-interrupts)`	Specify routines that disable and reenable 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

Options avancées

`-disable-concurrency-detection`	Disable automatic detection of multitasking functions
`-detect-atomic-data-race`	Enable detecting data race with atomic operation
`-preemptable-interrupts`	Specify functions that represent preemptable interrupts
`-non-preemptable-tasks`	Specify functions that represent nonpreemptable tasks

Rubriques

Specify Polyspace Analysis Options
Specify Polyspace analysis options in Polyspace user interface, other IDE-s or scripts.
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.
Protections for Shared Variables in Multitasking Code

Protect shared variables by using critical section, temporal exclusion, priorities, or interrupt disabling.

Informations connexes

Défauts d’accès concurrent