Polyspace 'Verification'/'source code compliance' phase - why not parallel?

2017 10 31
1 个回答
回答已采纳
更新时间：2017 11 6
4 次查看（30 天）

0 个投票

One of the slowest part of any Polyspace analysis is the source code verification step but this performed sequentially, one file at a time. Is there any good reason this phase does not make use of any multi-core environment and verify the code in parallel?
TIA Martin

请先登录，再回答此问题。

 采纳的回答

0 个投票

Hello Martin,
Since R2014b, the compliance checking of the source files is parallelized.
See the release notes on this page : https://www.mathworks.com/help/codeprover/release-notes.html and look at the paragraph R2014b for more information.
Best regards,
Alexandre

3 个评论
显示 1更早的评论 隐藏 1更早的评论

Martin Dowie
Martin Dowie 2017-11-2
编辑：Martin Dowie 2017-11-3
Ok, but I don't see this behaviour - never have on R2014b and I'm now on R2017b freshly installed on a brand new PC.
Just to be clear - it recognizes the 8 cores...but it only ever uses 1 during the 'source code compliance' phase. Actual analysis phases do make use of the multi-cores.
Hi Martin,
The compilation phase is made of different stages, and not all the compilation phase can be parallelized.
It is done for the source files compliance phase (and so you should see that several cores are used during this stage) but it is difficult to do it for the cross-files compliance phase because in this phase, all the results are "inter-dependant".
Best regards,
Alexandre
Martin Dowie
Martin Dowie 2017-11-6
Only in parallel for C not for C++ (or Ada presumably)...
...R2018a please!!

请先登录，再进行评论。

更多回答（0 个）

类别

在 帮助中心 和 File Exchange 中查找有关 Run Settings 的更多信息

产品

标签

Community Treasure Hunt

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

Start Hunting!

Translated by