Introduction to OSF DCE (rev. 1.0)
Introduction to OSF DCE (rev. 1.0)
&mgr;C++: concurrency in the object-oriented language C++
Software—Practice & Experience
PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing
PVM: Parallel virtual machine: a users' guide and tutorial for networked parallel computing
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
The Java Language Specification
The Java Language Specification
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
The Vision of Autonomic Computing
Computer
Specifying and locating hierarchical patterns in event data
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Detection of global predicates: techniques and their limitations
Distributed Computing
Pattern rewriting for efficient search in partial-order event data
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Hi-index | 0.00 |
The behaviour of parallel and distributed programs can be modeled as the occurrence of events and their interrelationship. Event data collected according to the event model is stored within a partial-order data structure, where it can be reasoned about, enabling debugging, program steering, and autonomic feedback control of the application. Reasoning over event data, a critical requirement for autonomic computing, is typically in the form of predicate detection, a search mechanism able to detect and locate arbitrary predicates within the event data. To enable hierarchical predicate detection, compound events are formed by computing the convex closure of the matching primitive events. In particular, the Xie and Taylor convex-closure algorithm forms the basis for such an approach to predicate detection. Unfortunately, their algorithm can be quite slow, especially for hierarchical compound events. In this paper, we study the cause of the problems in the Xie and Taylor algorithm. We then develop an efficient extension to their algorithm, based on a simple caching scheme. We prove our algorithm correct. We also provide experimental results that demonstrate that our approach reduces the execution time of the Xie and Taylor algorithm by up to 98 percent.