期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
8
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于Lustre文件系统的MPI检查点系统实现技术与性能测试
被引量:
4
1
作者
谢旻
卢宇彤
+2 位作者
周恩强
曹
宏
嘉
杨学军
《计算机研究与发展》
EI
CSCD
北大核心
2007年第10期1709-1716,共8页
基于协同式检查点的回卷恢复是在大规模并行计算机系统中得到采用的一项重要容错技术,其性能开销主要为协同协议和检查点映像存储所决定.描述了一个在MPICH2中实现的应用透明的并行检查点系统,相比已有的技术,该系统有以下特点:1)协同...
基于协同式检查点的回卷恢复是在大规模并行计算机系统中得到采用的一项重要容错技术,其性能开销主要为协同协议和检查点映像存储所决定.描述了一个在MPICH2中实现的应用透明的并行检查点系统,相比已有的技术,该系统有以下特点:1)协同协议操作利用了并行应用的近邻通信特性,通过虚连接方法减少协议的处理开销;2)采用Lustre文件系统简化检查点映像文件管理的复杂性;3)通过并行I/O操作提高性能,优化检查点映像的存储过程.实际应用的测试表明,该检查点系统具有较小的运行时间开销和良好的可扩展性.
展开更多
关键词
容错技术
MPICH2
回卷恢复
协同式检查点
LUSTRE文件系统
下载PDF
职称材料
一个用户级动态二进制翻译系统的设计与实现
被引量:
2
2
作者
曹
宏
嘉
俞磊
+1 位作者
邓鵾
周兴铭
《计算机工程与科学》
CSCD
2004年第8期79-82,99,共5页
本文介绍了一个x86Linux系统下动态二进制翻译系统的设计与实现,该系统将IA 32用户级整数代码翻译到一个RISC指令集并由模拟器执行目标代码;详细描述了该系统的总体组成、目标结构模拟器、代码翻译过程以及翻译过的代码的执行。
关键词
编译程序
RISC指令集
设计
用户级动态二进制翻译系统
下载PDF
职称材料
一种需求驱动的缓冲区溢出检测算法
被引量:
1
3
作者
夏一民
曹
宏
嘉
+1 位作者
罗军
张民选
《计算机工程与科学》
CSCD
2007年第1期86-87,100,共3页
本文提出一种流敏感的静态检测算法。通过需求驱动的控制流分析和数据流分析,建立内存访问语句和函数调用语句发生溢出的线性约束,从而将缓冲区溢出的检测问题转换为线性约束求解问题。我们实现了该算法的原型,实验表明,该原型可以准确...
本文提出一种流敏感的静态检测算法。通过需求驱动的控制流分析和数据流分析,建立内存访问语句和函数调用语句发生溢出的线性约束,从而将缓冲区溢出的检测问题转换为线性约束求解问题。我们实现了该算法的原型,实验表明,该原型可以准确而高效地发现实际程序中的缓冲区溢出漏洞。
展开更多
关键词
安全分析
缓冲区溢出
静态检测算法
需求驱动
流敏感
下载PDF
职称材料
资源管理系统中基于作业检查点的自动容错
被引量:
2
4
作者
曹
宏
嘉
卢宇彤
谢旻
《计算机工程与科学》
CSCD
北大核心
2009年第11期66-68,109,共4页
本文提出了在资源管理系统中基于作业检查点实现自动容错支持,深入分析了作业与任务检查点分离、映像文件管理、自动恢复执行等关键技术。基于BLCR在SLURM中实现了作业的自动检查点/恢复,详细介绍了实现中的关键技术难题。分析与测试表...
本文提出了在资源管理系统中基于作业检查点实现自动容错支持,深入分析了作业与任务检查点分离、映像文件管理、自动恢复执行等关键技术。基于BLCR在SLURM中实现了作业的自动检查点/恢复,详细介绍了实现中的关键技术难题。分析与测试表明,检查点与恢复执行功能正确,并能有效缩短大规模作业成功运行所需的时间。
展开更多
关键词
容错
作业检查点/恢复
资源管理
下载PDF
职称材料
并行作业启动及其可扩展性分析
被引量:
1
5
作者
曹
宏
嘉
卢宇彤
+1 位作者
谢旻
周恩强
《计算机研究与发展》
EI
CSCD
北大核心
2013年第8期1755-1761,共7页
随着高性能计算机系统与并行应用规模的不断增加,大规模并行作业的启动时间不能再被忽略不计.已有的研究给出了在Tianhe-1A系统上加载MPI作业的性能结果.通过分析作业启动在控制消息传递、文件访问、MPI环境初始化等各阶段的时间开销,...
随着高性能计算机系统与并行应用规模的不断增加,大规模并行作业的启动时间不能再被忽略不计.已有的研究给出了在Tianhe-1A系统上加载MPI作业的性能结果.通过分析作业启动在控制消息传递、文件访问、MPI环境初始化等各阶段的时间开销,发现对于大规模MPI作业而言,环境初始化时间是作业启动的主要开销.基于此发现进行了一些优化,减少MPI环境初始化时交换的数据量,并避免不必要的数据传输开销.显著地提高了并行作业启动的性能.进而提出了一种层次式的可扩展进程管理结构,以进一步增强作业启动的可扩展性.与其他主流MPI实现的进程管理机制的作业启动时间进行了比较.
展开更多
关键词
高性能计算
并行作业启动
进程管理
MPI
可扩展性
下载PDF
职称材料
并行计算机中基于令牌的许可证管理
6
作者
曹
宏
嘉
卢宇彤
《计算机工程与科学》
CSCD
北大核心
2014年第3期388-392,共5页
提出一种适用于并行计算机系统的基于令牌的许可证管理模型。该模型将软件许可证的使用显式分开为申请与检出两步,许可证的释放分开为检入和回收两步,并由资源管理系统代理软件进行许可证资源的申请和回收。在此模型中,软件许可证的使...
提出一种适用于并行计算机系统的基于令牌的许可证管理模型。该模型将软件许可证的使用显式分开为申请与检出两步,许可证的释放分开为检入和回收两步,并由资源管理系统代理软件进行许可证资源的申请和回收。在此模型中,软件许可证的使用将由资源管理系统完全控制与调度,避免了现有模型中存在的资源管理系统外作业使用许可证、作业错误指定许可证信息、应用进程残留等情景下,出现用户作业因许可证不可用而造成的运行失败或资源浪费。设计了两种在现存遗留应用软件和许可证管理软件上实现基于令牌的许可证管理模型的方法,充分表明了此模型的现实意义。
展开更多
关键词
资源管理
作业调度
许可证管理
令牌
下载PDF
职称材料
一种新的自适应翻译单元构造算法
7
作者
曹
宏
嘉
肖勇
+2 位作者
唐遇星
邓昆鸟
周兴铭
《电子学报》
EI
CAS
CSCD
北大核心
2005年第8期1360-1364,共5页
翻译单元的构造对动态二进制翻译系统的性能有着重要影响.本文提出一种新的硬件支持下的自适应翻译单元构造算法ATUC,动态监测程序执行,根据程序的执行特性动态自适应调整翻译单元的构造,提高翻译后代码的执行成功率,并尽可能提高翻译...
翻译单元的构造对动态二进制翻译系统的性能有着重要影响.本文提出一种新的硬件支持下的自适应翻译单元构造算法ATUC,动态监测程序执行,根据程序的执行特性动态自适应调整翻译单元的构造,提高翻译后代码的执行成功率,并尽可能提高翻译后代码效率.引入了硬件的连续提交地址缓冲,辅助二进制翻译软件进行程序执行特性监测,降低profile开销.SPEC2000程序模拟结果表明,ATUC算法对系统性能提高明显.分析表明ATUC具有很低的时间空间开销与硬件支持实现开销.
展开更多
关键词
动态二进制翻译
翻译单元构造
指令踪迹
轮廓信息
下载PDF
职称材料
论责任保险人的抗辩义务之构建
8
作者
曹
宏
嘉
《上海保险》
2020年第12期17-21,共5页
保险人的抗辩义务一般只存在于责任保险之中,其他保险形式由于承保的范围明确,一般不涉及抗辩义务的规定。责任保险,是以被保险人依法需要对第三者承担的赔偿责任为保险标的的一种保险。在责任保险中确定赔偿数额的基础就是被保险人所...
保险人的抗辩义务一般只存在于责任保险之中,其他保险形式由于承保的范围明确,一般不涉及抗辩义务的规定。责任保险,是以被保险人依法需要对第三者承担的赔偿责任为保险标的的一种保险。在责任保险中确定赔偿数额的基础就是被保险人所应承担的责任,因此相关责任的确定就成为责任保险最重要的问题,这也是责任保险区别于其他保险形式的突出特点。
展开更多
关键词
保险标的
赔偿数额
被保险人
责任保险
保险形式
第三者
抗辩义务
赔偿责任
下载PDF
职称材料
题名
基于Lustre文件系统的MPI检查点系统实现技术与性能测试
被引量:
4
1
作者
谢旻
卢宇彤
周恩强
曹
宏
嘉
杨学军
机构
国防科学技术大学计算机学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2007年第10期1709-1716,共8页
基金
国家自然科学基金项目(60621003
60573135)
国家"八六三"高技术研究发展计划基金项目(2006AA01A106)
文摘
基于协同式检查点的回卷恢复是在大规模并行计算机系统中得到采用的一项重要容错技术,其性能开销主要为协同协议和检查点映像存储所决定.描述了一个在MPICH2中实现的应用透明的并行检查点系统,相比已有的技术,该系统有以下特点:1)协同协议操作利用了并行应用的近邻通信特性,通过虚连接方法减少协议的处理开销;2)采用Lustre文件系统简化检查点映像文件管理的复杂性;3)通过并行I/O操作提高性能,优化检查点映像的存储过程.实际应用的测试表明,该检查点系统具有较小的运行时间开销和良好的可扩展性.
关键词
容错技术
MPICH2
回卷恢复
协同式检查点
LUSTRE文件系统
Keywords
fault-tolerant
MPICH2
rollback-recovery
coordinated checkpoint
Lustre file system
分类号
TP316.4 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一个用户级动态二进制翻译系统的设计与实现
被引量:
2
2
作者
曹
宏
嘉
俞磊
邓鵾
周兴铭
机构
并行与分布处理国家重点实验室
出处
《计算机工程与科学》
CSCD
2004年第8期79-82,99,共5页
文摘
本文介绍了一个x86Linux系统下动态二进制翻译系统的设计与实现,该系统将IA 32用户级整数代码翻译到一个RISC指令集并由模拟器执行目标代码;详细描述了该系统的总体组成、目标结构模拟器、代码翻译过程以及翻译过的代码的执行。
关键词
编译程序
RISC指令集
设计
用户级动态二进制翻译系统
Keywords
binary translation
dynamic optimization
simulator
trace
分类号
TP314 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种需求驱动的缓冲区溢出检测算法
被引量:
1
3
作者
夏一民
曹
宏
嘉
罗军
张民选
机构
国防科技大学计算机学院
出处
《计算机工程与科学》
CSCD
2007年第1期86-87,100,共3页
基金
国家863计划资助项目(2002AA1Z2101)
文摘
本文提出一种流敏感的静态检测算法。通过需求驱动的控制流分析和数据流分析,建立内存访问语句和函数调用语句发生溢出的线性约束,从而将缓冲区溢出的检测问题转换为线性约束求解问题。我们实现了该算法的原型,实验表明,该原型可以准确而高效地发现实际程序中的缓冲区溢出漏洞。
关键词
安全分析
缓冲区溢出
静态检测算法
需求驱动
流敏感
Keywords
analysis for security
buffer overrun
static detection algorithm
demand-driven
flow-sensitive
分类号
TP309 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
资源管理系统中基于作业检查点的自动容错
被引量:
2
4
作者
曹
宏
嘉
卢宇彤
谢旻
机构
国防科技大学计算机学院
出处
《计算机工程与科学》
CSCD
北大核心
2009年第11期66-68,109,共4页
文摘
本文提出了在资源管理系统中基于作业检查点实现自动容错支持,深入分析了作业与任务检查点分离、映像文件管理、自动恢复执行等关键技术。基于BLCR在SLURM中实现了作业的自动检查点/恢复,详细介绍了实现中的关键技术难题。分析与测试表明,检查点与恢复执行功能正确,并能有效缩短大规模作业成功运行所需的时间。
关键词
容错
作业检查点/恢复
资源管理
Keywords
fault-tolerance
job checkpoint/restart
resource management
分类号
TP316.4 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
并行作业启动及其可扩展性分析
被引量:
1
5
作者
曹
宏
嘉
卢宇彤
谢旻
周恩强
机构
国防科学技术大学计算机学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第8期1755-1761,共7页
基金
国家自然科学基金项目(61120106005)
国家"八六三"高技术研究发展计划基金项目(2012AA01A301)
文摘
随着高性能计算机系统与并行应用规模的不断增加,大规模并行作业的启动时间不能再被忽略不计.已有的研究给出了在Tianhe-1A系统上加载MPI作业的性能结果.通过分析作业启动在控制消息传递、文件访问、MPI环境初始化等各阶段的时间开销,发现对于大规模MPI作业而言,环境初始化时间是作业启动的主要开销.基于此发现进行了一些优化,减少MPI环境初始化时交换的数据量,并避免不必要的数据传输开销.显著地提高了并行作业启动的性能.进而提出了一种层次式的可扩展进程管理结构,以进一步增强作业启动的可扩展性.与其他主流MPI实现的进程管理机制的作业启动时间进行了比较.
关键词
高性能计算
并行作业启动
进程管理
MPI
可扩展性
Keywords
high performance computing
parallel job startupl process management
MPI
scalability
分类号
TP316 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
并行计算机中基于令牌的许可证管理
6
作者
曹
宏
嘉
卢宇彤
机构
国防科学技术大学计算机学院
国防科学技术大学高性能计算国家重点实验室
出处
《计算机工程与科学》
CSCD
北大核心
2014年第3期388-392,共5页
基金
国家自然科学基金资助项目(61120106005)
国家863计划资助项目(2012AA01A301)
文摘
提出一种适用于并行计算机系统的基于令牌的许可证管理模型。该模型将软件许可证的使用显式分开为申请与检出两步,许可证的释放分开为检入和回收两步,并由资源管理系统代理软件进行许可证资源的申请和回收。在此模型中,软件许可证的使用将由资源管理系统完全控制与调度,避免了现有模型中存在的资源管理系统外作业使用许可证、作业错误指定许可证信息、应用进程残留等情景下,出现用户作业因许可证不可用而造成的运行失败或资源浪费。设计了两种在现存遗留应用软件和许可证管理软件上实现基于令牌的许可证管理模型的方法,充分表明了此模型的现实意义。
关键词
资源管理
作业调度
许可证管理
令牌
Keywords
resource management
job scheduling
license management
token
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种新的自适应翻译单元构造算法
7
作者
曹
宏
嘉
肖勇
唐遇星
邓昆鸟
周兴铭
机构
国防科技大学并行与分布处理国家重点实验室
出处
《电子学报》
EI
CAS
CSCD
北大核心
2005年第8期1360-1364,共5页
基金
国家自然科学基金(No.90307001)
文摘
翻译单元的构造对动态二进制翻译系统的性能有着重要影响.本文提出一种新的硬件支持下的自适应翻译单元构造算法ATUC,动态监测程序执行,根据程序的执行特性动态自适应调整翻译单元的构造,提高翻译后代码的执行成功率,并尽可能提高翻译后代码效率.引入了硬件的连续提交地址缓冲,辅助二进制翻译软件进行程序执行特性监测,降低profile开销.SPEC2000程序模拟结果表明,ATUC算法对系统性能提高明显.分析表明ATUC具有很低的时间空间开销与硬件支持实现开销.
关键词
动态二进制翻译
翻译单元构造
指令踪迹
轮廓信息
Keywords
dynamic binary translation
translation unit construction
trace
profile
分类号
TP302 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
论责任保险人的抗辩义务之构建
8
作者
曹
宏
嘉
机构
华东政法大学
出处
《上海保险》
2020年第12期17-21,共5页
文摘
保险人的抗辩义务一般只存在于责任保险之中,其他保险形式由于承保的范围明确,一般不涉及抗辩义务的规定。责任保险,是以被保险人依法需要对第三者承担的赔偿责任为保险标的的一种保险。在责任保险中确定赔偿数额的基础就是被保险人所应承担的责任,因此相关责任的确定就成为责任保险最重要的问题,这也是责任保险区别于其他保险形式的突出特点。
关键词
保险标的
赔偿数额
被保险人
责任保险
保险形式
第三者
抗辩义务
赔偿责任
分类号
D922.284 [政治法律—经济法学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于Lustre文件系统的MPI检查点系统实现技术与性能测试
谢旻
卢宇彤
周恩强
曹
宏
嘉
杨学军
《计算机研究与发展》
EI
CSCD
北大核心
2007
4
下载PDF
职称材料
2
一个用户级动态二进制翻译系统的设计与实现
曹
宏
嘉
俞磊
邓鵾
周兴铭
《计算机工程与科学》
CSCD
2004
2
下载PDF
职称材料
3
一种需求驱动的缓冲区溢出检测算法
夏一民
曹
宏
嘉
罗军
张民选
《计算机工程与科学》
CSCD
2007
1
下载PDF
职称材料
4
资源管理系统中基于作业检查点的自动容错
曹
宏
嘉
卢宇彤
谢旻
《计算机工程与科学》
CSCD
北大核心
2009
2
下载PDF
职称材料
5
并行作业启动及其可扩展性分析
曹
宏
嘉
卢宇彤
谢旻
周恩强
《计算机研究与发展》
EI
CSCD
北大核心
2013
1
下载PDF
职称材料
6
并行计算机中基于令牌的许可证管理
曹
宏
嘉
卢宇彤
《计算机工程与科学》
CSCD
北大核心
2014
0
下载PDF
职称材料
7
一种新的自适应翻译单元构造算法
曹
宏
嘉
肖勇
唐遇星
邓昆鸟
周兴铭
《电子学报》
EI
CAS
CSCD
北大核心
2005
0
下载PDF
职称材料
8
论责任保险人的抗辩义务之构建
曹
宏
嘉
《上海保险》
2020
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部