发布求助
文献互助 智能选刊 最新文献

Proceedings of IEEE 13th Symposium on Reliable Distributed Systems最新文献

筛选
英文 中文
A methodology for constructing a stabilizing crash-tolerant application 构建稳定的容错应用程序的方法
Proceedings of IEEE 13th Symposium on Reliable Distributed Systems Pub Date : 1994-10-25 DOI: 10.1109/RELDIS.1994.336913
Jeffery C. Line, Sukumar Ghosh
{"title":"A methodology for constructing a stabilizing crash-tolerant application","authors":"Jeffery C. Line, Sukumar Ghosh","doi":"10.1109/RELDIS.1994.336913","DOIUrl":"https://doi.org/10.1109/RELDIS.1994.336913","url":null,"abstract":"This paper is an exercise to construct a stabilizing mutual-exclusion protocol that withstands a single crash-failure. We begin with a collection of distributed processes arranged in a ring. The resulting protocol is stabilized by construction. Stabilizing protocols converge to a correct behavior regardless of their initial state. A faulty process is automatically removed from the system and, after repair, automatically integrated into the system. Our technique can be generalized to different systems by substituting appropriate protocols for various components.<<ETX>>","PeriodicalId":373931,"journal":{"name":"Proceedings of IEEE 13th Symposium on Reliable Distributed Systems","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121886325","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Distributed reconfiguration of multiprocessor systems 多处理器系统的分布式重构
Proceedings of IEEE 13th Symposium on Reliable Distributed Systems Pub Date : 1994-10-25 DOI: 10.1109/RELDIS.1994.336894
T. Varvarigou, J. Trotter
{"title":"Distributed reconfiguration of multiprocessor systems","authors":"T. Varvarigou, J. Trotter","doi":"10.1109/RELDIS.1994.336894","DOIUrl":"https://doi.org/10.1109/RELDIS.1994.336894","url":null,"abstract":"We propose distributed algorithms for assigning tasks to processors in a distributed system, as well as algorithms for reassigning tasks from a failed processor to the remaining fault free processors in the system. The assignment and reassignment of the tasks should 1) make an efficient use of the capacity of the processors in the system, 2) distribute the load in a balanced way among the processors in the system, 3) assign tasks to processors for which they have a large preference (affinity), and 4) minimize the disturbance that is introduced by the migration of some tasks from one processor to another. We show that the distributed algorithms perform very closely to the centralized ones, even though they hold and maintain information only about processors in their local neighborhood.<<ETX>>","PeriodicalId":373931,"journal":{"name":"Proceedings of IEEE 13th Symposium on Reliable Distributed Systems","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122416698","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Reliability analysis of a hardware and software fault tolerant parallel processor 一种软硬件容错并行处理器的可靠性分析
Proceedings of IEEE 13th Symposium on Reliable Distributed Systems Pub Date : 1994-10-25 DOI: 10.1109/RELDIS.1994.336907
J. Dugan
{"title":"Reliability analysis of a hardware and software fault tolerant parallel processor","authors":"J. Dugan","doi":"10.1109/RELDIS.1994.336907","DOIUrl":"https://doi.org/10.1109/RELDIS.1994.336907","url":null,"abstract":"Computer systems for critical applications must be designed to tolerate software faults as well as hardware faults. A unified approach to tolerating hardware and software faults is characterized by classifying faults in terms of duration (transient or permanent) rather than source (hardware or software). Errors arising from transient faults can be handled through masking or voting, but errors arising from permanent faults require system reconfiguration to bypass the failed component. Most errors which are caused by software faults can be considered transient, in that they are input dependent. Quantitative dependability analysis of systems which exhibit a unified approach to fault tolerance can be performed by a hierarchical combination of fault tree and Markov models. In this paper, a methodology for analyzing hardware and software fault tolerant systems is applied to the analysis of a hypothetical system, loosely based on the fault tolerant parallel processor (FTPP). The models considers both transient and permanent faults, hardware and software faults, unrelated and related software faults, automatic recovery and reconfiguration. The parameter values for the software part of the model are determined from an experimental implementation of an N-version programming application. The parameter values chosen for the hardware part of the model are considered fairly typical.<<ETX>>","PeriodicalId":373931,"journal":{"name":"Proceedings of IEEE 13th Symposium on Reliable Distributed Systems","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122919563","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
A protocol description language for customizing failure semantics 用于自定义故障语义的协议描述语言
Proceedings of IEEE 13th Symposium on Reliable Distributed Systems Pub Date : 1994-10-25 DOI: 10.1109/RELDIS.1994.336900
D. Sturman, G. Agha
{"title":"A protocol description language for customizing failure semantics","authors":"D. Sturman, G. Agha","doi":"10.1109/RELDIS.1994.336900","DOIUrl":"https://doi.org/10.1109/RELDIS.1994.336900","url":null,"abstract":"To optimize performance in a fault-tolerant distributed system, it is often necessary to enforce different failure semantics for different components. By choosing a custom set of failure semantics for each component and then by enforcing the semantics with a minimal set of protocols for a particular architecture, performance may be maximized while ensuring the desired system behavior. We have developed DIL, a language for specifying, on a per-component basis, protocols that transparently enforce failure semantics. These protocols may be reused with arbitrary components, allowing the development of a library of protocols.<<ETX>>","PeriodicalId":373931,"journal":{"name":"Proceedings of IEEE 13th Symposium on Reliable Distributed Systems","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115154095","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 51
An efficient recovery scheme for locking-based distributed database systems 基于锁定的分布式数据库系统的有效恢复方案
Proceedings of IEEE 13th Symposium on Reliable Distributed Systems Pub Date : 1994-10-25 DOI: 10.1109/RELDIS.1994.336903
Junguk L. Kim, T. Park
{"title":"An efficient recovery scheme for locking-based distributed database systems","authors":"Junguk L. Kim, T. Park","doi":"10.1109/RELDIS.1994.336903","DOIUrl":"https://doi.org/10.1109/RELDIS.1994.336903","url":null,"abstract":"This paper presents a checkpointing recovery scheme which effectively copes with media failures in distributed database systems, under the two-phase locking policy. Our scheme utilizes both the current database area and the checkpoint area, so that the transactions whose effects are to be included in the checkpoint and the ones whose effects are to be excluded from the checkpoint can separately reflect their effects. Hence, the check pointing process under our scheme is executed concurrently with normal transactions, without aborting or delaying any of them. Unlike the existing schemes, each data item needs to be read at most once for checkpointing without the maintenance of the before-images of the data items.<<ETX>>","PeriodicalId":373931,"journal":{"name":"Proceedings of IEEE 13th Symposium on Reliable Distributed Systems","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116511722","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Nested dynamic actions: how to solve the fault containment problem in a cooperative action model 嵌套动态动作:如何解决协作动作模型中的故障遏制问题
Proceedings of IEEE 13th Symposium on Reliable Distributed Systems Pub Date : 1994-10-25 DOI: 10.1109/RELDIS.1994.336904
E. Nett, B. Weiler
{"title":"Nested dynamic actions: how to solve the fault containment problem in a cooperative action model","authors":"E. Nett, B. Weiler","doi":"10.1109/RELDIS.1994.336904","DOIUrl":"https://doi.org/10.1109/RELDIS.1994.336904","url":null,"abstract":"Elements of transaction processing become more and more accepted as a base for fault-tolerant distributed computing. We have developed an action concept with an extended functionality suited to better support the needs of Concurrent Engineering applications. This allows actions to access data produced by other, still active actions. In case of an action fault, however, fault containment may become a problem of major concern. Nesting seems to be an appropriate means to tackle this problem. Unfortunately, it is not possible to simply adopt the nested transactional concept as designed by Moss, because it does not consider dependencies between actions belonging to different parents. This paper is to present a nesting concept which provides an adequate means for fault containment in dynamic actions. Special emphasis is given to the problem of protecting the work of a parent action against the consequences of the abort of other actions.<<ETX>>","PeriodicalId":373931,"journal":{"name":"Proceedings of IEEE 13th Symposium on Reliable Distributed Systems","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134243022","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
Exploiting program semantics for efficient instrumentation of distributed event recognitions 利用程序语义实现分布式事件识别的高效插装
Proceedings of IEEE 13th Symposium on Reliable Distributed Systems Pub Date : 1994-10-25 DOI: 10.1109/RELDIS.1994.336897
Madalene Spezialetti, Rajiv Gupta
{"title":"Exploiting program semantics for efficient instrumentation of distributed event recognitions","authors":"Madalene Spezialetti, Rajiv Gupta","doi":"10.1109/RELDIS.1994.336897","DOIUrl":"https://doi.org/10.1109/RELDIS.1994.336897","url":null,"abstract":"Event based monitors and debuggers for distributed systems automatically detect occurrences of user specified events that characterize the state of one or more processes in a distributed computation. The system monitors the occurrences of local events. Data pertaining to these occurrences is utilized to detect occurrences of distributed events which check the ordering or concurrency of local events that occur at different processes. The overhead of recognizing distributed events can be high, because of the need to capture, communicate, store and evaluate event information for analysis. This paper presents techniques that exploit program and event semantics to reduce the overhead of monitoring a distributed computation for ordered and concurrent events. Static analysis algorithms are presented that determine the minimal program instrumentation required to insure that adequate state and timing information are available to recognize every event occurrence.<<ETX>>","PeriodicalId":373931,"journal":{"name":"Proceedings of IEEE 13th Symposium on Reliable Distributed Systems","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124898680","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 11
Processing of read-only queries at a remote backup 在远程备份中处理只读查询
Proceedings of IEEE 13th Symposium on Reliable Distributed Systems Pub Date : 1994-10-25 DOI: 10.1109/RELDIS.1994.336896
C. Polyzois, H. Garcia-Molina
{"title":"Processing of read-only queries at a remote backup","authors":"C. Polyzois, H. Garcia-Molina","doi":"10.1109/RELDIS.1994.336896","DOIUrl":"https://doi.org/10.1109/RELDIS.1994.336896","url":null,"abstract":"Remote backup systems are often used to provide high data availability. Updates are typically propagated to the backup via a log, which decouples the backup from the primary. We show that this decoupling can lead to efficient installation of updates in batches and efficient processing of read-only queries, by eliminating or reducing access conflicts between updates and queries. We present several methods for query processing at the backup and evaluate their performance analytically.<<ETX>>","PeriodicalId":373931,"journal":{"name":"Proceedings of IEEE 13th Symposium on Reliable Distributed Systems","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127504030","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
Coordinated checkpointing-rollback error recovery for distributed shared memory multicomputers 分布式共享内存多计算机协同检查点回滚错误恢复
Proceedings of IEEE 13th Symposium on Reliable Distributed Systems Pub Date : 1994-10-25 DOI: 10.1109/RELDIS.1994.336910
Va-On Tam, Meichun Hsu
{"title":"Coordinated checkpointing-rollback error recovery for distributed shared memory multicomputers","authors":"Va-On Tam, Meichun Hsu","doi":"10.1109/RELDIS.1994.336910","DOIUrl":"https://doi.org/10.1109/RELDIS.1994.336910","url":null,"abstract":"Most recovery schemes that have been proposed for Distributed Shared Memory (DSM) systems require unnecessarily high checkpointing frequency and checkpoint traffic, which are sensitive to the frequency of interprocess communication in the applications. For message-passing systems, low overhead error recovery based on coordinated checkpointing allows the frequency of checkpointing to be determined only by the reliability requirements of the application. Efficient adaptation of this approach to DSM multicomputers is complicated by the absence of explicit messages in DSM systems, the presence of a shared and partially replicated address space, and the presence of a distributed coherency directory. We present solutions to these issues, and propose an error recovery scheme based on coordinated checkpointing and rollback for DSM multicomputers. Our performance evaluation based on trace-driven simulations indicates that this scheme incurs less checkpoint traffic than recovery schemes previously proposed for DSM systems.<<ETX>>","PeriodicalId":373931,"journal":{"name":"Proceedings of IEEE 13th Symposium on Reliable Distributed Systems","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130829742","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 68
A replication-transparent remote invocation protocol 复制透明的远程调用协议
Proceedings of IEEE 13th Symposium on Reliable Distributed Systems Pub Date : 1994-10-01 DOI: 10.1109/RELDIS.1994.336899
Luís E. T. Rodrigues, E. Siegel, P. Veríssimo
{"title":"A replication-transparent remote invocation protocol","authors":"Luís E. T. Rodrigues, E. Siegel, P. Veríssimo","doi":"10.1109/RELDIS.1994.336899","DOIUrl":"https://doi.org/10.1109/RELDIS.1994.336899","url":null,"abstract":"Although many algorithms and implementations of replicated services have been developed, most have embedded aspects of the replication management in the invocation protocol. This makes it extremely difficult to modify the replication protocol without changing the protocol used by the clients, and causes an undesirable violation of both transparency and modularity. The GRIP protocol supports the fault-tolerant remote invocation of replicated services, providing not only the usual location transparency but also transparency of replication semantics. Our approach is independent of the details of the replica control protocol used to maintain the consistency of server replicas. We use a lightweight remote invocation protocol in order to minimize the impact on the client of issues such as scale and replication consistency maintenance. Furthermore, unlike most previous systems we provide explicit support for weakly consistent replication protocols. GRIP is designed as a collection of modular services, which can be configured according to the needs of the application.<<ETX>>","PeriodicalId":373931,"journal":{"name":"Proceedings of IEEE 13th Symposium on Reliable Distributed Systems","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116709745","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书