DM:一个分布式程序设计语言

来源 :计算机应用与软件 | 被引量 : 0次 | 上传用户:kj30fjgh
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
分布式程序设计语言是计算机研究领域中的一个重要研究课题。目前,该课题的研究还处于探索阶段。本文介绍了分布式程序设计语言DM中并行机制的设计思想,主要内容,构成特点以及它在分布计算机系统THUDS上的实现方法,并对其进行了分析与简单评价。
其他文献
DIANA是Ada编程环境中用来描述Ada程序的一种中间语言,它已被许多Ada环境所采用。本文介绍了DIANA的形成过程和设计原则,阐述了它的作用、意义和基本特征。同时,通过例子说明怎样用DIANA反映Ada的各种语言特征。
期刊
本文分析了John Backus提出的FP系统的函数性质,并给出了它的指称语义。
期刊
本文首先描述微型计算机局部地区网络操作系统的一般概念,然后讨论Omninet微机局部网络操作系统的结构及实现,并着重剖析了网络驱动程序和Constellation软件的功能。
期刊
RWCES是我们研制的一个试验系统,它把人工智能技术中的知识表示和演绎推理应用到CRDBMS,能够表达数据间的因果语义。通过RWCES,可对因果联系作推导判断,从原因找出结果,或从结果找出原因。 CRDBMS是在PDP-11/23计算机、操作系统RSX-11M支持下,由本文作者设计,在本校实现的小型关系数据库管理系统,可对数据库中的关系进行传统的数据操作和关系运算。
期刊
平行控制在任何多用户数据库系统中都是必不可少的一部分。本文讨论了分布式数据库系统中的平行控制,它的正确性标准、方法和技术以及在实现中所涉及到的死锁、关系数据库的封锁、容错等问题。
期刊
本文提出的一次优先图较之二次优先图,在大系统中对分布处理的软件建模,由于没有人工判别冗余优先图的过程,使之在任务说明后完全计算机化。
期刊
本文阐述了决策表及其应用例子,介绍了用PASCAL语言对决策表处理的原理,列出了几个典型的子程序。
期刊
本文阐述在WANG VS/80系统上编制数据校对公用程序的思想和方法。数据校对公用程序是根据生成程序思想设计的。编制该程序的主要方法是动态生成,即通过屏幕填参产生用于完成校对数据文件的源程序。而理解这一方法的关键在于程序文件数据化。这个程序具有实用性强、效率高的特点。从应用角度上可以说它增强了系统的功能。
期刊
本文介绍的新索引结构准平衡树是在对B-树进行改造的基础上提出的。该结构打破了B-树结构的平衡限制,使根结点总是处于充满的状态,从而获得平均有一半数据比同情况下的B-树减少-次I/O的效果。该结构上的查询方法与B-树相同。维护代价仅比B-树有极小的增加。
期刊
本文利用欧拉公式及DFT的时移特性,将复指数W~k化为纯数(纯实数或纯虚数),使复数FFT蝶式运算的实乘法从四次减为二次,W~k的生成次数减少一半,同时由于采用递推算法生成W~k,节省了运算时间。利用数字序列可奇偶分解及DFT的对称性质,把纯数对称序列FFT蝶式运算的实乘法减为一次,并通过只存贮正频率分量来节省存贮空间。提高了变换速度和空间利用率。算法已分别在APPLEII及ZD-065机上实现。
期刊