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