[問題] barrier相關問題

看板Linux作者 (銀貨兩訖)時間9年前 (2016/07/12 15:04), 9年前編輯推噓1(102)
留言3則, 2人參與, 最新討論串1/1
開發平台(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://www.ptt.cc/bbs/Linux/M.1468307064.A.89E.html

07/12 21:30, , 1F
writel的barrier應該是為了保證v,c 的assign 出現在
07/12 21:30, 1F

07/12 21:30, , 2F
writel_relaxed之前
07/12 21:30, 2F
我找了一段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

07/20 14:49, , 3F
kernel Documentation/memory-barriers.txt
07/20 14:49, 3F
文章代碼(AID): #1NX9PuYU (Linux)