冯云
- 作品数：5 被引量：4H指数：1
- 供职机构：北京控制与电子技术研究所更多>>
- 相关领域：自动化与计算机技术更多>>
- 多线程数据竞争检测技术研究综述被引量：4
- 2022年
- 随着多核处理器在现代计算机设备中的流行,在软件中使用多线程程序的频率也随之增加。但多线程程序的不确定性会导致程序在运行过程中出现数据竞争、原子性违背、顺序违背和死锁等并发问题。研究发现,在所有并发缺陷中,数据竞争所占的比例最大,而且大多数原子性违背和顺序违背也是由数据竞争引起的。为解决这一问题,学者们先后提出了相关的检测技术,文中对近年来该领域的研究技术进行了总结。首先,介绍了数据竞争的相关概念和产生原因,以及数据竞争检测的主要思想;然后根据程序是否执行将现有的数据竞争检测技术分为静态分析、动态分析和混合检测技术三大类,归纳分析了每类技术的特点并进行了详细的比较;随后,从程序员角度阐明了现有检测技术存在的问题;最后,根据发展现状,对该领域的未来发展方向进行了分析与探讨。
- 赵静文付岩吴艳霞陈俊文冯云董继斌刘嘉琪
- 关键词：数据竞争
- 一种VisualDSP++环境下外设读写模拟方法
- 本发明公开一种VisualDSP++环境下外设读写模拟方法，通过构建外设读写模拟系统、在内部存储空间添加外设地址虚拟寄存器、在程序读写外设处插桩、在外设地址虚拟寄存器上建立观察点、获取外设读写时机和模拟外设接口数据步骤实...
- 陈俊文冯云陈琦王之鹏
- 文献传递
- 一种静态超标量DSP周期模拟方法
- 本发明公开了一种静态超标量DSP周期模拟方法，通过构建包括指令准备模块和指令执行模块的静态超标量DSP周期模拟系统，指令准备模块设置初始值、获取指令、确定延迟周期数、确定停顿周期数和模拟时钟推进，指令模拟模块执行功能模拟...
- 陈俊文甘志强冯云程高辉
- 文献传递
- 一种VisualDSP++环境下外设读写模拟方法
- 本发明公开一种VisualDSP++环境下外设读写模拟方法，通过构建外设读写模拟系统、在内部存储空间添加外设地址虚拟寄存器、在程序读写外设处插桩、在外设地址虚拟寄存器上建立观察点、获取外设读写时机和模拟外设接口数据步骤实...
- 陈俊文冯云陈琦王之鹏
- 文献传递
- 一种静态超标量DSP周期模拟方法
- 本发明公开了一种静态超标量DSP周期模拟方法，通过构建包括指令准备模块和指令执行模块的静态超标量DSP周期模拟系统，指令准备模块设置初始值、获取指令、确定延迟周期数、确定停顿周期数和模拟时钟推进，指令模拟模块执行功能模拟...
- 陈俊文甘志强冯云程高辉
- 文献传递
