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

软件学报 2023年第7期34卷 3451-3463页

作者：闫昊刘芳芳马文静陈道琨中国科学院软件研究所并行软件与计算科学实验室北京100190 中国科学院大学北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

稠密矩阵乘法(GEMM)是很多科学与工程计算应用中大量使用的函数,也是很多代数函数库中的基础函数,其性能高低对整个应用往往有决定性的影响.另外,因其计算密集的特点,矩阵乘法效率往往也是体现硬件平台性能的重要指标.针对国产申威1621... 详细信息

稠密矩阵乘法(GEMM)是很多科学与工程计算应用中大量使用的函数,也是很多代数函数库中的基础函数,其性能高低对整个应用往往有决定性的影响.另外,因其计算密集的特点,矩阵乘法效率往往也是体现硬件平台性能的重要指标.针对国产申威1621处理器,对稠密矩阵乘法进行了系统性地优化.基于对各部分开销的分析,以及对体系结构特点与指令集的充分利用,对DGEMM函数从循环与分块方案,打包方式,核心计算函数实现,数据预取等方面进行了深入优化.此外,开发了代码生成器,为不同的输入参数生成不同版本的汇编代码和C语言代码,配合自动调优脚本,选取最佳参数.经过优化和调优,单线程DGEMM性能达到了单核浮点峰值性能的85%,16线程DGEMM性能达到16核浮点峰值性能的80%.对DGEMM函数的优化不仅提高了申威1621平台BLAS函数库性能,也为国产申威系列多核处理器上稠密数据计算优化提供了重要参考.

关键词：矩阵乘法缓存分块算法优化数据预取

来源：评论

学校读者我要写书评

暂无评论

面向SW26010-Pro众核处理器的新型矩阵存储格式及SpMV算法研究

引用

计算机学报 2025年

作者：王萃刘芳芳马文静赵玉文胡力娟中国科学院软件研究所并行软件与计算科学实验室中国科学院软件研究所基础软件与系统重点实验室

稀疏矩阵向量乘(Sparse Matrix-Vector Multiplication， SpMV)是许多工程和科学计算中的核心操作，其性能通常对应用程序整体性能的提升具有重要影响。高效的稀疏矩阵存储格式是影响SpMV性能的重要因素，然而，现有的稀疏矩阵存储格式... 详细信息

稀疏矩阵向量乘(Sparse Matrix-Vector Multiplication， SpMV)是许多工程和科学计算中的核心操作，其性能通常对应用程序整体性能的提升具有重要影响。高效的稀疏矩阵存储格式是影响SpMV性能的重要因素，然而，现有的稀疏矩阵存储格式主要通过压缩零元素以减少访存，未充分利用非零元素的数值规律，因此仍有进一步压缩和优化的空间。本文通过对压缩稀疏行(Compressed Sparse Row， CSR)存储格式中非零元数组内的重复元素进行进一步的压缩，提出了一种新型的稀疏矩阵存储格式(Further Compressed Sparse Row， FCSR)，并设计了从CSR到FCSR格式转换的异构并行算法，以尽量减少格式转换带来的开销。同时，本文面向SW26010-Pro众核处理器，设计了基于FCSR存储格式的SpMV异构并行算法，对SpMV进行了细粒度的任务划分和并行优化设计，探究了五种向量x的间接访存方式，并通过双缓冲技术对算法进行了优化。最后，本文选用SuiteSparse矩阵集中的稀疏矩阵进行了测试，实验结果表明，本文提出的基于FCSR存储格式的异构众核SpMV算法相较于主核版SpMV算法具有明显的性能提升，最高加速比达到43.11，平均加速比为7.56，测试矩阵最高带宽利用率达到了91.13%，平均带宽利用率为26.27%。另外，本文对基于FCSR存储格式和CSR存储格式的SpMV算法性能进行了比较，在两者均得到充分优化的前提下，基于FCSR存储格式的SpMV算法相较于基于CSR存储格式的SpMV算法性能的平均加速比达到1.19。

