La traducción de esta página aún no se ha actualizado a la versión más reciente. Haga clic aquí para ver la última versión en inglés.

Multitarea

Opciones multitarea, puntos de entrada, secciones críticas, tareas exclusivas

Para configurar la verificación de varias tareas o procesos que se ejecutan de manera simultánea, utilice las opciones multitarea. Polyspace^® puede detectar e interpretar automáticamente determinadas familias de funciones multitarea. A menos que utilice estas funciones, debe especificar explícitamente qué funciones del código indican puntos de entrada, tareas cíclicas o interrupciones. También debe especificar los mecanismos de protección para las variables compartidas. Bug Finder utiliza estas especificaciones para detectar condiciones de carreras de datos, interbloqueos, bloqueos dobles y otros problemas de simultaneidad.

Opciones de Polyspace

expandir todo

Opciones comunes

`Configuración externa multitarea`	Enable setup of multitasking configuration from external file definitions
`Selección de archivos OIL (-osek-multitasking)`	Set up multitasking configuration from OIL file definition
`Selección de archivos ARXML (-autosar-multitasking)`	Set up multitasking configuration from ARXML file definitions
`Configurar multitarea manualmente`	Consider that code is intended for multitasking
`Tareas (-entry-points)`	Specify functions that serve as tasks to your multitasking application
`Tareas cíclicas (-cyclic-tasks)`	Specify functions that represent cyclic tasks
`Interrupciones (-interrupts)`	Specify functions that represent nonpreemptable interrupts
`Desactivar todas las interrupciones (-routine-disable-interrupts -routine-enable-interrupts)`	Specify routines that disable and reenable interrupts.
`Detalles de la sección crítica (-critical-section-begin -critical-section-end)`	Specify functions that begin and end critical sections
`Tareas temporalmente exclusivas (-temporal-exclusions-file)`	Specify entry point functions that cannot execute concurrently

Opciones avanzadas

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

Temas

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.

Información relacionada

Defectos de simultaneidad