便携式应急电源
镀铜焊丝的缺陷检测方法、装置、设...
电码的自动识别方法及存储介质
基于强化学习的楼栋摆放方法、装置...
用于观测水下生物的系统及其方法
一种电子设备的空中固件差分升级方...
一种印刷模切张力自动控制系统及其...
低功耗状态监控设备
一种利用RTP扩展头部解决视频帧...
一种高衍射效率相位型空间光调制器...
一种家装板材运输用包装机器人
航空发动机精密管路及其航空发动机...
宽光谱吸收的薄膜太阳能电池及光伏...
一种基于磁通压缩的脉冲磁体装置及...
一种总线访问仲裁装置及方法
一种处理网络抖动的方法及装置
基于光芯片的数据处理方法、装置、...
一种基于小基线条件下的大畸变广角...
一种自动识别设备间网络拓扑结构的...
基于光芯片的数据处理方法、装置、...
企业介绍页面,左右侧内容分别复制到相应容器即可,起始结束位置代码已作标注
专利名称一种多核实时系统应用数据竞争错误的调试方法
申请日2015-10-26
申请号/专利号CN201510701351.X
专利权人北京航空航天大学;中国航空工业集团公司第六三一研究所
申请人北京航空航天大学;中国航空工业集团公司第六三一研究所
发明人/设计人姜博;郭兰;高小鹏;龙翔;叶宏
公告日2018-04-06
公告号CN105260312B
法律状态有效
专利类型发明
行业分类

摘要

本发明是一种多核实时系统应用数据竞争错误的调试方法,属于多核应用程序调试技术领域。本发明基于多核操作系统编写发生数据竞争的应用程序测试集,设计插桩谓词,手工对测试程序进行插桩,运行插桩后的测试集,统计调试输出对插桩位置的可疑度排序,根据统计调试结果快速定位测试集代码可能发生并发错误数据竞争的位置。所设计的谓词记录应用程序中的全局变量在被同一任务连续两次访问过程中其值改变次数,在访问全局变量前,判断此时全局变量的值与记录的值是否一致;在访问全局变量后,更新全局变量值的记录。本发明可以方便快速的对共享数据进行插桩,降低开发自动化插桩工具的成本和时间,节约了通过循环执行断点调试方法所耗费的时间。
  关于我们  | 帮助中心  |  服务清单  |  发展历程 |  网站地图  |  手机访问

Copyrights 2016-2020  

南京锐阳信息科技有限公司 版权所有

苏ICP备17027521号-1

地址: 南京市秦淮区永智路5号五号楼3层