Proceedings of the ACM SIGPLAN ... Conference on Programming Language Design and Implementation. ACM SIGPLAN Conference on Programming Language Design and Implementation最新文献

筛选

英文中文

Programming Language Design and Implementation 程序设计语言设计与实现

Proceedings of the ACM SIGPLAN ... Conference on Programming Language Design and Implementation. ACM SIGPLAN Conference on Programming Language Design and Implementation Pub Date : 2022-01-01 DOI: 10.1007/978-3-031-11806-7

Torben Æ. Mogensen

引用次数: 18

StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data. StreamQRE：流数据定量查询的模块化规范和高效评估

Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G Ives, Sanjeev Khanna

{"title":"StreamQRE: Modular Specification and Efficient Evaluation of Quantitative Queries over Streaming Data.","authors":"Konstantinos Mamouras, Mukund Raghothaman, Rajeev Alur, Zachary G Ives, Sanjeev Khanna","doi":"10.1145/3140587.3062369","DOIUrl":"10.1145/3140587.3062369","url":null,"abstract":"<p><p>Real-time decision making in emerging IoT applications typically relies on computing quantitative summaries of large data streams in an efficient and incremental manner. To simplify the task of programming the desired logic, we propose StreamQRE, which provides natural and high-level constructs for processing streaming data. Our language has a novel integration of linguistic constructs from two distinct programming paradigms: streaming extensions of relational query languages and quantitative extensions of regular expressions. The former allows the programmer to employ relational constructs to partition the input data by keys and to integrate data streams from different sources, while the latter can be used to exploit the logical hierarchy in the input stream for modular specifications. We first present the core language with a small set of combinators, formal semantics, and a decidable type system. We then show how to express a number of common patterns with illustrative examples. Our compilation algorithm translates the high-level query into a streaming algorithm with precise complexity bounds on per-item processing time and total memory footprint. We also show how to integrate approximation algorithms into our framework. We report on an implementation in Java, and evaluate it with respect to existing high-performance engines for processing streaming data. Our experimental evaluation shows that (1) StreamQRE allows more natural and succinct specification of queries compared to existing frameworks, (2) the throughput of our implementation is higher than comparable systems (for example, two-to-four times greater than RxJava), and (3) the approximation algorithms supported by our implementation can lead to substantial memory savings.</p>","PeriodicalId":92126,"journal":{"name":"Proceedings of the ACM SIGPLAN ... Conference on Programming Language Design and Implementation. ACM SIGPLAN Conference on Programming Language Design and Implementation","volume":"52 6","pages":"693-708"},"PeriodicalIF":0.0,"publicationDate":"2017-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC5687100/pdf/nihms868867.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"35617919","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0