[论文解读] A System for Clock Synchronization in an Internet of Things

Sathiya Kumaran Mani, Ramakrishnan Durairajan+2 more|arXiv (Cornell University)|Jun 7, 2018

Network Time Synchronization Technologies参考文献 18被引用 14

一句话总结

本文提出 SPoT，一种专为物联网设备设计的轻量级时钟同步系统，采用新颖的报文协议与可扩展的服务器端计算，即使在低成本物联网硬件存在高时钟漂移和不稳定性的条件下，也能实现低于15ms的同步精度。该系统在高噪声环境下，同步精度相比SNTP和MQTT最高提升22倍，同时保持低网络开销和大规模部署的可扩展性。

ABSTRACT

Synchronizing clocks on Internet of Things (IoT) devices is important for applications such as monitoring and real time control. In this paper, we describe a system for clock synchronization in IoT devices that is designed to be scalable, flexibly accommodate diverse hardware, and maintain tight synchronization over a range of operating conditions. We begin by examining clock drift on two standard IoT prototyping platforms. We observe clock drift on the order of seconds over relatively short time periods, as well as poor clock rate stability, each of which make standard synchronization protocols ineffective. To address this problem, we develop a synchronization system, which includes a lightweight client, a new packet exchange protocol called SPoT and a scalable reference server. We evaluate the efficacy of our system over a range of configurations, operating conditions and target platforms. We find that SPoT performs synchronization 22x and 17x more accurately than MQTT and SNTP, respectively, at high noise levels, and maintains a clock accuracy of within ~15ms at various noise levels. Finally, we report on the scalability of our server implementation through microbenchmark and wide area experiments, which show that our system can scale to support large numbers of clients efficiently.

研究动机与目标

• 解决低成本物联网设备中因不稳定、温度敏感的振荡器导致的高漂移和较差速率稳定性所带来的时钟同步挑战。
• 设计一种轻量级、可扩展的同步系统，适用于资源受限的物联网平台，如Arduino MKR1000和Raspberry Pi3。
• 开发一种新型报文交换协议（SPoT），实现高精度同步，且无需复杂的客户端计算。
• 在不同运行条件、噪声水平和硬件平台上评估系统性能。
• 通过微基准测试和广域实验，展示参考服务器的可扩展性。

提出的方法

• 系统采用轻量级客户端，基于SPoT响应报文中的时间信息同步其时钟，无需本地计算来估计偏移或速率。
• 可扩展的参考服务器使用历史时间样本计算时钟偏移、偏差和漂移参数，并应用卡尔曼滤波以提高估计的鲁棒性。
• SPoT使用双向报文交换协议估计路径不对称性，从而在可变网络条件下提升同步精度。
• 系统引入一种新算法，通过阿伦方差分析表征硬件不稳定性，实现对时钟速率漂移（尤其在温度变化下）的估计与补偿。
• 一种过滤机制根据信号质量和稳定性指标选择最可靠的时间样本，以降低噪声影响。
• 服务器实现高效处理高客户端负载，微基准测试显示，支持一百万个Arduino设备仅需约6,000 PPS吞吐量。

实验结果

研究问题

• RQ1 在不同温度条件下，常见物联网平台（如Arduino MKR1000和Raspberry Pi3）的时钟漂移和速率不稳定性如何变化？
• RQ2 在高网络噪声和硬件不稳定性条件下，轻量级、可扩展的同步协议是否能在精度上超越SNTP和MQTT等标准协议？
• RQ3 基于服务器端计算模型，在具有不同漂移特性的多样化物联网硬件中，能否准确估计并补偿时钟偏移和速率漂移？
• RQ4 大规模物联网部署中，可扩展同步服务器的网络和计算开销如何？
• RQ5 网络通信中的路径不对称性如何影响同步精度？能否在低开销协议中有效缓解该问题？

主要发现

• SPoT在各种噪声水平下均实现约15ms以内的同步精度，显著优于SNTP和MQTT。
• 在高噪声条件下，SPoT相比MQTT将时钟偏移减少22倍，相比SNTP减少17倍。
• 即使在高硬件漂移和温度变化条件下，系统仍能将时钟速率误差的均方根误差（RMSE）控制在约15ms以内。
• SPoT服务器表现出高可扩展性，仅需约6,000个包每秒即可支持一百万个Arduino设备。
• 系统在多种硬件平台（包括高阿伦方差和不稳定时钟速率的低成本振荡器）上均表现出稳健性能。
• 通过服务器端过滤和基于卡尔曼滤波的估计，系统实现了高精度同步，且未增加客户端的计算或通信开销。