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

计算机工程 2011年第20期37卷 255-257,270页

作者：翁玉萍顾乃杰李恺陈强中国科学技术大学计算机科学与技术学院安徽省计算与通讯软件重点实验室合肥230027

分析归并排序算法和快速排序算法,根据国产CPU龙芯3A的体系结构特性,提出2种优化算法并进行实现。综合利用访存特性,引入拷贝优化、循环展开、交换操作优化和不同基本排序混用等优化技术。测试结果表明,在不影响排序稳定性的前提下,与Gl... 详细信息

分析归并排序算法和快速排序算法,根据国产CPU龙芯3A的体系结构特性,提出2种优化算法并进行实现。综合利用访存特性,引入拷贝优化、循环展开、交换操作优化和不同基本排序混用等优化技术。测试结果表明,在不影响排序稳定性的前提下,与Glibc 2.11库中的排序函数相比,2种优化算法均能提升16.9%～90.5%的排序性能。

关键词：龙芯3A 归并排序快速排序优化算法循环展开

来源：评论

学校读者我要写书评

暂无评论

一种面向动态链状数据结构的指针定值引用链算法

引用

小型微型计算机系统 2011年第7期32卷 1412-1417页

作者：付小朋张昱张伟汪晨中国科学技术大学计算机科学与技术学院合肥230027 中国科学技术大学苏州研究院软件安全实验室江苏苏州215123

采用流敏感的方法分析计算过程内操作动态链状数据结构的指针定值引用链.目的是连接对链状数据结构进行定值的语句和引用这些链状数据结构的语句,具体地,每条对链状数据结构进行定值的语句,算法将找出所有引用被该语句定值的链状数据结... 详细信息

采用流敏感的方法分析计算过程内操作动态链状数据结构的指针定值引用链.目的是连接对链状数据结构进行定值的语句和引用这些链状数据结构的语句,具体地,每条对链状数据结构进行定值的语句,算法将找出所有引用被该语句定值的链状数据结构的语句的集合.该算法将被整合到我们设计和开发的并行语言mini-SPC中,指导对操作动态链状数据结构的并行程序的正确分析和程序变换.实验表明基于本文的算法能保证操作动态链状数据结构的指针定值引用链的分析精度,提高分析的效率.

关键词：定值引用链到达定值别名分析程序分析动态链状数据结构

来源：评论

学校读者我要写书评

暂无评论

基于网页结构的自适应Web缓存（英文）

引用

中国科学技术大学学报 2013年第10期43卷 799-810页

作者：张开敏中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽省计算与通信软件重点实验室安徽合肥230027 中国科学技术大学中科院沈阳计算所网络与通信联合实验室安徽合肥230027

消除Web应用中冗余的数据传输可以有效地提升Web应用的响应能力,已有的算法没有充分利用网页的结构信息,因而会降低缓存数据的命中率.针对这种情况,提出了一种全新的Web缓存方案,称为基于网页结构的自适应Web缓存(SBAWC).SBAWC充分利用... 详细信息

消除Web应用中冗余的数据传输可以有效地提升Web应用的响应能力,已有的算法没有充分利用网页的结构信息,因而会降低缓存数据的命中率.针对这种情况,提出了一种全新的Web缓存方案,称为基于网页结构的自适应Web缓存(SBAWC).SBAWC充分利用了网页本身的结构和语义信息,同时仅缓存Web数据中稳定的部分,以更好地消除冗余数据,提升缓存命中率.在真实网页上进行的实验结果表明,与现有的方案相比,SBAWC可以更加高效地消除Web应用网络传输中的冗余数据.

关键词：缓存超文本标记语言冗余数据消除差分编码

来源：评论

学校读者我要写书评

暂无评论

μC/OS-Ⅱ中消息队列通信机制的形式化验证

引用

小型微型计算机系统 2016年第6期37卷 1179-1184页

作者：马杰波付明冯新宇中国科学技术大学计算机科学与技术学院合肥230026 中国科学技术大学苏州研究院软件安全实验室江苏苏州215123

μC/OS-Ⅱ是一个可移植、可裁减的基于优先级的抢占式多任务实时内核,其代码主要用C语言编写.消息队列是一种被广泛使用且灵活的线程间的通信方式,它的安全性对于构建安全操作系统内核十分重要.针对μC/OS-Ⅱ中消息队列机制,给出消息接... 详细信息