关键词：稀疏矩阵向量乘 SW26010-Pro众核处理器新型矩阵存储格式并行优化双缓冲技术

来源：评论

学校读者我要写书评

暂无评论

GPA:基于多面体网格几何并行性的矩阵特征多项式异步因式分解器--纪念我国现代计算数学的开拓者之一周毓麟先生诞辰100周年

引用

中国科学：数学 2023年第6期53卷 859-894页

作者：孙家昶中国科学院软件研究所并行软件与计算科学实验室北京100080

满足高次方程G^(m)=I的几何网格矩阵G,可在复数范围内进行因式分解,并且G与偏微分方程(partial differential equation,PDE)离散后的刚度矩阵A和质量矩阵B之间的乘法存在互易性:AG=GA,BG=GB,从而利用几何不变性可以将A正交分解为m-块对... 详细信息

满足高次方程G^(m)=I的几何网格矩阵G,可在复数范围内进行因式分解,并且G与偏微分方程(partial differential equation,PDE)离散后的刚度矩阵A和质量矩阵B之间的乘法存在互易性:AG=GA,BG=GB,从而利用几何不变性可以将A正交分解为m-块对角块矩阵(m计算PDE离散特征值问题的高效异步并行预处理降阶算法,给出相关的理论证明及数值计算实例.通过研究得到“三维几何网格预变换的并行度主要与多面体的面数成正比”的结论,并进一步揭示“几何网格矩阵与刚度矩阵的互易性对于特征值并行计算降阶算法的特殊重要性”。

关键词：三维数理方程离散特征值互易算子几何块预处理子特征值问题因式分解异步并行算法

来源：评论

学校读者我要写书评

暂无评论

国产SW26010-Pro处理器上3级BLAS函数众核并行优化

引用

软件学报 2024年第3期35卷 1569-1584页

作者：胡怡陈道琨杨超马文静刘芳芳宋超博孙强史俊达中国科学院软件研究所并行软件与计算科学实验室北京100190 中国科学院大学北京100049 北京大学数学科学学院北京100871 国家并行计算机工程技术研究中心北京100190

BLAS(basic linear algebra subprograms)是最基本、最重要的底层数学库之一.在一个标准的BLAS库中,BLAS 3级函数涵盖的矩阵-矩阵运算尤为重要,在许多大规模科学与工程计算应用中被广泛调用.另外,BLAS 3级属于计算密集型函数,对充分发... 详细信息

BLAS(basic linear algebra subprograms)是最基本、最重要的底层数学库之一.在一个标准的BLAS库中,BLAS 3级函数涵盖的矩阵-矩阵运算尤为重要,在许多大规模科学与工程计算应用中被广泛调用.另外,BLAS 3级属于计算密集型函数,对充分发挥处理器的计算性能有至关重要的作用.针对国产SW26010-Pro处理器研究BLAS 3级函数的众核并行优化技术.具体而言,根据SW26010-Pro的存储层次结构,设计多级分块算法,挖掘矩阵运算的并行性.在此基础上,基于远程内存访问(remote memory access,RMA)机制设计数据共享策略,提高从核间的数据传输效率.进一步地,采用三缓冲、参数调优等方法对算法进行全面优化,隐藏直接内存访问(direct memory access,DMA)访存开销和RMA通信开销.此外,利用SW26010-Pro的两条硬件流水线和若干向量化计算/访存指令,还对BLAS 3级函数的矩阵-矩阵乘法、矩阵方程组求解、矩阵转置操作等若干运算进行手工汇编优化,提高了函数的浮点计算效率.实验结果显示,所提出的并行优化技术在SW26010-Pro处理器上为BLAS 3级函数带来了明显的性能提升,单核组BLAS 3级函数的浮点计算性能最高可达峰值性能的92%,多核组BLAS 3级函数的浮点计算性能最高可达峰值性能的88%.

关键词： BLAS 3级 SW26010-Pro众核处理器直接内存访问远程内存访问浮点计算效率

来源：评论

学校读者我要写书评

暂无评论

uBlock算法的低延迟一阶门限实现方法

引用

电子学报 2024年第4期52卷 1250-1259页

作者：姚富陈华范丽敏中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100049

目前已有文献给出了uBlock分组密码算法的侧信道防护方案,但是这些方案不仅延迟较高,难以适用于低延迟高吞吐场景,而且在毛刺探测模型下缺乏可证明安全性.针对这一问题,本文给出了在毛刺探测模型下具有可证明安全性的uBlock算法的低延... 详细信息

目前已有文献给出了uBlock分组密码算法的侧信道防护方案,但是这些方案不仅延迟较高,难以适用于低延迟高吞吐场景,而且在毛刺探测模型下缺乏可证明安全性.针对这一问题,本文给出了在毛刺探测模型下具有可证明安全性的uBlock算法的低延迟门限实现方案.此外,我们引入了Changing of the Guards技术来避免防护方案在执行过程中需要额外随机数.对于防护方案的安全性,我们用自动化评估工具SILVER验证了S盒的毛刺探测安全性,并用泄露评估技术TVLA(Test Vector Leakage Assessment)验证了防护方案的整个电路的安全性.最后,我们用Design Compiler工具对防护方案的性能消耗情况进行了评估.评估结果显示,与序列化实现方式的uBlock防护方案相比,我们的防护方案的延迟能够减少约95%.

关键词：密码芯片 uBlock算法侧信道攻击与防护掩码技术门限实现 Changing of the Guards

来源：评论

学校读者我要写书评

暂无评论

一种基于模乘相等检测的标量乘碰撞攻击方法

引用

电子学报 2024年第11期52卷 3865-3876页

作者：韩绪仓曹伟琼陈华李昊远中国科学院软件研究所可信计算与信息保障实验室北京100190 中国科学院大学北京100049

碰撞攻击是针对椭圆曲线密码的主要分析技术之一,其关键取决于对点加、倍点碰撞检测的正确率.由于随机操作数和分支语句的影响,对点加、倍点的碰撞检测几近于随机猜测,因而如何对点加、倍点进行碰撞检测成为亟需解决的问题.本文以Weiers... 详细信息

碰撞攻击是针对椭圆曲线密码的主要分析技术之一,其关键取决于对点加、倍点碰撞检测的正确率.由于随机操作数和分支语句的影响,对点加、倍点的碰撞检测几近于随机猜测,因而如何对点加、倍点进行碰撞检测成为亟需解决的问题.本文以Weierstrass曲线中基于雅可比坐标的点加、倍点为分析对象,提出了基于模乘相等的标量乘碰撞攻击方法.首先,结合点加和倍点的运算流程,从中识别出了有助于碰撞检测的模乘,并在模乘间构造了新的碰撞关系,将攻击转化为模乘碰撞检测.其次,本文发现在雅可比坐标中存在由坐标Z完全决定的模乘,基于此首次提出了模乘相等检测,将攻击转化为判断模乘两个操作数是否相同,从而避免了随机操作数的影响.最后,本文对一款硬件实现芯片进行碰撞检测实验,通过对曲线基于主成分分析进行压缩处理,将点加和倍点碰撞检测的准确率提高到了99%.本文提出的碰撞检测方法对采用了随机掩码和分支平衡的标量乘实现仍有效.

关键词：标量乘雅可比坐标模乘碰撞检测模乘相等检测

来源：评论

学校读者我要写书评

暂无评论

开源软件供应链漏洞威胁智能感知

引用

软件学报 2025年第2期36卷 511-536页

作者：王丽敏吴敬征武延军芮志清罗天悦屈晟杨牧天中国科学院软件研究所智能软件研究中心北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049

开源软件的繁荣推动了软件领域的蓬勃发展,也促使以开源软件为基础的供应链开发模式的形成.开源软件供应链本质上是个复杂的供应链拓扑网络,由开源生态的关键元素及其关联关系构成,其产品全球化等优势有助于提高软件行业的开发效率.然而... 详细信息

开源软件的繁荣推动了软件领域的蓬勃发展,也促使以开源软件为基础的供应链开发模式的形成.开源软件供应链本质上是个复杂的供应链拓扑网络,由开源生态的关键元素及其关联关系构成,其产品全球化等优势有助于提高软件行业的开发效率.然而,开源软件供应链也存在依赖关系复杂、传播范围广泛、攻击面暴露扩大等特点,带来了新的安全风险.现有的以安全漏洞、威胁情报为基础的安全管理虽然可以实现安全预警、预先防御,但是由于漏洞威胁信息获取不及时、缺少攻击技术和缓解措施等信息,严重影响了漏洞处理效率.针对上述问题,设计并实现一种针对开源软件供应链的漏洞威胁智能感知方法,包括两部分:1)构建CTI(网络威胁情报)知识图谱,在其构建的过程中使用到相关技术,可以实现安全情报的实时分析与处理,尤其提出SecERNIE模型以及软件包命名矩阵,分别缓解漏洞威胁关联挖掘的问题和开源软件别名的问题.2)漏洞风险信息推送,以软件包命名矩阵为基础,构建软件包过滤规则,实现开源系统漏洞实时过滤与推送.通过实验验证所提方法的有效性和可用性.实验结果显示,相较于NVD等传统漏洞平台,本方法平均感知时间最高提前90.03天;在操作系统软件覆盖率上提升74.37%,并利用SecERNIE模型实现63492个CVE漏洞与攻击技术实体之间的关联关系映射.特别地,针对openEuler操作系统,可追踪的系统软件覆盖率达到92.76%,并累计感知6239个安全漏洞;同时,还发现openEuler中891条漏洞与攻击的关联关系,进而获取到相应的解决方案,为漏洞处理提供了参考依据.在真实攻击环境验证2种典型的攻击场景,证明所提方法在漏洞威胁感知方面的良好的效果.

