互动

最近评论

哥哥是不是没写完啊，缺了函数注释啊，类似的插件有：FileComments。

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 自动清理远端不存在的分支

蒙蒙plus 字数: 399 阅读耗时: 0 分钟 2024/08/22 2024/08/22 博客独享热度: 32 评论: 0

本文最后更新于 2024-08-22，文章好久没更新了。

git 自动清理远端不存在的分支

git remote prune origin

用如下命令查看远程仓库信息：

git remote show origin

查看所有分支

git branch --all

打赏作者

感谢你赐予我前进的力量

微信
支付宝

赞赏者名单

因为你们的支持让我意识到写文章的价值🙏

原创 git 自动清理远端不存在的分支

git 自动清理远端不存在的分支

本文是原创文章，采用 CC BY-NC-ND 4.0 协议，完整转载请注明来自蒙蒙plus

阅读建议

check单元测试

cherry-pick挑拣提交

Git 约定式提交（Conventional Commits）

git commit 自动更新版本号

git-flow工作流

评论

匿名评论隐私政策

你无需删除空行，直接评论以获取最佳展示效果

最近发布

控制台logo 2025-03-25 17:24:07

vscode 生成标准化注释 2025-03-05 10:08:36

check单元测试 2025-03-02 20:33:25

check 单元测试框架 2025-03-02 20:29:08