基于SUIF2的静态死锁检测方法研究

死锁是并发程序中常见的错误之一,且由于并发程序运行的不确定性使得死锁难以检测。针对该问题,通过对C多线程程序死锁的分析,提出了一种基于SUIF2的静态死锁检测方法,设计了基于SUIF2的C多线程程序静态死锁检测的框架结构和锁集分析算法。最后通过一个实例说明了该检测方法的有效性。     

面向专用处理器指令集设计的应用特征分析方法研究与实现

专用处理器的指令集设计是专用处理器设计中的关键问题。SoC专用处理器指令集设计有其特殊的程序特征分析需求,迫切需要面向专用指令集设计的程序特征分析工具支持,但当前能够完全支持专用指令集设计的特征分析工具比较少,设计人员仍需人工或同时调用多种分析工具才能来获取所需特征信息,且效率低、结果不够直观,无法迅速有效地对专用指令集设计提供有效的数据支持。本文面向专用处理器指令集设计,研究并实现了一种基于程序中间表示的应用特征自动分析方法,以可视化的方式得到了程序的控制关系特征、计算特征、操作数据特征和核心运算等特征。该工具不仅可支持专用指令集设计,对于SoC编译优化、任务分配等也可以提供简明直观的辅助支持,具有一定通用性,同时提供图形化的结果显示与友好的人机界面,使用简明方便。     

基于系统抽样的并行程序性能特征分析方法及其实现

程序性能特征分析是理解程序行为的基础,对识别程序性能瓶颈、了解软硬件资源利用状况具有重要作用.特别在大规模并行系统的性能评价中,受时间和空间的约束无法分析完整应用性能特征.一个有效的方法是通过抽样的方法分析应用程序部分代码的性能特征,以此代表完整应用的性能特征.分析了Profiler程序负载来源,提出了基于抽样的程序性能特征分析方法,并基于该方法实现了性能特征分析器SamplePro.与其他方法比较,基于系统抽样的程序性能特征方法在最小样本容量下得到最优的分析结果,仅需抽样分析1%～3%的程序指令就能实现小于3%的分析误差.     

面向多媒体应用的程序特征分析与研究

本文首先介绍了多媒体应用程序测试的工具和对象。其次，分析了国内外有关多媒体程序特征研究的成果和现状。发现这些研究和工作在微观领域--多媒体应用程序核心循环方面的研究和关注还显不足，并据此引出了对有关多媒体程序核心循环的循环特征的一些研究。最后，探讨了未来面向多媒体程序特征分析的一些研究方向。     

计算机USB接口病毒揭密和清除

本文通过研究和分析计算机USB接口病毒程序特征、作用原理和侵入途径,利用编程工具Delphi进行程序设计、编写反病毒程序,实现对这种病毒的自动检测和清除.病毒和反病毒是相生相克的一对矛盾,属于当今计算机领域的前沿热门课题,通过该程序的设计与实现,自己动手清除病毒,彻底消除对病毒的神秘感和恐惧感.     

共享内存结构OpenMP并行程序的自动生成

有效的程序自动并行化系统能帮助用户充分利用并行计算机的硬件资源和提高并行程序设计的效率。OpenMP作为共享内存结构的编程标准，具有良好的性能和可移植性。本文介绍了基于SUIF的OpenMP并行程序自动生成工具OAGT的设计和实现，重点讨论了其中所涉及的几个主要技术问题：循环分析、流水并行、归约操作、同步优化等。     

一种面向可重构结构的程序循环特征分析方法

随着面向特定应用领域的计算需求不断增大,可重构体系结构由于具有结构的灵活性和计算的高效性而得到广泛的关注,成为当前计算机体系结构研究的一大热点。能否准确地分析出应用领域程序的计算特征特别是循环特征对于能否设计出高效支持该领域应用计算特征的可重构系统有着至关重要的作用。提出一种面向可重构的循环特征分析方法,并且给出该方法的实现并根据该方法进行DES算法程序循环特征的分析。该方法对可重构系统的设计、编译优化、任务划分等问题都提供了简明直观的辅助。     

基于SUIF自动产生具有OpenMP编译指示的并行程序

介绍了如何基于SUIF实现具有OpenMP编译指示的自动并行化工作,即利用SUIF系统所提供的遍(pass)、注释(annotation)和C抽象语法树等技术,通过对类Ctrec的修改,把并行注释转化为OpenMP编译指示,实现由串行程序到并行C程序的自动生成。     

基于pfmon的性能测试与分析工具Codemon

通过对Linux/IA64平台上性能数据监测工具pfmon各类硬件计数器功能的分析,提出一种基于停顿时钟周期数测试存储延迟分布的监测模型,在此基础上设计和实现了程序自动测试与分析工具Codemon。应用该工具测试二维非线性扩散方程BNLAG2D求解程序模型的源代码,给出程序的性能评价和优化重点。该程序优化后性能提高了15％。     

一种交互式的不变量动态发现编配工具

发现程序中隐含程序不变量是实现高层次行为合约、提高程序质量的关键.重点研究了不变量的动态发现方法与程序编配原理,并在传统的编配方法基础上实现了交互式的石鼓编配工具.该工具具有预设观测点和观测变量等功能,并通过将运行轨迹收集到数据库中来实现不变量分析.并详细说明了采用内嵌法的编配工具的总体结构及实现过程.实验证明石鼓编配工具能更方便有效地发现不变量.