关键词：开源软件供应链漏洞威胁感知特征表示知识图谱风险推送

来源：评论

学校读者我要写书评

暂无评论

基于动态完整性度量的机密计算运行时监控方案

引用

计算机研究与发展 2024年第10期61卷 2482-2500页

作者：李为冯伟秦宇冯登国中国科学院大学北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院软件研究所北京100190

机密计算(confidential computing,CC)技术基于硬件可信执行环境(TEE),通过隔离、完整性度量和远程证明等技术保护使用中数据的机密性和完整性,并免受特权敌手的攻击.然而,现有机密计算平台的完整性度量和远程证明机制主要针对启动时,... 详细信息

机密计算(confidential computing,CC)技术基于硬件可信执行环境(TEE),通过隔离、完整性度量和远程证明等技术保护使用中数据的机密性和完整性,并免受特权敌手的攻击.然而,现有机密计算平台的完整性度量和远程证明机制主要针对启动时,而缺少运行时完整性保护,例如当用户工作负载潜在的内存漏洞被敌手利用时容易遭受控制流劫持等攻击,目前仅包含启动时完整性保护的机密计算平台无法有效防止或者检测此类运行时攻击.针对该问题,提出了一种基于动态完整性度量的机密计算运行时监控方案,通过向TEE中引入控制流和数据流度量,并扩展可信验证方功能以进行运行时远程证明,实现了机密计算平台内用户工作负载的运行时完整性保护.使用CSV/SEV服务器作为机密计算平台,在其机密虚拟机/容器基础上进行了系统原型实现与实验评估,评估结果表明,方案在增强运行时安全性的同时,引入了约16%的性能损耗.

