【摘 要】
：
随着多核技术越来越普及,多线程程序的编程也越来越流行。但是多线程程序的正确性问题已经严重影响软件可靠性,且现有的测试技术不能很好地满足多线程程序的需求。本文重点研
【基金项目】
：
湖南省教育厅科研项目（15C0017）
论文部分内容阅读
随着多核技术越来越普及,多线程程序的编程也越来越流行。但是多线程程序的正确性问题已经严重影响软件可靠性,且现有的测试技术不能很好地满足多线程程序的需求。本文重点研究多线程程序中最常见的一种bug,即数据竞争,提出一种基于线程调度顺序控制的测试方法。该方法混合静态方法和动态方法,能够有效地找到多线程程序中存在的数据竞争,且能够区分出哪些数据竞争是有害的,需要程序员优先修复。实验结果显示,对于数据竞争的触发概率,本文的方法使其平均从0.53%提高到79.2%,且本文所引入的运行时开销平均只有80%,与相关方法
其他文献
【摘 要】向量不仅是高中数学的重要知识点，而且是解答数学问题的重要工具。部分数学试题采用向量法求解，能简化计算过程，提高解题效率，促进学生学习成绩的进一步提升，因此，授课中应提高认识，做好向量基础知识教学，并围绕具体例题，探讨向量的具体应用。 【关键词】高中数学;向量;数学问题;应用 高中数学试题复杂多变，应用向量的几何、坐标运算以及相关性质，对数学试题进行转化，可大大降低解题难度，使学生迅速
道路交通标志的自动识别可以应用于车辆的自动或半自动辅助驾驶系统中,为车辆驾驶提供对周围环境的理解。道路情况的复杂性使得交通标志的背景很复杂,加之光照条件的变化以及车辆运行过程中的抖动等,这些都会导致交通标志失真及变形。本文提出一种快速有效的交通标志形状检测及校正算法,先结合颜色和形状信息,有效定位道路标志位置,然后再利用透视变换校正道路标志。实验结果表明,该方法对光照具有很好的鲁棒性,而且能很好地
在对现有动态污点分析平台研究和分析的基础上,提出一种路径自动生成技术。借助二进制静态分析技术获取目标程序的指令序列,以基本块为粒度计算执行覆盖率,在目标程序动态执
在三维协同系统中,三维图形的渲染效率和传输速度影响到了系统的整体效率。本文采用分布式架构保证三维图形在协同系统中的渲染和传输效率。把渲染好的三维图形以拍照的形式生成图片在网络中传输,打破了传统三维图形渲染对浏览器的限制以及对移动终端消耗巨大资源的局限。服务器端通过建立多线程TCP通信,既保证了用户交互操作的可靠性,同时又避免了多个用户同时操作三维图形时出现的操作二义性。最终实现用户与三维图形的实时
整理和复习是小学数学重要课型之一,我将结合《“平面图形的周长与面积”整理和复习》的教学实践阐述如何运用“变教为学”的教学理念,实现复习课的再“生长”。
三维环境重建数据往往以三角格网的形式进行管理和存储,在该数据上进行航迹规划是飞行器、机器人等实现自主飞行或行走的基础。但是航迹规划过程面临的最大困难是规划数据量