Die Übersetzung dieser Seite ist veraltet. Klicken Sie hier, um die neueste Version auf Englisch zu sehen.

Multitasking

Multitasking-Optionen, Einstiegspunkte, kritische Abschnitte, exklusive Tasks

Verwenden Sie die Multitasking-Optionen, um die Verifikation mehrerer Tasks oder Threads einzurichten, die gleichzeitig ablaufen. Polyspace® kann bestimmte Familien von Multitasking-Funktionen automatisch erkennen und interpretieren. Wenn Sie diese Funktionen nicht verwenden, müssen Sie explizit angeben, welche Funktionen in Ihrem Code Einstiegspunkte, zyklische Tasks oder Interrupts darstellen. Sie müssen auch die Schutzmechanismen für gemeinsame Variablen festlegen. Bug Finder verwendet diese Spezifikationen, um Datenrennen, Blockierungen, Doppelsperren und andere Nebenläufigkeitsprobleme zu erkennen.

Polyspace-Optionen

alle erweitern

Externe Multitasking-KonfigurationEnable setup of multitasking configuration from external file definitions
OIL-Dateien auswählen (-osek-multitasking)Set up multitasking configuration from OIL file definition
ARXML-Dateien auswählen (-autosar-multitasking)Set up multitasking configuration from ARXML file definitions
Multitasking manuell konfigurieren Consider that code is intended for multitasking
Tasks (-entry-points)Specify functions that serve as tasks to your multitasking application
Zyklische Tasks (-cyclic-tasks)Specify functions that represent cyclic tasks
Interrupts (-interrupts)Specify functions that represent nonpreemptable interrupts
Alle Interrupts deaktivieren (-routine-disable-interrupts -routine-enable-interrupts)Specify routines that disable and reenable interrupts.
Details in kritischen Abschnitten (-critical-section-begin -critical-section-end)Specify functions that begin and end critical sections
Zeitlich exklusive Tasks (-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

Themen

Verwandte Informationen