关键词：机密计算可信执行环境运行时证明控制流完整性数据流完整性

来源：评论

学校读者我要写书评

暂无评论

FineFlow:FaaS工作流部署优化与执行系统

引用

软件学报 2025年第2期36卷 488-510页

作者：刘璐高浩城陈伟吴国全魏峻中国科学院软件研究所北京100190 中国科学院大学北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学南京学院江苏南京211135

FaaS(function-as-a-service,函数即服务)工作流由多个函数服务编排而成,通过对多个函数的协调控制来实现复杂的业务应用.当前FaaS工作流系统主要基于集中式的数据存储实现函数间的数据传递,导致FaaS函数间的数据传输开销大,显著影响应... 详细信息

FaaS(function-as-a-service,函数即服务)工作流由多个函数服务编排而成,通过对多个函数的协调控制来实现复杂的业务应用.当前FaaS工作流系统主要基于集中式的数据存储实现函数间的数据传递,导致FaaS函数间的数据传输开销大,显著影响应用性能.在高并发情况下,频繁的数据传输还会产生严重的网络带宽资源争用,导致应用性能下降.针对上述问题,基于函数服务间的细粒度数据依赖分析,提出一种基于关键路径的函数部署优化方法,设计了依赖敏感的数据存取与管理机制,有效减少函数间数据传输,从而降低FaaS工作流应用执行的数据传输时延和端到端时延.设计实现了FaaS工作流系统FineFlow,并基于5个真实FaaS工作流应用开展实验评估.实验结果表明,相比于基于集中式数据存储函数交互机制的FaaS工作流平台,FineFlow能够有效降低FaaS工作流应用的数据传输时延:最高降低74.6%,平均降低63.8%;平均降低应用端到端执行时延19.6%.特别地,对于具有明显细粒度数据依赖的FaaS工作流应用,相比于现有的基于数据本地性的优化方法,FineFlow能够使数据传输时延和端到端时延进一步分别降低28.4%和13.8%.此外,FineFlow通过减少跨节点的数据传输,能够有效缓解网络带宽波动对FaaS工作流执行性能的影响,提升应用性能受网络带宽影响的鲁棒性.

