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

1 visualizzazione (ultimi 30 giorni)
Thomas
Thomas il 7 Mag 2015
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?

Accedi per rispondere a questa domanda.

Risposte (0)

Categorie

Scopri di più su Troubleshooting in Polyspace Products for Ada in Help Center e File Exchange

Tag

Prodotti

Community Treasure Hunt

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

Start Hunting!

Translated by