草庐IT

聊聊数据溢出的事

Fireflycjd 2023-03-28 原文

1、前言

直接看代码

uint32_t Time_Interval()
{
  static uint32_t old_time_tick;
  uint32_t data;
  data = sys_time_tick_ms - old_time_tick;
  old_time_tick = sys_time_tick_ms;
  return data;
}

上述代码,sys_time_tick_ms每隔1ms自动加1,Time_Interval函数的作用是的,计算上一次调用Time_Interval和下一次调用的时间差,单位ms。

在这里存在一个风险,就是sys_time_tick_ms到达最大值后会溢出,会变成0。所以之前的代码我的习惯是先判断一下sys_time_tick_ms和old_time_tick的大小关系。

uint32_t Time_Interval()
{
  static uint32_t old_time_tick;
  uint32_t data;
  if(sys_time_tick_ms > old_time_tick)
    data = sys_time_tick_ms - old_time_tick;
  else
    data = sys_time_tick_ms + (0xFFFFFFFF - old_time_tick);
  old_time_tick = sys_time_tick_ms;
  return data;
}

然而一次和同事交流的时候,我意识到其实不用这么做的,sys_time_tick_ms直接减去old_time_tick就行。如下代码

  sys_time_tick_ms = 0xFFFFFFFF - 2;
  old_time_tick = sys_time_tick_ms;
  sys_time_tick_ms++;
  data = sys_time_tick_ms-old_time_tick;
  printf("sys_time_tick_ms:%x  data:%d\r\n",sys_time_tick_ms,data);
  sys_time_tick_ms++;
  data = sys_time_tick_ms-old_time_tick;
  printf("sys_time_tick_ms:%x  data:%d\r\n",sys_time_tick_ms,data);
  sys_time_tick_ms++;
  data = sys_time_tick_ms-old_time_tick;
  printf("sys_time_tick_ms:%x  data:%d\r\n",sys_time_tick_ms,data);
  sys_time_tick_ms++;
  data = sys_time_tick_ms-old_time_tick;
  printf("sys_time_tick_ms:%x  data:%d\r\n",sys_time_tick_ms,data);
  sys_time_tick_ms++;
  data = sys_time_tick_ms-old_time_tick;
  printf("sys_time_tick_ms:%x  data:%d\r\n",sys_time_tick_ms,data);

具体打印如下

sys_time_tick_ms:fffffffe  data:1
sys_time_tick_ms:ffffffff  data:2
sys_time_tick_ms:0  data:3
sys_time_tick_ms:1  data:4
sys_time_tick_ms:2  data:5

可以看出,这种情况下,即使sys_time_tick_ms溢出,也不影响正常功能的。

如果你很明白这个问题,大佬可以出门左转了,这篇文章会浪费你的时间的。

2、无符号减法的本质

注意:本文只讨论无符号的减法,有符号和其他数据类型本人没有深究。

在计算机中,无符号的减法运算是通过补码来进行的,比如a-b,实质上是a补 + (-b补)。补码的定义不懂的同学请自行百度。

uint32_t a,b,c;
a=5;
b=10;
c=a-b;
printf("c:%x\r\n",c);

打印如下
c:fffffffb这个是我们上面结论的简单例子,将这个减法手动模拟一下,就方便理解了5的原码: 00000000 | 00000000 | 00000000 | 0000010110的原码:00000000 | 00000000 | 00000000 | 00001010

5的补码: 00000000 | 00000000 | 00000000 | 00000101

-10的补码:11111111 | 11111111 | 11111111 | 11110110

(5)补 + (-10)补 = 00000000  00000000  00000000  00000101 + 11111111  11111111  11111111  11110110

结果就是fffffffb

3、总结

发现这个合法的操作,能更加深入的了解无符号的加法操作。但是这种操作还是要慎重,我的测试环境是IAR7.2,建议大家使用时先测试一下,还是要谨慎的,别因为这个问题"捅了娄子"。

除了需要在开发环境中测试一下外,还需要额外的备注如下‍

uint32_t Time_Interval()
{
  static uint32_t old_time_tick;
  uint32_t data;
  data = sys_time_tick_ms - old_time_tick;//数据溢出后,由于无符号减法特性,也不会出问题
  old_time_tick = sys_time_tick_ms;
  return data;
}

建议加上这样的注释,方便其他人维护,代码清晰易读。就像switch语句,合并处理某些情况是,最好添加备注。

switch (data){
  case:0
  case:1//0和1情况一样,合并处理
    /*do some thing*/
    break;
  case:2
    /*do some thing*/
    break;
  default:
    break;
}

总结两点:

1、测试对应开发环境下是否有问题

2、养成良好习惯,写清楚注释

 

点击查看本文所在的专辑:C语言进阶专辑

