Out-of-order event processing in kinetic data structures

被引:0
|
作者
Abam, Mohammad Ali
Agarwal, Pankaj K.
de Berg, Mark
Yu, Hai
机构
[1] Tech Univ Eindhoven, Dept Math & Comp Sci, NL-5600 MB Eindhoven, Netherlands
[2] Duke Univ, Dept Comp Sci, Durham, NC 27708 USA
来源
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
We study the problem of designing kinetic data structures (KDS's for short) when event times cannot be computed exactly and events may be processed in a wrong order. In traditional KDS's this can lead to major inconsistencies from which the KDS cannot recover. We present more robust KDS's for the maintenance of two fundamental structures, kinetic sorting and tournament trees, which overcome the difficulty by employing a refined event scheduling and processing technique. We prove that the new event scheduling mechanism leads to a KDS that is correct except for finitely many short time intervals. We analyze the maximum delay of events and the maximum error in the structure, and we experimentally compare our approach to the standard event scheduling mechanism.
引用
收藏
页码:624 / 635
页数:12
相关论文
共 50 条
  • [31] A query-matching mechanism over out-of-order event stream in IOT
    Wang, Kun
    Yu, Yue
    INTERNATIONAL JOURNAL OF AD HOC AND UBIQUITOUS COMPUTING, 2013, 13 (3-4) : 197 - 208
  • [32] SystemC Coding Guideline for Faster Out-of-order Parallel Discrete Event Simulation
    Cheng, Zhongqi
    Schmidt, Tim
    Domer, Rainer
    PROCEEDINGS OF THE 2018 FORUM ON SPECIFICATION & DESIGN LANGUAGES (FDL), 2018,
  • [33] SystemC Coding Guideline for Faster Out-of-Order Parallel Discrete Event Simulation
    Cheng, Zhongqi
    Schmidt, Tim
    Domer, Rainer
    LANGUAGES, DESIGN METHODS, AND TOOLS FOR ELECTRONIC SYSTEM DESIGN, FDL 2018, 2020, 611 : 99 - 114
  • [34] Runtime Verification of Temporal Properties over Out-of-Order Data Streams
    Basin, David
    Klaedtke, Felix
    Zalinescu, Eugen
    COMPUTER AIDED VERIFICATION, CAV 2017, PT I, 2017, 10426 : 356 - 376
  • [35] An Improved BP Algorithm over Out-of-order Streams for Big Data
    Wang, Kun
    Zhuo, Linchao
    Lu, Heng
    Guo, Huang
    Xu, Lili
    Zhang, Yuhua
    2013 8TH INTERNATIONAL ICST CONFERENCE ON COMMUNICATIONS AND NETWORKING IN CHINA (CHINACOM), 2013, : 840 - 845
  • [36] Out-of-Order Processing: A New Architecture for High-Performance Stream Systems
    Li, Jin
    Tufte, Kristin
    Shkapenyuk, Vladislav
    Papadimos, Vassilis
    Johnson, Theodore
    Maier, David
    PROCEEDINGS OF THE VLDB ENDOWMENT, 2008, 1 (01): : 274 - 288
  • [37] Reconstructing Out-of-Order Issue Queue
    Jeong, Ipoom
    Lee, Jiwon
    Yoon, Myung Kuk
    Ro, Won Woo
    2022 55TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO), 2022, : 144 - 161
  • [38] OUT-OF-ORDER - THE PUBLIC ART MACHINE
    PHILLIPS, PC
    ARTFORUM, 1988, 27 (04): : 92 - 97
  • [39] A Taxonomy of Out-of-Order Instruction Commit
    Alipour, Mehdi
    Carlson, Trevor E.
    Kaxiras, Stefanos
    2017 IEEE INTERNATIONAL SYMPOSIUM ON PERFORMANCE ANALYSIS OF SYSTEMS AND SOFTWARE (ISPASS), 2017, : 135 - 136
  • [40] Formal verification of Out-of-order Processor
    Gao, Yanyan
    Li, Xi
    2009 INTERNATIONAL CONFERENCE ON COMPUTER MODELING AND SIMULATION, PROCEEDINGS, 2009, : 129 - 135