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

3 次查看（过去 30 天）
Martin Dowie
Martin Dowie 2017-10-31
评论： Martin Dowie 2017-11-6
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

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

采纳的回答

Alexandre De Barros
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更早的评论
Alexandre De Barros
Alexandre De Barros 2017-11-6
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

请先登录，再进行评论。

更多回答（0 个）

类别

在 Help Center 和 File Exchange 中查找有关 Bug Finder Analysis 的更多信息

标签

产品

Community Treasure Hunt

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

Start Hunting!

Translated by