家庭，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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
