互动

最近评论

哥哥是不是没写完啊，缺了函数注释啊，类似的插件有：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；

标签

寻找感兴趣的领域

文章

微信
支付宝

原创网站运维

jumpserver堡垒机

蒙蒙plus 字数: 405 阅读耗时: 1 分钟 2024/03/13 2024/03/13 博客独享热度: 31 评论: 0

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

jumpserver堡垒机

JumpServer 堡垒机帮助企业以更安全的方式管控和登录各种类型的资产。

参考链接

官网 https://www.jumpserver.org/
官网视频 https://www.bilibili.com/video/BV1524y1N7er

打赏作者

感谢你赐予我前进的力量

微信
支付宝

赞赏者名单

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

原创 jumpserver堡垒机

jumpserver堡垒机

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

阅读建议

电脑单网口双IP实现方式

lvm lv使用手册

lvm vg操作手册

lvm pv操作手册

lvm让Linux磁盘空间的弹性管理

评论

匿名评论隐私政策

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

最近发布

控制台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