基于伪临界值的Cache一致性协议验证方法

针对Cache一致性协议状态空间爆炸问题,提出共享集合伪临界值(Pseudo-cutoff)的概念,并以采用释放一致性模型的CC-NUMA系统为例,分析了共享数据的分布情况,推导出在一定条件下共享集合伪临界值为4的结论,有效优化了目录Cache协议状态空间,并提出了解决小概率的宽共享事件的方法.实验数据表明,基于伪临界值的协议模型优化,能够有效缩小Cache协议状态空间,加快验证速度,扩大验证规模.     

多机环境下系统程序并行化的实现方法

本文给出了多处理机环境对系统程序的要求,阐述了系统程序并行化研制过程中遇到的问题和解决办法,给出了实现临界段互斥的三种处理方法及其性能评价。     

GKD-l RRC 机器人控制器与力反馈顺应控制研究

GKD-1 RRC是为开展机器人力反馈顺应控制的研究而设计的新型机器人实时控制器。本文介绍了它的主要性能、特点,并对用它在PUMA 562机械手上完成的几个典型的力/位置混合控制实验及其控制策略、实验结果进行了说明。实验表明,以GKD-1 RRC为核心的机器人力控制系统,控制周期仅为4.88ms,力控制稳态误差平均小于100g,位置控制精度不低于机械手原有水平,证明GKD-1 RRC控制器性能优越。     

参数化系统二维抽象框架

针对参数化系统状态空间爆炸问题提出了一个通用的参数化系统二维抽象框架TDA。对所有进程单独进行抽象,利用参数化系统的设计思想,隐藏系统参数构建全系统的抽象模型,最大限度地剔除了原始系统中的冗余信息。建立的具有真并发语义的参数化系统的形式化模型,更适合描述一般意义上的并发系统,较好地解决了验证大规模同构和异构系统的空间激增问题。理论推导和实例均证实了TDA的正确性和合理性。     

高性能多处理机系统总线设计技术

本文以银河仿真Ⅱ型计算机为背景,论述面向多处理机的高性能总线的体系结构、总线特点、总线数据传输、多处理机通信等总线设计技术。     

多向嵌套循环的 FMS并行执行模式

基于小粒度并行结构的分类,提出了结构范式的概念。在此基础上,探讨了多向嵌套循环的并行执行问题,提出了父、母、子进程的概念以及面向多向嵌套循环的FMS 处理机调度策略     

基于 SBM的操作级并行处理算法研究

SBM是支持操作级并行的一种有效的同步机制。文中基于SBM对结点调度和barrier插入算法进行了深入的研究,提出了一套有效的开发操作级并行的方案。用一有向图G(N,A)表示指令之间的相关关系,并以结点的临界路径为关键字将结点从小到大进行排序。按照排序后的结点顺序,描述了一种分配算法,将结点分配给各处理机。同时,描述了相关结点之间的barrier插入算法。     

关于机器人力控制器计算机系统的设计方案探讨

本文从机器人力反馈依从控制的任务和要求出发,对机器人控制多处理机系统设计中的几个主要问题,包括总的系统结构、存储器结构、机间互连结构、中断系统结构、并发实时操作系统、处理机选型和多处理机系统的调试等,进行了探讨。     

多处理机系统的微任务并行

本文讨论微任务技术及其在多机系统上的实现。微任务技术使得一个程序能在循环和语句块一级并行执行,它的显著特点是系统开销较小、效率较高,适应于小粒度并行。