基于实时流的监控
计算机科学中的逻辑
2019-06-13 v4 编程语言
摘要
我们引入RTLola，一种用于描述反应系统实时性质的新型基于流的规范语言。其关键特性是将实时区间上的滑动窗口与聚合函数集成到语言中。利用滑动窗口，我们可将固定速率输出流与变化速率输入流解耦。我们通过根据给定监控频率将窗口划分为区间，提供滑动窗口的高效求值算法。对于有用的聚合函数，这些区间允许通过动态重用区间摘要来更高效地计算聚合值。一般而言，单个窗口实例中的输入值数量可任意增长，从而无法保证预期内存消耗。假设固定的监控输出速率，我们可提供可先验计算的内存保证。此外，对于使用特定类别聚合函数的规范，我们可进行更精确、更好的内存分析。我们在实际示例上演示了该新语言的适用性。
引用
@article{arxiv.1711.03829,
title = {Real-time Stream-based Monitoring},
author = {Peter Faymonville and Bernd Finkbeiner and Maximilian Schwenger and Hazem Torfah},
journal= {arXiv preprint arXiv:1711.03829},
year = {2019}
}