互动
最近评论
其乐融融弗雷德0D3S
stonewu
哥哥是不是没写完啊， 缺了函数注释啊， 类似的插件有：FileComments。
文档阅读者
stonewu
static uint32_t next_tick = 0; 原： if(HAL_GetTick() >= next_tick) { next_tick = HAL_GetTick() + 100; HAL_GPIO_TogglePin(LED_GPIO_Port, LED_Pin); }//未处理边界条件，溢出导致逻辑非预期。 改动： if(HAL_GetTick()-next_tick <= UINT32_MAX/2 ) { next_tick = HAL_GetTick() + 100; HAL_GPIO_TogglePin(LED_GPIO_Port, LED_Pin); } ***代码分析：以上代码的作用是每隔一段时间翻转IO口。其巧妙之处，在于利用减法配合溢出将原本因为溢出而需要 考虑的【边界判断省去】了。 ***通用处理： static uint32_t next_tick = 0; #define INTERVAL 100 if(HAL_GetTick()-next_tick <= (UINT32_MAX+1-INTERVAL) ) { next_tick = HAL_GetTick() + INTERVAL; HAL_GPIO_TogglePin(LED_GPIO_Port, LED_Pin); } ***【边界判断省去】原理分析： 原式HAL_GetTick()≥next_tick， 移项变形得到HAL_GetTick()-next_tick≥0， *当HAL_GetTick()等于或者略大于next_tick的时候上式无问题，但是当next_tick增加， *HAL_GetTick()小于next_tick时，由于均是uint32_t，不等式左边的值应是恒≥0的，就比原式错得更多了(原式好歹是边界条件时出错，这直接一开始就出错了)，但是仔细观察，next_tick+100后大于HAL_GetTick()，那么HAL_GetTick()-next_tick的值是大于2^32-100的， *那么只需要继续变形为HAL_GetTick()-next_tick<=(2^32-100)是不是就可以了呢？ 以上不考虑边界条件，考虑边界条件，则分为两种情况： ①next_tick先溢出， next_tick变得很小，而HAL_GetTick()很大，HAL_GetTick()-next_tick则是一个比较大的值，记其值最小情况为UPLIMIT，为了排除此情况，HAL_GetTick()-next_tick应该＜或者≤UPLIMIT。 ②HAL_GetTick()、next_tick均溢出， 此情况就同不考虑边界条件时的分析，HAL_GetTick()-next_tick<=(2^32-100)就可以了。 那么最后，HAL_GetTick()-next_tick是应该＜还是≤ UINT32_MAX/2，UPLIMIT，(2^32-100)呢？或者说UPLIMIT应该是多少呢？ UINT32_MAX/2是怎么来的，不做考究，当INTERVAL的值大于UINT32_MAX/2则HAL_GetTick()-next_tick <= UINT32_MAX/2 会出错； 当INTERVAL取值100，HAL_GetTick()-next_tick应该和(2^32-100)做比较， 即UPLIMIT应取值(2^32-INTERVAL)，＜或者≤就自己思考吧。 ***温馨提示or思考：以上代码中两次HAL_GetTick()的值可能是不一样的，也就是翻转IO的周期可能不是简单的INTERVAL*2；还有当INTERVAL取值特别大时，代码可能失效，例如HAL_GetTick()-next_tick<=0或者 <=1时，由于时序问题，调用HAL_GetTick()的时机可能很难满足式子成立。 记HAL_GetTick()为A，记next_tick为B，记INTERVAL为c， 当A=A0=B0>=2^32-c时，B1=B0+c-2^32， B=B1、A＞A0→A-B=A-B1=A-(B0+c-2^32)＞A0-(B0+c-2^32)=2^32-c； 当A=A2=B2＜2^32-c时，B3=B2+c， B=B3、B3＞A>A2→[A-B]=[A-B3]=[A-(B2+c)]=A-(B2+c)+2^32＞A2-(B2+c)+2^32=2^32-c；
标签
寻找感兴趣的领域
Halo1 需求管理1 action0 Git3 squash1 printf1 clang-format1 合并1 Tags1 网盘1 单片机1 OpenResty2 ecs1 端口转发1 tableview1 rtthread1 font1 1Panel4 iar3 xfce1 nmap1 modbus1 efsm1 vscode2 仓库2 runner2 gitea8 版本控制5 单元测试2 git11 Issue1 代码评审1 IAP2 分支保护1 MDK2 组件库1 rsync1 CI/CD1 proxy1 submodule1 rebase2 version1 自启1 fixup1 子模块1 宏2 exfat1 SVN1 checkout1 scanf1 Pull Request1 Keil1 truncate1 lvgl4 代码生成1 rt-thread1 coder1 Submodule1 发布管理1 嵌入式1 LABEL0 预处理器1 迁移1 项目管理1 C语言9 格式化字符串2 docker1 软件1 权限1 开发工具1 缺陷跟踪1 uart1 clean1 matlab1 UI1 linux0 e2label1 fifo1 lvm4 sspi1 xargs1 powershell1 变基1
文章

