Distributed global predicate detection algorithms

Date

2012-08

Authors

Wong, Don Tak-San

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Detecting the existence of a consistent global state that satisfies a predicate in a distributed environment is a processing intensive task since all the consistent global states must be checked to verify that none of them satisfies the predicate. Three different serial implementations have been provided for a breath-first, depth-first, and lexical traversal of the lattice generated by enumerating the possible consistent global states has been provided by Alagar and Venkatesan, Cooper and Marzullo, and Garg. This paper modifies those implementations to perform the checks in a distributed environment, providing the final algorithms, source code, and preliminary results for comparisons with the original algorithms.

Description

text

LCSH Subject Headings

Citation