MATLAB的答案

Polyspace“验证”/“源代码遵从性”阶段-为什么不并行?

1次观看(过去30天)
马丁道伊
马丁道伊 2017年10月31日
评论道: 马丁道伊2017年11月6日
任何Polyspace分析中最慢的部分之一是源代码验证步骤，但这是按顺序执行的，一次一个文件。这个阶段是否有理由不使用任何多核环境并并行验证代码?
TIA马丁

登录回答这个问题。

接受的答案

亚历山大·德·巴罗斯
亚历山大·德·巴罗斯 2017年11月2日
你好马丁,
从R2014b开始，源文件的合规性检查是并行的。
请参阅本页的发布说明: //www.tatmou.com/help/codeprover/release-notes.html 更多信息请看R2014b段。
最好的问候,
亚历山大
3评论
显示旧的评论
马丁道伊
马丁道伊 2017年11月6日
只是并行于C，而不是c++(或Ada)…
.．.R2018a请! !

登录评论。

更多答案(0)