paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Remove RATs from your code: automated optimization of resource inefficient database writes for mobile applications

从代码中移除 RATs:面向移动应用的资源低效数据库写入的自动优化
ISSTA Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis2018匹配度 2/10 · 该论文属于传统程序分析与移动应用性能优化,自动检测并改写 Android 数据库写入,虽涉及静态分析和代码变换,但未涉及用户核心方向中的 PL×AI/Agent、浮点程序分析或贝叶斯程序分析。其问题场景和 LLM/Agentic 程序、形式化验证及工业界 AI 工具落地均无直接关联。引用 23 inbox
Yingjun Lyu, Ding Li, William G. J. Halfond
crossref: 2026-09-12

AI 速览

一句话:提出自动检测并改写 Android 应用中循环内触发低效 autocommit 的数据库写入,降低能耗并提升运行时性能。

移动应用常使用本地数据库存储数据,而数据库服务已成为移动设备资源消耗的主要来源之一。本文针对 Android 应用中低效的数据库写入,提出一种自动优化方法:先检测循环中会触发低效 autocommit 行为的数据库写入,再通过额外分析识别其中可优化者,并重写代码使其更高效。作者在应用市场中的 Android 应用上进行了评估,结果表明,包含低效数据库写入的事件其能耗与运行时分别可降低 25% 至 90%,且每个应用平均仅需 36 秒即可完成分析与转换。

问题
移动应用中的本地数据库写入若位于循环内并触发逐条 autocommit,会造成严重的能耗与运行时开销。
方法
自动检测循环内触发低效 autocommit 的数据库写入,辅以分析判定可优化性,并重写代码为更高效的写入形式。
评估
在一组应用市场 Android 应用上评估,含低效写入事件的能耗与运行时降低 25% 至 90%,平均 36 秒完成每个应用的分析与转换。
原文摘要(Abstract)

Developers strive to build feature-filled apps that are responsive and consume as few resources as possible. Most of these apps make use of local databases to store and access data locally. Prior work has found that local database services have become one of the major drivers of a mobile device's resource consumption. In this paper we propose an approach to reduce the energy consumption and improve runtime performance of database operations in Android apps by optimizing inefficient database writes. Our approach automatically detects database writes that happen within loops and that will trigger inefficient autocommit behaviors. Our approach then uses additional analyses to identify those that are optimizable and rewrites the code so that it is more efficient. We evaluated our approach on a set of marketplace Android apps and found it could reduce the energy and runtime of events containing the inefficient database writes by 25% to 90% and needed, on average, thirty-six seconds to analyze and transform each app.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot4809,
  title = {Remove RATs from your code: automated optimization of resource inefficient database writes for mobile applications},
  author = {Yingjun Lyu and Ding Li and William G. J. Halfond},
  booktitle = {ISSTA},
  year = {2018},
  doi = {10.1145/3213846.3213865}
}