论文标题
Ultraverse：一个以系统为中心的框架，用于数据库密集型Web应用程序的what-if分析
Ultraverse: A System-Centric Framework for Efficient What-If Analysis for Database-Intensive Web Applications
论文作者
论文摘要
现有的What-if分析系统主要是针对仅在应用程序层或软件数据库层上操作的。这种孤立的方法限制了它们在应用程序和数据库系统之间进行密集交互的情况下的有效性。为了解决这一差距，我们引入了一个超级反词，这是一个何种分析框架，无缝地集成了应用程序和数据库层。 Ultraverse采用动态符号执行来有效地将应用程序代码转换为紧凑的SQL过程表示，从而在何时重播期间同时在SQL和应用程序级别上同步应用程序语义。超级反应的一个新方面是它使用高级查询依赖性分析，该分析具有两个关键目的：（1）它消除了不影响结果的不相关交易的必要性，并且（2）它促进了相互独立交易的并行重放，从而显着提高了分析效率。 Ultraverse适用于现有的未修改数据库系统和旧版应用程序代码。我们对该框架的广泛评估表明，在分析速度方面取得了显着改善，在各种基准测试的范围内实现了从7.7倍到291倍的绩效提高。
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.
