你的浏览器版本过低,可能导致网站不能正常访问!
为了你能正常使用网站功能,请使用这些浏览器。

【严重bug,世界末日】STM32 F4 HAL库 V1.7.2中的非对齐访问

[复制链接]
lymzzyh 发布时间:2018-9-19 17:23
本帖最后由 lymzzyh 于 2018-9-19 17:27 编辑   W, V9 z* M8 ^! C/ _1 A9 N5 J
8 r, t, y! r% s# K0 f) g
库版本V1.7.2  文件 stm32f4xx_hal_sd.c
6 S# X/ O# c9 W4 A3 t; Q5 K行数 503( G+ r3 Q4 C7 ~- m) X( J) h
代码节选:
# [) x& c: a# R$ a
  1. HAL_StatusTypeDef HAL_SD_ReadBlocks(SD_HandleTypeDef *hsd, uint8_t *pData, uint32_t BlockAdd, uint32_t NumberOfBlocks, uint32_t Timeout)
    9 T+ j! E8 Y) I7 f8 \: C
  2. {
    9 m: F4 E% A: ?: X" L* w
  3.   SDIO_DataInitTypeDef config;
    5 @2 s8 o! {" a2 ^
  4.   uint32_t errorstate = HAL_SD_ERROR_NONE;
    8 D3 o0 l) z7 r4 \+ t+ D0 a: B
  5.   uint32_t tickstart = HAL_GetTick();0 Y1 w" O# ^0 D  y; r# H; S: K
  6.   uint32_t count = 0U, *tempbuff = (uint32_t *)pData;
    3 L# g2 }1 ]6 C/ G0 S8 {1 ^4 z( I+ M
  7. /* ......... */
    - v! z" b3 P3 a. U' s; }6 K
  8. *tempbuff = SDIO_ReadFIFO(hsd->Instance);
    ! x6 ^) [, a- C  ~
  9. /* ......... */
    " d9 `! A+ t0 p; j0 x( {$ z
  10. }
    9 ~) u0 W/ b0 D& ]1 |. v
复制代码
bug1: 此处pData 为u8 指针 强转 32位 编译后使用STM指令当pData未4字节对齐时将造成非对齐访问异常。; P. ]( [- ^7 e& _/ G# L3 d, ~
bug2: 若pData未4字节对齐,使用DMA模式时会强行向低地址进行4字节对齐造成向低地址的内存越界。: M* U1 F" l  t# S& s8 H2 ~  S2 Y/ i
注:其中图示代码为bug1所出现的bug点,修复建议:检测对齐,发现未对齐时使用一个32位变量进行数据搬运。/ H" i, P6 T3 v( o9 B0 i7 }
bug2未进行查找错误点 望ST工程师自行查找。
1 Y! [, q7 P, j4 N+ u7 D; s$ l
9 v+ _* _1 y6 R9 K; b& u9 ^! w$ g: S另:对于未知的字节流数据进行非数据等长指针的强制类型转换的这种低级错误发生的ST身上令我等非常失望,希望相关人员(大学生临时工)尽快修复7 W- E" h! f$ _; K. U
收藏 2 评论16 发布时间:2018-9-19 17:23

举报

16个回答
lymzzyh 回答时间:2018-9-19 17:41:24
甩锅三连:别人怎么没问题;是你不会用;真是辣鸡
lymzzyh 回答时间:2018-9-20 09:36:54
stm1024 发表于 2018-9-20 08:30. P3 h) A9 \% T& J: V
还好不是硬件bug,谈不上世界末日,而且这个锅,真的可以甩给编译器。
1 B# U1 B) Z" S. Q8 B, g# m0 v7 U$ F$ I8 L7 V1 s2 Q
不过作为一个库,也确实应该考虑完 ...

  _4 N- ^6 f, ~% z- D不关编译器的事情 指针强转是编译器无法预判是否对齐的 所以只能用STM指令去处理
lymzzyh 回答时间:2018-9-19 19:06:25
浪花雷雨 发表于 2018-9-19 17:50
" I! ^) v+ d0 l% i- i认真三连问:是这样的吗?为什么这样?该改吗?

; p% g, }9 b( Q; [4 o# w4 Y回答三连:是这样的,暴露接口不对,该改
lymzzyh 回答时间:2018-9-19 17:26:30
手工置顶
lymzzyh 回答时间:2018-9-19 17:41:06
否认三连 : 就是这么设计的;不是bug;下个版本再优化
浪花雷雨 回答时间:2018-9-19 17:50:37
认真三连问:是这样的吗?为什么这样?该改吗?
STM1024 回答时间:2018-9-20 08:30:54
还好不是硬件bug,谈不上世界末日,而且这个锅,真的可以甩给编译器。8 G  K6 e* l4 X9 ]0 `  Z& ~& T
( C0 N0 U  Z. Y( K+ Q9 X
不过作为一个库,也确实应该考虑完善一些。

评分

参与人数 1蝴蝶豆 +2 收起 理由
zero99 + 2

查看全部评分

zero99 回答时间:2018-9-20 08:45:30
lymzzyh 发表于 2018-9-19 17:41! B3 R6 S0 X5 H
甩锅三连:别人怎么没问题;是你不会用;真是辣鸡
" z7 c5 J! r) o
淡定一点,骚年
uu799 回答时间:2018-9-20 09:36:47
不用sd卡不就不会触发bug了吗,你真是辣鸡!
lymzzyh 回答时间:2018-9-20 09:37:26
zero99 发表于 2018-9-20 08:45
) o+ s3 X8 \0 K4 p淡定一点,骚年
' n* E; n  Z1 F
不不不 这是防喷手段 我已经帮喷子 喷过我自己了
Mandelbrot_Set 回答时间:2018-9-20 10:19:38
pData实际上是R1,将R1的值复制到栈好像没啥问题...

评分

参与人数 1蝴蝶豆 +2 收起 理由
zero99 + 2

查看全部评分

uu799 回答时间:2018-10-8 14:02:46
同样遇到, 坑了一个国庆,不修天理难容
lymzzyh 回答时间:2018-10-12 15:55:31
uu799 发表于 2018-10-8 14:02
/ p5 e% V  k% J. ]$ B同样遇到, 坑了一个国庆,不修天理难容

( n% N8 _' S, ^- b. m1 D. G到现在都没有FAE现身说法呢
lymzzyh 回答时间:2018-10-12 16:00:29
难道丢一个临时工出来背锅都不愿意的吗
12下一页

所属标签

相似分享

关于意法半导体
我们是谁
投资者关系
意法半导体可持续发展举措
创新和工艺
招聘信息
联系我们
联系ST分支机构
寻找销售人员和分销渠道
社区
媒体中心
活动与培训
隐私策略
隐私策略
Cookies管理
行使您的权利
关注我们
st-img 微信公众号
st-img 手机版