互动
最近评论
其乐融融弗雷德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 git10 Issue1 代码评审1 IAP2 分支保护1 MDK2 组件库1 rsync1 CI/CD1 proxy1 submodule1 rebase1 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
文章

学习使我快乐

Git多工作区使用指南
git 未读
Git多工作区使用指南
Git 多工作区使用指南 目录 一、克隆仓库并将 .git 放到指定位置 二、创建多个工作区
git
scanf_参考笔记
嵌入式开发 未读
scanf_参考笔记
scanf 系列函数完整参考笔记 目录 函数族概览 格式说明符详解 修饰符和宽度控制
C语言 格式化字符串 scanf
Git 提交记录顺序调整
git 未读
Git 提交记录顺序调整
Git 提交记录顺序调整指南 概述 在 Git 中调整提交记录的顺序通常使用**交互式 rebase（Interactive Rebase）**功能。这个功能允许你重新排序、编辑、合并或删除提交记录。 前置条件 工作区必须是干净的（没有未提交的更改） 确认是否需要调整已推送到远程的提交（需要强制推送
git
IAR 链接与段控制，参数表定位
嵌入式开发 未读
IAR 链接与段控制，参数表定位
IAR 链接与段控制，参数表定位（学习笔记） 总体目标 在程序首地址偏移 0x400 处放置设备参数表，并能在代码中获取其地址与大小。 一、在首地址偏移 0x400 放置参数表
iar
xargs 与 clang-format 批量格式化工具使用指南
编程设计 未读
xargs 与 clang-format 批量格式化工具使用指南
快速开始 Windows 用户 如果你在 Windows 环境下，可以直接使用以下命令： for /r . %i in (*.c *.h) do clang-format -i "%i" Linux/Unix 用户 如果你在 Linux/Unix 环境下，可以使用： find . -name "*
C语言 xargs clang-format
核心板产品命名规范
嵌入式开发 未读
核心板产品命名规范
核心板产品命名规范 V1.0 创建人: mengplus 创建日期: 2025年10月4日 最后更新: 2025年10月4日 文档状态: 正式发布 1. 文档概述 1.1 规范目的 建立统
X-Macro 技术详解
嵌入式开发 未读
X-Macro 技术详解
X-Macro 技术详解 X-Macro是C语言中一种强大的宏编程技术，通过定义数据列表和相应的宏来生成重复性代码，可以显著减少代码冗余并提高维护性。 什么是X-Macro X-Macro是一种基于宏的代码生成技术，其核心思想是： 定义一个包含数据的宏列表 通过重新定义宏来生成不同的代码 使用#in
C语言 宏 代码生成
C语言 printf 格式化字符串完整说明文档
嵌入式开发 未读
C语言 printf 格式化字符串完整说明文档
C语言 printf 格式化字符串完整说明文档 1. 基本语法结构 %[标志][宽度][.精度][长度修饰符]类型 部分 说明 示例 % 格式说明符开始 必
C语言 printf 格式化字符串
IAR 参数变量
嵌入式开发 未读
IAR 参数变量
IAR 参数变量 您可以为路径和参数使用参数变量，例如，当您在选项对话框中指定include路径时，或者当需要基于当前上下文的类似宏的扩展时，例如在工具的参数中。您可以使用广泛的预定义参数变量以及创建自己的参数变量，请参见配置自定义参数变量对话框。 预定义参数变量 以下是IAR Embedded W
iar
iar_argument
未读
iar_argument
IAR 参数变量 您可以为路径和参数使用参数变量，例如，当您在选项对话框中指定include路径时，或者当需要基于当前上下文的类似宏的扩展时，例如在工具的参数中。您可以使用广泛的预定义参数变量以及创建自己的参数变量，请参见配置自定义参数变量对话框。 预定义参数变量 以下是IAR Embedded W
你好啊！我是
蒙蒙plus的个人博客
最近发布
Gitea 仓库与成员管理
Gitea 仓库与成员管理
SVN 项目迁移至 Git（Gitea）
SVN 项目迁移至 Git（Gitea）
Gitea PR（合并请求）操作
Gitea PR（合并请求）操作
Gitea Issue（工单）操作
Gitea Issue（工单）操作
最新评论
头像
哥哥是不是没写完啊， 缺了函数注释啊， 类似的插件有：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 git10 Issue1 代码评审1 IAP2 分支保护1 MDK2 组件库1 rsync1 CI/CD1 proxy1 submodule1 rebase1 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
文章数 :
113
访问量 :
16610
建站天数 :
2024-02-20
广告
引用到评论
随便逛逛 博客分类 文章标签