试用软件

PS Code Prover analysis on server - using half number of cores.

1 次查看（过去 30 天）

显示更早的评论

Thomas 2015-5-7

1
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/215582-ps-code-prover-analysis-on-server-using-half-number-of-cores

Hi, I'm using PS CodeProver in Batch-Mode(remote analysis). My maschine is a quad core (8 with HT). PS is configured with "-max-processes 8" under "Advanced Settings". The server, which do the analysis, is an 8 core proc (with HT 16). In the log file: "Remark: 8 cores detected. The verification uses 4 cores."

How to configure the project/server to increase the usage of the (server)cores?

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

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

回答（0 个）

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

类别

Code Verification Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Options at Command Line Only

Verification, Validation, and Test Polyspace Code Prover Configure and Run Analysis Complete List of Polyspace Code Prover Analysis Options Options at Command Line Only

在 Help Center 和 File Exchange 中查找有关 Options at Command Line Only 的更多信息

标签

产品

Community Treasure Hunt

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

Translated by

试用软件