作者loach98 (银货两讫)
看板Linux
标题[问题] barrier相关问题
时间Tue Jul 12 15:04:21 2016
开发平台(Platform): (Ex: VC++, GCC, Linux, ...)
Linux-3.18 @ ARMv8 CPU
额外使用到的函数库(Library Used): (Ex: OpenGL, ...)
X
问题(Question)：
大家好, 最近在研究barrier, 搜寻之後好像没找到相近的讨论串, 想请教一点问题..
在linux-3.18/arch/arm64/include/asm/io.h里面
看到它对
readl/
writel的定义:
/*
* I/O memory access primitives. Reads are ordered relative to any
* following Normal memory access. Writes are ordered relative to any prior
* Normal memory access.
*/
#define readl(c) ({ u32 __v = readl_relaxed(c); __iormb(); __v; })
#define writel(v,c) ({ __iowmb(); writel_relaxed((v),(c)); })
readl这边感觉比较好理解, 在__v承接readl_relaxed的return value之後,
卡一个read的barrier, 然後才return __v出来,
所以能确保最後的__v真的是得到从最後一级所传回来的data
(假设中间的interconnect不会提前做response或把自己cache里的东西传回来)
但是writel这边, 它在执行writel_relaxed之前就先卡了个write barrier,
那我在呼叫这个macro之後,
也只能确保这个write被执行之前, 前面的write跟这个write是区隔开的,
但是不能确保这个write已经被执行完成了, 不是吗?
这边我越看越觉得困惑...
发文若有不妥恳请提醒, 也恳请大大帮忙解惑, 感激
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 59.124.166.19
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Linux/M.1468307064.A.89E.html
1F：→ withoutshine: writel的barrier应该是为了保证v,c 的assign 出现在 07/12 21:30
2F：→ withoutshine: writel_relaxed之前 07/12 21:30
我找了一段code, 使用asdk64-elf-objdump来deassembly:
xxx_REG_WRITE(Data1.wrd, Addr);
#define
xxx_REG_WRITE(data, addr)
xx_REG_WRITE(data, addr)
#define
xx_REG_WRITE(REG_DATA, REG_ADDR)
writel(REG_DATA, REG_ADDR)
#define
writel(v,c) ({
__iowmb();
writel_relaxed((v),(c)); })
deassembly得出的结果, (以我的理解)看起来barrier是卡在最前面 @_@:
xxx_REG_WRITE(Data1.wrd, Addr);
1c70: d5033e9f dsb st
1c74: f9400020 ldr x0, [x1]
1c78: b94023a2 ldr w2, [x29,#32]
1c7c: 91400400 add x0, x0, #0x1, lsl #12
1c80: 91103000 add x0, x0, #0x40c
asm volatile("strh %w0, [%1]" : : "r" (val), "r" (addr));
----
顺便把问题丢上ARM forum求救... Q_Q
https://community.arm.com/message/37667#37667
※ 编辑: loach98 (59.124.166.19), 07/18/2016 20:37:19
3F：推 yvb: kernel Documentation/memory-barriers.txt 07/20 14:49