μC/OS-Ⅱ是一个可移植、可裁减的基于优先级的抢占式多任务实时内核,其代码主要用C语言编写.消息队列是一种被广泛使用且灵活的线程间的通信方式,它的安全性对于构建安全操作系统内核十分重要.针对μC/OS-Ⅱ中消息队列机制,给出消息接收和发送接口所操作的共享数据结构满足的数学规范,同时给出了这两个接口实现的安全性(safety)证明,相关的证明在定理证明工具Coq中完成.

关键词： μC/OS-Ⅱ 形式化验证消息队列安全性 Coq

来源：评论

学校读者我要写书评

暂无评论

图广度优先搜索算法面向图形处理器的优化方法研究

引用

小型微型计算机系统 2014年第5期35卷 1074-1079页

作者：刘谷安虹李小强吴石磊中国科学技术大学计算机科学与技术学院合肥230027 中国科学院计算机系统结构重点实验室北京100080

近年来,图形处理器(GPU)以其丰富的计算资源和低廉的成本逐渐在高性能计算领域取得一席之地,对于具有规则访存特性的并行程序具有明显的加速作用.但是以图广度优先搜索(BFS)算法为代表的某些不规则应用,在图形处理器上性能表现平平.为... 详细信息

近年来,图形处理器(GPU)以其丰富的计算资源和低廉的成本逐渐在高性能计算领域取得一席之地,对于具有规则访存特性的并行程序具有明显的加速作用.但是以图广度优先搜索(BFS)算法为代表的某些不规则应用,在图形处理器上性能表现平平.为了解决不规则程序在图形处理器上的性能瓶颈问题必须分析其行为特征,面向特定体系结构提出有针对性的程序优化方法.本文通过分析图广度优先搜索算法的在GPU上的并行性模式,访存特性以及工作负载,提出了基于并行性剖析与反馈的计算资源重配置方法,动态队列的层次优化方法,以及线程级负载平衡方法.实验表明以上优化方法能够显著提高图广度优先搜索算法为代表的不规则程序在GPU上的性能.

关键词：图形处理器图广度优先算法不规则程序并行性剖析优化方法

来源：评论

学校读者我要写书评

暂无评论

出具证明编译器中代码优化与程序规范转换

引用

小型微型计算机系统 2011年第7期32卷 1400-1405页

作者：范大威李兆鹏蒋信予中国科学技术大学计算机科学与技术学院合肥230026 中国科学技术大学苏州研究院软件安全实验室江苏苏州215123

出具证明编译器在软件安全研究得到越来越多的关注,是程序验证研究的一个重要方向.但目前关于出具证明编译器的研究主要是在程序逻辑设计和定理自动化证明方面,很少关注编译优化对规范的影响.而编译优化是决定出具证明编译器是否能走向... 详细信息

出具证明编译器在软件安全研究得到越来越多的关注,是程序验证研究的一个重要方向.但目前关于出具证明编译器的研究主要是在程序逻辑设计和定理自动化证明方面,很少关注编译优化对规范的影响.而编译优化是决定出具证明编译器是否能走向应用的关键因素之一.通过研究数据流优化的基本行为,提出利用数据流分析结果来变换规范的方法,以使原规范的约束准确而充分地施加于优化后的代码,并实现了一个包含多种优化和相应规范转换的编译器原型系统,展示了方法的可行性.

关键词：规范转换代码优化数据流分析出具证明编译器

来源：评论

学校读者我要写书评

暂无评论

支持用户自定义谓词的自动定理证明的研究

引用

小型微型计算机系统 2013年第8期34卷 1781-1786页

作者：汪娟李兆鹏陈意云中国科学技术大学计算机科学与技术学院合肥230026 中国科学技术大学苏州研究院软件安全实验室江苏苏州215123

在先前设计的一个出具证明编译器原型基础上,增加了可用来描述数据结构性质的自定义谓词,对断言语言表达能力方面做了提升.在出具证明编译器的框架内,借助自动定理证明技术,针对自定义谓词的特点,设计了专门的推理规则,由此实现自定义... 详细信息

在先前设计的一个出具证明编译器原型基础上,增加了可用来描述数据结构性质的自定义谓词,对断言语言表达能力方面做了提升.在出具证明编译器的框架内,借助自动定理证明技术,针对自定义谓词的特点,设计了专门的推理规则,由此实现自定义谓词专用的自动定理证明器原型,并将它并入系统原来的自动定理证明器中.该原型可以用来证明操作单链表、二叉树等共享数据结构的程序的性质,其程序规范中可以使用自定义谓词描述数据有序性、链表长度等性质.

