Глобальные переменные, совместно использованные несколькими задачами, но не защищенный от параллельного доступа задачами
Разделяемая незащищенная глобальная переменная имеет следующие свойства:
Переменная используется больше чем в одной задаче.
Polyspace® решает, что по крайней мере одна операция на переменной не защищена от прерывания операциями в других задачах.
В коде, который не предназначается для многозадачности, все глобальные переменные неразделяемы.
В ваших результатах верификации эти переменные окрашены в оранжевый на Source, Results List и панелях Variable Access. На панели Source окраска применяется к переменной только во время объявления.
#include <limits.h>
int shared_var;
void inc() {
shared_var+=2;
}
void reset() {
shared_var = 0;
}
void task() {
volatile int randomValue = 0;
while(randomValue) {
reset();
inc();
inc();
}
}
void interrupt() {
shared_var = INT_MAX;
}
void interrupt_handler() {
volatile int randomValue = 0;
while(randomValue) {
interrupt();
}
}
void main() {
}В этом примере shared_var является незащищенной совместно используемой переменной, если вы задаете следующие многозадачные опции:
| Опция | Значение | |
|---|---|---|
| Сконфигурируйте многозадачность вручную |  | |
| Задачи |
| |
Вы не задаете механизмы защиты, такие как критические разделы.
Операция shared_var = INT_MAX может прервать другие операции на shared_var и вызвать непредсказуемое поведение.
Если вы кликаете
(график) по значку на панели Result Details, вы видите две параллельных задачи (потоки).
Первый график показывает, как задачи получают доступ к переменной. Например, задача, interrupt_handler вызывает функциональный interrupt, который пишет в совместно используемую переменную shared_var.
Второй график показывает, как задачи создаются. В этом примере создаются обе задачи после того, как main завершается. В других случаях задачи могут быть созданы в функциях, вызванных от main.
| Язык: C | C++ |