An approach to the development of fault-tolerant distributedsoftware by a high-level concurrent language is discussed. The language constructs support mutual control and consensus about the decisions on the distribut...
详细信息
ISBN:
(纸本)0818605642
An approach to the development of fault-tolerant distributedsoftware by a high-level concurrent language is discussed. The language constructs support mutual control and consensus about the decisions on the distributed system state. Emphasis is placed on process structuring, parallel activation, and termination control. It is shown that both forward and backward recovery can be expressed in the proposed language. Backward recovery is based on nested atomic actions.
The authors introduce a new concept in naming for distributedsystems. which is motivated by the need for easily-migratable objects, which is in turn motivated by the need for reliable operations. This naming scheme a...
详细信息
ISBN:
(纸本)0818605642
The authors introduce a new concept in naming for distributedsystems. which is motivated by the need for easily-migratable objects, which is in turn motivated by the need for reliable operations. This naming scheme attempts to solve certain problems associated with correcting remote references to objects which are subject to migration. A name is divided into two parts, of which the first is used to locate the possible current sites of a target object and the second is used to select the specific site (and hence the object) in which the object is to be found. The set of possible sites constitutes a cluster. The authors discuss how clusters and cluster-based naming can be applied to enhance the migratability, and thus reliability, of a system in our context. The same scheme may be applied for other purposes such as load-balancing, protection, and support of transparent services.
JASMIN is a functionally distributeddatabase machine consisting of a three-level hierarchical architecture in which each level can be implemented by any number of real processors. Improving performance by the replica...
详细信息
ISBN:
(纸本)0818605642
JASMIN is a functionally distributeddatabase machine consisting of a three-level hierarchical architecture in which each level can be implemented by any number of real processors. Improving performance by the replication of data is discussed. The benefit is reduced access time resulting from increased availability of the data. The cost is the overhead of keeping copies mutually consistent. JASMIN is different in that it uses a distributed optimistic concurrency control method combined with a versioning scheme. The authors describe how they integrate replicated data into JASMIN's concurrency control, commit, and recovery subsystems.
An analysis is made of a number of interesting actual or potential parallels between the problems and techniques associated with achieving high reliability, and those associated with the provision of security, in dist...
详细信息
ISBN:
(纸本)0818606908
An analysis is made of a number of interesting actual or potential parallels between the problems and techniques associated with achieving high reliability, and those associated with the provision of security, in distributed computing systems.
The authors consider the problems of partitioning and processor failure in a loosely-coupled distributed system using a synchronous Send/Receive/Reply style of interprocess communication. These problems are described ...
详细信息
ISBN:
(纸本)0818605642
The authors consider the problems of partitioning and processor failure in a loosely-coupled distributed system using a synchronous Send/Receive/Reply style of interprocess communication. These problems are described in a client-server setting using both connectionless and connection-based protocols. To solve these problems, the concept of unique and non-reusable process identifiers is utilized. A solution using agent processes is currently implemented in Waterloo Port, a network operating system. The authors propose a new solution that does not impose a significant performance penalty on message-passing and does not require any additional processes.
作者：
Bhargava, BharatUniv of Pittsburgh
Dep of Computer Science Pittsburgh PA USA Univ of Pittsburgh Dep of Computer Science Pittsburgh PA USA
It is shown that the optimistic approach to concurrency control lends itself naturally towards a design of a reliable distributeddatabase system. In addition, the functions of concurrency control, integrity control, ...
详细信息
It is shown that the optimistic approach to concurrency control lends itself naturally towards a design of a reliable distributeddatabase system. In addition, the functions of concurrency control, integrity control, and atomicity control can be integrated. This integration can provide a higher degree of concurrency and continuity of operations.
Evidence of distribution, such as work distribution, distributed file and data base management, etc. , creates a number of reliability issues that must be addressed by the system software. Many of these are similar to...
详细信息
Evidence of distribution, such as work distribution, distributed file and data base management, etc. , creates a number of reliability issues that must be addressed by the system software. Many of these are similar to problems arising in centralized systems.however, there are a number of new issues as well as complications of common ones. Some of the specific reliability issues raised by the organizational and operational characteristics of fully distributed processing systems.(FDPS's) are outlined. It is important to bear in mind that decision making is decentralized and that there are no permanent master-slave relationships in an FDPS.
作者：
Barbara, DanielGarcia-Molina, HectorPrinceton Univ
Dep of Electrical Engineering & Computer Science Princeton NJ USA Princeton Univ Dep of Electrical Engineering & Computer Science Princeton NJ USA
In a faulty distributed system, voting is commonly used to achieve mutual exclusion among groups of nodes. Each node is assigned a number of votes, and any group with a majority of votes can perform the critical opera...
详细信息
ISBN:
(纸本)0818605642
In a faulty distributed system, voting is commonly used to achieve mutual exclusion among groups of nodes. Each node is assigned a number of votes, and any group with a majority of votes can perform the critical operations. Vote assignments can have a significant impact on system reliability. To compare vote assignments, the authors define two deterministic metrics, node and edge, vulnerability. They present various properties of these metrics and discuss how they can be computed. For these metrics, they discuss the selection of the best assignment and propose heuristics to identify good candidate assignments. Finally, they summarize experimental results that indicate that the heuristics yield optimal or close to optimal assignments.
A distributed algorithm for deadlock detection and resolution in distributeddatabasesystems.is presented that has the following advantages: (1) Every site maintains only local information and need not maintain any g...
详细信息
ISBN:
(纸本)0818605642
A distributed algorithm for deadlock detection and resolution in distributeddatabasesystems.is presented that has the following advantages: (1) Every site maintains only local information and need not maintain any global information. (2) Messages exchanged between sites are of short and fixed length. (3) The correctness of the algorithm is ensured even if side effects of deadlock resolution are taken into account. (4) The number of messages needed to detect deadlocks decreases as the ratio of local transactions to global transactions increases. (5) There is only one resolver for each deadlock. The performance of this algorithm with respect to time and communication complexities is analyzed.
A system is presented that involves a debugging tool to help detect logical errors and remove them efficiently. The debugging tool is supported by a special architecture named SPRING, which was originally developed fo...
详细信息
ISBN:
(纸本)0818605642
A system is presented that involves a debugging tool to help detect logical errors and remove them efficiently. The debugging tool is supported by a special architecture named SPRING, which was originally developed for reliable execution of Ada or Pascal programs. Following an overview of the system backed up by SPRING, the implementation of high-level debugging on the SPRING architecture is discussed in detail. In conclusion, the trial is seen as a step toward an advanced programming environment for the development of reliable software.
暂无评论