ios – Objective-C cpu缓存行为

Apple提供了一些关于同步变量,甚至执行顺序的文档.我看不到有关CPU缓存行为的任何文档. Objective-C开发人员有什么保证和控制来确保线程之间的缓存一致性？

考虑下面的一个变量在后台线程上设置,但在主线程上读取：

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缓存行为.

解决方法

我知道你可能会问一下在线程中使用变量的一般情况(在这种情况下,关于使用volatile和锁的规则与ObjC相同,与普通C相同).但是,对于您发布的示例代码,规则有所不同. (我将跳过并简化事情,并使用Xcode来表示Xcode和编译器)

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)应该意味着你避免在另一个线程上写入时读取值的可能性.更多关于原子和非动态的信息在this question的答案.

ios – Objective-C cpu缓存行为

解决方法

相关推荐