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

3 次查看（过去 30 天）

Martin Dowie 2017-10-31

0
链接

此问题的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/364217-polyspace-verification-source-code-compliance-phase-why-not-parallel

评论： 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

0 个评论
显示 -2更早的评论隐藏 -2更早的评论

请先登录，再进行评论。

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

采纳的回答

Alexandre De Barros 2017-11-2

0
链接

此回答的直接链接

https://ww2.mathworks.cn/matlabcentral/answers/364217-polyspace-verification-source-code-compliance-phase-why-not-parallel#answer_289021

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更早的评论

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

Martin Dowie 2017-11-6