排序方式: 共有49条查询结果,搜索用时 0 毫秒
11.
提出了一个基于工作站网(networkofworkstations,简称NOW)的分布式程序设计语言NC++(NOWC++).它是DC++语言的扩充.NC++提供了一个完备的编程环境,包括NC++预编译器、图视编程界面、多目通信机制和测试系统.它完善了组管理机制和进程通信机制,提出了一个基于信度推理网络的分布共享内存(distributedsharedmemory,简称DSM)机制以管理C++公共变量.实践证明,NC++语言在确保编程方便性的前提下保证了分布式程序的性能. 相似文献
12.
13.
CoDdBase是一个组合式的分布式数据库管理系统簇。用它可组合生成适用于各种应用需求的特定的分布式数据库管理系统(DDBMS)。它完全用我们设计的一种新型的面向对象的程序设计语言CLUSTER 86实现。CoDdBase采用一种基于对象的数据模型。它为数据定义和数据操纵提供一体化的程序设计环境并提供不同的用户接口模型。本文讨论了CoDdBase的设计思想和实现方法。 相似文献
14.
本文介绍一个异型环境的分布式操作系统ZGL.这个系统的特点是能够容纳异型的硬件和异型的现有操作系统.该系统对现有操作系统进行了扩充,使得原来为单机环境开发的程序不经修改和重新编译就能够在网络环境下运行,并且还能利用网络中的共享资源. 相似文献
15.
异构型分布式计算机系统(HCS)由互连的不同硬件或软件系统组成,一个典型的HCS 可配置以不同操作系统,用不同网络连接,具有不同类型的机器。随着计算机技术的发展以及分布、互连和协同操作计算机系统的 相似文献
16.
17.
18.
基于事件约束的分布式程序正确性测试 总被引:7,自引:3,他引:4
由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时,必须考虑程序 执行时的内部状态.这些内部状态通过端口显示为事件序列,程序规约需要对序列中各事件间 的依赖关系作约定,即定义事件约束集.该文提出了E-CSPE(extended-constraints on suc ceeding and preceding events),以形式化描述这类事件约束,它由3个基本描述规则组成, 分别对应于3种不同类型的事件约束.通过判断程序执行时所产生的事件序 列集同这些事件约束集的一致性以及对约束集覆盖程 相似文献
19.
20.