论文标题
Home，SafeHome：具有可见性和原子性的智能家庭可靠性
Home, SafeHome: Smart Home Reliability with Visibility and Atomicity
论文作者
论文摘要
智能环境（房屋，工厂，医院，建筑物）包含越来越多的物联网设备，使它们变得复杂。如今，在智能家居中，用户或触发器启动例程（即命令序列），并发例程和设备故障可能会导致不一致的结果。我们描述了SafeHome，该系统为智能家居提供了原子性和连续等效的概念。由于智能家居的人性化本质，SafeHome提供了一系列{\ IT可见性模型}，在响应能力与智能家居状态的不一致之间进行了权衡。我们实施了SafeHome并进行了以工作负载为导向的实验。我们发现，一种称为{\ it最终可见性}的弱可见性模型几乎与今天的现状一样快（最高23 \％慢），但可以保证串行等效的最终状态。
Smart environments (homes, factories, hospitals, buildings) contain an increasing number of IoT devices, making them complex to manage. Today, in smart homes where users or triggers initiate routines (i.e., a sequence of commands), concurrent routines and device failures can cause incongruent outcomes. We describe SafeHome, a system that provides notions of atomicity and serial equivalence for smart homes. Due to the human-facing nature of smart homes, SafeHome offers a spectrum of {\it visibility models} which trade off between responsiveness vs. incongruence of the smart home state. We implemented SafeHome and performed workload-driven experiments. We find that a weak visibility model, called {\it eventual visibility}, is almost as fast as today's status quo (up to 23\% slower) and yet guarantees serially-equivalent end states.
