В некоторых случаях процесс сборки может выполняться медленнее, когда Polyspace ® отслеживает построение.
Polyspace кэширует информацию в файлах, хранящихся во временной папке системы, таких как C:\Users\, в Windows ®. Для выполнения операций чтения и записи в эту папку может потребоваться много времени. Поэтому процесс сборки в целом идет медленно.User_Name\AppData\Local\Temp
Можно обойти процесс медленного построения, изменив расположение, где Polyspace хранит информацию кэша. Например, можно использовать путь кэша, локальный к диску, с которого выполняется трассировка построения. Создание и использование локальной папки ps_cache для хранения информации кэша используйте расширенный параметр -cache-path ./ps_cache.
При отслеживании сборки из интерфейса пользователя Polyspace введите этот флаг в поле Добавить дополнительные параметры настройки.
При отслеживании сборки из командной строки DOS/UNIX ® или MATLAB ® используйте этот флаг с polyspace-configure команда.
Дополнительные сведения см. в разделе polyspace-configure.