修复 Polyspace 跟踪编译时编译过程缓慢的问题

问题

在某些情况下，当 Polyspace® 跟踪编译时，编译过程可能运行较慢。

原因

Polyspace 会将信息缓存到系统临时文件夹中的文件里，例如 Windows® 中的 C:\Users\User_Name\AppData\Local\Temp。您的编译在对此文件夹执行读取/写入操作时可能需要很长时间。因此，整体编译过程速度缓慢。

解决方案

您可以通过更改 Polyspace 存储缓存信息的位置来解决编译过程缓慢的问题。例如，您可以使用运行编译跟踪所在驱动器的本地缓存路径。要创建并使用本地文件夹 ps_cache 来存储缓存信息，请使用高级选项 -cache-path ./ps_cache。

  • 如果您在 Polyspace 用户界面中跟踪编译，请在添加高级配置选项字段中输入此标志。

  • 如果您在 DOS/ UNIX® 或 MATLAB® 命令行中跟踪编译，请在 polyspace-configure 命令中使用此标志。

有关详细信息，请参阅 polyspace-configure。