检索结果-内蒙古大学图书馆

计算机应用 2019年第1期39卷 61-65页

作者：张杨梁亚楠张冬雯孙仕欣河北科技大学信息科学与工程学院石家庄050000

针对数据竞争检测过程中的误报和漏报问题,提出一种静态数据竞争检测方法。首先,使用控制流分析自动构造线程内和线程间函数调用图;然后,收集线程内变量访问事件信息,定义竞争产生条件并分析检测出所有可能的竞争;其次,为了提高检测的... 详细信息

针对数据竞争检测过程中的误报和漏报问题,提出一种静态数据竞争检测方法。首先,使用控制流分析自动构造线程内和线程间函数调用图;然后,收集线程内变量访问事件信息,定义竞争产生条件并分析检测出所有可能的竞争;其次,为了提高检测的准确率,进行别名变量和别名锁的分析降低漏报和误报;最后,通过控制流分析来抽象访问事件之间的时序关系,并结合程序切片技术对访问事件的发生序关系进行判断,以此避免因忽略线程交互带来的误报。依据该方法,使用Java语言在Soot软件分析框架下实现了一个数据竞争检测工具。在实验中,对JGF和IBM Contest基准测试套件中的raytracer和airline等程序进行数据竞争检测,并与目前已有的数据竞争检测算法和工具(HB算法和RVPredict)进行对比。实验结果表明,与HB算法和RVPredict工具相比,该方法检测到的数据竞争总数分别增加了81%和16%,数据竞争检测的准确率分别提升了约14%和19%,有效地避免了数据竞争检测中的漏报和误报现象。

关键词：并发程序数据竞争控制流分析别名分析程序切片

来源：评论

学校读者我要写书评

暂无评论

数据竞争：不能让垄断阻碍创新 008

引用

检察日报

作者：于潇

平台治理规则引发争议随着大数据、云计算、物联网、人工智能等技术的发展，互联网平台对注意力的争夺本质上转换成了对用户数据的争夺，因为只有获得用户数据，包括基本数据以及网络行为数据，才能实现对用户的存量和增量的竞争。从这... 详细信息

平台治理规则引发争议随着大数据、云计算、物联网、人工智能等技术的发展，互联网平台对注意力的争夺本质上转换成了对用户数据的争夺，因为只有获得用户数据，包括基本数据以及网络行为数据，才能实现对用户的存量和增量的竞争。从这个角度看，数据竞争就是互联网企业的?

关键词：反垄断法中国社会科学院用户数据互联网平台竞争规制垄断行为滥用市场支配地位数据竞争

来源：评论

学校读者我要写书评

暂无评论

基于Adaboost模型的并发程序数据竞争语句级检测方法

基于Adaboost模型的并发程序数据竞争语句级检测方法

引用

作者：孙家泽易刚王曙燕 710121 陕西省西安市长安区西安邮电大学

针对软件测试领域中的并发程序数据竞争检测问题，公开基于Adaboost模型的并发程序数据竞争语句级检测方法。本方法首先对并发程序进行插桩取样，记录指令的相关内存信息，将取出的指令集进行语句级转化；然后进一步提取出数据竞争相关... 详细信息

标准号: CN111563045B

针对软件测试领域中的并发程序数据竞争检测问题，公开基于Adaboost模型的并发程序数据竞争语句级检测方法。本方法首先对并发程序进行插桩取样，记录指令的相关内存信息，将取出的指令集进行语句级转化；然后进一步提取出数据竞争相关属性特征，基于训练样本的特征属性构建并发程序Adaboost数据竞争语句级检测模型，最后利用模型对待测并发程序进行数据竞争检测。本发明提供了一种检测精度高、开销低的数据竞争检测方法，用于优化并发程序数据竞争检测问题。

关键词：并发程序数据语句数据竞争检测竞争检测数据竞争级检测记录指令内存信息软件测试属性特征特征属性训练样本指令集种检测插桩构建取样取出转化优化

来源：评论

学校读者我要写书评

暂无评论

一种自适应轻量级动态混合数据竞争检测方法

一种自适应轻量级动态混合数据竞争检测方法

引用

作者：孙家泽杨彦漫舒新峰 710061 陕西省西安市长安南路563号

本发明针对并发程序动态数据竞争检测问题，公开了一种自适应轻量级动态混合数据竞争检测方法，属于并发程序测试领域。该方法首先过滤掉线程本地数据访问和只读数据访问，进而只分析共享内存位置，然后为每个共享内存维护两个历史访问... 详细信息

标准号: CN113407447B

