Home, SafeHome：具备可见性与原子性的智能家居可靠性
分布式、并行与集群计算
2021-04-23 v1
摘要
智能环境（家庭、工厂、医院、建筑）包含越来越多的物联网设备，使其管理变得复杂。如今，在用户或触发器启动例程（即一系列命令）的智能家居中，并发例程和设备故障可能导致不一致的结果。我们描述了 SafeHome，一个为智能家居提供原子性和串行等价性概念的系统。由于智能家居面向人的特性，SafeHome 提供了一系列可见性模型，这些模型在响应性与智能家居状态的不一致性之间进行权衡。我们实现了 SafeHome 并进行了工作负载驱动的实验。我们发现，一种称为最终可见性的弱可见性模型，几乎与当今现状一样快（最多慢 23%），同时能保证串行等价的最终状态。
引用
@article{arxiv.2007.12359,
title = {Home, SafeHome: Smart Home Reliability with Visibility and Atomicity},
author = {Shegufta Bakht Ahsan and Rui Yang and Shadi A. Noghabi and Indranil Gupta},
journal= {arXiv preprint arXiv:2007.12359},
year = {2021}
}
备注
12 pages