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

1 次查看（过去 30 天）
Thomas
Thomas 2015-5-7
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 个）

类别

在 Help Center 和 File Exchange 中查找有关 Troubleshooting in Polyspace Products for Ada 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by