TY - GEN
T1 - Home, safehome
T2 - 16th European Conference on Computer Systems, EuroSys 2021
AU - Ahsan, Shegufta B.
AU - Yang, Rui
AU - Noghabi, Shadi A.
AU - Gupta, Indranil
N1 - Funding Information:
This work was supported in part by research grant NSF CNS 1908888, by research grant NSF IIS 1909577, by a gift from Microsoft, and by a gift from Capital One.
Publisher Copyright:
© 2021 ACM.
PY - 2021/4/21
Y1 - 2021/4/21
N2 - Smart environments (homes, factories, hospitals, buildings) contain an increasing number of IoT devices, making them complex to manage. Today, in smart homes when 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 visibility models which trade off between responsiveness vs. isolation of the smart home. We implemented SafeHome and performed workload-driven experiments. We find that a weak visibility model, called eventual visibility, is almost as fast as today's status quo (up to 23% slower) and yet guarantees serially-equivalent end states.
AB - Smart environments (homes, factories, hospitals, buildings) contain an increasing number of IoT devices, making them complex to manage. Today, in smart homes when 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 visibility models which trade off between responsiveness vs. isolation of the smart home. We implemented SafeHome and performed workload-driven experiments. We find that a weak visibility model, called eventual visibility, is almost as fast as today's status quo (up to 23% slower) and yet guarantees serially-equivalent end states.
KW - Fault-tolerance
KW - Reliability
KW - Routines
KW - Smart home
UR - http://www.scopus.com/inward/record.url?scp=85105246635&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85105246635&partnerID=8YFLogxK
U2 - 10.1145/3447786.3456261
DO - 10.1145/3447786.3456261
M3 - Conference contribution
AN - SCOPUS:85105246635
T3 - EuroSys 2021 - Proceedings of the 16th European Conference on Computer Systems
SP - 590
EP - 605
BT - EuroSys 2021 - Proceedings of the 16th European Conference on Computer Systems
PB - Association for Computing Machinery, Inc
Y2 - 26 April 2021 through 28 April 2021
ER -