𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Detecting global predicates in distributed systems with clocks

✍ Scribed by Scott D. Stoller

Publisher
Springer-Verlag
Year
2000
Tongue
English
Weight
202 KB
Volume
13
Category
Article
ISSN
0178-2770

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Detecting ENF Event Predicates in Distri
Detecting ENF Event Predicates in Distributed Systems
✍ Hsien-Kuang Chiou; Willard Korfhage πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 294 KB

Detection of global event predicates is an important issue for distributed systems, particularly for debugging and monitoring of such systems. This paper defines event normal form (ENF) event predicates, and then provides an on-line distributed algorithm to detect the first occurrence of such a pred

Resetting Vector Clocks in Distributed S
Resetting Vector Clocks in Distributed Systems
✍ Li-Hsing Yen; Ting-Lu Huang πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 108 KB

This paper establishes the necessary and sufficient condition for a correct clock resetting such that the functionality of vector clocks can be preserved. A clock reset protocol is presented with its applicability and limitation discussed. Our result indicates that for some applications, the potenti

Efficient Detection of Channel Predicate
Efficient Detection of Channel Predicates in Distributed Systems
✍ V.K. Garg; C.M. Chase; Richard Kilgore; J.Roger Mitchell πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 443 KB

This paper discusses efficient detection of global predicates in a distributed program. Previous work in this area required predicates to be specified as a conjunction of predicates defined on individual processes. Many properties in distributed systems, however, use the state of channels, such as "