数据竞争检测相关论文
随着多核架构普遍流行,系统的并行能力和多线程技术随之得到增强,系统程序的并行程序设计开发模型不断研发,多线程技术慢慢成为一......
随着处理器朝多核和众核的方向发展，利用单片共享存储的并发编程也越来越普遍。顺序一致性是并发编程中最直观自然的存储一致性模型......
BPEL是Web服务组合的事实标准，利用flow和link提供了并发和同步的机制。BPEL流程中的不同线程可同时访问同一个共享变量，虽然isolate......
多核平台的普及使得并行软件渗入到计算领域的方方面面，由于软件并行度的提高，多线程之间的数据竞争检测为软件调试带来巨大挑战。数......
随着计算机用户数量的增加,计算机的使用规模也越来也庞大,越来越多的软件系统需要考虑并发程序设计,然而由于并发程序在设计过程......
随着多核硬件的广泛普及,多线程编程技术也被应用到计算机领域的各个方面,多线程编程技术能够更加充分的利用多核众核设备的超强计......
Web服务作为一种面向服务架构的新型分布式计算模型,在分布式平台上发挥着越来越重要的作用。作为Web服务组合的事实标准,BPEL利用......
展开技术借助分支进程可在一定程度上缓解Petri网性质分析中的状态爆炸问题.但展开网中仍然包含了系统的所有状态信息.某些应用问......
数据竞争检测、确定性回放等方法被广泛应用于解决多线程程序中由内存访问顺序不确定性引发的数据竞争及死锁等问题.但是,由于上述......
针对BPEL（Business Process Execution Language）流程中出现的数据竞争和死锁问题,提出了一种基于图理论的检测方法.首先把BPEL流程......
数据竞争是多线程程序并发错误的主要来源,目前已有许多静态和动态程序分析技术用于检测数据竞争,但这些检测器或者会产生巨大的检......
随着软件规模的日益增长,多线程并发程序带来的缺陷也很快蔓延开来。数据竞争作为多线程并发程序中常见的问题,经常会导致程序不能......
直接运行于微控制器上的中断驱动程序中可能存在一种重要的程序错误:数据竞争.然而当前主流的数据竞争静态检测技术因其服务于多线......
多线程机制以其诸多优势在程序开发中被广泛使用,然而随着多线程软件规模的增长,程序中潜存着许多并发缺陷,最常见的并发缺陷是数......
