[討論] volatile在不同環境下的作用

看板C_and_CPP (C/C++)作者hizuki (入贅桧月家，我妻彩花)時間2年前 (2021/06/17 14:07)推噓2(2推 0噓 7→)

留言9則, 3人參與討論串1/1

這是之前我在面試的時候遇到的奇怪問題，當時回答的不好，只回答了「這個是避免編譯器幫你省讀取，但是不保證多輕量行程的同時存取同步」要我舉例什麼時候有用到，我雖然指出有的時候類似poll()或者loop的時候會用來保護某些用來存hardware讀上來的flag，但是現代編譯器會很避免這種問題了。我這些年在linux kernel中是很少看見了，因爲io remap的記憶體位置是non cache的，非要涉及與cache有關係的，我好像更常用RW barrier。現在才看到這篇文章，原來在Linux kernel是看不到使用volatile的了 https://lwn.net/Articles/233479/ 雖然後來無事入職了，但是我個人對這種很吃編譯環境的題目很感冒，覺得什麼年代的問題都會拿出來問(這位面試官還問了類似問題)，我又不好給出完全否定的答案，萬一面試官不知道這樣的變更怎麼辦。我後來查驗了Gstreamer的代碼，除了那些使用asm或者orc的代碼外，好像都沒有看見在用volatile了。應該現代GCC和CLANG都是可以正確應對這部分問題了。而對於MCU來講，Keli C或者IAR C這些編譯器倒是會根據volatile作出蠻奇怪的反映的。很多MCU platform上對registers的存取都是通過一個C variable進行的，有這樣的行爲倒是一點都不奇怪。而某些使用GCC的可能也會被過度優化，造成沒有進行改有讀取作業。文章中有特別註明這裏和kernel中的不同：『But, within the kernel, I/O memory accesses are always done through accessor functions; accessing I/O memory directly through pointers is frowned upon and does not work on all architectures.』不過我是蠻懷疑在kernel當中使用devm_ioremap_resource()的情況，算不算直接使用pointer訪問。個人倒是不清楚DSP用C compiler會不會有這種問題。 -- 你比較喜歡哪一個? 當年不是黨國大老但是被江浙財團捧紅的中國帥哥跟同樣擁兵一方的諸侯約會裁軍結果半途諸侯們爽約，平常有在寫日記的莊嚴男人開始發飆在旁邊讀著荒漠甘泉冷眼旁觀看著薔薇戰爭的人，為了中國的事情爭吵別國調侃是不是中國總統，義正詞嚴的說著我是民族的燈塔的威嚴老先生 -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 192.147.44.15 (美國) ※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1623910078.A.608.html ※ 編輯: hizuki (192.147.44.15 美國), 06/17/2021 14:20:58

推

TeaEEE

06/17 17:11, 2年前 , 1^F

06/17 17:11, 1^F

其實編譯器可以不理會的，但是能優化不優化是自己給自己不爽？

推

chuegou

06/17 21:14, 2年前 , 2^F

06/17 21:14, 2^F

atomic operator都是一個指令，不要loop就沒有什麼問題

→

Lipraxde