异步分派递归块

Question

假设我运行此代码：

__block int step = 0;

__block dispatch_block_t myBlock;

myBlock = ^{
     if(step == STEPS_COUNT)
     {
         return;
     }

     step++;
     dispatch_time_t delay = dispatch_time(DISPATCH_TIME_NOW, NSEC_PER_SEC / 2);
     dispatch_after(delay, dispatch_get_current_queue(), myBlock);
};

dispatch_time_t delay = dispatch_time(DISPATCH_TIME_NOW, NSEC_PER_SEC / 2);
dispatch_after(delay, dispatch_get_current_queue(), myBlock);

该块从外部调用一次。当到达内部调用时，程序崩溃，没有任何细节。如果我在任何地方都使用直接调用而不是 GCD 调度，那么一切都会正常工作。

我还尝试使用该块的副本调用dispatch_after。我不知道这是否是朝着正确方向迈出的一步，但这还不足以使其发挥作用。

有想法吗？

Answer 1

当尝试解决这个问题时，我发现一段代码可以解决大部分与递归块相关的问题。我无法再次找到源代码，但仍然有代码：

// in some imported file
dispatch_block_t RecursiveBlock(void (^block)(dispatch_block_t recurse)) {
    return ^{ block(RecursiveBlock(block)); };
}

// in your method
dispatch_block_t completeTaskWhenSempahoreOpen = RecursiveBlock(^(dispatch_block_t recurse) {
    if ([self isSemaphoreOpen]) {
        [self completeTask];
    } else {
        double delayInSeconds = 0.3;
        dispatch_time_t popTime = dispatch_time(DISPATCH_TIME_NOW, (int64_t)(delayInSeconds * NSEC_PER_SEC));
        dispatch_after(popTime, dispatch_get_main_queue(), recurse);
    }
});

completeTaskWhenSempahoreOpen();

RecursiveBlock 允许无参数块。它可以针对单个或多个参数块进行重写。使用此构造简化了内存管理，例如没有保留周期的机会。

Answer 2

我的解决方案完全源自 Berik 的解决方案，因此他在这里得到了所有的功劳。我只是觉得“递归块”问题空间（我在其他地方没有找到）需要一个更通用的框架，包括这里介绍的异步情况。

使用这三个第一个定义使得第四和第五种方法 - 这只是示例 - 成为可能，这是一种非常简单、万无一失且（我相信）内存安全的方法，可以将任何块递归到任意限制。

dispatch_block_t RecursiveBlock(void (^block)(dispatch_block_t recurse)) {
    return ^() {
        block(RecursiveBlock(block));
    };
}

void recurse(void(^recursable)(BOOL *stop))
{
    // in your method
    __block BOOL stop = NO;
    RecursiveBlock(^(dispatch_block_t recurse) {
        if ( !stop ) {
            //Work
            recursable(&stop);

            //Repeat
            recurse();
        }
    })();
}

void recurseAfter(void(^recursable)(BOOL *stop, double *delay))
{
    // in your method
    __block BOOL stop = NO;
    __block double delay = 0;
    RecursiveBlock(^(dispatch_block_t recurse) {
        if ( !stop ) {
            //Work
            recursable(&stop, &delay);

            //Repeat
            dispatch_after(dispatch_time(DISPATCH_TIME_NOW, (int64_t)(delay * NSEC_PER_SEC)), dispatch_get_main_queue(), recurse);
        }
    })();
}

您会注意到，在以下两个示例中，与递归机制交互的机制非常轻量级，基本上相当于必须将一个块包装在 recurse 中，并且该块必须采用 BOOL *stop 变量，应该在某个点设置该变量以退出递归（某些 Cocoa 块迭代器中的熟悉模式）。

- (void)recurseTo:(int)max
{
    __block int i = 0;
    void (^recursable)(BOOL *) = ^(BOOL *stop) {
        //Do
        NSLog(@"testing: %d", i);

        //Criteria
        i++;
        if ( i >= max ) {
            *stop = YES;
        }
    };

    recurse(recursable);
}

+ (void)makeSizeGoldenRatio:(UIView *)view
{
    __block CGFloat fibonacci_1_h = 1.f;
    __block CGFloat fibonacci_2_w = 1.f;
    recurse(^(BOOL *stop) {
        //Criteria
        if ( fibonacci_2_w > view.superview.bounds.size.width || fibonacci_1_h > view.superview.bounds.size.height ) {
            //Calculate
            CGFloat goldenRatio = fibonacci_2_w/fibonacci_1_h;

            //Frame
            CGRect newFrame = view.frame;
            newFrame.size.width = fibonacci_1_h;
            newFrame.size.height = goldenRatio*newFrame.size.width;
            view.frame = newFrame;

            //Done
            *stop = YES;

            NSLog(@"Golden Ratio %f -> %@ for view", goldenRatio, NSStringFromCGRect(view.frame));
        } else {
            //Iterate
            CGFloat old_fibonnaci_2 = fibonacci_2_w;
            fibonacci_2_w = fibonacci_2_w + fibonacci_1_h;
            fibonacci_1_h = old_fibonnaci_2;

            NSLog(@"Fibonnaci: %f %f", fibonacci_1_h, fibonacci_2_w);
        }
    });
}

recurseAfter 的工作原理大致相同，但我不会在这里提供一个人为的示例。我正在毫无问题地使用所有这三个，替换我旧的 -performBlock:afterDelay: 模式。

Answer 3

看起来除了延迟变量之外没有任何问题。该块始终使用在第 1 行生成的相同时间。如果您想延迟分派该块，则必须每次都调用dispatch_time。

    step++;
    dispatch_time_t delay = dispatch_time(DISPATCH_TIME_NOW, NSEC_PER_SEC / 2);
    dispatch_after(delay, dispatch_get_current_queue(), myBlock);
};

编辑：

我明白了。

该块通过块文字存储在堆栈中。 myBlock 变量替换堆栈中块的地址。

首先dispatch_after从myBlock变量中复制了块，该变量是堆栈中的地址。并且这个地址此时是有效的。该块位于当前范围内。

之后，该块的范围就被限定了。此时 myBlock 变量的地址无效。 dispatch_after 在堆中具有复制的块。这是安全的。

然后，块中的第二个dispatch_after尝试从无效地址的myBlock变量进行复制，因为堆栈中的块已经超出了范围。它将执行堆栈中损坏的块。

因此，您必须 Block_copy 该块。

myBlock = Block_copy(^{
    ...
});

当您不再需要该块时，不要忘记 Block_release 该块。

Block_release(myBlock);

Answer 4

选择自定义调度源。

dispatch_queue_t queue = dispatch_queue_create( NULL, DISPATCH_QUEUE_SERIAL );
__block unsigned long steps = 0;
dispatch_source_t source = dispatch_source_create(DISPATCH_SOURCE_TYPE_DATA_ADD, 0, 0, queue);
dispatch_source_set_event_handler(source, ^{

    if( steps == STEPS_COUNT ) {
        dispatch_source_cancel(source);
        return;
    }

    dispatch_time_t delay = dispatch_time(DISPATCH_TIME_NOW, NSEC_PER_SEC / 2);
    dispatch_after(delay, queue, ^{
        steps += dispatch_source_get_data(source);
        dispatch_source_merge_data(source, 1);
    });

});

dispatch_resume( source );
dispatch_source_merge_data(source, 1);

Answer 5

我认为如果您希望它保留下来，您必须复制该块（当您不想让它再调用自身时释放它）。