What is the most performant configuration to run my Polyspace verification analysis?

10 次查看（过去 30 天）
MathWorks Support Team
编辑： MathWorks Support Team 2024-6-30
I am running a Polyspace Code Prover verification analysis and I would like it to run faster. I want to make use of the parallelization capabilities of Polyspace and I tried using the option -max-processes
​I intended to make use of the 4 physical + 4 virtual cores on my machine.
However it seems that Code Prover only recognizes 4 cores per the message below:
Remark: 4 core(s) detected. The verification uses 4 core(s).
Value 8 of -max-processes option has been ignored.
Is there any way to use virtual cores and more generally, how can I improve the performance of my verification analysis?

请先登录，再回答此问题。

采纳的回答

MathWorks Support Team
编辑：MathWorks Support Team 2024-6-30
Using Polyspace Code Prover, it is not possible to increase number of cores unless having physical cores on the machine. So -max-processes 8 will work only and only if you have 8 real cores (hyper-threading is not taken into account).
Now, we have experimented that increasing number of cores does not help too much for a Polyspace Code Prover analysis.
 

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Polyspace Code Prover 的更多信息

标签

产品


版本

尚未输入任何版本。

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!

Translated by