barrier相關問題 - Linux

開發平台(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已經被執行完成了, 不是嗎?

這邊我越看越覺得困惑...

發文若有不妥懇請提醒, 也懇請大大幫忙解惑, 感激

--