История одного бага: выравнивание данных на x86

[mejedi]

Стоило включить PGO (profile-guided optimisation) для того, чтобы оптимизация выполнялась для типичного кейса, когда вычисляется сумма 20 слов, а не миллионов.

Для невыравненного доступа к данным мы используем каст в такую структуру

struct unaligned_i32 {
  int32_t value;
} __attribute__((packed));

Получается более оптимально, чем с memcpy — компилятор не делает лишнего копирования на архитектурах с невыравненным доступом.

[mikeus]

Да, кстати вот получается __attribute__((packed)) решает проблему, а стандартизированный _Alignas(...) не может выравнять меньше чем на естественную границу.

[mikeus]

Так же: "When used as part of a typedef, the aligned attribute can both increase and decrease alignment...", поэтому можно использовать каст к

typedef uint32_t unaligned_uint32_t __attribute__((aligned(1)));

[kovserg]

Вместо того чтобы скрывать особенности архитектуры компилятор выворачивает их мехом наружу.
Вот за это современный C++ мне не нравится

[dendron]

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

[Deosis]

Вот только это не везде сработает. Т.к. (uint64_t)p[i++] — разыменование невыравненного указателя

[boov]

for (size_t i = 5; i < size / 4; i++) {
        sum += q[i];

Предполагается, что размер заголовка всегда кратен 4?

А по поводу использования инструкций sse.
Недавно у себя при сборке проекта clang'ом 3.8 под x86 также на это наступили.
clang в случае зануления через memset активно использует sse.
Временно решили проблему, используя опцию -mstackrealign

[vird]

Жаль, что в ipv4 контрольная сумма не crc32. Т.к. специально для этого существует отдельная инструкция.

[dendron]

Удивляет, что выравнивание до сих пор отвратительно стандартизировано даже в новейших редакциях C++. И это при том, что почти любые SSE-инструкции требуют выровненных данных. Зато всякий бред из помойки под названием boost тащат.

Отправьте уже старпёров из комитета на пенсию, они безнадёжно застряли в 80-х.

[zed_0xff]

а один раз скопировать в выровненный буфер, и потом целиком посчитать не?