dispatch_barrier_async如何与目标队列交互？

队列上的屏障不会影响其目标队列。

这是最容易凭经验证明的。例如：

- (void)experiment {
    dispatch_queue_t queue1 = dispatch_queue_create("1", DISPATCH_QUEUE_CONCURRENT);
    dispatch_queue_t queue2 = dispatch_queue_create_with_target("2", DISPATCH_QUEUE_CONCURRENT, queue1);

    dispatch_async(queue1, ^{
        [self taskOnQueue:1 taskNumber:1 color:1];
    });
    dispatch_async(queue2, ^{
        [self taskOnQueue:2 taskNumber:2 color:0];
    });
    dispatch_barrier_async(queue2, ^{
        [self taskOnQueue:2 taskNumber:3 color:0];
    });

    dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(0.5 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
        dispatch_async(queue2, ^{
            [self taskOnQueue:2 taskNumber:4 color:0];
        });
        dispatch_async(queue1, ^{
            [self taskOnQueue:1 taskNumber:5 color:1];
        });
    });
}

立即分派任务1-3，并在0.5秒后分派任务4和5。任务3正在使用障碍。任务1和5开启queue1，任务2-4开启queue2。所有任务各花费一秒钟。

结果如下。（我手动突出显示了这些任务编号，以使其更加清楚。）

您可以看到，队列（1）上的＃5任务一开始就启动，即使（a）它是队列中的最后一个任务，并且（b）队列2在任务＃3上有障碍。但是，第二个队列尊重任务3的障碍。

仅供参考，这些是生成那些兴趣点范围的实用方法：

- (void)taskOnQueue:(uint32_t)code taskNumber:(uint32_t)arg1 color:(uint32_t)arg4 {
    [self pointOfInterest:code arg1:arg1 color:arg4 block:^{
        [NSThread sleepForTimeInterval:1];
    }];
}

- (void)pointOfInterest:(uint32_t)code arg1:(uint32_t)arg1 color:(uint32_t)arg4 block:(void (^)(void))block {
    kdebug_signpost_start(code, arg1, 0, 0, arg4);
    block();
    kdebug_signpost_end(code, arg1, 0, 0, arg4);
}

注意：相反是完全不同的问题。队列会，如果他们的目标队列具有阻隔影响。如果目标队列被阻止（例如，如果将任务3更改为在目标队列上使用屏障运行queue1），那么第二个队列中的任务将等待其目标队列释放：

- (void)experiment2 {
    dispatch_queue_t queue1 = dispatch_queue_create("1", DISPATCH_QUEUE_CONCURRENT);
    dispatch_queue_t queue2 = dispatch_queue_create_with_target("2", DISPATCH_QUEUE_CONCURRENT, queue1);

    dispatch_async(queue1, ^{
        [self taskOnQueue:1 taskNumber:1 color:1];
    });
    dispatch_async(queue2, ^{
        [self taskOnQueue:2 taskNumber:2 color:0];
    });
    dispatch_barrier_async(queue1, ^{              // changed to queue 1
        [self taskOnQueue:1 taskNumber:3 color:1];
    });

    dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(0.5 * NSEC_PER_SEC)), dispatch_get_main_queue(), ^{
        dispatch_async(queue2, ^{
            [self taskOnQueue:2 taskNumber:4 color:0];
        });
        dispatch_async(queue1, ^{
            [self taskOnQueue:1 taskNumber:5 color:1];
        });
    });
}

这将导致：

在这里，任务3被分派了障碍（第一个Ⓢ路标在哪里），不仅直到在目标队列上完成任务1之后它才开始，而且第二个队列上的任务4（在第二个队列上运行）也没有开始（就像任务5一样，也要在其队列的目标队列上等待该屏障。