Home, SafeHome: Smart Home Reliability with Visibility and Atomicity

Autor:	Ahsan, Shegufta Bakht, Yang, Rui, Noghabi, Shadi A., Gupta, Indranil
Rok vydání:	2020
Předmět:	Computer Science - Distributed Parallel and Cluster Computing
Druh dokumentu:	Working Paper
DOI:	10.1145/3447786.3456261
Popis:	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. Comment: 12 pages
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2007.12359 Zobrazit plný text záznamu View this record from Arxiv