并发缺陷相关论文
随着计算机硬件的不断发展,多核处理器的出现频率越来越高,使用并发程序的场景越来越多。并发程序相比于传统的顺序程序有很多优势......
为将虚拟时间机制应用于数据竞争检测，提出描述虚拟时间3种基本实现形式的统一模型．先建立分布式执行的抽象模型，在此模型下统一描述......
多核时代的到来使得并发程序的设计备受人们关注.然而,并发程序的并发性和不确定性容易引发并发缺陷.因此,快速且有效地检测出这些......
多核平台的普及扩大了对多线程程序的需求,然而多线程程序的编写、测试和调试一直是一个重大的研究挑战。其中一个关键的挑战是多......
当前普遍流行的多核架构带来无处不在的并行潜能。为从硬件的并行能力获益,并发程序设计正成为主流程序开发模型。相对于顺序程序,......
针对现有动态死锁规避方法存在能力有限、被动盲目、开销较大和影响目标程序正确性等问题,提出一种基于未来锁集的动静结合死锁规......
当今普遍流行的多核架构使得硬并发成为现实.为了从硬件的并发能力获益,并发程序设计正越来越流行.然而由于内在的并发性和不确定......
分层理论是计算机发展的基础,而层级间交互的部分通常是系统的薄弱环节,容易存在安全缺陷。本文基于计算机系统的分层现状,提出系......
