互动
最近评论
其乐融融弗雷德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 action0 Git2 printf1 clang-format1 Tags1 网盘1 单片机1 OpenResty2 ecs1 端口转发1 tableview1 rtthread1 font1 1Panel4 iar3 xfce1 nmap1 modbus1 efsm1 vscode2 仓库1 runner2 gitea3 版本控制5 单元测试2 git9 IAP2 MDK2 rsync1 proxy1 submodule1 version1 自启1 宏1 exfat1 checkout1 scanf1 Keil1 truncate1 lvgl4 代码生成1 rt-thread1 coder1 Submodule1 发布管理1 LABEL0 项目管理1 C语言8 格式化字符串2 docker1 软件1 开发工具1 uart1 clean1 matlab1 UI1 linux0 e2label1 fifo1 lvm4 sspi1 xargs1 powershell1
文章
iar版本下载地址
软件分享 未读
iar版本下载地址
iar版本下载地址 摘自IAR各个历史版本集合（2023-12-09） - 开发环境 - 硬汉嵌入式论坛 - Powered by Discuz! (armbbs.cn) iar6 IAR 5.50.8版本http://files.iar.com/ftp/pub/box/CD-EWARM-5508-
iar
UsbEAm Hosts Editor [多平台hosts修改]
软件分享 未读
UsbEAm Hosts Editor [多平台hosts修改]
官网地址：UsbEAm Hosts Editor [多平台hosts修改] V3.63 – Dogfight360 简要说明 一款优化host的工具，非梯子
git版本控制软件
软件分享 未读
git版本控制软件
官方地址: Git - Downloads (git-scm.com) 学习资料 Git - Documentation (git-scm.com)
git
黑曜石Obsidian笔记软件
软件分享 未读
黑曜石Obsidian笔记软件
黑曜石Obsidian 官网地址：Obsidian - Sharpen your thinking
版本控制
Keil v5 C51 MDK包 共存合并方式
软件分享 未读
Keil v5 C51 MDK包 共存合并方式
先看效果 是不是有人想要这样的Keil 既能编程51单片机 又同时能切换到STM32的编程使用，但是 一般情况下 无论51的工程还是STM32的工程都是有keil两个版本需要使用不同的编译器，不能做到双击工程文件来打开，这是想当的麻烦，这里我为大家带来C51版于MDK版Keil并存的安装方式。 我也
OneNote停靠功能
软件分享 未读
OneNote停靠功能
实用功能分享 oneNote视图中的停靠功能，可以停靠桌面 而不被其他软件覆盖 即使全屏也不受影响，非常适合边学习 边记录笔记使用 有兴趣的小伙伴可以试用下 效果图如下：
Keil 软件包合集 - C51 C251 MDK 所有版本下载
软件分享 未读
Keil 软件包合集 - C51 C251 MDK 所有版本下载
前言 授人以鱼不如授人以渔，本文章教你如何在官网下载所有版本的 Keil，无论是 v2 还是最新的 v5，无论是刚发布的，你都可以在我给的产品列表中进行下载。 有人习惯旧版本 Keil4，有人用着最新版的 Keil5，这都不是问题。编译器不重要，用着舒服就行。哪个版本更舒服呢？我认为同系列的最后一个
软件 单片机 Keil 开发工具
你好啊！我是
蒙蒙plus的个人博客
最新评论
头像
哥哥是不是没写完啊， 缺了函数注释啊， 类似的插件有：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；
文档阅读者 /
最近发布
Git 清理未跟踪文件
Git 清理未跟踪文件
批量迁移子模块到本仓库
批量迁移子模块到本仓库
MDK Scatter文件配置说明
MDK Scatter文件配置说明
Git多工作区使用指南
Git多工作区使用指南
分类
引用到评论
随便逛逛 博客分类 文章标签