36、事务操作：让事务与物理世界相遇

事务操作：让事务与物理世界相遇

1. IoT 系统中的问题

随着物联网（IoT）解决方案的普及，智能家居应用数量众多，涵盖自动化、安全、安全等多个方面。然而，当前的 IoT 系统尚处于早期且不成熟阶段，故障带来的影响远不止是不便。

IoT 系统中存在多种故障类型：
- 设备故障 ：包括电池耗尽、子系统故障等。
- 网络故障 ：如射频干扰、铜质地板干扰等。
- 并发执行问题 ：会引发数据竞争错误。

通过对 182 个应用的分析，发现可能存在 309 个问题。例如，有用户反馈在外出度假时设置了安防模式，但家中有盗贼活动时警报却未响起，这表明智能家居系统存在不一致性问题。

2. 应用逻辑中的依赖关系

在应用逻辑中，存在 3 类依赖关系，这些依赖关系体现了应用与设备之间的语义关系，并且都容易受到故障的影响：
1. 传感 -> 执行 ：例如读取二氧化碳传感器的值，若超过阈值则开启风扇。

c = co2.value();
if (c > threshold) {
    fans.on();
}

2. 传感 -> 应用状态更新 ：读取温度传感器的值，若超过 90 度则设置模式为“热”。