学习使我快乐

git-push推送仓库
git 未读
git-push推送仓库
push推送仓库 参考资料 官方文档Git - git-push Documentation (git-scm.com) git push 命令 | 菜鸟教程 (runoob.com) 操作演示 命令格式 部分命令参数可以省略 $git <远端名称> <本地分支>:<远程分支> # 完整的命令格式
git
git安装
git 未读
git安装
git使用笔记 参考资料 官方下载：Git - Downloads (git-scm.com) 官方文档：Git - 安装 Git (git-scm.com) 推荐客户端列表Git - GUI Clients (git-scm.com) 第三方的推荐资料Git 教程 | 菜鸟教程 (runoob.c
用git管理svn仓库
git 未读
用git管理svn仓库
用git管理svn仓库 GIT-SVN 可以使用git轻松的访问SVN仓库，方便git对SVN仓库的兼容，如果你是GIT用户又不得不使用SVN管理工程那么这将是不错的选择。 环境安装 在win平台git-SVN默认是安装的，而linux平台需要手动安装 sudo apt install git-s
jumpserver堡垒机
网站运维 未读
jumpserver堡垒机
jumpserver堡垒机 JumpServer 堡垒机帮助企业以更安全的方式管控和登录各种类型的资产。 参考链接 官网 https://www.jumpserver.org/ 官网视频 https://www.bilibili.com/video/BV1524y1N7er
iar版本下载地址
软件分享 未读
iar版本下载地址
iar版本下载地址 摘自IAR各个历史版本集合（2026-03-07） - 开发环境 - 硬汉嵌入式论坛 - Powered by Discuz! (armbbs.cn) iar6 IAR 5.50.8版本http://files.iar.com/ftp/pub/box/CD-EWARM-5508-
iar
gitbook书籍网站
网站运维 未读
gitbook书籍网站
开发环境 编写使用markdown 编译环境billryan/gitbook or hitzhangjie/gitbook-cli 开发推荐使用vscode typora billryan/gitbook 安装环境 #安装docker 和compose $ sudo apt install dock
git
UsbEAm Hosts Editor [多平台hosts修改]
软件分享 未读
UsbEAm Hosts Editor [多平台hosts修改]
官网地址：UsbEAm Hosts Editor [多平台hosts修改] V3.63 – Dogfight360 简要说明 一款优化host的工具，非梯子
UI开源库lvgl
嵌入式开发 未读
UI开源库lvgl
lvgl 参考资料 lvgl源码仓库 官方手册 百问网 UI
lvgl
lvgl的font字体生成
嵌入式开发 未读
lvgl的font字体生成
font字体生成 简介 lvgl字库生成需要专用的工具这里推荐使用 SquareLine Studio和 GUI Guider,可以满足大部分需求，如果只使用英文字符，可能更加省心，不用操心字库是问题，在设计初期建议先使用英文字符，后续再进行汉化操作。 汉化方式推荐 为方便先开发后汉化，推荐如下方便
lvgl font
gitea个人仓库部署
网站运维 未读
gitea个人仓库部署
gitea 官方指导部署方式 参考资料 帮助文档 https://docs.gitea.cn/installation/install-with-docker 容器地址 http://hub.docker.com 示例仓库gitea - Gitea: Git with a cup of tea 源
git docker 仓库
你好啊！我是
蒙蒙plus的个人博客
最近发布
研发团队项目制问题解读
研发团队项目制问题解读
git rebase --onto 精确变基
git rebase --onto 精确变基
Gitea 仓库与成员管理
Gitea 仓库与成员管理
SVN 项目迁移至 Git（Gitea）
SVN 项目迁移至 Git（Gitea）
最新评论
头像
哥哥是不是没写完啊， 缺了函数注释啊， 类似的插件有：FileComments。
其乐融融弗雷德0D3S /
头像
static uint32_t next_tick = 0; 原： if(HAL_GetTick() >= next_tick) { next_tick = HAL_GetTick() + 100; HAL_GPIO_TogglePin(LED_GPIO_Port, LED_Pin); }//未处理边界条件，溢出导致逻辑非预期。 改动： if(HAL_GetTick()-next_tick <= UINT32_MAX/2 ) { next_tick = HAL_GetTick() + 100; HAL_GPIO_TogglePin(LED_GPIO_Port, LED_Pin); } ***代码分析：以上代码的作用是每隔一段时间翻转IO口。其巧妙之处，在于利用减法配合溢出将原本因为溢出而需要 考虑的【边界判断省去】了。 ***通用处理： static uint32_t next_tick = 0; #define INTERVAL 100 if(HAL_GetTick()-next_tick <= (UINT32_MAX+1-INTERVAL) ) { next_tick = HAL_GetTick() + INTERVAL; HAL_GPIO_TogglePin(LED_GPIO_Port, LED_Pin); } ***【边界判断省去】原理分析： 原式HAL_GetTick()≥next_tick， 移项变形得到HAL_GetTick()-next_tick≥0， *当HAL_GetTick()等于或者略大于next_tick的时候上式无问题，但是当next_tick增加， *HAL_GetTick()小于next_tick时，由于均是uint32_t，不等式左边的值应是恒≥0的，就比原式错得更多了(原式好歹是边界条件时出错，这直接一开始就出错了)，但是仔细观察，next_tick+100后大于HAL_GetTick()，那么HAL_GetTick()-next_tick的值是大于2^32-100的， *那么只需要继续变形为HAL_GetTick()-next_tick<=(2^32-100)是不是就可以了呢？ 以上不考虑边界条件，考虑边界条件，则分为两种情况： ①next_tick先溢出， next_tick变得很小，而HAL_GetTick()很大，HAL_GetTick()-next_tick则是一个比较大的值，记其值最小情况为UPLIMIT，为了排除此情况，HAL_GetTick()-next_tick应该＜或者≤UPLIMIT。 ②HAL_GetTick()、next_tick均溢出， 此情况就同不考虑边界条件时的分析，HAL_GetTick()-next_tick<=(2^32-100)就可以了。 那么最后，HAL_GetTick()-next_tick是应该＜还是≤ UINT32_MAX/2，UPLIMIT，(2^32-100)呢？或者说UPLIMIT应该是多少呢？ UINT32_MAX/2是怎么来的，不做考究，当INTERVAL的值大于UINT32_MAX/2则HAL_GetTick()-next_tick <= UINT32_MAX/2 会出错； 当INTERVAL取值100，HAL_GetTick()-next_tick应该和(2^32-100)做比较， 即UPLIMIT应取值(2^32-INTERVAL)，＜或者≤就自己思考吧。 ***温馨提示or思考：以上代码中两次HAL_GetTick()的值可能是不一样的，也就是翻转IO的周期可能不是简单的INTERVAL*2；还有当INTERVAL取值特别大时，代码可能失效，例如HAL_GetTick()-next_tick<=0或者 <=1时，由于时序问题，调用HAL_GetTick()的时机可能很难满足式子成立。 记HAL_GetTick()为A，记next_tick为B，记INTERVAL为c， 当A=A0=B0>=2^32-c时，B1=B0+c-2^32， B=B1、A＞A0→A-B=A-B1=A-(B0+c-2^32)＞A0-(B0+c-2^32)=2^32-c； 当A=A2=B2＜2^32-c时，B3=B2+c， B=B3、B3＞A>A2→[A-B]=[A-B3]=[A-(B2+c)]=A-(B2+c)+2^32＞A2-(B2+c)+2^32=2^32-c；
文档阅读者 /
Halo1 需求管理1 action0 Git3 squash1 printf1 clang-format1 合并1 Tags1 网盘1 单片机1 OpenResty2 ecs1 端口转发1 tableview1 rtthread1 font1 1Panel4 iar3 xfce1 nmap1 modbus1 efsm1 vscode2 仓库2 runner2 gitea8 版本控制5 单元测试2 git11 Issue1 代码评审1 IAP2 分支保护1 MDK2 组件库1 rsync1 CI/CD1 proxy1 submodule1 rebase2 version1 自启1 fixup1 子模块1 宏2 exfat1 SVN1 checkout1 scanf1 Pull Request1 Keil1 truncate1 lvgl4 代码生成1 rt-thread1 coder1 Submodule1 发布管理1 嵌入式1 LABEL0 预处理器1 迁移1 项目管理1 C语言9 格式化字符串2 docker1 软件1 权限1 开发工具1 缺陷跟踪1 uart1 clean1 matlab1 UI1 linux0 e2label1 fifo1 lvm4 sspi1 xargs1 powershell1 变基1
文章数 :
115
访问量 :
19268
建站天数 :
2024-02-20
广告
引用到评论
随便逛逛 博客分类 文章标签