有关聊聊数据溢出的事的更多相关文章

  1. ruby - 解析 RDFa、微数据等的最佳方式是什么,使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作,但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式,例如使用这个yaml文件,它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  2. ruby - Ruby 有 `Pair` 数据类型吗? - 2

    有时我需要处理键/值数据。我不喜欢使用数组,因为它们在大小上没有限制(很容易不小心添加超过2个项目,而且您最终需要稍后验证大小)。此外,0和1的索引变成了魔数(MagicNumber),并且在传达含义方面做得很差(“当我说0时,我的意思是head...”)。散列也不合适,因为可能会不小心添加额外的条目。我写了下面的类来解决这个问题:classPairattr_accessor:head,:taildefinitialize(h,t)@head,@tail=h,tendend它工作得很好并且解决了问题,但我很想知道:Ruby标准库是否已经带有这样一个类? 最佳

  3. ruby - 我如何添加二进制数据来遏制 POST - 2

    我正在尝试使用Curbgem执行以下POST以解析云curl-XPOST\-H"X-Parse-Application-Id:PARSE_APP_ID"\-H"X-Parse-REST-API-Key:PARSE_API_KEY"\-H"Content-Type:image/jpeg"\--data-binary'@myPicture.jpg'\https://api.parse.com/1/files/pic.jpg用这个:curl=Curl::Easy.new("https://api.parse.com/1/files/lion.jpg")curl.multipart_form_

  4. 世界前沿3D开发引擎HOOPS全面讲解——集3D数据读取、3D图形渲染、3D数据发布于一体的全新3D应用开发工具 - 2

    无论您是想搭建桌面端、WEB端或者移动端APP应用,HOOPSPlatform组件都可以为您提供弹性的3D集成架构,同时,由工业领域3D技术专家组成的HOOPS技术团队也能为您提供技术支持服务。如果您的客户期望有一种在多个平台(桌面/WEB/APP,而且某些客户端是“瘦”客户端)快速、方便地将数据接入到3D应用系统的解决方案,并且当访问数据时,在各个平台上的性能和用户体验保持一致,HOOPSPlatform将帮助您完成。利用HOOPSPlatform,您可以开发在任何环境下的3D基础应用架构。HOOPSPlatform可以帮您打造3D创新型产品,HOOPSSDK包含的技术有:快速且准确的CAD

  5. FOHEART H1数据手套驱动Optitrack光学动捕双手运动(Unity3D) - 2

    本教程将在Unity3D中混合Optitrack与数据手套的数据流,在人体运动的基础上,添加双手手指部分的运动。双手手背的角度仍由Optitrack提供,数据手套提供双手手指的角度。 01  客户端软件分别安装MotiveBody与MotionVenus并校准人体与数据手套。MotiveBodyMotionVenus数据手套使用、校准流程参照:https://gitee.com/foheart_1/foheart-h1-data-summary.git02  数据转发打开MotiveBody软件的Streaming,开始向Unity3D广播数据;MotionVenus中设置->选项选择Unit

  6. 使用canal同步MySQL数据到ES - 2

    文章目录一、概述简介原理模块二、配置Mysql使用版本环境要求1.操作系统2.mysql要求三、配置canal-server离线下载在线下载上传解压修改配置单机配置集群配置分库分表配置1.修改全局配置2.实例配置垂直分库水平分库3.修改group-instance.xml4.启动监听四、配置canal-adapter1修改启动配置2配置映射文件3启动ES数据同步查询所有订阅同步数据同步开关启动4.验证五、配置canal-admin一、概述简介canal是Alibaba旗下的一款开源项目,Java开发。基于数据库增量日志解析,提供增量数据订阅&消费。Git地址:https://github.co

  7. ruby-on-rails - 创建 ruby​​ 数据库时惰性符号绑定(bind)失败 - 2

    我正在尝试在Rails上安装ruby​​,到目前为止一切都已安装,但是当我尝试使用rakedb:create创建数据库时,我收到一个奇怪的错误:dyld:lazysymbolbindingfailed:Symbolnotfound:_mysql_get_client_infoReferencedfrom:/Library/Ruby/Gems/1.8/gems/mysql2-0.3.11/lib/mysql2/mysql2.bundleExpectedin:flatnamespacedyld:Symbolnotfound:_mysql_get_client_infoReferencedf

  8. STM32读取串口传感器数据(颗粒物传感器,主动上传) - 2

    文章目录1.开发板选择*用到的资源2.串口通信(个人理解)3.代码分析(注释比较详细)1.主函数2.串口1配置3.串口2配置以及中断函数4.注意问题5.源码链接1.开发板选择我用的是STM32F103RCT6的板子,不过代码大概在F103系列的板子上都可以运行,我试过在野火103的霸道板上也可以,主要看一下串口对应的引脚一不一样就行了,不一样的就更改一下。*用到的资源keil5软件这里用到了两个串口资源,采集数据一个,串口通信一个,板子对应引脚如下:串口1,TX:PA9,RX:PA10串口2,TX:PA2,RX:PA32.串口通信(个人理解)我就从串口采集传感器数据这个过程说一下我自己的理解,

  9. SPI接收数据异常问题总结 - 2

    SPI接收数据左移一位问题目录SPI接收数据左移一位问题一、问题描述二、问题分析三、探究原理四、经验总结最近在工作在学习调试SPI的过程中遇到一个问题——接收数据整体向左移了一位(1bit)。SPI数据收发是数据交换,因此接收数据时从第二个字节开始才是有效数据,也就是数据整体向右移一个字节(1byte)。请教前辈之后也没有得到解决,通过在网上查阅前人经验终于解决问题,所以写一个避坑经验总结。实际背景:MCU与一款芯片使用spi通信,MCU作为主机,芯片作为从机。这款芯片采用的是它规定的六线SPI,多了两根线:RDY和INT,这样从机就可以主动请求主机给主机发送数据了。一、问题描述根据从机芯片手

  10. 微信小程序通过字典表匹配对应数据 - 2

    前言一般来说,前端根据后台返回code码展示对应内容只需要在前台判断code值展示对应的内容即可,但要是匹配的code码比较多或者多个页面用到时,为了便于后期维护,后台就会使用字典表让前端匹配,下面我将在微信小程序中通过wxs的方法实现这个操作。为什么要使用wxs?{{method(a,b)}}可以看到,上述代码是一个调用方法传值的操作,在vue中很常见,多用于数据之间的转换,但由于微信小程序诸多限制的原因,你并不能优雅的这样操作,可能有人会说,为什么不用if判断实现呢?但是if判断的局限性在于如果存在数据量过大时,大量重复性操作和if判断会让你的代码显得异常冗余。wxswxs相当于是一个独立

随机推荐