作者dreamboat66 (小嫩)
看板C_and_CPP
标题[问题] volatile和multi-thread 的观念问题
时间Tue Sep 19 00:43:50 2017
一直对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://webptt.com/cn.aspx?n=bbs/C_and_CPP/M.1505753032.A.DF7.html
※ 编辑: dreamboat66 (180.218.202.250), 09/19/2017 00:52:58
1F：推 super6602: volitile跟mutex应该没关系吧 volitile是强迫一定要对 09/19 01:06
2F：→ super6602: 该mem操作 否则在a=1；while(a)时 complier就认定恒为t 09/19 01:06
3F：→ super6602: rue就优化掉了 09/19 01:06
4F：推 steve1012: 你要不要说一下你怎麽用 mutex? 09/19 02:16
5F：推 sorryla: volatile是用在如果该记忆体可能被外部更改(硬体 etc)， 09/19 06:41
6F：→ sorryla: 我们必须确定我们取到的是确实的值，而非可能被优化的值 09/19 06:41
7F：→ sorryla: 。 09/19 06:41
8F：推 littleshan: 因为标准语焉不详，volatile并不保证thread safety 09/19 10:47
10F：推 james732: volatile跟atomic应该是两回事？ 09/19 12:01
11F：推 Raymond0710: volatile mutex atomic 是不同的意思 09/19 12:03
12F：推 chuegou: 一个是让cpu里的运算暂存跟记忆体同步 09/19 12:06
13F：→ chuegou: 一个是让记忆体里的资料在某段不要被其他执行绪改到 09/19 12:06
15F：推 jasonkey123: volitile在mcu下用的比较多 09/23 22:49