Обнаружьте гонки данных, включающие только атомарные операции, даже когда никакие критические разделы не заданы
-force-data-races
-force-data-races
осуществляет обнаружение гонок данных, включающих только атомарные операции, даже когда никакие критические разделы не заданы.
По умолчанию Bug Finder обнаруживает гонки данных, только если одна или обе операции, получающие доступ к совместно используемой переменной, являются неатомарными. Можно явным образом включить обнаружение гонок данных, включающих только атомарные операции. Смотрите Data race including atomic operations
. Однако, если вы не используете критические разделы вообще в вашем коде, чтобы не отмечать слишком много операций, этот вид обнаружения гонки данных все еще отключен. Чтобы обеспечить обнаружение гонок данных, включающих атомарные операции только даже в отсутствие критических разделов, используйте опцию -force-data-races
.
В этом примере, переменной sharedVar1
совместно используется потоками с функциями запуска thread1_main
и thread2_main
но операции на sharedVar1
не защищены от параллельного доступа. Если при запуске Bug Finder с опцией -checkers data_race_all
, вы не видите, что данные мчатся, потому что код не использует критические разделы вообще. Критический раздел, например, включил бы использование pthread_mutex_lock
- pthread_mutex_unlock
пара.
Вы также видите предупреждение в журнале:
Warning: Checker 'Data Race' is activated but no protection have been defined
Warning: Checker 'Data Race including atomic operations' is disabled because no critical sections, temporal exclusions or routines to disable/enable all interrupts have been defined.
| To force activation of this checker use option -force-data-races
Чтобы видеть гонки данных несмотря на отсутствие критических разделов, используйте опцию -force-data-races
.
Bug Finder:
polyspace-bug-finder -checkers data_race_all -force-data-races
Сервер Bug Finder:
polyspace-bug-finder-server -checkers data_race_all -force-data-races
Эта опция не полезна в Polyspace как Вы Анализ кода.