作者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/m.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