重拾Effective Objective-C 2.0热点问题

1. PerformSelector may cause a leak because its selector is unknown

原因是:在ARC模式下编译器并不知道将要调用的选择子是什么,因此,也就不能了解其方法签名与返回值,甚至是否有返回值都不清楚(这个返回值可以是任意值,如 void , int , char , NSString , id 等)。而且,由于编译器不知道方法名,所以就没有运用ARC的内存管理规则来判定是不是应该释放。鉴于此,ARC采用比较谨慎的做法,就是不添加释放操作。然而这么做可能造成内存泄漏,因为方法返回对象可能将其保留了。
ARC通过头文件的函数定义来得到这些信息。所以平时我们用到的静态选择器就不会出现这个警告。因为在编译期间,这些信息都已经确定。

重拾Effective Objective-C 2.0热点问题_第1张图片
截图

而使用 [self performSelector:NSSelectorFromString(@"doSomething")]; 时ARC并不知道该方法的返回值是什么,以及该如何处理?该忽略?所以,ARC采用比较谨慎的做法,就是不添加释放操作。

解决办法

  • 使用函数指针方式
 SEL selector = NSSelectorFromString(@"doSomething");
 IMP imp = [self methodForSelector:selector];
 void (*func)(id, SEL) = (void *)imp;
 func(self, selector);
  • 使用宏定义忽略
_Pragma("clang diagnostic push")
_Pragma("clang diagnostic ignored \"-Warc-performSelector-leaks\"")
 [self performSelector:NSSelectorFromString(@"doSomething")];
_Pragma("clang diagnostic pop")

2. 不要使用 dispatch_get_current_queue()

当然这个方法在iOS6.0就废弃了,这里主要是重温一下同步、异步以及死锁。

- (NSString *)name
{
    __block NSString *name;
    dispatch_sync(_syncQueue, ^{
        name = @"some string";
    });
    return name;
}

上面的这种写法可能会出现死锁,假如调用获取方法的队列恰好是同步操作所在的队列。那么dispatch_sync就会一直不返回,需要等待块执行完毕。
这里就想到使用dispatch_get_current_queue来解决问题。

- (NSString *)name
{
    __block NSString *name;
    void (^block)() = ^{
        name = @"iOS";
    };
    
    if (dispatch_get_current_queue() == _syncQueue) {
        block();
    }else {
        dispatch_sync(_syncQueue, block);
    }
    
    return name;
}

但是 dispatch_get_current_queue 仍然可能造成死锁

  dispatch_sync(_syncQueueA, ^{
      dispatch_sync(_syncQueueB, ^{
          void (^block)() = ^{
            
          };
          if (dispatch_get_current_queue() == _syncQueueA) {
              block();
          }else {
              dispatch_sync(_syncQueueA, block);
          }
      });
   });

dispatch_get_current_queue 由于返回的是当前队列,上面返回的是_syncQueueB。因此,针对_syncQueueA的同步派发依然会执行,所以还是会造成死锁。
其实要解决这个问题,可以使用队列特有数据 dispatch_queue_set_specific。只要去看源码就会发现 GPUImage(https://github.com/BradLarson/GPUImage) 等多数框架都是这么解决的。

static void *openGLESContextQueueKey;

- (id)init;
{
    if (!(self = [super init]))
    {
        return nil;
    }

    openGLESContextQueueKey = &openGLESContextQueueKey;
    _contextQueue = dispatch_queue_create("com.sunsetlakesoftware.GPUImage.openGLESContextQueue", GPUImageDefaultQueueAttribute());
    
#if OS_OBJECT_USE_OBJC
    dispatch_queue_set_specific(_contextQueue, openGLESContextQueueKey, (__bridge void *)self, NULL);
#endif
    shaderProgramCache = [[NSMutableDictionary alloc] init];
    shaderProgramUsageHistory = [[NSMutableArray alloc] init];
    
    return self;
}

void runSynchronouslyOnVideoProcessingQueue(void (^block)(void))
{
    dispatch_queue_t videoProcessingQueue = [GPUImageContext sharedContextQueue];
#if !OS_OBJECT_USE_OBJC
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wdeprecated-declarations"
    if (dispatch_get_current_queue() == videoProcessingQueue)
#pragma clang diagnostic pop
#else
    if (dispatch_get_specific([GPUImageContext contextKey]))
#endif
    {
        block();
    }else
    {
        dispatch_sync(videoProcessingQueue, block);
    }
}

void runAsynchronouslyOnVideoProcessingQueue(void (^block)(void))
{
    dispatch_queue_t videoProcessingQueue = [GPUImageContext sharedContextQueue];
    
#if !OS_OBJECT_USE_OBJC
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wdeprecated-declarations"
    if (dispatch_get_current_queue() == videoProcessingQueue)
#pragma clang diagnostic pop
#else
    if (dispatch_get_specific([GPUImageContext contextKey]))
#endif
    {
        block();
    }else
    {
        dispatch_async(videoProcessingQueue, block);
    }
}

3.多用派发少用同步锁

对于atomic特质来修饰的属性,我们通常这样来实现

- (NSString *)name
{
    @synchronized (self) {
        return _name;
    }
}

- (void)setName:(NSString *)name
{
    @synchronized (self) {
        _name = name;
    }
}

改进方法,使用串行队列,将读取操作以及写入操作都安排在同一个队列里,即可保证数据的同步。正如GPUImage (https://github.com/BradLarson/GPUImage) 中将所有的渲染队列都放在VideoProcessingQueue串行队列中处理。

- (NSString *)name
{
    __block NSString *name;
    void (^block)() = ^{
        name = @"iOS";
    };
    
    if (dispatch_get_specific(key)) {
        block();
    }else {
        dispatch_sync(_syncQueue, block);
    }
    
    return name;
}

- (void)setName:(NSString *)name
{
    void (^block)() = ^{
        _name = name;
    };
    
    if (dispatch_get_specific(key)) {
        block();
    }else {
        dispatch_async(_syncQueue, block);
    }
}

参考

https://github.com/BradLarson/GPUImage](https://github.com/BradLarson/GPUImage

Effective Objective-C 2.0

你可能感兴趣的:(重拾Effective Objective-C 2.0热点问题)