VPF::Выравнивание - Форум программистов

sergioK1

Дата 12.4.2014, 08:27 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 417
Регистрация: 30.1.2011

Репутация: нет
Всего: нет

попался такой код

Код


#define UNALIGNED(X, Y) (((long)X & (sizeof (long) - 1)) | ((long)Y & (sizeof (long) - 1)))
#define DETECTNULL(X)   (((X) - 0x01010101) & ~(X) & 0x80808080)
 
char* _DEFUN (strcpy, (dst0, src0),
              char *dst0 _AND _CONST char *src0)
{
  char        *dst = dst0;
  _CONST char *src = src0;
         long *aligned_dst;
  _CONST long *aligned_src;
 
  /* If SRC or DEST is unaligned, then copy bytes. */
  if (!UNALIGNED(src, dst))
  {
    aligned_dst = (long*)dst;
    aligned_src = (long*)src;
 
    /* SRC and DEST are both "long int" aligned, try to do "long int" sized copies.  */
    while (!DETECTNULL(*aligned_src))
      *aligned_dst++ = *aligned_src++;
 
    dst = (char*)aligned_dst;
    src = (char*)aligned_src;
  }
 
  while (*dst++ = *src++) ;
 
  return dst0;
}

Что это за макросы и для чего ? где об этом ножно прочитать ?

Это сообщение отредактировал(а) sergioK1 - 12.4.2014, 08:29

feodorv

Дата 13.4.2014, 23:34 (ссылка)

(голосов:1)

Загрузка ...

Эксперт

Профиль
Группа: Комодератор
Сообщений: 2214
Регистрация: 30.7.2011

Репутация: 11
Всего: 45

Цитата(sergioK1 @ 12.4.2014, 09:27

)

Что это за макросы и для чего ? где об этом ножно прочитать ?

Простите ради Бога, но неужели для того, чтобы понять, что это за макросы, нужно обязательно прочитать о них где-нибудь??? Вырабатывайте навыки чтения чужого кода, который зачастую даже не комментирован.

То, что делается в приведённом коде, совершенно очевидно. Сначала проверяется, не выровнены ли адреса src и dst по четырёх-байтовой границе (или каков там размер лонга в байтах). Потому что именно в этом случае возможно соптимизировать копирование одной стоки в другую: становится возможным копировать не по одному байту, а сразу по четыре (или каков там размер лонга в байтах). Однако в этом случае нужно элегантно проверить копируемые 4 байта на завершающий строчку src ноль (ибо он и служит терминатором процесса копирования).

Проверка на выравненность адреса выполняется путём тестирования последних бит адреса

Код

((long) ptr & (sizeof (long) - 1))

Поэкспериментируйте с размером лонга 2, 4, 8...

Проверку на наличие нулевого байта в копируемых четырёх байтах осуществляет второй макрос DETECTNULL. Если не верите, потестируйте следующую программу:

Код

#include <stdio.h>

int main( void )
{
  int n;

  for( n = 0; n <= 0xff; n++)
  {
    int n1 = n - 0x01;
    int n2 = n1 & ~n;
    int n3 = n2 & 0x80;
    printf( "n = 0x%02x, n1 = 0x%02x, n2 = 0x%02x, n3 = 0x%02x\n",
      n & 0xff, n1 & 0xff, n2 & 0xff, n3 & 0xff);
  }

  return 0;
}

В ходе исследования приведённого кода может возникнуть несколько вопросов, например:

почему, если нашелся нулевой байт в копируемых четырёх байтах, то мы опять прибегаем к побайтовому копированию остатка строки;
что будет, если в копируемых четырёх байтах встретятся два нулевых байта, следующих друг за другом (ведь тогда вычитание единицы из последнего нулевого байта приведёт к дополнительному заёму из предшествующего нулевого байта);
зачем для объявления функции вдруг применяется очень сложная схема с макросами _DEFUN и _AND.

--------------------

Напильник, велосипед, грабли и костыли - основные инструменты программиста...

sergioK1

Дата 15.4.2014, 19:22 (ссылка)

(нет голосов)

Загрузка ...

Опытный

Профиль
Группа: Участник
Сообщений: 417
Регистрация: 30.1.2011

Репутация: нет
Всего: нет

Цитата(feodorv @ 13.4.2014, 22:34)

Цитата(sergioK1 @ 12.4.2014, 09:27

)

Что это за макросы и для чего ? где об этом ножно прочитать ?

Код

((long) ptr & (sizeof (long) - 1))

Код

#include <stdio.h>

int main( void )
{
  int n;

  for( n = 0; n <= 0xff; n++)
  {
    int n1 = n - 0x01;
    int n2 = n1 & ~n;
    int n3 = n2 & 0x80;
    printf( "n = 0x%02x, n1 = 0x%02x, n2 = 0x%02x, n3 = 0x%02x\n",
      n & 0xff, n1 & 0xff, n2 & 0xff, n3 & 0xff);
  }

  return 0;
}

В ходе исследования приведённого кода может возникнуть несколько вопросов, например:

почему, если нашелся нулевой байт в копируемых четырёх байтах, то мы опять прибегаем к побайтовому копированию остатка строки;
что будет, если в копируемых четырёх байтах встретятся два нулевых байта, следующих друг за другом (ведь тогда вычитание единицы из последнего нулевого байта приведёт к дополнительному заёму из предшествующего нулевого байта);
зачем для объявления функции вдруг применяется очень сложная схема с макросами _DEFUN и _AND.

сам код Я понима, не понимаю
откуда взяли математику под ним . Что это за булевые операции? Где про них прочитать ?

feodorv

Дата 15.4.2014, 21:30 (ссылка)

(нет голосов)

Загрузка ...

Эксперт

Профиль
Группа: Комодератор
Сообщений: 2214
Регистрация: 30.7.2011

Репутация: 11
Всего: 45

Цитата(sergioK1 @ 15.4.2014, 20:22

)

откуда взяли математику под ним

Bit Twiddling Hacks или на русском Алгоритмические трюки для программистов.

--------------------

Напильник, велосипед, грабли и костыли - основные инструменты программиста...

0 Пользователей читают эту тему (0 Гостей и 0 Скрытых Пользователей)
0 Пользователей:
« Предыдущая тема \| C/C++: Общие вопросы \| Следующая тема »