多线程程序

作品数：96被引量：212H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：郑庆华刘烃金海陈云霁胡伟武更多>>
相关机构：华中科技大学中国科学技术大学哈尔滨工业大学中国科学院更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划山东省“泰山学者”建设工程项目中央高校基本科研业务费专项资金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于RT-Thread多线程程序的可穿戴心理健康监测设备设计研究
《自动化与仪器仪表》2024年第5期227-231,236,共6页陈桃放 
陕西省教育厅2022年度一般专项科研计划项目(自然科学项目)《基于大数据的高职学生心理档案整合与动态心理健康监测系统研究》(22JK0264)。
为了实现个体心理健康的长期监测,获得客观评估心理状况的实时数据,研究设计了一款采集用户语音、行为以及环境数据的可穿戴设备,并借助主成分分析特征压缩法与集成思想完成心理健康的评估。实验结果表明,合成加速度的时域幅值方差值和...
关键词：RT-Thread多线程程序 语音特征值 低频数据特征值 主成分分析 皮尔逊相关系数 
基于Petri网展开的多线程程序数据竞争检测与重演
《软件学报》2023年第8期3726-3744,共19页鲁法明 黄莹 曾庆田 包云霞 唐梦凡 
国家自然科学基金(61602279);山东省泰山学者工程专项基金(ts20190936);山东省高等学校青创科技支持计划(2019KJN024);山东省博士后创新专项基金(201603056);国家海洋局海洋遥测工程技术研究中心开放基金(2018002);山东科技大学教学名师培育计划(MS20211102)。
数据竞争是多线程程序的常见漏洞之一,传统的数据竞争分析方法在查全率和准确率方面难以两全,而且所生成检测报告难以定位漏洞的根源.鉴于Petri网在并发系统建模和分析方面具有行为描述精确、分析工具丰富的优点,提出一种基于Petri网展...
关键词：数据竞争 PETRI网 网展开 动态程序分析 
目标导向的多线程程序UAF漏洞预测方法
《软件学报》2023年第7期3043-3063,共21页鲁法明 唐梦凡 包云霞 曾庆田 李彦成 
国家自然科学基金(61602279);山东省泰山学者工程专项基金(ts20190936);山东省高等学校青创科技支持计划(2019KJN024);山东省自然科学基金智慧计算联合基金(ZR2021LZH004);青岛市西海岸新区2022年“揭榜挂帅”技术攻关项目。
Use-after-free(UAF)漏洞是多线程程序的常见并发缺陷.预测性UAF漏洞检测方法因兼顾误报率和漏报率而备受关注.然而,已有的预测性UAF检测方法未结合待检测目标作针对性优化,当程序规模大或行为复杂时会导致检测效率低下.为了解决上述问...
关键词：软件验证 并发漏洞 PETRI网 UAF漏洞 反向展开 
编译支持的多线程程序多变体执行方法
《计算机应用研究》2023年第5期1504-1509,1514,共7页朱鹏喆 姚远 刘子敬 席睿成 
多变体执行(multi-variant execution, MVX)是目前最流行的主动防御技术之一。理想情况下,当未受到攻击时,多变体执行架构提供正常的程序功能。但不幸的是,当多线程程序在多变体执行架构下运行时,由于各个程序变体中共享资源操作的线程...
关键词：主动防御 编译器 多变体执行 
基于锁增广分段图的多线程程序死锁检测被引量：3
《软件学报》2021年第6期1682-1700,共19页鲁法明 郑佳静 包云霞 曾庆田 段华 王晓宇 
国家自然科学基金(61602279,61472229);国家重点研发计划(2016YFC0801406);山东省泰山学者工程专项基金(ts20190936);山东省高等学校青创科技支持计划(2019KJN024);山东省自然科学基金智慧计算联合基金(ZL2019LZh001);山东省博士后创新专项基金(201603056);国家海洋局海洋遥测工程技术研究中心开放基金(2018002);山东科技大学领军人才与优秀科研创新团队项目(2015TDJH102)。
死锁是并行程序常见的缺陷之一,动态死锁分析方法根据程序运行轨迹构建锁图、分段图等模型来检测死锁.然而,锁图及其现有的各种变型无法区分同一循环中锁授权语句的多次执行,扩展锁图中记录的锁集无法捕捉线程曾经持有而又随后释放的锁...
关键词：程序验证 死锁检测 锁图 分段图 动态死锁分析 
基于采样技术的动态混合数据竞争检测算法被引量：3
《计算机科学》2020年第10期315-321,共7页李梦珂 郑秋生 王磊 
国家重点研发计划项目(2016QY07X1503,162300410190)。
数据竞争是多线程程序并发错误的主要来源,目前已有许多静态和动态程序分析技术用于检测数据竞争,但这些检测器或者会产生巨大的检测开销,或者会漏掉许多真实的数据竞争错误。文中提出了一种基于优化的FastTrack算法和锁模式的动态混合...
关键词：多线程程序 数据竞争检测 预竞争检测 锁模式 
多线程程序数据竞争随机森林指令级检测模型被引量：4
《清华大学学报（自然科学版）》2020年第10期804-813,共10页孙家泽 阳伽伟 杨子江 
国家自然科学基金面上项目(61876138);陕西省工业项目(2018GY-014);西安邮电大学研究生创新基金项目(CXJJLA2018003);陕西省普通高等学校重点学科专项资金建设项目。
数据竞争是典型的多线程程序并发缺陷。由于多线程程序中存在不确定性的交织,数据竞争很难被检测出来。该文以多线程数据竞争的5个相关属性作为特征,构建了多线程程序数据竞争随机森林指令级检测模型。首先基于happens-before关系与lock...
关键词：数据竞争 并发缺陷 随机森林 隐形同步对 
一种支持多线程程序的符号执行技术
《计算机与现代化》2020年第6期60-67,共8页李曈 丁国富 
符号执行是一种实用的验证程序中是否包含某类错误的技术,具有0误报率的优点,但是主流的执行工具并不支持分析多线程程序。本文对已有的多线程程序的符号执行工具进行分析,发现存在的问题有:1)有些工具性能好,但是不支持外部库,实用性很...
关键词：符号执行 多线程程序 程序分析 
基于Pi演算的Android多线程程序的数据竞争检测被引量：2
《广西师范大学学报（自然科学版）》2020年第2期29-42,共14页王涛 马川 
河北省社会科学基金(HB18SH012)。
针对事件驱动机制下Android多线程程序的数据竞争问题,构造一个基于Pi演算的并发行为检测模型。利用扩展后的Pi演算对Android生命周期和多线程框架进行建模,得到形式化的行为模型;通过将安全约束抽象为形式化的IF-THEN规则,并利用Pi演...
关键词：ANDROID APPS 数据竞争 并发行为 进程代数 多线程 
基于行为motifs的多线程程序抄袭检测方法
《计算机研究与发展》2020年第1期202-213,共12页田振洲 王宁宁 王清 高聪 刘烃 郑庆华 
国家自然科学基金项目(61702414);陕西省自然科学基础研究计划项目(2018JQ6078);陕西省国际科技合作计划项目(2018KW-049,2019KW-008);陕西省重点研发计划项目(2019ZDLGY07-08)~~
软件动态胎记技术是实现混淆对抗的软件抄袭检测的有效手段之一.然而,多线程程序中线程交织的不确定性对其造成了不可忽视的影响;极端情况下,传统动态胎记技术甚至会判定同一个程序与其自身不存在抄袭关系.对此,提出从多线程程序在同一...
关键词：软件抄袭 多线程程序抄袭检测 动态胎记 线程感知胎记 行为motifs 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部