paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Time-sensitive Intermittent Computing Meets Legacy Software

时间敏感的间歇计算遇上遗留软件
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 2/10 · 该论文属于嵌入式系统与间歇计算方向的语言设计/运行时管理,虽同属广义 PL 领域,但既不涉及静态分析、LLM/Agent,也与浮点程序分析和贝叶斯程序分析无关,与用户核心研究画像没有实质交集。引用 89 inbox
Vito Kortbeek, Kasim Sinan Yildirim, Abu Bakar, Jacob Sorber, Josiah Hester, Przemysław Pawełczak
crossref: 2026-09-12

AI 速览

一句话:提出 TICS 平台,为间歇计算提供时间敏感编程抽象与可预测检查点,使遗留嵌入式代码无需重写即可间歇运行。

无电池能量采集传感器间歇运行,频繁掉电使前进进度、数据保存与一致性及及时操作面临挑战。现有系统需程序员自行解决这些问题,内存开销高,缺乏指针与递归等语言特性,且对时间流逝及其对应用质量的影响不敏感。本文提出 TICS 平台:提供处理间歇失败下时间流逝的简单编程抽象,据此决定数据何时可用或可丢弃;通过保持检查点与恢复时间短小实现可预测的检查点大小,在不限制表达力与语言功能的前提下降低为间歇性重写嵌入式代码的认知负担,使大量现有嵌入式应用得以间歇运行。

问题
无电池能量采集传感器间歇运行,频繁掉电使前进进度、数据保存与一致性及及时操作困难;现有系统需程序员自行应对,内存开销高、缺乏指针与递归等特性,且对时间流逝的影响不敏感。
方法
提出 TICS 平台,提供处理间歇失败下时间流逝的简单编程抽象,据此决定数据可用或可丢弃;保持检查点与恢复时间短小以提供可预测的检查点大小,在不限制表达力与语言功能的同时降低为间歇性重写嵌入式代码的认知负担。
评估
通过让大量现有嵌入式应用以间歇方式运行来评估 TICS 的有效性。
原文摘要(Abstract)

Tiny energy harvesting sensors that operate intermittently, without batteries, have become an increasingly appealing way to gather data in hard to reach places at low cost. Frequent power failures make forward progress, data preservation and consistency, and timely operation challenging. Unfortunately, state-of-the-art systems ask the programmer to solve these challenges, and have high memory overhead, lack critical programming features like pointers and recursion, and are only dimly aware of the passing of time and its effect on application quality. We present Time-sensitive Intermittent Computing System (TICS), a new platform for intermittent computing, which provides simple programming abstractions for handling the passing of time through intermittent failures, and uses this to make decisions about when data can be used or thrown away. Moreover, TICS provides predictable checkpoint sizes by keeping checkpoint and restore times small and reduces the cognitive burden of rewriting embedded code for intermittency without limiting expressibility or language functionality, enabling numerous existing embedded applications to run intermittently.

链接与引用

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

BibTeX
@inproceedings{paperbot5400,
  title = {Time-sensitive Intermittent Computing Meets Legacy Software},
  author = {Vito Kortbeek and Kasim Sinan Yildirim and Abu Bakar and Jacob Sorber and Josiah Hester and Przemysław Pawełczak},
  booktitle = {ASPLOS},
  year = {2020},
  doi = {10.1145/3373376.3378476}
}