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

R2025b
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

Configuración externa multitarea
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 manualmenteConsider 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
-disable-concurrency-detectionDisable automatic detection of multitasking functions
-detect-atomic-data-raceEnable detecting data race with atomic operation
-preemptable-interruptsSpecify functions that represent preemptable interrupts
-non-preemptable-tasksSpecify functions that represent nonpreemptable tasks

Temas

Información relacionada