NSBlockOperation 的粒度状态

Question

我已扩展 NSOperationQueue 以允许添加带有特定 NSString 作为标识符的 NSBlockOperation。

标识符值保存在用作注册表的NSMutableArray 中。这就是我实现注册表的方式。

-(void)addOperation:(NSOperation *)operation withID:(NSString*)operationID 
{
    @synchronized(self.queueReference) 
    {
        [self.queueReference addObject:operationID]; // <-- just a mutable array
    }

    [operation setCompletionBlock:^(){
        @synchronized(self.queueReference) {
            [self.queueReference removeObject:operationID];
        }
    }];

    [self addOperation:operation];  
}

基本上，我添加了一个完成块，该块在特定操作完成时清理注册表。

但是，虽然这可行，但我需要向队列添加更多粒度。

我只将队列与块操作一起使用，在块执行期间，我可能会根据执行情况向侦听器发送不同的NSNotification。

我想要达到的目标：

调用者尝试将带有标识符的特定NSBlockOperation 添加到队列中。如果队列已经有这样的标识符，就不要添加块，调用类将自己设置为监听器。

缺少什么？检查标识符是不够的，可能会出现NSBlockOperation 已经调度NSNotification 但尚未调用完成块的情况。

所以调用者类询问队列，这表示标识符存在于注册表中，调用者错误地将自己设置为监听一个永远不会到达的通知，因为它已经被发送了。

场景将改为：调用者询问队列，即“标识符在注册表中”但发送了NSNotification。调用者将NSBlockOperation 放入队列中。

注册表的检查是通过一个简单的方法进行的：

-(BOOL)hasOperationWithID:(NSString*)operationID 
{
    @synchronized(self.queueReference) 
    {
        return [self.queueReference containsObject:operationID];
    }
}

但在这一点上，我对如何扩展这种方法并没有太多想法。我正在编写的代码有点“学术”，它没有任何特定目的，只是我在尝试实验。因此我在代码中有很大的灵活性。但这对我来说是一个相当新的主题，所以请尽可能具体地说明建议实施的任何缺点。

Answer 1

看起来您当前的系统具有三个基本事件：

• 操作已添加到队列中
• 操作在执行时发送通知
• 调用操作完成块

除非队列本身明确侦听任何可能由块发送的NSNotifications，否则它无法知道它们是否已经发生。 但是即使它确实监听，NSNotifications 的观察者被调用的顺序也是不确定的。换句话说，即使队列监听通知并将其回调与入队/出队操作互锁，它可能（并且最终）仍然为时已晚，另一个客户端开始监听该NSNotification，并且您会错误地拒绝一个操作。

考虑这个替代方案：不要使用完成块来管理标识符列表，而是使用通知本身——让队列句柄发送通知。换句话说，让我们摆脱第三个事件，让通知发送为标识符列表维护做双重职责。我想出的最简单的方法是：

标题：

//
//  SONotifyingOperationQueue.h
//  NotifyingOpQueue
//

typedef void (^SOSendNotificationBlock)(NSDictionary* userInfo);
typedef void (^SONotifyingBlock)(SOSendNotificationBlock sendNotificationBlock);

@interface SONotifyingOperationQueue : NSOperationQueue

- (BOOL)addOperationForBlock:(SONotifyingBlock)block withNotificationName:(NSString*)notificationName;

@end

实施

//
//  SONotifyingOperationQueue.m
//  NotifyingOpQueue
//

#import "SONotifyingOperationQueue.h"

@implementation SONotifyingOperationQueue
{
    NSMutableSet* _names;
}

- (BOOL)addOperationForBlock: (SONotifyingBlock)block withNotificationName: (NSString*)notificationName
{
    notificationName = [[notificationName copy] autorelease];

    BOOL shouldAdd = NO;
    @synchronized(self)
    {
        _names = _names ? : [[NSMutableSet alloc] init];

        if (![_names containsObject: notificationName])
        {
            [_names addObject: notificationName];
            shouldAdd = YES;
        }
    }

    if (shouldAdd)
    {
        NSBlockOperation* blockOp = [[[NSBlockOperation alloc] init] autorelease];

        __block SONotifyingOperationQueue* blockSelf = self;

        SOSendNotificationBlock notificationBlock = ^(NSDictionary* userInfo){
            @synchronized(blockSelf)
            {
                [blockSelf->_names removeObject: notificationName];
                // Sending the notification from inside the @synchronized makes it atomic
                // with respect to enqueue operations, meaning there can never be a missed
                // notification that could have been received.
                [[NSNotificationCenter defaultCenter] postNotificationName: notificationName object: blockSelf userInfo: userInfo];
            }
        };

        dispatch_block_t executionBlock = ^{
            block(notificationBlock);
        };

        [blockOp addExecutionBlock: executionBlock];
        [self addOperation: blockOp];
    }

    return shouldAdd;
}

- (void)dealloc
{
    [_names release];
    [super dealloc];
}

@end

此方法对您的原始方法进行了几处更改。首先，这里的 API 添加块而不是 NSOperations。你可以用NSOperation 子类做同样的事情，但它会更多的代码，并且不会改变整体模式。它还合并了标识符和通知名称的概念。如果一个操作可以发送多个不同的NSNotifications，如果不进行修改，这将无法正常工作，但同样，整体模式将是相同的。此模式的重要特征是您的 id/name 检查现在与发送通知本身互锁，提供了强有力的保证，如果有人向队列添加新块/操作，以及具有相同 id/name 的另一个操作还没有触发它的通知，新的操作不会被添加，但是如果通知被触发了，那么它将被添加，即使前面的块还没有完成。

如果 NSOperation 对象在这里很重要，您也可以让这里的方法返回它为提供的块创建的操作。

HTH。