多线程程序

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

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
目标导向的多线程程序UAF 漏洞预测方法分析
《消费电子》2025年第6期35-37,共3页汪泊 
本文以某安全漏洞案例为例,由于当前UAF漏洞预测方法在特殊情况下检测效率较低,因此本文提出了一种目标导向的多线程程序(Use-After-Free,UAF)漏洞预测方法,提高了UAF漏洞的预测效率,实现了多线程程序的安全稳定运行。旨在促进目标导向...
关键词：目标导向 多线程程序 UAF漏洞 预测方法 
TS^(3):能效优先的特定起点分类最优线程数搜索
《计算机科学》2025年第5期67-75,共9页马兆阳 陈娟 周一畅 吴贤瑜 高鹏飞 阮文浩 詹昊明 
并行与分布计算全国重点实验室基金(2023-KJWPDL-01)。
最优线程数设置是影响多线程程序性能和功耗的关键之一。然而,目前寻找最优线程数的算法通常是从单一固定起点开始搜索,往往会造成搜索精度低、搜索开销大的问题。最优线程数的分布和位置与多种因素有关,包括程序所属类型、优化目标(性...
关键词：多线程程序 能效优化 最优线程数 随机森林算法 启发式算法 
基于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漏洞预测方法被引量：1
《软件学报》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)有些工具性能好,但是不支持外部库,实用性很...
关键词：符号执行 多线程程序 程序分析 
全选清除导出
共10页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部