刘键
- 作品数：36 被引量：17H指数：2
- 供职机构：华中理工大学计算机科学与技术学院计算机科学与工程系更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术理学电子电信一般工业技术更多>>
- 分布式目录管理的设计与实现
- 1995年
- 分布式全局目录管理是分布式文件系统的重要模块之一,本文阐述了基于局域网UNIX改造而成的分布式UNIX目录管理的设计与实现技术,提出了超级虚根的改进方案与基于代理进程的文件服务技术。
- 刘键胡贯荣李胜利
- 关键词：分布式目录管理操作系统
- 图的最优K划分被引量：1
- 1990年
- 本文提出了一种新型的最优K划分算法,此算法借助一有效的启发式估价函数,将划分问题转换为状态空间最小耗散路径的搜索问题,再利用A算法给出最优K划分算法。
- 鄢勇刘键
- 关键词：图论
- 分布式实时系统事件关系模型
- 1995年
- 分布式实时系统是当前计算机科学研究的一前沿领域。由于分布式实时系统本身的特点和其所嵌入环境规模的日益扩大,分布式实时系统的说明、设计、验证都很困难。系统说明是进行形式设计和验证的基础,因而必须开发出相应的系统说明方法。本文介绍了用事件关系模型来描述分布式实时系统的说明方法,其关键部分在于说明以对象为实体的事件之间的关系,利于系统形式设计与验证的实现。
- 朱晓梅刘键
- 关键词：分布式实时系统
- 顺序程序的并行性识别——一种基于变量活动域的方法
- 1989年
- 本文提出了一种新的顺序程序并行性的识别方法——基于变量活动域的识别方法,这种方法在程序转换的基础上,系统地削弱了语句之间的数据相关性,提高了程序的并行性;并在变量活动域的基础上将转向控制相关转化为数据相关,最终生成一有条件的数据流图,而不带来任何额外副作用;另外,本文对此识别方法的正确性给出了严格证明。
- 鄢勇刘键
- 关键词：并行性数据流图
- call图与基于call图的相关分析
- 1993年
- call图用来反映程序中过程之间的调用关系,在程序分析和程序转换中起着重要的作用。本文首先讨论了简单情形下call 图的构造算法,然后提出了过程向量及其映射函数的概念,从而设计出一种针对允许过程作为参数时call 图的构造算法,并对该算法进行了详细的分析,其时间复杂度为O(n)。本文最后讨论并分析了基于call 图的程序相关分析方法。
- 谢卫徐碚刘键
- 基于可执行条件的非循环结构并行性识别
- 1996年
- 探讨了顺序程序中非循环结构并行性的识别问题,提出并实现了一种新的可执行条件的导出方法,在层次任务图(HTG)上,通过一次对全国所有路径的搜索,利用任务节点间的相关性(包括数据相关和控制相关),就可以生成所有任务节点的可执行条件。该算法简单高效,所生成的可执行条件简捷,没有冗余项,并且利于系统的控制执行。
- 刘键汤洪波
- 含过程任务图的调度
- 1997年
- 我们在Ｆｏｒｔｒａｎ程序并行转换系统ＨＺＰＡＲＡ－Ⅱ的研究中遇到了含过程任务图的情形，对此我们提出了一种有效的调度方法。该方法可在Ｏ（ｎ＊ｅ）的时间内完成调度。
- 刘键张静
- 关键词：任务图进程调度分布式算法
- 进程流程图并行划分性质的研究被引量：1
- 1990年
- 本文以已赋权的进程流程图作为基础,研究了并行划分的基本性质,探讨了并行划分中程序响应的限界问题。所得结果在一定程度上对于静态调度算法设计具有理论上的意义。文中还提出了一个利于性质研究的并行划分模型。
- 刘键李庆华
- 基于动态优先级的分布式同步机制
- 1989年
- 本文提出了一种新颖的分布式同步机制,此机制利用动态优先级来协调事务的数据操作,与各种解决此类问题的现有方法比较具有如下优点:事务的无用撤除运算较少且不会产生死锁。
- 鄢勇刘键
- 关键词：动态优先级数据库
- 一种关于DO－loop并行划分的新观点与新方法被引量：2
- 1996年
- 本文提出了一个分配相关新概念以及与此相应的基于迭代空间等价分类的ＤＯ－ｌｏｏｐ并行划分的新观点与新方法．这种方法的主要特点是：①是关于以ＤＯ－ｌｏｏｐ并行划分的一个一般的统一的方法，能解决所有ＤＣ－ｌｏｏｐ的并行划分问题．②能准确地挖掘出程序中所有ＤＯ－ｌｏｏｐ的并行性，并且同时自动完成数据划分与计算划分．③最适用于ＭＩＭＤ与ＳＰＭＤ的大粒度并行划分．④可以和任务级并行划分技术、向量化技术、流水线技术结合起来，从而全面挖掘各主要抽象级并行性．
- 刘键谢卫朱晓梅谷秋艳
- 关键词：链接点计算机
