Transactuations: Where Transactions Meet the Physical World
Talkat USENIX ATC '19 · on Wednesday, 2019-07-10· at 12:00· USENIX ATC Track II: Grand Ballroom VII–IX·
summary
Identifies that smart‑home apps suffer irreversible mismatches between device and software state and proposes transactuation, an abstraction that enforces a sensing invariant and an actuator invariant while only making application state durable. Implements Relacs on Azure Functions with Cosmos DB and Samsung SmartThings integration, runs static analysis over 182 apps and finds 309 undesirable consequences, reimplements apps showing similar LOC, and measures a median runtime cost of about 50% overhead while preserving correctness via speculative execution and a final actuation commit.
AI-written summary · about
chapters (8)
- 0:00Introduction to IOT systems
- 1:00Failure in smart home systems
- 2:23Root causes of inconsistency
- 4:40Identifying system dependencies
- 7:06The trans-actuation abstraction
- 10:06Execution and implementation
- 12:51Evaluation and results
- 15:54Conclusion and Q&A
related talks
17mSensitive Information Tracking in Commodity IoT
29mSmartAuth: User-Centered Authorization for the Internet of Things
01h 13mTransactional memory
06mTrace2TAP: Synthesizing Trigger-Action Programs From Traces of Behavior
28mWhat You See Is What It Does: A Structural Pattern for Legible Software
21m4 BIG Software App Challenges For FinServ
11mSoftware, but not as we know it: Part Two
27mC4: verified transactional objects