EXC_BAD_ACCESS авария на arm64 при использовании NSInvocation

Question

Я начал готовить один старый проект для поддержки архитектуры arm64. Но когда я пытаюсь выполнить этот код на 64-битном устройстве, я получаю сообщение об ошибке EXC_BAD_ACCESS в [invocation saveArguments]; line

- (void)makeObjectsPerformSelector: (SEL)selector withArguments: (void*)arg1, ... 
{ 

    va_list argList; 

    NSArray* currObjects = [NSArray arrayWithArray: self]; 
    for (id object in currObjects) 
    { 
     if ([object respondsToSelector: selector]) 
     { 
      NSMethodSignature* signature = [[object class] instanceMethodSignatureForSelector: selector]; 

      NSInvocation* invocation = [NSInvocation invocationWithMethodSignature: signature]; 
      invocation.selector = selector; 
      invocation.target = object; 

      if (arg1 != nil) 
      { 
       va_start(argList, arg1); 

       char* arg = arg1; 

       for (int i = 2; i < signature.numberOfArguments; i++) 
       { 
        const char* type = [signature getArgumentTypeAtIndex: i]; 
        NSUInteger size, align; 
        NSGetSizeAndAlignment(type, &size, &align); 
        NSUInteger mod = (NSUInteger) arg % align; 

        if (mod != 0) 
         arg += (align - mod); 

        [invocation setArgument: arg 
            atIndex: i]; 

        arg = (i == 2) ? (char*) argList : (arg + size); 
       } 

       va_end(argList); 
      } 

      [invocation retainArguments]; 
      [invocation invoke]; 
     } 
    } 
} 

Кажется, что у него есть некоторые проблемы с аргументами.

Answer 1

Это то же, что и для тех же целей.

+ (void)callSelectorWithVarArgs:(SEL)selector onTarget:(id)target onThread:(id)thread wait:(BOOL)wait, ... 
{ 
    NSMethodSignature *aSignature = [[target class] instanceMethodSignatureForSelector:selector]; 

    if (aSignature) 
    { 
     NSInvocation *anInvocation = [NSInvocation invocationWithMethodSignature:aSignature]; 
     void *  arg; 
     int   index = 2; 

     [anInvocation setSelector:selector]; 
     [anInvocation setTarget:target]; 

     va_list  args; 
     va_start(args, wait); 

     do 
     { 
      arg = va_arg(args, void *); 
      if (arg) 
      { 
       [anInvocation setArgument:arg atIndex:index++]; 
      } 
     } 
     while (arg); 

     va_end(args); 

     [anInvocation retainArguments]; 

     if (thread == nil) 
     { 
      [anInvocation performSelectorOnMainThread:@selector(invoke) withObject:nil waitUntilDone:wait]; 
     } 
     else 
     { 
      [anInvocation performSelector:@selector(invoke) onThread:thread withObject:nil waitUntilDone:wait]; 
     } 
    } 
} 

Пожалуйста, примите во внимание, что этот код потенциально опасен при необходимости для преобразования типа. Когда метод invoked имеет более длинный аргумент, который был передан моему callSelectorWithVarArgs:onTarget:onThread:wait: (например, вызываемый метод принимает NSUInteger (который имеет 64 бит на arm64), но я передаю int (который равен 32 бит на обоих плечах и arm64)), что вызывает чтение 64 бит из начальный адрес 32-битной переменной - и мусор в данных). В любом случае, ваша реализация потенциально опасна - вы обрабатываете все аргументы, переданные обернутому методу, как имеющие те же типы, что и аргументы в вызываемом методе.

Это ваш измененный код, который работает:

- (void)makeObjectsPerformSelector:(SEL)selector withArguments: (void*)arg1, ... 
{ 
    NSArray* currObjects = [NSArray arrayWithArray: self]; 
    for (id object in currObjects) 
    { 
     if ([object respondsToSelector: selector]) 
     { 
      NSMethodSignature* signature = [[object class] instanceMethodSignatureForSelector: selector]; 

      NSInvocation* invocation = [NSInvocation invocationWithMethodSignature: signature]; 
      invocation.selector = selector; 
      invocation.target = object; 

      [invocation setArgument:&arg1 atIndex:2]; 

      NSInteger index = 3; 
      void *  arg; 

      va_list  args; 
      va_start(args, arg1); 

      do 
      { 
       arg = va_arg(args, void *); 
       if (arg) 
       { 
        [invocation setArgument:&arg atIndex:index++]; 
       } 
      } 
      while (arg); 

      va_end(args); 

      [invocation retainArguments]; 
      [invocation invoke]; 
     } 
    } 
} 

Answer 2

Этот код делает переносные предположения о макете различных аргументов в va_list и которые не работают на arm64.

Вы можете увидеть, например, что есть other tricks (для решения другой проблемы), которые основывались на макете аргументов в va_list, которые работали в 32-разрядной версии, но которые также не работают в 64-битных ,

Единственный переносимый способ доступа к аргументам от va_list - до va_arg, но для компиляции требуется фиксированный тип.

Answer 3

Вы используете Int и вы говорите, что работает нормально на 32-битной, но аварии на 64-битных. Перейдите в NSInteger или NSUInteger для ваших итераций. Угадайте, что исправит вашу проблему.

Answer 4

Вы используете список аргументов более одного раза. Это неопределенное поведение. Вы можете обойти эту проблему, используя вместо этого va_copy.

Переместите va_start(argList, arg1) за пределами внешнего цикла и создайте копию списка аргументов, используя следующее: va_list copyArgList; va_copy(copyArgList, argList);. Затем используйте список скопированных аргументов как обычно.

Более подробная информации о va_copy

Answer 5

Я думаю, вам нужно взглянуть на отходя от такого подхода и перекодировать вещи к более безопасному механизму, основанному на va_arg, который является единственным надежным механизмом для перемещения переменных аргументов. Что-то вроде того, что было опубликовано @Nikita.

Если вы хотите продолжить текущий подход, вам нужно будет углубиться в соглашения о назначении iOS для каждой архитектуры. Вы можете найти соглашения ARM64 здесь: https://developer.apple.com/library/ios/documentation/Xcode/Conceptual/iPhoneOSABIReference/Articles/ARM64FunctionCallingConventions.html

Просто с первого взгляда это явно не прямолинейно, а вариационные функции отличаются от обычного соглашения о вызовах.