课题基金 / 基金详情

Applications of Failure Detection

Applications of Failure Detection
故障检测的应用
批准号:
9711403
负责人:
Joseph Halpern
金额:
$23.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1997
资助国家:
美国
项目状态:
已结题
起止时间:
1997-09-01 至 2001-08-31

项目摘要

项目成果

Joseph Halpern的其他基金

相似基金

相关文献

中文摘要
翻译
不可靠的故障检测作为容错分布式计算的一种基本范式已经得到认可。该范式最初是为了避免在异步系统中出现崩溃故障时无法达成共识而引入的。提出的研究旨在以多种方式扩展故障检测的适用性:(1)它将寻求能够容忍进程崩溃和链路故障的解决方案,特别是能够适应网络分区的解决方案。(2)它将考虑除共识之外的实际问题,例如原子承诺和各种形式的群体成员。(3)研究将故障检测扩展到其他模型,如定时异步模型,以解决规范涉及实时的问题。(4)探索使用随机化技术来增强故障检测能力。本研究旨在扩大故障检测的范围,并将其牢固地建立为容错分布式系统的核心组件。
英文摘要
Unreliable failure detection has been gaining acceptance as a fundamental paradigm for fault-tolerant distributed computing. This paradigm was originally introduced to circumvent the impossibility of achieving consensus in asynchronous systems with crash failures. The proposed research aims to extend the applicability of failure detection in multiple ways: (1) It will seek solutions that tolerate both process crashes and link failures, and in particular, solutions that are resilient to network partitioning. (2) It will consider practical problems besides consensus, e.g., atomic commitment and various forms of group membership. (3) It will investigate the extension of failure detection to other models, such as the timed asynchronous model, in order to solve problems whose specifications involve real-time. (4) It will explore the use of randomization techniques to enhance the power of failure detection. This research intends to widen the scope of failure detection and to firmly establish it as a core component of fault-tolerant distributed systems.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
RI: Medium: Computation, Language, and Games
  • 批准号:
    1703846
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $117.66万
  • 财政年份:
    2017
  • 负责人:
    Joseph Halpern
  • 依托单位:
RI: Small: Towards a Formal Theory of Blameworthiness, Intention, and Moral Responsibility
  • 批准号:
    1718108
  • 项目类别:
    Standard Grant
  • 资助金额:
    $42.7万
  • 财政年份:
    2017
  • 负责人:
    Joseph Halpern
  • 依托单位:
ICES: Large: Computation, Language, and Awareness in Games
  • 批准号:
    1214844
  • 项目类别:
    Standard Grant
  • 资助金额:
    $90.0万
  • 财政年份:
    2012
  • 负责人:
    Joseph Halpern
  • 依托单位:
III: Large: Causal Databases
  • 批准号:
    0911036
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $235.31万
  • 财政年份:
    2009
  • 负责人:
    Joseph Halpern
  • 依托单位:
国内基金
海外基金
Graphon mean field games with partial observation and application to failure detection in distributed systems
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2025
  • 负责人:
    MATHIEULOUROCHLAURIERE
  • 依托单位: