A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation


Traditional Concurrency Control (CC) mechanisms ensure absence of undesired interference in transaction-based systems and enforce isolation. However, CC may introduce unpredictable delays that could lead to breached timeliness, which is unwanted for real-time transactions. To avoid deadline misses, some CC algorithms relax isolation in favor of timeliness… (More)
DOI: 10.1145/2997465.2997495

15 Figures and Tables


  • Presentations referencing similar topics