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

1 visualización (últimos 30 días)
Thomas
Thomas el 7 de Mayo de 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?

Iniciar sesión para responder a esta pregunta.

Respuestas (0)

Categorías

Más información sobre Troubleshooting in Polyspace Products for Ada en Help Center y File Exchange.

Etiquetas

Productos

Community Treasure Hunt

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

Start Hunting!

Translated by