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