如何确保在并发 NSOperationQueue 中执行 FIFO？

Question

我正在开发一个框架，为了确保非阻塞公共方法，我使用NSOperationQueue 将所有公共方法调用放入操作队列并立即返回。

不同操作之间没有关系或依赖关系，唯一重要的是操作以 FIFO 顺序启动，与它们添加到队列中的顺序相同。

这是我当前实现的一个示例 (sample project here)：

@implementation Executor

-(instancetype) init {
    self = [super init];
    if(self) {
        _taskQueue = [[NSOperationQueue alloc] init];
        _taskQueue.name = @"com.d360.tasks";

    }
    return self;
}

-(void) doTask:(NSString*) taskName
{
    NSOperation *operation = [NSBlockOperation blockOperationWithBlock:^{
        NSLog(@"executing %@", taskName);
    }];

    [self.taskQueue addOperation:operation];
}

虽然我意识到操作开始的顺序不一定是它们被添加到队列中的顺序。例如，如果我调用

[self.executor doTask:@"Task 1"];
[self.executor doTask:@"Task 2"];

有时Task 2 在Task 1 之后启动。

问题是如何确保 FIFO 执行开始？

我可以使用_taskQueue.maxConcurrentOperationCount = 1; 来实现它，但这一次只允许进行一次我不想要的操作。一个操作不应阻塞任何其他操作，只要它们以正确的顺序启动，它们就可以同时运行。

我还研究了NSOperationQueuePriority 属性，如果我知道我不知道的调用的优先级，它将起作用。事实上，即使我将之前添加的操作发送到NSOperationQueuePriorityHigh，将第二个操作发送到NSOperationQueuePriorityNormal，也不能保证顺序。

[self.executor doTask:@"Task 1" withQueuePriority:NSOperationQueuePriorityHigh];
[self.executor doTask:@"Task 2" withQueuePriority:NSOperationQueuePriorityNormal];

输出有时是

executing Task 2
executing Task 1

有什么想法吗？

谢谢， 一月

Answer 1

当您创建每个任务时，您可以使用NSOperation -addDependency 添加对前一个任务的依赖项。复杂之处在于，在依赖任务完成之前，依赖关系不会得到满足，这可能不是您想要的。您可以通过在每个任务中创建另一个 NSOperation 来解决这个问题，并使下一个排队的任务依赖于 that。这个内部任务可以设置一个标志或者说“嘿，我开始了！”的东西。然后，当该内部任务完成时，它将满足队列中下一个任务的依赖关系并允许它启动。

不过，这似乎是一种复杂的做事方式，而且我不确定这样做的好处是否值得额外的复杂性 - 如果它们真的是独立的操作，为什么它们开始的顺序很重要？一旦它们启动，操作系统会决定哪个任务获得 CPU 时间，而且你也没有太多控制权，所以为什么不将它们排队并让操作系统管理启动顺序呢？