关键词： FaaS工作流函数即服务服务器无感知计算数据本地性有向无环图关键路径部署优化

来源：评论

学校读者我要写书评

暂无评论

HiLog:OpenHarmony的高性能日志系统

引用

软件学报 2024年第4期35卷 2055-2075页

作者：吴圣垚王枫武延军凌祥屈晟罗天悦吴敬征中国科学院软件研究所智能软件研究中心北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

日志是计算机系统中记录事件状态信息的的重要载体,日志系统负责计算机系统的日志生成、收集和输出.OpenHarmony是新兴的、面向全设备、全场景的开源操作系统.在所述工作之前,包括日志系统在内OpenHarmony有许多关键子系统尚未构建,而Op... 详细信息

日志是计算机系统中记录事件状态信息的的重要载体,日志系统负责计算机系统的日志生成、收集和输出.OpenHarmony是新兴的、面向全设备、全场景的开源操作系统.在所述工作之前,包括日志系统在内OpenHarmony有许多关键子系统尚未构建,而OpenHarmony的开源特性使第三方开发者可以为其贡献核心代码.为了解决Open Harmony日志系统缺乏的问题,主要开展如下工作:(1)分析当今主流日志系统的技术架构和优缺点;(2)基于OpenHarmony操作系统的异构设备互联特性设计HiLog日志系统模型规范;(3)设计并实现第1个面向OpenHarmony的日志系统HiLog,并贡献到OpenHarmony主线;(4)对HiLog日志系统的关键指标进行测试和对比试验.实验数据表明,在基础性能方面,HiLog和Log的日志写入阶段吞吐量分别为1500 KB/s和700 KB/s,相比Android日志系统吞吐量提升114%;在日志持久化方面,HiLog可以3.5%的压缩率进行持久化,并且丢包率小于6‰,远低于Log.此外,HiLog还具备数据安全、流量控制等新型实用能力.

关键词：操作系统日志系统开源软件数据安全流量控制

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：