期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
基于锁集合的动态数据竞争检测方法 被引量:12
1
作者 章隆兵 张福新 +1 位作者 吴少刚 陈意云 《计算机学报》 EI CSCD 北大核心 2003年第10期1217-1223,共7页
数据竞争使得共享存储程序难于调试 .以前大部分针对共享存储程序的动态数据竞争检测工作都是通过维护发生序来实现 .这种方法有一个重要缺点 ,即针对程序的一种输入 ,对程序的一次执行进行检测 ,不能检测出所有的可行数据竞争 .文中利... 数据竞争使得共享存储程序难于调试 .以前大部分针对共享存储程序的动态数据竞争检测工作都是通过维护发生序来实现 .这种方法有一个重要缺点 ,即针对程序的一种输入 ,对程序的一次执行进行检测 ,不能检测出所有的可行数据竞争 .文中利用存储一致性模型的框架模型 ,针对域一致性模型提出了增强发生序概念 ,并依此得出一种基于锁集合的动态数据竞争检测算法 ,克服了这个问题 .在软件DSM系统JIAJIA上的实现获得了很好的性能 ,应用平均减速比为 3.14 .利用该方法 ,在TSP程序中找到了大量的读写数据竞争的情况 . 展开更多
关键词 编程技巧 动态数据竞争检测方法 锁集合 软件分布式共享存储系统 域一致性模型 程序并行性
下载PDF
基于锁集合算法的增强型数据竞争检测方法 被引量:2
2
作者 富浩 蔡铭 +2 位作者 董金祥 金星 龚宜 《浙江大学学报(工学版)》 EI CAS CSCD 北大核心 2009年第2期328-333,共6页
针对锁集合算法误报率高的缺点,采用增强型数据竞争检测方法对锁集合算法及算法实现两方面进行改进.增强型锁集合算法提出了更强必要条件的检测算法.该算法通过分析线程结束情况和理解变量的线程信息,精化数据竞争检测条件.算法实现采... 针对锁集合算法误报率高的缺点,采用增强型数据竞争检测方法对锁集合算法及算法实现两方面进行改进.增强型锁集合算法提出了更强必要条件的检测算法.该算法通过分析线程结束情况和理解变量的线程信息,精化数据竞争检测条件.算法实现采用系统体系结构扩展的方法,通过扩展锁表部件,将集合操作精确映射到位图操作,进一步提高检测精度和减少误报.实现了无干扰免插桩检测技术,避免了二进制代码插桩带来的干扰性和不确定性问题.与同类系统的对比实验结果表明,该方法能够有效地将误报率减小到0.67,并且具有很高的检测效率. 展开更多
关键词 体系结构扩展 锁集合 数据竞争
下载PDF
嵌入式软件数据竞争检测方法
3
作者 马悦琪 石磊 《信息与电脑》 2016年第21期95-96,共2页
数据竞争问题会给软件程序带来极大的安全隐患,因此,如何有效地检测数据竞争一直是一个热门研究领域。尽管如此,当今有关嵌入式软件中数据竞争的研究仍然非常有限。E-RACE是一种定义数据竞争的新式工具,它能够直接利用特定的硬件性能来... 数据竞争问题会给软件程序带来极大的安全隐患,因此,如何有效地检测数据竞争一直是一个热门研究领域。尽管如此,当今有关嵌入式软件中数据竞争的研究仍然非常有限。E-RACE是一种定义数据竞争的新式工具,它能够直接利用特定的硬件性能来操控数据流和指令流。与现有的数据竞争分析方法相比,这种新式工具不需要通过大量的软件代码插装,也能够完成数据竞争监测。将这种新式工具运用到嵌入式软件单元测试驱动开发框架当中去,不仅能够促进可测试代码的实现,还能在早期识别潜在的数据竞争可能。 展开更多
关键词 数据竞争 嵌入式软件 E-RACE 锁集合 多线程处理
下载PDF
Integration of Fault Analysis and Interlock Controller Synthesis for Batch Processes 被引量:2
4
作者 Susumu Hashizume Tomoyuki Yajima Yukiko Kuwashita Katsuaki Onogi 《Chinese Journal of Chemical Engineering》 SCIE EI CAS CSCD 2008年第1期57-61,共5页
Integration amongst various decision-making processes, such as planning, design, and operation is necessary to dynamic and flexible batch production. To achieve a batch production integration, utilization of common mo... Integration amongst various decision-making processes, such as planning, design, and operation is necessary to dynamic and flexible batch production. To achieve a batch production integration, utilization of common models used for various decision-making processes is an effective approach. From this point of view, a batch system common model as described by a Petri net is proposed. In this article, a fault diagnosis technique for batch processes is presented using information about fault propagation and the possibilities of integration of fault analysis and controller synthesis are discussed on the basis of the Petri net based common models. 展开更多
关键词 fault diagnosis batch control INTEGRATION discrete event system Petri net
下载PDF
Collective Directional Transport in Symmetric Periodic Potentials by Breaking the Coupling Symmetry 被引量:1
5
作者 LIXiao-Wen ZHENGZHi-Gang 《Communications in Theoretical Physics》 SCIE CAS CSCD 2003年第5期549-554,共6页
Collective unidirectional motion of an asymmetrically coupled array of oscillators in symmetric periodic potentials is studied. A directed current is observed when the drift coupling is presented, while no external bi... Collective unidirectional motion of an asymmetrically coupled array of oscillators in symmetric periodic potentials is studied. A directed current is observed when the drift coupling is presented, while no external biased force is applied. Negative directed current is found when varying system parameters. An addition of a periodic rocking force may enhance the efficiency of directed transport. Resonant steps of the current are found and interpreted as the mode locking between the array and the ac force. Noise-assisted transport is observed, and an optimal noise intensity can give rise to a most efficient transport. The directed transport thus can be optimized and furthermore controlled by suitably adjusting the parameters of the system. 展开更多
关键词 directional transport mode locking stochastic resonance
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部