一直對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不會同時執行, 這講法本身就是有破綻的"嗎
以上是我的盲點, 請各位給一點關鍵字讓我可以去搜尋一下
建立一下觀念
或是給予一些指證
謝謝