您的位置: 专家智库 > >

文献类型

  • 12篇期刊文章
  • 1篇会议论文

领域

  • 12篇自动化与计算...

主题

  • 5篇计算机
  • 5篇操作系
  • 5篇操作系统
  • 3篇网络
  • 3篇计算机网
  • 3篇计算机网络
  • 3篇分布式
  • 2篇调度
  • 2篇死锁
  • 2篇通信
  • 2篇无死锁
  • 2篇立方体
  • 2篇超立方体
  • 1篇调度策略
  • 1篇多处理机
  • 1篇多任务
  • 1篇虚拟存储器
  • 1篇一致性
  • 1篇站点
  • 1篇实时多任务

机构

  • 12篇南京大学
  • 1篇河海大学

作者

  • 13篇周建强
  • 5篇孙钟秀
  • 5篇杨培根
  • 4篇薛行
  • 4篇谢立
  • 2篇李楠
  • 1篇胡吉明
  • 1篇朱根江
  • 1篇姚学军
  • 1篇吴巧泉
  • 1篇张德富

传媒

  • 8篇计算机学报
  • 2篇计算机研究与...
  • 1篇软件学报
  • 1篇计算机工程与...
  • 1篇全国青年计算...

年份

  • 3篇1995
  • 1篇1994
  • 1篇1993
  • 1篇1992
  • 2篇1991
  • 3篇1990
  • 1篇1989
  • 1篇1987
13 条 记 录,以下是 1-10
排序方式:
一个解决分布式内核中状态不一致性的方法
1990年
本文着重介绍分布式操作系统内核NDOS的进程通信机制中,检测和处理由于进程死亡、机器或网络故障以及进程迁移所引起的系统状态不一致性问题的方法。为了能够既满足高层系统的可靠性要求,同时又保持分布式操作系统内核的简洁性和有效性,我们把内核的进程通信设施进一步分为两层。对状态不一致性的检查和处理的机制利用了事件计数(eventcount)的概念及其有关操作。
薛行孙钟秀杨培根周建强徐希豪
关键词:分布式操作系统内核计算机
网络协议开发的形式方法被引量:1
1990年
本文论述了网络协议开发的形式方法。作者设计了精确描述协议需求的协议形式规范语言PSL(Protocol Specification Language),并开发了相应的协议验证和自动生成的支持工具。通过ISO/OSI虚终端协议机的形式开发实践表明:应用该方法可以提高软件的生产效率,改善软件的质量。
李楠杨培根周建强
关键词:网络协议计算机网络
超立方体上基于缓冲机制的无死锁路径算法被引量:3
1995年
本文研究了超立方体上基于单缓冲和双缓冲技术的无死锁受限条件,提出了相应的无死锁路径算法.性能分析表明,路径算法的效率和算法的自适应能力及算法的复杂性相关.
周建强姚学军谢立
关键词:超立方体死锁
K锁算法——一种数据库上的可适应并发控制策略被引量:1
1991年
本文提出了一种基于悲观和乐观思想的并发控制算法——K锁算法.K锁算法利用K锁机制,在一定程度上允许冲突执程的并发执行.和乐观算法比较,它减少了在系统的执程冲突概率较大时执程的重执次数,和悲观算法比较,它提高了冲突执程的执行并发度.
周建强谢立孙钟秀朱根江
关键词:数据库并发控制
分布式文件系统NDFS的设计和实现
1990年
NDFS文件系统是在全异构型环境上开发的一个分析式文件系统。系统中采用了顾客/服务员模式,并且在顾客和文件服务员之间定义了一组公共文件服务功能和接口,使得异构型环境中的顾客能够透明地访问分布在文件服务器下的远程文件系统。
周建强薛行徐希豪杨培根孙钟秀
关键词:分布式操作系统
MS-DOS的实时多任务扩充
1992年
本文介绍了一种基于MS-DOS3.X的实时多任务操作系统MT-DOS的设计和实现,包括任务管理和资源管理两个子系统,并提出了一种解决DOS重入问题的混合调度策略。
蒋蜀周建强薛行谢立
关键词:操作系统多任务
MDOS的任务通信设施
E是由异种计算机、异种计算机网组成的互连网络。为了在NOE上开发一个分布式系统,在现有的MS-DOS基础上设计和实现了一个多任务操作系统MDOS,以支持分布式系统中各种网络服务器。该文介绍MDOS的以事件为核心的任务通信...
周建强
关键词:计算机网络操作系统分布型网络计算机通信
并行循环的乐观自调度模式
1995年
并行循环的自调度模式是研究以最小运行开销和最佳负载平衡将循环体分布到各处理器上做并行计算.早期的自调度模式基于悲观的思想,认为并行循环是非均匀分布的,因此为克服负载不平衡,循环体被分割成大量任务包,因而导致较大的调度开销.本文提出一类乐观自调度模式,假定循环是均匀分布的,按现有处理器数对循环做初始划分可取得较好的负载平衡.同时,乐观模式还提出克服初始划分不良引起负载不平衡的一种简单且有效的方法,模拟分析表明乐观模式在许多情况下显示了很好的优越性.
胡吉明周建强
关键词:自调度负载平衡多处理机
如何查寻空闲站点——分组调度策略
1991年
本文基于文[1]中的集中式调度策略和分布式调度策略,提出了一个分组调度策略.分组调度策略是将系统内的站点计算机分成若干个组,每组有一个协调员,它负责收集本组成员的状态信息,接受本组成员的申请要求以及查询其它组的协调员,该调度策略具有坚定性强(robustness)和伸缩性大(scal-ability)等特点.
周建强吴巧泉张德富
关键词:调度策略计算机
CPSL:一种通信协议规格说明语言及其支撑系统
1994年
CPSL(CommunicationProtocolSpecificationLanguage)是一种精确描述通信协议需求的形式规格说明语言.本文简述了CPSL的设计及其支撑系统的开发,并和其它类似语言作了比较.
杨培根李楠周建强
关键词:通信协议规格说明语言计算机网络
共2页<12>
聚类工具0