本发明针对并发程序动态数据竞争检测问题，公开了一种自适应轻量级动态混合数据竞争检测方法，属于并发程序测试领域。该方法首先过滤掉线程本地数据访问和只读数据访问，进而只分析共享内存位置，然后为每个共享内存维护两个历史访问信息读写队列，针对读操作采用自适应轻量级表示方法，当共享内存为读并发状态时切换为向量时钟记录访问信息，否则只记录最后一次访问信息，使用Happpens‑before关系和LockSet算法检测数据竞争。本发明提供了一种自适应轻量级动态混合数据竞争检测方法，有助于提高数据竞争检测准确性，降低检测代价。

关键词：数据竞争检测共享内存自适应并发动态混合最后一次访问信息历史访问信息程序测试程序动态记录访问数据访问数据竞争算法检测向量时钟只读数据读操作状态时掉线读写队列过滤检测记录分析访问维护

来源：评论

学校读者我要写书评

暂无评论

中断驱动嵌入式系统数据竞争的自动检测方法

中断驱动嵌入式系统数据竞争的自动检测方法

引用

作者：王豫高凤娟王林章 210023 江苏省南京市栖霞区仙林大道163号

本发明提出中断嵌入式系统数据竞争的自动检测方法，该方法第一步对被检测代码进行静态分析，基于程序值流以及潜在并发关系分析，识别针对共享资源的潜在并发访问关系，并据此报告潜在数据竞争警报；第二步，针对第一步静态分析报告的... 详细信息

标准号: CN112817787A

本发明提出中断嵌入式系统数据竞争的自动检测方法，该方法第一步对被检测代码进行静态分析，基于程序值流以及潜在并发关系分析，识别针对共享资源的潜在并发访问关系，并据此报告潜在数据竞争警报；第二步，针对第一步静态分析报告的数据竞争警报，基于制导符号执行探索数据竞争相关程序路径，排除约束矛盾的路径，基于可解约束生成能触发数据竞争的测试用例，报告可行的数据竞争；最后，针对第二步报告的可行数据竞争及其测试用例，基于仿真平台构建被检测代码所需的硬软件运行时支撑，根据执行测试用例触发的数据竞争，从而报告确认的数据竞争。上述方法也可以检测多线程程序的数据竞争缺陷。

关键词：数据竞争静态分析测试检测警报仿真平台构建多线程程序嵌入式系统报告确认并发访问程序路径触发数据符号执行共享资源关系分析可行数据排除约束潜在数据自动检测硬软件运行时触发制导并发中断支撑矛盾探索

来源：评论

学校读者我要写书评

暂无评论

在粒子模拟算法并行中减少数据竞争的粒子排序发射方法

在粒子模拟算法并行中减少数据竞争的粒子排序发射方法

引用

作者：蔡文劲金晓林黄桃李斌杨中海 611731 四川省成都市高新区(西区)西源大道2006号

本发明属于粒子模拟并行技术领域，涉及一种在算法并行过程中如何减少数据竞争的并行方法，具体为一种在粒子模拟算法并行中减少数据竞争的粒子排序发射方法。本发明考虑到基于cuda的并行程序使用kernel函数求解时，是将线程分组次调用... 详细信息

标准号: CN111967178B

本发明属于粒子模拟并行技术领域，涉及一种在算法并行过程中如何减少数据竞争的并行方法，具体为一种在粒子模拟算法并行中减少数据竞争的粒子排序发射方法。本发明考虑到基于cuda的并行程序使用kernel函数求解时，是将线程分组次调用，同一组的线程是同时进行处理的；而在执行完该组的线程后，才会调用下一组的线程。因而不同组的线程不存在数据竞争的情况。因此本发明通过将粒子排序发射，使存在数据竞争的粒子尽可能分配到不同批调用的组，以极大地减少整个并行过程中的数据竞争，进而提高整体的并行效率。

关键词：数据竞争线程调用粒子并行过程粒子模拟算法排序并行并行程序并行技术并行效率发射求解分组分配

来源：评论

学校读者我要写书评

暂无评论

一种并发程序数据竞争指令级定位方法

一种并发程序数据竞争指令级定位方法

引用

作者：孙家泽阳伽伟王曙燕 710121 陕西省西安市长安区西长安街618号

针对并发程序数据竞争定位问题，公开了一种并发程序数据竞争指令级定位方法，属于软件测试技术领域。本方法首先利用数据竞争定义对并发程序动态二进制插桩过程中所得的指令信息进行数据竞争初步检测，同时为每条线程设置向量时钟来跟... 详细信息

标准号: CN110059014B

