Функция разблокировки вызывается дважды в задаче без промежуточного вызова функции блокировки
Этот дефект возникает, когда:
Задача вызывает функцию блокировки my_lock
.
Задача вызывает соответствующую функцию разблокировки my_unlock
.
Задача вызывает my_unlock
снова. Задача не вызывает my_lock
второй раз между двумя вызовами, чтобы my_unlock
.
В многозадачном коде функция блокировки начинает критический раздел кода и функция разблокировки прекращает его. Когда задача task1
вызывает функцию блокировки my_lock
, другие задачи, вызывающие my_lock
необходимо подождать до task1
вызывает соответствующую функцию разблокировки. Polyspace® требует, чтобы функции блокировки и разблокировки имели форму void func(void)
.
Чтобы найти этот дефект, перед анализом необходимо задать опции многозадачности. Чтобы задать эти опции, на панели Configuration выберите Multitasking.
Дефект двойной разблокировки может указывать на ошибку кодирования. Возможно, вы хотели вызвать другую функцию разблокировки, чтобы закончить другой критический раздел. Возможно, вы преждевременно вызвали функцию разблокировки в первый раз, и только второй вызов указывает конец критического раздела.
Исправление зависит от первопричины дефекта.
Идентифицируйте каждый критический раздел кода, то есть раздел, который вы хотите выполнить как атомарный блок. Вызовите функцию блокировки в начале раздела. Только в конце раздела вызовите функцию разблокировки, которая соответствует функции блокировки. Удалите любой другой избыточный вызов функции разблокировки.
См. примеры исправлений ниже. Чтобы избежать проблемы, можно следовать практике вызова функций блокировки и разблокировки в том же модуле на том же уровне абстракции. Например, в этом примере func
вызывает функцию блокировки и разблокировки на том же уровне, но func2
не делает.
void func() { my_lock(); { ... } my_unlock(); } void func2() { { my_lock(); ... } my_unlock(); }
Если вы не хотите устранять проблему, добавьте комментарии к своему результату или коду, чтобы избежать другой проверки. Смотрите Адрес Результаты Polyspace через исправления ошибок или обоснования.
Группа: Параллелизм |
Язык: C | C++ |
По умолчанию: On |
Синтаксис командной строки: DOUBLE_UNLOCK |
Влияние: Высокий |
ИДЕНТИФИКАТОР CWE: 765 |
Configure multitasking manually
| Critical section details (-critical-section-begin -critical-section-end)
| Data race
| Data race including atomic operations
| Data race through standard library function call
| Deadlock
| Destruction of locked mutex
| Double lock
| Find defects (-checkers)
| Missing lock
| Missing unlock
| Tasks (-entry-points)
| Temporally exclusive tasks (-temporal-exclusions-file)