При проведении некоторых исследований об алгоритмах без блокировки/без ожидания я наткнулся на проблему ложного обмена. Копание немного больше привело меня к исходному коду Фолли (библиотека C ++ Facebook) и, в частности, к этому файлу заголовка и определению макроса Folly_align_to_avoid_false_sharing (в настоящее время в строке 130). Что меня удивило больше всего на первый взгляд, было значением: 128 < /strong> (то есть: вместо 64) ... < /p>
/// An attribute that will cause a variable or field to be aligned so that
/// it doesn't have false sharing with anything at a smaller memory address.
#define FOLLY_ALIGN_TO_AVOID_FALSE_SHARING __attribute__((__aligned__(128)))
< /code>
afaik, кеш -блоки на современных процессорах длиной 64 байта, и на самом деле все ресурсы, которые я обнаружил до сих пор по этому вопросу, включая эту статью от Intel, поговорите о 64 байтах, выровняющихся и < /strong>, чтобы помочь в работе по ложному обмену. При необходимости. Затем я обнаружил начало объяснения чуть выше folly_align_to_avoid_false_sharing < /code> определение: < /p>
enum {
/// Memory locations on the same cache line are subject to false
/// sharing, which is very bad for performance. Microbenchmarks
/// indicate that pairs of cache lines also see interference under
/// heavy use of atomic operations (observed for atomic increment on
/// Sandy Bridge). See FOLLY_ALIGN_TO_AVOID_FALSE_SHARING
kFalseSharingRange = 128
};
< /code>
Хотя это дает мне немного больше деталей, я все еще чувствую, что мне нужны некоторые идеи. Мне любопытно, как синхронизация смежные линии кэша или любая операция RMW на них может друг с другом при использовании атомных операций .
Может кто -то, пожалуйста, просветите меня о том, как это может произойти?>
Подробнее здесь: https://stackoverflow.com/questions/291 ... nt-padding
