互动
最近评论
其乐融融弗雷德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
文章
分支保护 1 权限 1 迁移 1 SVN 1 Pull Request 1 合并 1 代码评审 1 缺陷跟踪 1 需求管理 1 Issue 1 组件库 1 CI/CD 1 嵌入式 1 子模块 1 fixup 1 rebase 1 squash 1 预处理器 1 clean 1 submodule 1 scanf 1 clang-format 1 xargs 1 代码生成 1 宏 2 printf 1 格式化字符串 2 Tags 1 发布管理 1 项目管理 1 Git 3 Submodule 1 Keil 1 开发工具 1 matlab 1 coder 1 powershell 1 checkout 1 runner 2 gitea 8 仓库 2 action 0 单元测试 2 xfce 1 nmap 1 truncate 1 rsync 1 e2label 1 LABEL 0 exfat 1 linux 0 uart 1 modbus 1 tableview 1 font 1 version 1 rt-thread 1 IAP 2 单片机 1 lvm 4 C语言 9 UI 1 网盘 1 rtthread 1 lvgl 4 MDK 2 efsm 1 ecs 1 端口转发 1 vscode 2 proxy 1 OpenResty 2 1Panel 4 fifo 1 sspi 1 自启 1 iar 3 docker 1 版本控制 5 git 10 软件 1 Halo 1
Gitea 仓库与成员管理
项目管理工程协作 未读
Gitea 仓库与成员管理
Gitea 仓库与成员管理 本文为大纲，可根据公司实际 Gitea 界面补充操作步骤与截图。 目标 在 Gitea 中创建仓库（个人或组织下） 管理仓库成员、权限与基本设置 大纲 创建仓库 入口：个人/组织页 → 新建仓库。 必填：仓库名称、可见性（公开/有限/私有）、是否初始化 README/ .
gitea 仓库 权限 分支保护
SVN 项目迁移至 Git（Gitea）
项目管理工程协作 未读
SVN 项目迁移至 Git（Gitea）
现有项目代码 SVN 迁移到 Git 目标 将现有的 SVN 仓库管理方式迁移到 Gitea 中。 用 Gitea 补上 SVN 在日常开发中的短板。 前言 目前公司产品代码主要用 SVN 管理，更多是作为测试版本归档点使用： 测试通过的版本打一个版本号，整体打包后上传到 SVN。 版本之间的具体改
gitea Git SVN 迁移
Gitea PR（合并请求）操作
项目管理工程协作 未读
Gitea PR（合并请求）操作
Gitea PR（合并请求）操作 本文为大纲，可根据公司实际流程补充步骤与截图。 目标 会创建 PR、填写说明、关联 Issue 会评审、讨论、合并或关闭 PR 大纲 何时用 PR 功能分支开发完成后，将代码合并进目标分支（如 main/develop）前，先提 PR，便于评审与记录。 修复BUG,
gitea Pull Request 代码评审 合并
Gitea Issue（工单）操作
项目管理工程协作 未读
Gitea Issue（工单）操作
Gitea Issue（工单）操作 本文为大纲，可根据公司实际使用习惯补充。 目标 会用 Issue 记录 bug、需求、任务 会通过 PR 关联 Issue，实现「提交关闭工单」 大纲 Issue 的用途 Bug 报告、功能需求、任务分配、讨论决策记录。 创建与填写 仓库页 → Issues →
gitea Issue 需求管理 缺陷跟踪
Gitea 组件仓库设计指南
项目管理工程协作 未读
Gitea 组件仓库设计指南
Gitea 组件仓库设计指南 目标 了解组件仓库的设计原则 掌握组件仓库的创建和管理 大纲 组件仓库设计原则 组件仓库创建和管理 组件仓库使用 1. 组件仓库设计原则 组件仓库名称必须符合组织内的仓库命名要求 名称不能重
gitea 组件库 子模块 CI/CD 嵌入式
IAR 8 自动构建工作流使用文档
网站运维 未读
IAR 8 自动构建工作流使用文档
RT-Thread IAR 8 自动构建工作流使用文档 📋 概述 这个工作流（build-iar8.yml）是一个自动化构建系统，用于编译 RT-Thread 库文件并自动发布。它会： 🔨 自动编译 IAR 项目 📦 打包生成的文件 🏷️ 创建版本标签 📤 发布到 Gitea 🌿 创建发
gitea
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的个人博客
最新评论
头像
哥哥是不是没写完啊， 缺了函数注释啊， 类似的插件有：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；
文档阅读者 /
最近发布
Gitea 仓库与成员管理
Gitea 仓库与成员管理
SVN 项目迁移至 Git（Gitea）
SVN 项目迁移至 Git（Gitea）
Gitea PR（合并请求）操作
Gitea PR（合并请求）操作
Gitea Issue（工单）操作
Gitea Issue（工单）操作
分类
引用到评论
随便逛逛 博客分类 文章标签