[問題] volatile和multi-thread 的觀念問題
一直對volatile沒有很明確知道用途
查一些資料 多半都是舉例用volatile讓compiler不會對他最佳化 讓他不要拿cache數值
但這實在有點抽象, 實際上如果要使用 有沒有更具體一點的使用情境呢?
之前有聽到一個說法 想請問各位是否有錯
假設有個global變數 int a;
兩條thread都會去r/w這個a
假設我能確定這兩個thread執行的時候完全是互斥(我沒有用任何sync手段)
如
int a;
int main(){
a = 1;
std::thread t([](){cout<<a<<endl;};
}
乍看這兩條thread絕對無overlap
但我是不是也不能保證取得的a 值是正確的?
如果不能保證
是不是volatile int a;就能解這個問題?
另外就是如果我用mutex來手動讓它互斥, 為什麼就能保證取得的值正確呢?
如果我土炮寫一個 spin lock來做互斥(沒有使用系統提供任何API單純while spin)
是不是也可能沒辦法保證能解決"取得正確的值"這件事(非要使用系統的api才能?)
如果以上觀念大致正確,
是不是之後看到有人寫code 沒有用mutex or atomic 而是說
這兩條thread不會同時執行, 這講法本身就是有破綻的"嗎
以上是我的盲點, 請各位給一點關鍵字讓我可以去搜尋一下
建立一下觀念
或是給予一些指證
謝謝
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 180.218.202.250
※ 文章網址: https://www.ptt.cc/bbs/C_and_CPP/M.1505753032.A.DF7.html
※ 編輯: dreamboat66 (180.218.202.250), 09/19/2017 00:52:58
推
09/19 01:06, , 1F
09/19 01:06, 1F
→
09/19 01:06, , 2F
09/19 01:06, 2F
→
09/19 01:06, , 3F
09/19 01:06, 3F
推
09/19 02:16, , 4F
09/19 02:16, 4F
推
09/19 06:41, , 5F
09/19 06:41, 5F
→
09/19 06:41, , 6F
09/19 06:41, 6F
→
09/19 06:41, , 7F
09/19 06:41, 7F
推
09/19 10:47, , 8F
09/19 10:47, 8F
→
09/19 10:47, , 9F
09/19 10:47, 9F
推
09/19 12:01, , 10F
09/19 12:01, 10F
推
09/19 12:03, , 11F
09/19 12:03, 11F
推
09/19 12:06, , 12F
09/19 12:06, 12F
→
09/19 12:06, , 13F
09/19 12:06, 13F
→
09/19 12:37, , 14F
09/19 12:37, 14F
推
09/23 22:49, , 15F
09/23 22:49, 15F