многопоточность — код C ++ — Coverity (или другой статический анализатор кода) + безопасность потоков

Мне было интересно сегодня о следующем: есть ли какой-либо инструмент или расширение (для покрытия или для другого анализатора кода), где я могу сделать следующее ?:

  • Во-первых, я бы установил набор правил, по которым коды генерируют новые потоки, чтобы анализатор знал, что код будет запускать другой поток.
  • Инструмент должен следить за тем, какие части кода, в каких потоках находятся в одном или в разных.
  • Я мог бы установить «правила», какие коды обеспечивают мне безопасность потоков: например, класс MYLOCK блокирует потоки.
  • И причина предыдущих 3: инструмент должен показывать мне предупреждения, какие коды, скорее всего, вызываются разными потоками и в них не используется безопасность потоков.

Спасибо

2

Решение

Попробуйте Intel Inspector (также известный как Thread Checker). Это динамический анализ, а не статический. Насколько я помню, он допускал некоторые аннотации / инструментарий для пользовательских блокировок, в общем, многопоточность библиотек.

0

Другие решения


По вопросам рекламы [email protected]