超级军网GrammaTech公司推出多核多线程静态分析工具
来源：百度文库 编辑：超级军网 时间：2024/04/29 11:51:23
GrammaTech公司推出多核多线程静态分析工具
2011-05-05
[据GrammaTech公司网站2011年5月4日报道]源代码分析工具制造商GrammaTech公司今天宣布，它已经开发出一种先进的新型项目分析引擎，以鉴定数据竞争条件和其他严重的并发性缺陷。该引擎正被纳入该公司的CodeSonar静态分析工具。
开发团队正在围绕多核处理器如最新的四核Intel Core i7处理器进行开发，因为它们具备更好的计算性能，而传统的性能改进方法例如增加执行速度、降低内存访问次数和智能指令调度已经不能取得重大改进。不幸的是，多核系统更难容许编程错误，并且采用现有工具调试极为困难，特别是出现间歇性错误的时候。
该问题的严重性引起了美国国防高级研究计划局（DARPA）的关注，DARPA授予GrammaTech公司一份价值74.9万美元的合同，以开发一种创新的方法来消除困扰多核系统的严重缺陷。该分析工具能够精确发现这些问题，无需进行测试，削减开发成本，并减少风险。该分析工具也适用于在单处理器上运行多线程应用程序。
该技术兼容于多种编译器，包括ARM RealView、CodeWarrior、GCC、G++、Green Hills、HI-TECH、IAR、ntel C/C++、Microsoft Visual Studio、Renesas、Sun C/C++、Texas Instruments、CodeComposer、Wind River等等。对于某些运行环境，它可能需要建立同步原语模型，但系统设计非常容易。
（工业和信息化部电子科学技术情报研究所 陈皓）
http://www.dsti.net/Information/News/67319GrammaTech公司推出多核多线程静态分析工具
2011-05-05
[据GrammaTech公司网站2011年5月4日报道]源代码分析工具制造商GrammaTech公司今天宣布，它已经开发出一种先进的新型项目分析引擎，以鉴定数据竞争条件和其他严重的并发性缺陷。该引擎正被纳入该公司的CodeSonar静态分析工具。
开发团队正在围绕多核处理器如最新的四核Intel Core i7处理器进行开发，因为它们具备更好的计算性能，而传统的性能改进方法例如增加执行速度、降低内存访问次数和智能指令调度已经不能取得重大改进。不幸的是，多核系统更难容许编程错误，并且采用现有工具调试极为困难，特别是出现间歇性错误的时候。
该问题的严重性引起了美国国防高级研究计划局（DARPA）的关注，DARPA授予GrammaTech公司一份价值74.9万美元的合同，以开发一种创新的方法来消除困扰多核系统的严重缺陷。该分析工具能够精确发现这些问题，无需进行测试，削减开发成本，并减少风险。该分析工具也适用于在单处理器上运行多线程应用程序。
该技术兼容于多种编译器，包括ARM RealView、CodeWarrior、GCC、G++、Green Hills、HI-TECH、IAR、ntel C/C++、Microsoft Visual Studio、Renesas、Sun C/C++、Texas Instruments、CodeComposer、Wind River等等。对于某些运行环境，它可能需要建立同步原语模型，但系统设计非常容易。
（工业和信息化部电子科学技术情报研究所 陈皓）
http://www.dsti.net/Information/News/67319
2011-05-05
[据GrammaTech公司网站2011年5月4日报道]源代码分析工具制造商GrammaTech公司今天宣布，它已经开发出一种先进的新型项目分析引擎，以鉴定数据竞争条件和其他严重的并发性缺陷。该引擎正被纳入该公司的CodeSonar静态分析工具。
开发团队正在围绕多核处理器如最新的四核Intel Core i7处理器进行开发，因为它们具备更好的计算性能，而传统的性能改进方法例如增加执行速度、降低内存访问次数和智能指令调度已经不能取得重大改进。不幸的是，多核系统更难容许编程错误，并且采用现有工具调试极为困难，特别是出现间歇性错误的时候。
该问题的严重性引起了美国国防高级研究计划局（DARPA）的关注，DARPA授予GrammaTech公司一份价值74.9万美元的合同，以开发一种创新的方法来消除困扰多核系统的严重缺陷。该分析工具能够精确发现这些问题，无需进行测试，削减开发成本，并减少风险。该分析工具也适用于在单处理器上运行多线程应用程序。
该技术兼容于多种编译器，包括ARM RealView、CodeWarrior、GCC、G++、Green Hills、HI-TECH、IAR、ntel C/C++、Microsoft Visual Studio、Renesas、Sun C/C++、Texas Instruments、CodeComposer、Wind River等等。对于某些运行环境，它可能需要建立同步原语模型，但系统设计非常容易。
（工业和信息化部电子科学技术情报研究所 陈皓）
http://www.dsti.net/Information/News/67319GrammaTech公司推出多核多线程静态分析工具
2011-05-05
[据GrammaTech公司网站2011年5月4日报道]源代码分析工具制造商GrammaTech公司今天宣布，它已经开发出一种先进的新型项目分析引擎，以鉴定数据竞争条件和其他严重的并发性缺陷。该引擎正被纳入该公司的CodeSonar静态分析工具。
开发团队正在围绕多核处理器如最新的四核Intel Core i7处理器进行开发，因为它们具备更好的计算性能，而传统的性能改进方法例如增加执行速度、降低内存访问次数和智能指令调度已经不能取得重大改进。不幸的是，多核系统更难容许编程错误，并且采用现有工具调试极为困难，特别是出现间歇性错误的时候。
该问题的严重性引起了美国国防高级研究计划局（DARPA）的关注，DARPA授予GrammaTech公司一份价值74.9万美元的合同，以开发一种创新的方法来消除困扰多核系统的严重缺陷。该分析工具能够精确发现这些问题，无需进行测试，削减开发成本，并减少风险。该分析工具也适用于在单处理器上运行多线程应用程序。
该技术兼容于多种编译器，包括ARM RealView、CodeWarrior、GCC、G++、Green Hills、HI-TECH、IAR、ntel C/C++、Microsoft Visual Studio、Renesas、Sun C/C++、Texas Instruments、CodeComposer、Wind River等等。对于某些运行环境，它可能需要建立同步原语模型，但系统设计非常容易。
（工业和信息化部电子科学技术情报研究所 陈皓）
http://www.dsti.net/Information/News/67319