Ultraverse: A System-Centric Framework for Efficient What-If Analysis for Database-Intensive Web Applications

2022-11-10

AI Summary

Existing what-if analysis systems for database-intensive web applications suffer from inefficient cross-layer (application + DB) coordination, as they perform analysis in isolation at either the application or database layer—leading to slow analysis speed and poor scalability due to frequent inter-layer interaction. This paper introduces the first end-to-end co-analytical framework addressing this gap. Its core contributions are: (1) a dual-layer semantic synchronization mechanism between application and database; (2) fine-grained query dependency–driven pruning of irrelevant transactions and parallel replay of independent ones; and (3) an integrated technique combining dynamic symbolic execution, procedural SQL representation generation, and a non-intrusive replay engine. Evaluated across multiple benchmarks, the framework achieves 7.7×–291× speedup over state-of-the-art approaches while maintaining full compatibility with unmodified commercial databases and legacy application code.

Abstract

Existing what-if analysis systems are predominantly tailored to operate on either only the application layer or only the database layer of software. This isolated approach limits their effectiveness in scenarios where intensive interaction between applications and database systems occurs. To address this gap, we introduce Ultraverse, a what-if analysis framework that seamlessly integrates both application and database layers. Ultraverse employs dynamic symbolic execution to effectively translate application code into compact SQL procedure representations, thereby synchronizing application semantics at both SQL and application levels during what-if replays. A novel aspect of Ultraverse is its use of advanced query dependency analysis, which serves two key purposes: (1) it eliminates the need to replay irrelevant transactions that do not influence the outcome, and (2) it facilitates parallel replay of mutually independent transactions, significantly enhancing the analysis efficiency. Ultraverse is applicable to existing unmodified database systems and legacy application codes. Our extensive evaluations of the framework have demonstrated remarkable improvements in what-if analysis speed, achieving performance gains ranging from 7.7x to 291x across diverse benchmarks.

Problem

• Assumption Analysis
• Large-scale Databases
• Efficiency Optimization

Innovation

• Ultraverse
• Query Dependency Analysis
• Parallel Processing