关键词：出具证明编译器自定义谓词自动定理证明推理规则

来源：评论

学校读者我要写书评

暂无评论

支持推测并行化的事务存储硬件模拟系统

引用

小型微型计算机系统 2013年第5期34卷 1102-1107页

作者：李颀安虹李功明邓博斌中国科学技术大学计算机科学与技术学院合肥230027 中国科学院计算机系统结构重点实验室北京100080

多核处理器通过增加处理器核数提高计算能力,虽然可以通过同时运行多道程序的方式利用处理器资源,但是多核处理器真正的成功取决于解决并行应用开发中的难题.为此,处理器体系结构和编程模型的协同开发是必须的.而随着核数的增多,传统上... 详细信息

多核处理器通过增加处理器核数提高计算能力,虽然可以通过同时运行多道程序的方式利用处理器资源,但是多核处理器真正的成功取决于解决并行应用开发中的难题.为此,处理器体系结构和编程模型的协同开发是必须的.而随着核数的增多,传统上使用的软件模拟器因为软件的串行性而性能越来越差,无法支持这种软硬件协同开发.FPGA天生的并行性使它在模拟多核处理器时具有较高的模拟性能和高度的可扩放性,成为处理器体系结构研究的理想工具.本文介绍了基于FPGA的多核模拟系统,RAMP-Pink.该系统基于HASim实现,同时支持事务存储和线程级推测,用于对事务存储和线程级推测的软硬件协同开发.该模拟系统可配置不同的FPGA开发平台,也可以以软件模拟方式运行.

关键词：多核处理器 FPGA 模拟器事务存储线程级推测

来源：评论

学校读者我要写书评

暂无评论

一种链状数据结构细粒度自动加锁方法

引用

小型微型计算机系统 2012年第9期33卷 1892-1897页

作者：张予现张昱中国科学技术大学计算机科学与技术学院合肥230027 中国科学技术大学苏州研究院软件安全实验室江苏苏州215123

细粒度锁在并行编程与并发软件设计中起着重要的作用.然而,细粒度锁对程序员具有较高的要求,通常在设计细粒度锁并发程序时会带来算法复杂,编程困难,程序易出错等问题.提出一种链状数据结构的细粒度加锁方法,并实现自动转换含有形状和... 详细信息

细粒度锁在并行编程与并发软件设计中起着重要的作用.然而,细粒度锁对程序员具有较高的要求,通常在设计细粒度锁并发程序时会带来算法复杂,编程困难,程序易出错等问题.提出一种链状数据结构的细粒度加锁方法,并实现自动转换含有形状和共享标注的程序为细粒度锁代码的翻译器,为了使生成的代码具有无死锁,引入了一致性加锁协议,实验结果表明,基于本文方法能够自动为链状数据结构操作添加细粒度锁,生成的代码具有较高的并发性.

关键词：并行编程并发软件细粒度锁链状数据结构翻译器

来源：评论

学校读者我要写书评

暂无评论

中国大陆CDN的测量方法研究与性能分析

引用

计算机工程与科学 2014年第4期36卷 620-626页

作者：吴金福田野安徽省高性能计算与应用重点实验室安徽合肥230026 中国科学技术大学计算机科学与技术学院安徽合肥230026

内容分发网络CDN根据网络的实时环境,对用户请求的内容进行合理的分发,可以有效避免网络拥塞,优化用户体验。CDN已经成为网络基本架构中非常重要的部分。针对CDN的测量,对于分析CDN网络性能、优化CDN网络结构进而提升服务质量都有重要... 详细信息

内容分发网络CDN根据网络的实时环境,对用户请求的内容进行合理的分发,可以有效避免网络拥塞,优化用户体验。CDN已经成为网络基本架构中非常重要的部分。针对CDN的测量,对于分析CDN网络性能、优化CDN网络结构进而提升服务质量都有重要的意义。然而,由于缺乏有效的测量方法,以及中国大陆网络基础设施服务的复杂性,针对中国大陆CDN测量的研究还比较欠缺。提出一种基于HTTP代理服务器作为测量源的CDN测量技术,通过对中国大陆的主要CDN服务商进行广泛深入的测量,获取到不同CDN服务商的节点分布,并分析了CDN节点的部署策略、负载均衡以及不同CDN服务商的节点调度策略。

关键词：内容分发网络网络测量节点分布部署策略负载均衡

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：