消息传递的逻辑瞬时模型

来源 :计算机科学 | 被引量 : 0次 | 上传用户:ullige000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正>通常不同站点间的计算进程进行异步通讯时必须相互协调,由于消息在传过程中存在通讯延迟,通 常有以下三种类型的错误发生: (l)进程A发送一个消息m:“执行任务X”给进 程C,过十分钟后进程A发送个消息mZ“请检查 进程C的执行情况”给进程B,进程B接到m:后,就 发送一个消息m:给进程C来检查执行情况。但是, 进程C接到m3时,还没收到消息m:,这时进程C就 搞不清进程B在查问什么。
其他文献
<正>1 引言在传统的操作系统中,用户操作服务的请求都是通过系统调几由操作系统内核真接完成的
由于面向对象技术缺乏坚实的理论基础,因而在早期的各种面向对象数据模型中对对象概念的表达和使用都有差异。本文研究了以往提出的多种面向对象数据模型,讨论了对象、类型继承
<正>一、引官尽管C~(++)的00机制之(如继承、多态、虚函数)提供了强有力的数据抽象机制,对象之间的指针引用
Internet已成为人类知识海洋的全球最大计算机网络,本文介绍了Internet的沿革及其用户接口,并展望了今年的工作。
对于我们在文「1」中所建立的基于区间估计的BMI模型及MYCIN确定性因子模型,本文说明了:1)规则是不可分解的;2)顺序组合运算对平行组合运算不满足分配律,因而使用时要谨慎小心。
<正>1引言 所谓嵌套关系(即非第一范式),即是允许关系中的属性又可是一个关系,打破了关中属性必须是原子属性的约束,可以出现表中有表的情况,用以表示具有层次结构的复杂
In this paper, a novel ATMS-based knowledge base maintenance system is proposed. Itenhances functions of the tranditional knowledge base maintenance systems as
<正>一、引言在计算机发展的初期,经常采用通用小型机作为巨型、大型机的组成部分,负贵复杂的外设管理,形成了功能不同,但各部分之间可互相协同工作的体系。流水处理结
<正>在分布式系统中,常涉及分布进程间的各种合作关系。分布进程是分布式系统的基本活动实体,其间的合作表现在多个进程为完成某个任务在时间上、空间上以及次序上发生的直接
<正>计算机做为人的信息处理能力的延伸与补充,其人机通信日益显示出其重要性,现在它已成为决定计算机应用系统成败的关键因素。计算机处理容量、输入输出设备以及软件技术的