English

Event Stream Processing with Multiple Threads

Distributed, Parallel, and Cluster Computing 2017-07-11 v1

Abstract

Current runtime verification tools seldom make use of multi-threading to speed up the evaluation of a property on a large event trace. In this paper, we present an extension to the BeepBeep 3 event stream engine that allows the use of multiple threads during the evaluation of a query. Various parallelization strategies are presented and described on simple examples. The implementation of these strategies is then evaluated empirically on a sample of problems. Compared to the previous, single-threaded version of the BeepBeep engine, the allocation of just a few threads to specific portions of a query provides dramatic improvement in terms of running time.

Keywords

Cite

@article{arxiv.1707.02600,
  title  = {Event Stream Processing with Multiple Threads},
  author = {Sylvain Hallé and Raphaël Khoury and Sébastien Gaboury},
  journal= {arXiv preprint arXiv:1707.02600},
  year   = {2017}
}