A large class of IoT applications read sensors, execute application logic, and actuate actuators. However, the lack of high-level programming abstractions compromises correctness, especially in the presence of failures and unwanted interleaving between applications. A key problem arises when operations on IoT devices or the application itself fails, which leads to inconsistencies between the physical state and application state, breaking application semantics and causing undesired consequences. Transactions are a well-established abstraction for correctness, but assume properties that are absent in an IoT context. In this article, we study one such environment, smart home, and establish inconsistencies manifesting out of failures. We propose an abstraction called transactuation that empowers developers to build reliable applications. Our runtime, Relacs , implements the abstraction atop a real smart-home platform. We evaluate programmability, performance, and effectiveness of transactuations to demonstrate its potential as a powerful abstraction and execution model.

中文翻译：

---

交易

一大类物联网应用程序读取传感器、执行应用程序逻辑和驱动执行器。然而，缺乏高级编程抽象会损害正确性，尤其是在应用程序之间存在故障和不需要的交错的情况下。当物联网设备上的操作或应用程序本身出现故障时，就会出现一个关键问题，这会导致物理状态和应用程序状态之间的不一致，从而破坏应用程序语义并导致不良后果。事务是一个完善的正确性抽象，但假设物联网上下文中不存在的属性。在本文中，我们研究了一个这样的环境，即智能家居，并建立了因故障而表现出来的不一致。我们提出了一个抽象，称为交易这使开发人员能够构建可靠的应用程序。我们的运行时，雷克斯，在真正的智能家居平台上实现抽象。我们评估可编程性、性能和有效性交易展示其作为强大的抽象和执行模型的潜力。