Exponenta Banner

Медленный процесс сборки, когда Polyspace прослеживает сборку

Проблема

В некоторых случаях ваш процесс сборки может запуститься медленнее, когда Polyspace® прослеживает сборку.

Причина

Информация о кэшах Polyspace в файлах сохранила в системе временную папку, такую как C:\Users\User_Name\AppData\Local\Temp, в Windows®. Ваша сборка может занять много времени, чтобы выполнить операции чтения-записи к этой папке. Поэтому полный процесс сборки является медленным.

Решение

Можно работать вокруг медленного процесса сборки путем изменения местоположения, где Polyspace хранит информацию кэша. Например, можно использовать путь к кэшу, локальный для диска, от которого вы запускаете трассировку сборки. Создать и использовать локальную папку ps_cache для того, чтобы хранить информацию кэша, используйте расширенную настройку -cache-path ./ps_cache.

  • Если вы прослеживаете свою сборку от пользовательского интерфейса Polyspace, введите этот флаг в поле Add advanced configure options.

  • Если вы прослеживаете свою сборку от DOS / UNIX® или командная строка MATLAB®, используйте этот флаг с polyspace-configure команда.

Для получения дополнительной информации смотрите polyspace-configure.

Документация Polyspace Bug Finder Server
Поддержка