iOS多线程编程:线程同步总结

1:原子操作 - OSAtomic系列函数

iOS平台下的原子操作函数都以OSAtomic开头,使用时需要包含头文件。不同线程如果通过原子操作函数对同一变量进行操作,可以保证一个线程的操作不会影响到其他线程内对此变量的操作,因为这些操作都是原子式的。因为原子操作只能对内置类型进行操作,所以原子操作能够同步的线程只能位于同一个进程的地址空间内。

2:锁 - NSLock系列对象

iOS平台下的锁对象为NSLock对象,进入锁通过调用lock函数,解锁调用unlock函数(因为iOS中大部分的线程同步类都继承自NSLocking协议,所以其加锁/解锁的操作基本都为lock/unlock函数),同一个NSLock对象成功调用lock函数后,在其显式unlock之前任何线程都不能再对此NSLock对象加锁,以达到互斥访问的目的。除了lock函数,对NSLock加锁的函数还包括tryLock以及lockBeforeDate函数,lock函数在成功加锁之间会一直阻塞,而tryLock会尝试加锁,如果不成功,不会阻塞,而是直接返回NO,lockBeforeDate则是阻塞到传入的NSDate日期为止。

除了NSLock,iOS还提供了NSRecursive、NSConditionLock类型的锁类型。NSRecursive与NSLock最大的区别就是NSRecursive是可重入的,也就是说一个线程可以对一个NSRecursive对象多次调用lock,只要解锁时调用相同次数的unlock函数便可。NSConditionLock是一种带有条件的锁对象,除了基本的lock与unlock函数,还提供了lockWithCondition以及unlockWithCondition,这两个函数接收整型类型的数据作为参数,只有当一个unlockWithCondition对象被调用时,对应的lockWithCondition才会正常返回。这种机制在需几多个线程顺序化的完成某个任务时比较有用,例程如下:

//线程A
id condLock = [[NSConditionLock alloc] initWithCondition:NO_DATA];
 
while(true)
{
    [condLock lock];
    /* Add data to the queue. */
    [condLock unlockWithCondition:HAS_DATA];
}

//线程B
while (true)
{
    [condLock lockWhenCondition:HAS_DATA];
    /* Remove data from the queue. */
    [condLock unlockWithCondition:(isEmpty ? NO_DATA : HAS_DATA)];
 
    // Process the data locally.
}

除了显示的生成NSLock系列对象,还可以通过将代码放到@synchronized内来达到同步的目的,一段放入其内的代码,不同的线程是不能重入的例如:

- (void)myMethod:(id)anObj
{
    @synchronized(anObj)
    {
        //此处代码在同一时刻只能有一个线程执行.
    }
}

NSLock系列对象都是可以具名的,也就是说,这些对象可以用于不同进程内部的线程的同步。

3:事件 - NSCondtion

NSConditon类型提供了wait与signal函数,分别代表了等待事件的操作以及触发事件的操作。除了wait函数,NSCondition还提供了waitUntilDate函数,其功能与NSLock中的lockBeforeDate大致相同,简要来说就是提供了一个带超时的wait函数。

虽然NSCondition与Windows环境下Event类型所完成的功能大致类似,但对一个熟悉Event类型的开发人员来说,NSConditon的行为会有点奇怪:

第一点:因为遵循NSLocking协议,所以NSCondition在触发与等待过程的前后要分别调用lock与unlock函数,前面提到过,当一个遵循NSLocking协议的对象调用lock后,其他的对此对象的lock调用都会阻塞。那么,如果两个线程A和B,A要触发事件,B接收事件,B线程在调用lock后,通过调用wait函数进入等待事件触发的状态,那么,A线程岂不是再也没有机会对这个事件进行触发了(因为此对象已经被B线程lock)?秘密就在于wait函数的调用,其实,在wait函数内部悄悄的调用了unlock函数,也就是说在调用wati函数后,这个NSCondition对象就处于了无锁的状态,这样A线程就可以对此对象加锁并触发该NSCondition对象。当一个事件被其他线程触发时,在wait函数内部得到此事件被触发的通知,然后对此事件重新调用lock函数,然后函数返回,而在函数外部,看起来好像接收事件的线程从来没有放开NSCondition对象的所有权,B线程直接由阻塞状态进入了触发状态。

第二点:当有多个线程进入阻塞状态,等待同一个AutoReset的Event对象被触发时,在Windows环境下唤醒哪一个线程是没有固定的顺序的,也就是说操作系统对唤醒哪一个线程不会提供任何的保证。而在iOS平台上,经过笔者测试,其被触发的顺序与,并且只与调用wait函数的顺序相关,与其他(比如线程优先级)条件没有关系。这一点在开发时需要进行额外的考虑。

第三点:wait函数并不是完全可信的。这一点比较让人蛋疼,也就是说wait返回后,并不代表对应的事件一定被触发了,因此,为了保证线程之间的同步关系,使用NSCondtion时往往需要加入一个额外的变量来对非正常的wait返回进行规避。具体示例代码如下:

//等待事件触发的线程
[cocoaCondition lock];
while (timeToDoWork <= 0)
    [cocoaCondition wait];
 
timeToDoWork--;
 
// Do real work here.
 
[cocoaCondition unlock];

//出发事件的线程
[cocoaCondition lock];
timeToDoWork++;
[cocoaCondition signal];
[cocoaCondition unlock];


个timeToDoWork就是那个额外需要的变量,在NSCondition的使用中,这个变量是必不可少的。

NSConditon对象也是具名的,也就是说,其可于不同进程内部的线程同步。



相较于Windows平台下提供的丰富的线程同步机制,iOS下的线程同步机制稍显单薄,但也正是这种简洁简化了其使用。


参考:iOS Developer Liabray


示例代码来源:Thread Programming Guide


注:文中所指的线程同步泛指多线程环境下的同步与互斥。

 
 

你可能感兴趣的:(Objective-C,iOS)