【摘 要】
：
<正> 分布式系统是一组在空间上分隔的顺序进程,进程间仅仅通过消息传递来交换信息,由于缺乏全局时钟,基于事件观察的事件交叉线性序列往往不适合于我们对分布式程序行为的理
【机 构】
：
上海交通大学计算机科学与工程系,上海交通大学计算机科学与工程系,上海
论文部分内容阅读
<正> 分布式系统是一组在空间上分隔的顺序进程,进程间仅仅通过消息传递来交换信息,由于缺乏全局时钟,基于事件观察的事件交叉线性序列往往不适合于我们对分布式程序行为的理解,在实际应用中带来很多问题.现在已经认识到,将事件之间的关系理解成基于事件相互影响的偏序关系是比较合适的[1s,川,这种相互影响的关系也被称为因果关系。 本文较系统地综述了十多年来因果性间题研究的发展情况,并讨论了因果性在分布式计算中很多重要问题中的应用,阐述了对研究现状的认识,并指出了若干研究方向。
其他文献
本文将程序的可视化定义为:将程序映射至图画表示。程序的可视化的简单形式常见于软件工程,因此,当代程序可视化的进展有可能影响未来软件工程工具和环境的发展。本文提出了
<正>一、引言近十年来,面向对象技术得到了迅速的发展,目前已经实现的面向对象(00)程序设计语言数以百计,根据不同的视角可对其分类
庆祝中国计算机用户协会仿真机分会成立十五周年献辞周天勋各位领导、各位同志、各位来宾：中国计算机用户协会仿真机分会于１９８３年７月１日成立，至今已经十五年了。今天我们在这里举行隆
AOP[1,2〕的主要思想是在计算中采用“人格化”这一抽象工具,来解释、理解并编制计算机系统.AOP的优点在于:l)便于agent描述:能用熟悉、非技术性的语言来定义agent;2)嵌套式
<正>经典逻辑中只有真、假二值,但实际上有大盆含糊现象存在于宾和假二值之间,因此,长以来许多逻辑学家和哲学家就致力于研究含糊概念。早在1904年谓词逻辑的创始人G.Frege就
这是关于超协调逻辑研究的第二篇。文中，基于对超协调逻辑应具有一定共性的理解，给出一个超协调逻辑的新定义，并给出在应用研究中提出的三类有代表性的新超协调逻辑，由于它们满足
第19届国际软件工程会议于1997年5月17至22日在美国波士顿召开。来自世界各地30个国家和地区的代表,近900人参加了会议。会议的主题是“齐心协力”(pulling together),是针对
<正>一、引言二十年前,一种新型的计算机语言由法国马赛大学首次提出,这就是如今尽人皆知的Prolog。多年来,英国艾丁堡大学在Prolog的理论、实现及推广方面,做出了重要贡献。
本文概述了一个可以刻画知识的增长、更新以及假说的进化的开放逻辑理论;给出了有关新假设、事实反驳、假说的重构、认识进程及其极限等概念,讨论了它们的性质并证明了与之有
<正>1.引言 并行算法在并行体系结构上的可伸缩性分析(Scalability analysis)是目前巨量并行理MPP研究的中心问题之一。可伸缩性作为巨量并行机上并行算法的主要性能指标,