期刊文献+
共找到6篇文章
< 1 >
每页显示 20 50 100
CNFED:一种基于条件数的浮点表达式误差检测工具
1
作者 王盼龙 王磊 +2 位作者 英津瑞 刘博文 高志勇 《计算机科学》 北大核心 2025年第S1期902-909,共8页
浮点数使用有限的精度来表示实数,其固有的舍入误差会在计算过程中累积,可能导致严重错误,从而危及程序的安全性和可靠性。理论上,最精准的浮点误差检测方法是穷举搜索所有可能的浮点数输入,以确定实际计算结果与理论值之间的最大误差,... 浮点数使用有限的精度来表示实数,其固有的舍入误差会在计算过程中累积,可能导致严重错误,从而危及程序的安全性和可靠性。理论上,最精准的浮点误差检测方法是穷举搜索所有可能的浮点数输入,以确定实际计算结果与理论值之间的最大误差,但搜索空间巨大,因此有效且高效地检测最大浮点误差一直是一个挑战。基于对条件数的研究,设计并实现了一种用于浮点表达式的误差检测工具CNFED。CNFED将输入区间划分成多个子区间,对每个子区间进行随机采样和评估,快速定位多个热点子区间;然后分层对这些热点子区间调用全局搜索算法和局部搜索算法,并结合相应评估函数进行筛选,最终找到可能的浮点误差极大值及相应的输入值并报告。实验选取FPBench标准测试集中26个表达式作为测试用例,并与先进检测工具ATOMU和HSED进行了比较。实验结果表明,CNFED检测效果优于ATOMU的比例为96.15%(25/26)。与针对浮点表达式的检测工具HSED相比,CNFED检测效果优于HSED的比例为34.62%(9/26),同时HSED所花平均时间是CNFED的4.8倍。 展开更多
关键词 误差检测 浮点运算 条件数 动态分析 分层搜索
在线阅读 下载PDF
基于深度学习的函数体切片级C/C++智能合约漏洞检测工具
2
作者 李浴淑 邢颖 +3 位作者 陆思奇 潘恒 柴森春 斯雪明 《计算机应用》 北大核心 2025年第11期3493-3501,共9页
智能合约漏洞引发的安全事件频发,而现有检测工具对多语言支持不足,特别是缺乏对C/C++智能合约源码级别的漏洞检测能力。针对上述问题,提出基于深度学习的C/C++智能合约漏洞检测方法,并设计了函数体切片级检测工具CDFSentry。该工具从... 智能合约漏洞引发的安全事件频发,而现有检测工具对多语言支持不足,特别是缺乏对C/C++智能合约源码级别的漏洞检测能力。针对上述问题,提出基于深度学习的C/C++智能合约漏洞检测方法,并设计了函数体切片级检测工具CDFSentry。该工具从源码角度出发,借鉴深度学习在图像处理领域中的目标区域概念应用于智能合约漏洞检测。工具实现分为4步:一是提取漏洞函数体切片,获取完整函数体信息;二是对提取的切片进行标注;三是将切片编码为向量,转化为深度学习输入格式;四是完成向量标记与模型训练。此外,通过分析C/C++智能合约漏洞产生的原因,定义了5种类型的漏洞:整数溢出、权限控制、代币转移、内存管理和交易延迟,并构建了包含5 024个源码的数据集,解决了该领域开源数据集匮乏与漏洞类型不统一的问题。在该数据集上的实验结果表明,同类型的深度学习工具GNNSCVulDetector仅能检测1种漏洞,而CDFSentry可检测5种漏洞,且准确率提高了12.68个百分点。CDFSentry基于深度学习检测C/C++智能合约源码漏洞,可减少对专家依赖,且相比同类工具检测精度更高、范围更广;通过持续学习训练,它的检测能力可不断提升。 展开更多
关键词 智能合约 深度学习 函数体 漏洞检测 整数溢出 交易延迟
在线阅读 下载PDF
基于区块链的电子政务跨部门协作身份认证方案
3
作者 王睿 潘恒 +3 位作者 刘坤 斯雪明 张博伟 李坤阳 《计算机应用》 北大核心 2025年第11期3477-3485,共9页
针对政务服务数字化转型过程中跨部门协作身份认证存在的凭证验证流程复杂、凭证共享受限及用户需多次往返申请凭证等问题,提出一种基于区块链的电子政务跨部门协作身份认证方案。首先,设计可验证凭证(VC)及其存在性证明(VC Proof)机制... 针对政务服务数字化转型过程中跨部门协作身份认证存在的凭证验证流程复杂、凭证共享受限及用户需多次往返申请凭证等问题,提出一种基于区块链的电子政务跨部门协作身份认证方案。首先,设计可验证凭证(VC)及其存在性证明(VC Proof)机制,将凭证哈希值及证明信息存储至区块链,以实现多部门间的高效凭证验证。其次,构建授权凭证机制,使验证方与相关部门进行凭证交互,从而减少用户重复申请凭证的负担;同时,引入基于智能合约的非交互式零知识证明技术,在保障VC隐私的前提下完成身份认证。实验结果表明,所提方案的验证gas消耗较低,稳定在500 gas左右,且合约部署的gas消耗随合约规模呈线性增长;当验证gas消耗为140.55 Gwei时,它的吞吐量达到最高,约7×10^(4) TPS(每秒处理事务数),而验证gas消耗增至562.562 Gwei时,吞吐量下降至约2×10^(4) TPS。此外,与以太坊上的实验结果相比,所提方案在相同并发环境下展现出更优的性能,平均响应时间缩短了约0.32 s。 展开更多
关键词 区块链 跨部门协作 身份认证 可验证凭证 零知识证明
在线阅读 下载PDF
基于区域划分的跨基本块SLP向量化技术
4
作者 韩林 丁永强 +3 位作者 崔平非 刘浩浩 李浩然 陈梦尧 《计算机科学》 北大核心 2025年第9期186-194,共9页
自动向量化作为发掘数据级并行性、提升程序性能的重要方式,被广泛应用于主流编译器中。超字级向量化(Superword-Level Parallelism,SLP)专注于发掘相邻同构语句级别的数据并行性检测并聚合标量指令生成向量指令。然而,传统的SLP框架在... 自动向量化作为发掘数据级并行性、提升程序性能的重要方式,被广泛应用于主流编译器中。超字级向量化(Superword-Level Parallelism,SLP)专注于发掘相邻同构语句级别的数据并行性检测并聚合标量指令生成向量指令。然而,传统的SLP框架在发掘跨基本块的语句向量化时能力不足,特别是当连续的可向量化指令被基本块边界分割时,SLP分析无法有效发掘潜在的向量化语句。针对这一问题,提出了一种基于区域划分的跨基本块SLP向量化方法。该方法通过扩大分析范围至支配关系内的多个基本块,打破了基本块边界的限制,从而能捕捉更多潜在向量化机会,有效提升了SLP向量化效率。所提出的方法基于GCC10.3.0编译器实现,并挑选SPEC CPU2006测试集中包含相关程序段的测试程序进行了实验。实验结果显示,在SPEC CPU2006测试集挑选的测试程序中,与传统SLP方法相比,所提出的方法可使SPEC CPU2006测试程序加速比最高提升12%,相关测试程序的平均加速比提升8%,在polybench测试中获得了平均3%的加速比,其有效性得到验证。该工作可为提升GCC编译中SLP向量化效率提供技术参考。 展开更多
关键词 编译优化 自动向量化 SLP 跨基本块 区域划分
在线阅读 下载PDF
一种面向SIMD的控制流投机向量化方法
5
作者 韩林 吴若枫 +3 位作者 刘浩浩 聂凯 李浩然 陈梦尧 《计算机科学》 北大核心 2025年第S2期768-774,共7页
SIMD自动向量化是充分发挥处理器计算能力、提升应用程序性能的重要手段,但是控制流的存在给自动向量化带来了极大的挑战。传统的控制流向量化方法依赖于IF转换技术,但此技术也带来了代码执行效率低的问题。因此,为了缓解这一问题,提出... SIMD自动向量化是充分发挥处理器计算能力、提升应用程序性能的重要手段,但是控制流的存在给自动向量化带来了极大的挑战。传统的控制流向量化方法依赖于IF转换技术,但此技术也带来了代码执行效率低的问题。因此,为了缓解这一问题,提出了一种面向SIMD的控制流投机向量化方法。该方法在向量代码中检测谓词相关区域,使用代价模型在区域内引导实施针对分支一致的投机变换,在运行时消除无用的谓词执行,从而消除冗余计算导致的代码效率低的问题。该方法基于当前主流的GCC10.3编译器实现,实验选取业界公认的SPEC CPU 2006测试集课题和测试向量化能力的TSVC测试集,结果显示SPEC2006测试集481课题在使用该方法后性能提升10%,TSVC_2测试部分典型用例的性能提升在20%以上。在标准测试集上进行,结果表明,此方法能够有效提升GCC编译器的控制流向量化代码的执行效率。 展开更多
关键词 SIMD GCC 控制流 代价模型 投机向量化
在线阅读 下载PDF
BalChain:一种基于信誉与负载的分片区块链系统
6
作者 陈强斌 姚中原 +1 位作者 田浩 斯雪明 《应用科学学报》 北大核心 2025年第5期863-876,共14页
分片技术是提高区块链系统扩展性的重要手段,现有的分片设计往往忽略了分片间负载不均以及节点异质性的问题,从而导致资源浪费和系统性能的下降。为此,本文提出了一种基于信誉与负载的分片区块链系统BalChain,用来提升系统吞吐量和安全... 分片技术是提高区块链系统扩展性的重要手段,现有的分片设计往往忽略了分片间负载不均以及节点异质性的问题,从而导致资源浪费和系统性能的下降。为此,本文提出了一种基于信誉与负载的分片区块链系统BalChain,用来提升系统吞吐量和安全性。BalChain采用双链架构,包括交易链和誉载链,分别使用Raft协议和集体签名的拜占庭容错共识机制,确保交易的高效处理和系统的安全防护。本文还提出了一种誉载相配分片算法,根据分片的负载情况动态分配计算资源,充分利用节点的异质性。同时,系统通过Metis图划分算法减少了跨分片交易的发生,进一步提升了交易处理效率。实验结果表明,BalChain在吞吐量、延迟和跨分片交易处理效率等方面均优于现有的分片区块链系统,证明了该设计在实际应用中的有效性和可扩展性。 展开更多
关键词 区块链 分片技术 信誉系统 负载均衡 跨分片交易 扩展性
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部