Complex systems (such as distributed ones) should be specified before they are implemented. Even more advantages accrue if the specifications are executable, so that behaviors of the specified systems can be tested. T...
详细信息
This paper describes a new model for dynamic distributed systems, where new processes are added and terminated at execution time. It is an extension of the static model underlying CSP. The model uses CSP I/O commands ...
详细信息
The use of UIDs as internal names in an operating system for a local network is discussed. The use of internal names in other distributed systems is briefly surveyed. For this system, UIDs were chosen because of their...
详细信息
Design and implementation of an interaddress- space communication mechanism for the SBN network computer are described. SBN's basic communication primitives appear in context of a new distributed systems programmi...
详细信息
An n-failure-resilient protocol for distributed transaction processing regarding site crash, network partitioning, and local failures like abort of subtransactions is specified. The three-phased protocol contains conc...
详细信息
Over the past years, stress has been put on global deadlock processing in distributed database management systems. This paper presents the main results of evaluation studies which were intended to provide clues for th...
详细信息
In this paper, we have proposed a new conceptual tool for organizing distributed software called an 'activity.' The structuring achieved by activities is orthogonal to that of objects. The model includes a set...
详细信息
This paper presents a distributed algorithm to detect deadlocks in distributed data bases. Features of this paper are (I) a formal model of the problem is presented, (2) the correctness of the algorithm is proved, i.e...
In computer networks, message routing is often accomplished by network nodes using local information. The unavailability of global information intuitively makes hard routing problems virtually impossible. This paper f...
详细信息
distributed systems make possible both a high degree of concurrency and robustness in the face of failure. One approach to achieving these goals is to employ pools of servers implementing major system functions. This ...
详细信息
暂无评论