多核处理器架构下软件运行时验证方法研究-计算机科学与技术专业论文.docxVIP

南京航空航天大学硕士学位论文 南京航空航天大学硕士学位论文 多核处理器架构下软件运行时验证方法研究 多核处理器架构下软件运行时验证方法研究 i i ii ii 摘 要 随着计算机硬件性能的不断提高，嵌入式系统中软件系统的规模和复杂性不断增加，软件 可靠性问题已成为嵌入式控制系统发展的一个瓶颈。传统的嵌入式软件可靠性保障技术主要关 注于系统开发后期，而在系统运行时阶段缺乏有效工具和技术对系统进行分析与验证。如今， 基于监控的软件运行时验证（MRV:Monitoring-Oriented Runtime Verification）技术被认为是在 软件运行时提高软件系统可靠性的一个趋势。基于监控的软件运行时验证方法通过在软件系统 中加入状态监视设施可以有效的提高系统可靠性，但是在传统的单核处理器架构的计算平台上， 软件系统中所加入的状态监视设施以及相关分析与检验处理过程将对目标系统的执行性能造成 较大的影响，从而影响到整体系统的可靠性。随着多核处理器架构的发展，许多高性能计算平 台被用来解决用户庞大而复杂的问题，如今，多核处理器架构计算平台已经成为了验证领域提 高验证性能的一个新的趋势。 本文对基于多核处理器架构的 MRV 方法进行了初步研究，分析并设计了在线验证、离线 验证以及单监视器设计与多监视器设计等多种模式的 MRV 验证框架，进一步在 Visual Studio 平台上和 Eclipse 平台上分别给出了 C++版本和 Java 版本的 MRV 实现方案，并在几个开源项目 中进行了 MRV 实例应用。最后对实验获得的数据进行分析和总结，实验数据表明，在不同验 证模式下，多核处理器能够有效的提高系统运行时验证的性能。本文工作为进一步设计有效的 多核架构下 MRV 方法提供了基础。 关键词：面向监控的运行时验证, 多核程序设计, 嵌入式软件, 软件分析与验证, Java 本地接口 ABSTRACT Along with the increasing performance of hardware, the size and complexity of the software in embedded systems are becoming increasing huge. Software reliability has become a bottleneck to the development of embedded control systems. Traditional methods in embedded computing systems mostly focus on testing and lack of effective tools and technology supporting the analysis and verification of the running system. Monitor-oriented Runtime Verification (MRV) methods are used to be considered as effectively ways to increase software system reliability. By adding some monitoring facilities to software system, MRV methods can improve the reliability of system effectively. However, in the case of traditional embedded systems, which are based on single-core processor architecture, it may cause great losses of system performance, thus affect the overall system reliability. With the development of the multi-core architecture, high performance computing platforms are produced to satisfy users requirement for solving large and complex problems, multi-core architecture has become a new trend in the verication field to improve the performance. In this thesis, multi-core processor a