La traduzione di questa pagina non è aggiornata. Fai clic qui per vedere l'ultima versione in inglese.

Multitasking

Opzioni multitasking, punti di ingresso, sezioni critiche, attività esclusive

Per impostare la verifica di più attività o thread in esecuzione simultanea, utilizzare le opzioni multitasking. Polyspace^® può rilevare e interpretare automaticamente alcune famiglie di funzioni multitasking. Se non si utilizzano queste funzioni, è necessario specificare esplicitamente quali funzioni nel codice indicano i punti di ingresso, le attività cicliche o gli interrupt. È inoltre necessario specificare i meccanismi di protezione per le variabili condivise. Bug Finder utilizza queste specifiche per rilevare la corsa ai dati, gli stalli, i doppi blocchi e altri problemi di concorrenza.

Opzioni Polyspace

espandi tutto

Opzioni comuni

`Configurazione multitasking esterna`	Enable setup of multitasking configuration from external file definitions
`Selezione file OIL (-osek-multitasking)`	Set up multitasking configuration from OIL file definition
`Selezione file ARXML (-autosar-multitasking)`	Set up multitasking configuration from ARXML file definitions
`Configurare manualmente il multitasking`	Consider that code is intended for multitasking
`Attività (-entry-points)`	Specify functions that serve as tasks to your multitasking application
`Attività cicliche (-cyclic-tasks)`	Specify functions that represent cyclic tasks
`Interrupt (-interrupts)`	Specify functions that represent nonpreemptable interrupts
`Disabilitazione di tutte gli interrupt (-routine-disable-interrupts -routine-enable-interrupts)`	Specify routines that disable and reenable interrupts.
`Dettagli della sezione critica (-critical-section-begin -critical-section-end)`	Specify functions that begin and end critical sections
`Attività temporaneamente esclusive (-temporal-exclusions-file)`	Specify entry point functions that cannot execute concurrently

Opzioni avanzate

`-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

Argomenti

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.

Informazioni complementari

Difetti di concorrenza