考虑下面的一个变量在后台线程上设置,但在主线程上读取:
self.count = 0; dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_HIGH,0),^ { self.count = 5; dispatch_async(dispatch_get_main_queue(),^{ NSLog(@"%i",self.count); }); }
在这种情况下应该是不稳定的吗?
更新1
Inter-thread Communication中的文档保证共享变量可以用于线程间通信.
Another simple way to communicate information between two threads is to use a global variable,shared object,or shared block of memory.
在这种情况下,这是否不是必需的?这与Memory Barriers and Volatile Variables中的文档冲突:
If the variable is visible from another thread however,such an optimization might prevent the other thread from noticing any changes to it. Applying the volatile keyword to a variable forces the compiler to load that variable from memory each time it is used.
所以我仍然不知道是否需要volatile,因为编译器可以使用寄存器缓存优化,或者它不是必需的,因为编译器不知何故知道它是一个“共享”的东西.
文档不是很清楚共享变量是什么或编译器如何知道它.在上面的例子中,是否计算共享对象?假设count是一个int,那么它不是一个对象.它是一个共享的内存块,还是仅适用于__block声明的变量?对于非块,非对象,非全局共享变量,也许需要volatile.
更新2
大家认为这是一个关于同步的问题,不是.这是关于iOS平台上的cpu缓存行为.
解决方法
self.count = 0; dispatch_async(dispatch_get_global_queue(DISPATCH_QUEUE_PRIORITY_HIGH,self.count); }); }
我要假设self是一个NSObject子类,如下所示:
@interface MyClass : NSObject { NSInteger something; } @property (nonatomic,assign) NSInteger count; @end
目标C是C的超集,如果你曾经做过任何ObjC的逆向工程,你会知道在编译之前,ObjC代码(不一样的)被转换成C代码.所有[self方法:object]调用被转换为objc_msgSend(self,“method:”,object)调用,self是一个带有ivars和其他运行时信息的C结构体.
这意味着这段代码并不完美.
-(void)doThing{ NSInteger results = something + self.count; }
只是访问某些东西不仅仅是访问变量,而是做自我>某事(这就是为什么在访问Objective C块中访问ivar时需要获得弱自身的参考,以避免保留循环).
第二点是Objective C属性并不存在. self.count变成[self count],self.count = 5变成[self setCount:5].目标C属性只是语法糖;方便的保存一些打字,使东西看起来更好一些.
如果您在几年以前一直使用Objective C,您将记得何时必须将@synthesize propertyName = _ivarName添加到您在标题中声明的ObjC属性的@implementation. (现在Xcode自动为您)
@synthesize是Xcode为您生成setter和getter方法的触发器. (如果你没有写@synthesize Xcode,希望你自己写setter和getter)
// Auto generated code you never see unless you reverse engineer the compiled binary -(void)setCount:(NSInteger)count{ _count = count; } -(NSInteger)count{ return _count; }
如果你担心线程问题与self.count,你担心2个线程一次调用这些方法(不直接直接访问相同的变量,因为self.count实际上是一个方法调用不是一个变量).
标题中的属性定义会更改生成的代码(除非您自己实现setter).
@property (nonatomic,retain) [_count release]; [count retain]; _count = count; @property (nonatomic,copy) [_count release]; _count = [count copy]; @property (nonatomic,assign) _count = count;
TLDR
如果你关心线程,并且要确保你不会通过在另一个线程上发生写入的方式读取值,然后将非原子变为原子(或者摆脱非原子,因为原子是默认的).这将导致代码生成这样的东西.
@property (atomic,assign) NSInteger count; // setter @synchronized(self) { _count = count; }
这不能保证你的代码是线程安全的,但是(只要你只访问属性视图它是setter和getter)应该意味着你避免在另一个线程上写入时读取值的可能性.更多关于原子和非动态的信息在@L_301_2@的答案.