为什么用户空间程序不用考虑内存屏障？

smalloc

回复 24# zylthinking


    这种程序员不够格写多线程程序吧

smalloc

LZ不懂多线程编程，建议好好看看 POSIX多线程程序设计 这书。
另你这段程序有问题，没有判断malloc是否成功就设置了变量。从而造成了标志和分配内存的2个事务的不相关性。不相关或独立性才是乱序之根源。
你做一个判断再设置标志看看CPU还能乱序不？
可以这样理解。C语言在语句上单参考系的顺序模型。但处理器因为乱序却有可能改变这种序。但在数据相关性和逻辑相关性下还是保证序的。

smalloc

回复 44# asuka2001


    我也是这个意思。我只认为加上判断是解决A的数据依存问题，并没说能在B就获得标志和buf同步，确切的说在B接受的信息和A不是同一参考系。一个buf一个标志都从A传到B，谁先传到B本来就是不确切的，只有锁才会在各种条件下都保证一致。