互动
最近评论
其乐融融弗雷德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
文章

学习使我快乐

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
IAR 8 自动构建工作流使用文档
网站运维 未读
IAR 8 自动构建工作流使用文档
RT-Thread IAR 8 自动构建工作流使用文档 📋 概述 这个工作流（build-iar8.yml）是一个自动化构建系统，用于编译 RT-Thread 库文件并自动发布。它会： 🔨 自动编译 IAR 项目 📦 打包生成的文件 🏷️ 创建版本标签 📤 发布到 Gitea 🌿 创建发
gitea
Git Tags 操作指南
git 未读
Git Tags 操作指南
Git Tags 操作指南 Git Tags 是 Git 版本控制系统中的一个重要功能，用于标记特定的提交点，通常用于标记发布版本、里程碑或重要的代码状态。与分支不同，标签是静态的，不会随着新的提交而移动。 什么是 Git Tags Git Tags 是一个指向特定提交的不可变引用，类似于书签。它们
版本控制 Git Tags 发布管理
Git Submodule 完整指南
git 未读
Git Submodule 完整指南
Git Submodule 完整指南 Git Submodule 允许你把一个独立 Git 仓库，作为“子目录引用”放进主仓库（superproject）中。主仓库记录的不是子模块完整内容，而是子模块仓库的一个 commit 指针。 它常用于： 多项目共享公共模块（SDK、UI 组件、基础配置） 主
版本控制 Git Submodule 项目管理
Git Subtree 使用指南
git 未读
Git Subtree 使用指南
Git Subtree 使用指南 概述 Git subtree 是一个强大的工具，允许您将外部仓库作为子目录嵌入到主项目中，同时保持两个仓库的独立性。与 git submodule 不同，subtree 会将外部代码完全复制到主仓库中，使得克隆和分发更加简单。 主要优势 简单分发：克隆主仓库时自动包
git
MATLAB转C代码用于嵌入式开发
嵌入式开发 未读
MATLAB转C代码用于嵌入式开发
MATLAB转C代码用于嵌入式开发 前言 MATLAB是一种广泛应用于科学计算、数据分析和算法开发的高级编程语言。然而，在嵌入式系统中，由于资源限制和实时性要求，通常需要使用C语言进行开发。MATLAB提供了将MATLAB代码转换为C代码的工具，使得开发者可以在嵌入式平台上高效地运行算法。本教程将指
matlab coder
PowerShell在GitHub Actions中的环境变量使用FAQ
网站运维 未读
PowerShell在GitHub Actions中的环境变量使用FAQ
PowerShell在GitHub Actions中的环境变量使用FAQ 🔍 常见问题 Q1: 为什么在PowerShell中 $env:VERSION 是空的？ A: 在同一个PowerShell会话中，环境变量
gitea runner powershell
gitea-FAQ
网站运维 未读
gitea-FAQ
Gitea FAQ 问题：内网 Gitea 使用 Runner 时 Checkout 失败 问题描述 Gitea 部署在内网环境，无法访问外网 Runner 具有内外网访问权限 默认使用 GitHub 拉取仓库不稳定 改为内网使用 checkout 后，由于缓存机制，Runner 仍使用之前拉取的外
gitea runner checkout
你好啊！我是
蒙蒙plus的个人博客
最近发布
Git 清理未跟踪文件
Git 清理未跟踪文件
批量迁移子模块到本仓库
批量迁移子模块到本仓库
MDK Scatter文件配置说明
MDK Scatter文件配置说明
Git多工作区使用指南
Git多工作区使用指南
最新评论
头像
哥哥是不是没写完啊， 缺了函数注释啊， 类似的插件有：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 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
文章数 :
106
访问量 :
13655
建站天数 :
2024-02-20
广告
引用到评论
随便逛逛 博客分类 文章标签