16 位 1MHz 计数器多久回绕,能测 100ms 吗
16位计数器在1MHz下每65.536ms回绕一次。只有两个端点读数且没有额外回绕计数时,无法唯一恢复100ms间隔,即使模差算得出一个较小结果。
本文以公开公式与合成输入分析工程决策,由器赋开物编辑整理,AI 辅助撰写,未用真实硬件完成下述测试。数值用于复算,现场验收应另填测量记录。
这次要解决什么问题?
示例起点1000,真实经过100000tick后结束于35464;工具模差只能得到34464tick。它展示的信息丢失边界,而不是把结果34464μs视为真实100ms测量。
先把输入和单位列清楚
打开无符号计时器回绕差值计算器,可先用工具默认值熟悉字段,再按下表改为本文场景。
| 输入项目 | 教学输入 | 单位 |
|---|---|---|
| 无符号计数位宽 | 16 | bit |
| 实际计数频率 | 1000000 | Hz |
| 起始计数 | 1000 | tick |
| 结束计数 | 35464 | tick |
这里的数值是明确设定的数学样例,不代表任何具体板卡、仪器或客户项目的实测数据。参数若来自你的设备,应同时记录料号、工作模式与取得方式。
按公式复算,可以得到什么?
Δtick = (end − start + 2ᴺ) mod 2ᴺ;t = Δtick / f
| 计算项目 | 模型输出 | 单位 |
|---|---|---|
| 小于一个完整周期的模差 | 34464 | tick |
| 该模差对应时间 | 0.034464 | s |
| 完整回绕周期 | 0.065536 | s |
差值只有在真实间隔小于一次完整回绕周期时才唯一。工具无法识别遗漏的多个周期;不适用于有符号溢出。
下载本场景输入、公式与结果 JSON。附件保留未四舍五入的模型数值,并以空的实测栏区分预测与测量;上表只为便于阅读作显示舍入。
怎样一步步核对?
先由位宽和实际计数频率算完整周期,再比较业务最长间隔。超出范围时选择更低计数频率、更宽计数器,或使用可靠扩展计数方案。若用溢出中断累计高位,需处理读取竞争和中断延迟,不能只增加一个全局变量。
哪些误读会让结论失效?
两次读取之间可能多次回绕时,软件无法从端点凭空恢复遗漏周期。提高计数频率改善分辨率的同时会缩短量程,这个取舍应在设计前明确。
达到什么条件才算核验完成?
测试覆盖最长待测间隔与边界附近值,确认扩展时间戳单调且无撕裂读取。工具结果标为模差,报告不得把超量程场景的模差当真实经过时间。
模型覆盖到哪里?
只处理不超过32位的精确无符号计数。SDK的高精度时间接口未必是32位计数器;不要把该示例套到所有ESP Timer接口上。变频、重启和深睡后的计数行为需要查实际时钟源。
公式与参数定义参考SEI CERT C:无符号整数回绕规则;本页的场景设计和合成算例用于帮助复查,不能由模型输出反推硬件已经合格。若当前设备或SDK版本与来源不同,应先核对对应手册。
继续解决相关问题
本文为公开资料整理,非亲测。关键参数与代码请结合实物与下列官方来源验证。
- SEI CERT C:无符号整数回绕规则 ↗
wiki.sei.cmu.edu/confluence/display/c/INT30-C.+Ensure+that+unsigned+integer+operations+do+not+wrap