首页    期刊浏览 2024年09月18日 星期三
登录注册

文章基本信息

  • 标题:Multitolerance in Distributed Reset
  • 本地全文:下载
  • 作者:Sandeep S. Kulkarni ; Anish Arora
  • 期刊名称:Chicago Journal of Theoretical Computer Science
  • 印刷版ISSN:1073-0486
  • 出版年度:1998
  • 卷号:1998
  • 出版社:MIT Press ; University of Chicago, Department of Computer Science
  • 摘要:

    A reset of a distributed system is safe if it does not complete ``prematurely,'' i.e., without having reset some process in the system. Safe resets are possible in the presence of certain faults, such as process fail-stops and repairs, but are not always possible in the presence of more general faults, such as arbitrary transients. In this paper, we design a bounded-memory distributed-reset program that possesses two tolerances: (1) in the presence of fail-stops and repairs, it always executes resets safely, and (2) in the presence of a finite number of transient faults, it eventually executes resets safely. Designing this multitolerance in the reset program introduces the novel concern of designing a safety detector that is itself multitolerant. A broad application of our multitolerant safety detector is to make any total program likewise multitolerant.

国家哲学社会科学文献中心版权所有