First-order monitors analyze data-carrying event streams. When event streams are generated by distributed systems, it may be difficult to ensure that events arrive at the monitor in the right order. We develop a new monitoring tool for metric first-order temporal logic, called TimelyMon, that can process out-of-order events. Using the stream processing framework Timely Dataflow, TimelyMon also supports parallelized monitoring. We demonstrate TimelyMon’s good performance and scalability on synthetic and real-world benchmarks.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

TimelyMon: A Streaming Parallel First-Order Monitor

  • Lennard Reese,
  • Rafael Castro G. Silva,
  • Dmitriy Traytel

摘要

First-order monitors analyze data-carrying event streams. When event streams are generated by distributed systems, it may be difficult to ensure that events arrive at the monitor in the right order. We develop a new monitoring tool for metric first-order temporal logic, called TimelyMon, that can process out-of-order events. Using the stream processing framework Timely Dataflow, TimelyMon also supports parallelized monitoring. We demonstrate TimelyMon’s good performance and scalability on synthetic and real-world benchmarks.