.png){kind=icon}
返回
Predicate control: synchronization in distributed computations with look-ahead
.png){kind=icon}
PRE
AI
DOI：10.1016/j.jpdc.2003.11.004.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
The predicate control problem involves synchronizing a distributed computation to maintain a given global predicate. In contrast with many popular distributed synchronization problems such as mutual exclusion, readers writers, and dining philosophers, predicate control assumes a look-ahead, so that the computation is an off-line rather than an on-line input. Predicate control is targeted towards applications such as rollback recovery, debugging, and optimistic computing, in which such computation look-ahead is natural. We define predicate control formally and show that, in its full generality, the problem is NP-complete. We find efficient solutions for some important classes of predicates including disjunctive predicates, mutual exclusion predicates, and readers writers predicates. For each class of predicates, we determine the necessary and sufficient conditions for solving predicate control and describe an efficient algorithm for determining a synchronization strategy. In the case of independent mutual exclusion predicates, we determine that predicate control is NP-complete and describe an efficient algorithm that finds a solution under certain constraints. (C) 2003 Elsevier Inc. All rights reserved.
Keyword:
predicate control
synchronization
distributed computation
predicate detection
mutual exclusion
rollback recovery
distributed debugging
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
4
论文数:
3.8K
被引数:
4.8K
机构
暂无机构信息
引用论文
Author response: Postural control of arm and fingers through integration of movement commands.png)
OAAI
IF0
OAAI分享收藏分享收藏
查看更多内容