Взаимоблокировка возникает, когда несколько задач застряли в своих критических секциях (CS) по следующим причинам:

Polyspace ® ожидает, что критические разделы кода будут соответствовать определенному формату. Критический раздел находится между вызовом функции блокировки и вызовом функции разблокировки. Когда задачаmy_task вызывает функцию блокировки my_lock, другие задачи, вызывающие my_lock должен подождать до my_task вызывает соответствующую функцию разблокировки. Функции блокировки и разблокировки должны иметь вид void func(void).

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

Каждая задача ожидает завершения критического раздела другой задачи и не может продолжить работу. Программа может заморозить на неопределенный срок.

Исправление зависит от первопричины дефекта. Можно попытаться разорвать циклический порядок между задачами одним из следующих способов:

Анализ этого дефекта дает возможность проверить, действительно ли все операции в вашем критическом разделе должны выполняться как атомарный блок. Рекомендуется сохранять критические участки на минимальном уровне.

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

void task1(void);
void task2(void);

int var;
void perform_task_cycle(void) {
 var++;
}

void begin_critical_section_1(void);
void end_critical_section_1(void);

void begin_critical_section_2(void);
void end_critical_section_2(void);

void task1() {
 while(1) {
    begin_critical_section_1();
    begin_critical_section_2();
    perform_task_cycle();
    end_critical_section_2();
    end_critical_section_1();
 } 
}

void task2() {
 while(1) {
    begin_critical_section_2();
    begin_critical_section_1();
    perform_task_cycle();
    end_critical_section_1();
    end_critical_section_2();
 } 
}

В этом примере для эмуляции многозадачности необходимо указать следующие параметры.

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

Взаимоблокировка возникает, поскольку команды могут выполняться в следующей последовательности:

Одной из возможных корректировок является следование одной и той же последовательности вызовов для блокировки и разблокировки функций в обоих task1 и task2.

void task1(void);
void task2(void);
void perform_task_cycle(void);

void begin_critical_section_1(void);
void end_critical_section_1(void);

void begin_critical_section_2(void);
void end_critical_section_2(void);

void task1() {
 while(1) {
    begin_critical_section_1();
    begin_critical_section_2();
    perform_task_cycle();
    end_critical_section_2();
    end_critical_section_1();
 } 
}

void task2() {
 while(1) {
    begin_critical_section_1();
    begin_critical_section_2();
    perform_task_cycle();
    end_critical_section_2();
    end_critical_section_1();
 } 
}

int var;
void performTaskCycle() {
 var++;
}

void lock1(void);
void lock2(void);
void lock3(void);


void unlock1(void);
void unlock2(void);
void unlock3(void);

void task1() {
 while(1) {
    lock1();
    lock2();
    performTaskCycle();
    unlock2();
    unlock1();
 } 
}

void task2() {
 while(1) {
    lock2();
    lock3();
    performTaskCycle();
    unlock3();
    unlock2();
 } 
}

void task3() {
 while(1) {
    lock3();
    lock1();
    performTaskCycle();
    unlock1();
    unlock3();
 } 
}

В этом примере для эмуляции многозадачности необходимо указать следующие параметры.

Выбор	Спецификация
Настройка многозадачности вручную
Точки входа	task1 task2 task3
Детали критического раздела	Запуск подпрограммы	Завершение процедуры
	lock1	unlock1
	lock2	unlock2
	lock3	unlock3

Взаимоблокировка возникает, поскольку команды могут выполняться в следующей последовательности:

Чтобы разорвать циклический порядок между критическими секциями, обратите внимание на каждую функцию блокировки в коде в определенной последовательности, например:

Если в задаче используется несколько функций блокировки, используйте их в том порядке, в котором они отображаются в последовательности. Например, можно использовать lock1 за которым следует lock2 но не lock2 за которым следует lock1.

int var;
void performTaskCycle() {
 var++;
}

void lock1(void);
void lock2(void);
void lock3(void);

void unlock1(void);
void unlock2(void);
void unlock3(void);

void task1() {
 while(1) {
    lock1();
    lock2();
    performTaskCycle();
    unlock2();
    unlock1();
 } 
}

void task2() {
 while(1) {
    lock2();
    lock3();
    performTaskCycle();
    unlock3();
    unlock2();
 } 
}

void task3() {
 while(1) {
    lock1();
    lock3();
    performTaskCycle();
    unlock3();
    unlock1();
 } 
}