paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Change is the only constant

变化是唯一的不变
ICSE Proceedings of the 44th International Conference on Software Engineering2022匹配度 2/10 · 该论文研究安全动态软件更新(DSU),聚焦异步事务场景下的运行时更新,属于软件运行时与并发系统领域;与用户画像中的静态分析、LLM/Agent、浮点程序分析及贝叶斯程序分析等核心方向没有直接交集。引用 3 inbox
Daniel Sokolowski, Pascal Weisenburger, Guido Salvaneschi
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话:指出现有安全动态软件更新研究仅覆盖同步事务模型,无法支持异步事务场景下的高频在线更新。

软件系统必须频繁更新以应对需求变化和安全缺陷,但停机替换组件在现代持续部署场景中不可接受。安全动态软件更新(DSU)可在系统运行时判定组件何时可被替换而不引发错误,对长时间运行或频繁执行的异步事务(如用户交互会话、订单履行流程)尤为重要。然而,既有研究局限于同步事务模型,无法覆盖异步事务这一场景。论文由此指出,需要面向异步事务的安全 DSU 机制;摘要未进一步描述具体方法、实现与评估结果。

问题
如何在含异步事务(如用户交互会话、订单履行流程)的持续运行系统中进行安全动态软件更新,避免停机且不引入错误。
方法
摘要未说明具体方法;论文的切入点是指出既有安全 DSU 研究仅支持同步事务模型,未处理异步事务。
评估
摘要未报告评估方式或实验结果。
原文摘要(Abstract)

Software systems must be updated regularly to address changing requirements and urgent issues like security-related bugs. Traditionally, updates are performed by shutting down the system to replace certain components. In modern software organizations, updates are increasingly frequent---up to multiple times per day---hence, shutting down the entire system is unacceptable. Safe dynamic software updating (DSU) enables component updates while the system is running by determining when the update can occur without causing errors. Safe DSU is crucial, especially for long-running or frequently executed asynchronous transactions (workflows), e.g., user-interactive sessions or order fulfillment processes. Unfortunately, previous research is limited to synchronous transaction models and does not address this case.

链接与引用

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

BibTeX
@inproceedings{SokolowskiWS22,
  title = {Change is the only constant},
  author = {Daniel Sokolowski and Pascal Weisenburger and Guido Salvaneschi},
  booktitle = {ICSE},
  year = {2022},
  doi = {10.1145/3510003.3510065}
}