Question

我不是Objective C专家，问题出现在我没有写过的代码中。但是，我做了一项研究，无法找到可能是我的问题的根本情况。（我对Java和C / C ++中的多线程编程有很好的理解。）

下面是抛出异常的代码的[模糊]版本（最终导致崩溃）：

@interface someInterface ()
@property (nonatomic) NSMutableArray *activeTokens;

在函数下面抛出异常：

@implementation someInterface

- (void)foo:(NSURL*)url headers:(NSDictionary*)headers
{
    @synchronized (self.activeTokens) {
        for (NSValue *object in self.activeTokens) {
            X *tokenObject = object.nonretainedObjectValue;
            if (tokenObject && [tokenObject.a.b isEqualToString:url.absoluteString]) {
                tokenObject.x = [headers objectForKey:@"somekey"];
                break;
            }
        }
    }
}

访问该集合的其他功能：

- (X*)bar:(NSURL*)url protocol:(NSString*)str 
{


    X *token = [[X alloc] ...];
    @synchronized (_activeTokens){
        if (!_activeTokens) {
            _activeTokens = [[NSMutableArray alloc] init];
        }
        NSValue *value = [NSValue valueWithNonretainedObject:token];
        [_activeTokens addObject:value];
    }

    ...
}


- (void)releaseToken:(X*)token
{
    NSValue *value = [NSValue valueWithNonretainedObject:token];
    @synchronized(_activeTokens) {
        [_activeTokens removeObject:value];
    }
}



- (X*)getRequestToken:(R*)request
{
    @synchronized (self.activeTokens) {
        for (NSValue *object in self.activeTokens) {
            X *tokenObject = object.nonretainedObjectValue;
            if (tokenObject && [tokenObject.a isEqualToString:[request.headers objectForKey:@"someKey"]]) {
                return tokenObject;
            }
        }
    }
    return nil;
}

- (void)foooo:(BOOL)success reason:(NSString *)reason
{

    if (!success)
    {
        @synchronized (self.activeTokens) {
            for (NSValue *object in self.activeTokens) {
                X *tokenObject = object.nonretainedObjectValue;
                [tokenObject.s setR:reason];
            }
        }
    }
}

我能想到的唯一一件事是当activeToken在同步时为零时的情况 - 但我认为这应该不是问题，是吗？

UPD：在评论中进行调查和对话后，我认为唯一的情况是当对象仍为零时，所以不会发生同步。

以下是Apple的同步实现：

BREAKPOINT_FUNCTION(
    void objc_sync_nil(void)
);


// Begin synchronizing on 'obj'. 
// Allocates recursive mutex associated with 'obj' if needed.
// Returns OBJC_SYNC_SUCCESS once lock is acquired.  
int objc_sync_enter(id obj)
{
    int result = OBJC_SYNC_SUCCESS;

    if (obj) {
        SyncData* data = id2data(obj, ACQUIRE);
        require_action_string(data != NULL, done, result = OBJC_SYNC_NOT_INITIALIZED, "id2data failed");

        result = recursive_mutex_lock(&data->mutex);
        require_noerr_string(result, done, "mutex_lock failed");
    } else {
        // @synchronized(nil) does nothing
        if (DebugNilSync) {
            _objc_inform("NIL SYNC DEBUG: @synchronized(nil); set a breakpoint on objc_sync_nil to debug");
        }
        objc_sync_nil();
    }

done: 
    return result;
}

我们可以看到在nil上同步时没有任何反应。

我将把数组的分配移动到初始化器。

Answer 1

“强力”解决方案是使用++方法迭代，即：

for (NSInteger i = 0; i < self.activeTokens.count; i++)
  {
  NSValue *object = [self.activeTokens objectAtIndex:i];
  //...
  }

Answer 2

问题是因为集合对象在开头是零，而分配是懒惰的（首次添加时）。这是错误的，因为在nil上同步什么都不做 - 请参阅问题中的更新。

收集在枚举时发生了变异 - 一切都是同步的，而不是在迭代

2 个答案: