Гонка данных в соседних битовых полях происходит, когда:

Чтобы найти этот дефект, перед анализом необходимо указать параметры многозадачности. Чтобы задать эти параметры, на панели Конфигурация выберите Многозадачность. Дополнительные сведения см. в разделе Настройка многозадачного анализа в многозадачном пространстве вручную.

Смежные битовые поля, которые являются частью одной структуры, могут храниться в одном байте в одной и той же ячейке памяти. Операции чтения или записи для всех переменных, включая битовые поля, выполняются по одному байту или слову одновременно. Чтобы изменить только определенные биты в байте, шаги, подобные этим шагам, выполняются последовательно:

При обращении к двум различным битовым полям эти четыре шага должны выполняться для каждого битового поля. Если доступ не защищен, все четыре шага для одного битового поля могут не быть выполнены до того, как начнутся четыре шага для другого битового поля. В результате модификация одного битового поля может отменить модификацию соседнего битового поля. Например, в предыдущем примере модификация errorFlag1 и errorFlag2 может происходить в следующей последовательности.

Шаги 1,2 и 5 относятся к модификации errorFlag1 и в то время как шаги 3,4 и 6 относятся к шагам errorFlag2.

Чтобы устранить этот дефект, защитите операции над битовыми полями, которые являются частью одной и той же структуры, используя критические разделы, временное исключение или другое средство. См. раздел Защита общих переменных в многозадачном коде.

Чтобы определить существующие защиты, которые можно использовать повторно, см. таблицу и графики, связанные с результатом. В таблице показаны все пары конфликтующих вызовов. В столбце Access Protections отображаются существующие защиты для вызовов. Для просмотра последовательности вызовов функции, приводящей к конфликтам, щелкните по пиктограмме.

typedef struct
{
   unsigned int IOFlag :1;
   unsigned int InterruptFlag :1;
   unsigned int Register1Flag :1;
   unsigned int SignFlag :1;
   unsigned int SetupFlag :1;
   unsigned int Register2Flag :1;
   unsigned int ProcessorFlag :1;
   unsigned int GeneralFlag :1;
} InterruptConfigbits_t;

InterruptConfigbits_t InterruptConfigbitsProc12;

void task1 (void) {
    InterruptConfigbitsProc12.IOFlag = 0;
}

void task2 (void) {
    InterruptConfigbitsProc12.SetupFlag = 0;
}

В этом примере: task1 и task2 доступ к различным битовым полям IOFlag и SetupFlag, которые принадлежат одной и той же структурированной переменной InterruptConfigbitsProc12.

Чтобы эмулировать многозадачность, укажите параметры, перечисленные в этой таблице.

Выбор	Спецификация
Настройка многозадачности вручную
Задачи	task1 task2

В командной строке используйте:

 polyspace-bug-finder 
   -entry-points task1,task2

Одной из возможных корректировок является перенос доступа к битовому полю в критическую секцию. Критический раздел находится между вызовом функции блокировки и функцией разблокировки. В этой коррекции критический раздел находится между вызовами функций begin_critical_section и end_critical_section.

typedef struct
{
   unsigned int IOFlag :1;
   unsigned int InterruptFlag :1;
   unsigned int Register1Flag :1;
   unsigned int SignFlag :1;
   unsigned int SetupFlag :1;
   unsigned int Register2Flag :1;
   unsigned int ProcessorFlag :1;
   unsigned int GeneralFlag :1;
} InterruptConfigbits_t;

InterruptConfigbits_t InterruptConfigbitsProc12;

void begin_critical_section(void);
void end_critical_section(void);

void task1 (void) {
    begin_critical_section();
    InterruptConfigbitsProc12.IOFlag = 0;
    end_critical_section();
}

void task2 (void) {
    begin_critical_section();
    InterruptConfigbitsProc12.SetupFlag = 0;
    end_critical_section();
}

В этом примере для эмуляции многозадачности укажите параметры, перечисленные в этой таблице.

Выбор	Спецификация
Настройка многозадачности вручную
Задачи	task1 task2
Детали критического раздела	Запуск подпрограммы	Завершение процедуры
	begin_critical_section	end_critical_section

В командной строке используйте:

 polyspace-bug-finder 
   -entry-points task1,task2
   -critical-section-begin begin_critical_section:cs1
   -critical-section-end end_critical_section:cs1

Если у вас нет ограничений памяти, используйте char тип данных вместо битовых полей. char переменные в структуре занимают, по меньшей мере, один байт и не имеют проблем безопасности потока, которые возникают в результате битовых манипуляций в операции с размером байта. Гонки данных не являются результатом незащищенных операций на различных char переменные, которые являются частью одной структуры.

typedef struct
{
   unsigned char IOFlag;
   unsigned char InterruptFlag;
   unsigned char Register1Flag;
   unsigned char SignFlag;
   unsigned char SetupFlag;
   unsigned char Register2Flag;
   unsigned char ProcessorFlag;
   unsigned char GeneralFlag;
} InterruptConfigbits_t;

InterruptConfigbits_t InterruptConfigbitsProc12;

void task1 (void) {
    InterruptConfigbitsProc12.IOFlag = 0;
}

void task2 (void) {
    InterruptConfigbitsProc12.SetupFlag = 0;
}

Хотя средство проверки не помечает эту поправку, не используйте ее для C99 или более ранних версий. Только с C11 года и позднее мандат Стандарта С отличается char невозможно получить доступ к переменным с помощью одного и того же слова.

Между двумя соседними битовыми полями, доступ к которым можно получить одновременно, можно ввести элемент небитного поля или элемент безымянного битового поля размером 0. Элемент небитного поля или элемент битового поля размера 0 гарантирует, что последующее битовое поле начинается из новой ячейки памяти. В этом исправленном примере элемент битового поля размера 0 гарантирует, что IOFlag и SetupFlag хранятся в различных ячейках памяти.

typedef struct
{
   unsigned int IOFlag :1;
   unsigned int InterruptFlag :1;
   unsigned int Register1Flag :1;
   unsigned int SignFlag :1;
   unsigned int : 0;
   unsigned int SetupFlag :1;
   unsigned int Register2Flag :1;
   unsigned int ProcessorFlag :1;
   unsigned int GeneralFlag :1;
} InterruptConfigbits_t;

InterruptConfigbits_t InterruptConfigbitsProc12;

void task1 (void) {
    InterruptConfigbitsProc12.IOFlag = 0;
}

void task2 (void) {
    InterruptConfigbitsProc12.SetupFlag = 0;
}