针对并发程序数据竞争定位问题，公开了一种并发程序数据竞争指令级定位方法，属于软件测试技术领域。本方法首先利用数据竞争定义对并发程序动态二进制插桩过程中所得的指令信息进行数据竞争初步检测，同时为每条线程设置向量时钟来跟踪并记录线程访问共享内存的时间；然后通过happens‑before规则判断各条指令所在线程的向量时钟是否存在偏序关系来判断是否发生数据竞争，形成最终数据竞争定位报告。本发明提供了一种并发程序数据竞争指令级定位方法，并有效降低了检测误报率及漏报率，用于提高并发程序测试的精度及效率。

关键词：并发程序数据数据竞争向量时钟指令线程二进制访问共享内存软件测试技术程序测试程序动态定位报告定位问题规则判断偏序关系指令信息最终数据记录线漏报率误报率检测插桩跟踪

来源：评论

学校读者我要写书评

暂无评论

一种检测软件定义网络中数据竞争的预测性方法

一种检测软件定义网络中数据竞争的预测性方法

引用

作者：陆公正 215000 江苏省苏州市国际教育园致能大道106号

本发明提出了一种检测软件定义网络中数据竞争的预测性方法，首先记录事件迹；其次针对每个事件迹文件，根据各约束的编码规则，构建RC约束、MHB约束、AN约束以及CP约束；随后调用约束求解器SMT检查约束文件的可满足性，针对约束公式求... 详细信息

标准号: CN111431737B

本发明提出了一种检测软件定义网络中数据竞争的预测性方法，首先记录事件迹；其次针对每个事件迹文件，根据各约束的编码规则，构建RC约束、MHB约束、AN约束以及CP约束；随后调用约束求解器SMT检查约束文件的可满足性，针对约束公式求解其是否满足，如果约束文件可满足，则表示迹中的事件存在数据竞争；如果约束文件不满足则采用约束求解器SMT检测分析的事件迹是否存在合理性迹，如果存在，则在满足RC约束、MHB约束和AN约束的前提下重排序分析的事件迹，针对每个合理性迹重复编码和求解是否满足约束公式。本发明方法具有更高的数据竞争检测能力，能够检测到更多的竞争，且具有较好的可扩展性。

关键词：约束文件约束求解器数据竞争约束公式求解合理性数据竞争检测编码规则定义网络记录事件检测分析可扩展性可满足性重复编码预测性种检测重排序构建调用检测分析检查

来源：评论

学校读者我要写书评

暂无评论

并发程序的数据竞争检查方法及装置

并发程序的数据竞争检查方法及装置

引用

作者：周金果 310000 浙江省杭州市西湖区西溪路556号8层B段801-11

本说明书的实施例提供一种并发程序的数据竞争检查方法及装置。在该数据竞争检查方法中，通过使用自底向上的数据流分析，为并行程序的每个程序函数构建各自的线程流图。在进行数据竞争检查时，通过使用自底向上的数据流分析，确定出与... 详细信息

标准号: CN112965838A

本说明书的实施例提供一种并发程序的数据竞争检查方法及装置。在该数据竞争检查方法中，通过使用自底向上的数据流分析，为并行程序的每个程序函数构建各自的线程流图。在进行数据竞争检查时，通过使用自底向上的数据流分析，确定出与所关注的数据访问操作语句对应的候选检查路径集。随后，利用所构建出的各个程序函数的线程流图来确定出候选检查路径集中的各条候选检查路径的开始节点和结束节点的全局标注，并使用所确定出的全局标注来确定并发程序的数据竞争检查结果。

关键词：数据竞争检查数据流分析程序函数构建线程标注并发数据访问操作并行程序检查结果开始节点路径集语句全局

来源：评论

学校读者我要写书评

暂无评论

人工智能时代数据竞争行为的法律边界

引用

科技与法律 2019年第1期 61-70页

作者：李安中南财经政法大学知识产权研究中心武汉43007

数据是人工智能时代的重要生产资料,围绕数据的市场竞争日趋激烈;相应地,数据竞争行为的竞争法规制需求日益迫切。人工智能时代数据行为的竞争法规制,需要明确数据的生产要素特征,兼顾数据控制方和数据使用方的利益诉求,均衡数据的产出... 详细信息

数据是人工智能时代的重要生产资料,围绕数据的市场竞争日趋激烈;相应地,数据竞争行为的竞争法规制需求日益迫切。人工智能时代数据行为的竞争法规制,需要明确数据的生产要素特征,兼顾数据控制方和数据使用方的利益诉求,均衡数据的产出激励效率和配置使用效率。为此,一方面要着力纠正数据使用方的不正当数据竞争行为,以维护公平的市场竞争秩序;另一方面要切实监管数据控制方的数据垄断行为,以维护自由的市场竞争机制。进而,为人工智能产业的发展营造一个公平自由的数据要素市场环境。

关键词：人工智能数据要素数据竞争法律边界

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：