Versatile event correlation with algebraic effects
Versatile event correlation with algebraic effects
复制标题
具有代数效应的多功能事件相关性
DOI：
10.1145/3236762
复制
发表时间：
2018
影响因子：
--
通讯作者：
Mira Mezini
中科院分区：
文献类型：
--
作者：
Oliver Bračevac;Nada Amin;Guido Salvaneschi;Sebastian Erdweg;Patrick Eugster;Mira Mezini
我们提出了第一种语言设计来统一表达来自不同领域的异步事件流上的n-way连接的变体，例如，流关系代数，事件处理，响应式和并发编程。我们在代数效果和处理程序的基础上，以直接的方式对异步响应式程序和连接进行建模。效果处理程序充当事件通知的模块化解释器，支持细粒度的控制抽象和可定制的事件匹配。连接变量可以被视为具有“退化”控制流的笛卡尔积计算，这样就不会先验地实现不必要的元组。基于这种计算解释，我们将连接分解为笛卡尔积的一般朴素枚举过程，加上特定于变量的扩展，用用户提供的效果处理程序表示。我们的微基准测试验证了这种可扩展设计避免了不必要的物化。除了Koka和多核OCaml中用于连接和原型的形式化语义之外，我们还对所涵盖的领域和特性进行了系统的比较。
We present the first language design to uniformly express variants ofn-way joins over asynchronous event streams from different domains, e.g., stream-relational algebra, event processing, reactive and concurrent programming. We model asynchronous reactive programs and joins in direct style, on top of algebraic effects and handlers. Effect handlers act as modular interpreters of event notifications, enabling fine-grained control abstractions and customizable event matching. Join variants can be considered as cartesian product computations with ”degenerate” control flow, such that unnecessary tuples are not materialized a priori. Based on this computational interpretation, we decompose joins into a generic, naive enumeration procedure of the cartesian product, plus variant-specific extensions, represented in terms of user-supplied effect handlers. Our microbenchmarks validate that this extensible design avoids needless materialization. Alongside a formal semantics for joining and prototypes in Koka and multicore OCaml, we contribute a systematic comparison of the covered domains and features.
登录
查看更多内容
用箭头堵住空间泄漏
DOI：
10.1016/j.entcs.2007.10.006
发表时间：
2007
期刊：
2010 13th Euromicro Conference on Digital System Design: Architectures, Methods and Tools
影响因子：
--
作者：
Hai Liu;P. Hudak
通讯作者：
P. Hudak
点菜流：具有对象代数的可扩展管道
DOI：
--
发表时间：
2015
期刊：
European Conference on Object-Oriented Programming
影响因子：
--
作者：
Aggelos Biboudis;Nick Palladinos;G. Fourtounis;Y. Smaragdakis
通讯作者：
Y. Smaragdakis
DOI：
10.1145/3009837.3009880
发表时间：
2016
期刊：
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages
影响因子：
--
作者：
O. Kiselyov;Aggelos Biboudis;Nick Palladinos;Y. Smaragdakis
通讯作者：
Y. Smaragdakis
DOI：
10.1145/1018203.1018205
发表时间：
2002-06
期刊：
--
影响因子：
--
作者：
Nick Benton;L. Cardelli;C. Fournet
通讯作者：
Nick Benton;L. Cardelli;C. Fournet
处理程序在行动
DOI：
10.1145/2500365.2500590
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Kammar O
通讯作者：
Kammar O