Переменные стека в кэше

Question

Используя новые инструменты выравнивания C++ 11, я хотел убедиться, что набор временных (стековых) переменных будет находиться в одной строке кэша. Моя первая наивная попытка заключалась в следующем:

int main() { 
    alignas(64) int a; // 0x7fffc58aac80, properly aligned at 64 
    int b; // 0x7fffc58aac7c 
    int c; // 0x7fffc58aac78 
    return 0; 
} 

Глупо мне! Stack не выделяет переменные таким образом, таким образом a будет в другой строке кэша, чем b и c.

Означает ли это, что метод позволяет правильно выровнять несколько переменных через совокупность?

struct alignas(64) Abc { 
    int x; 
    int y; 
    int z; 
}; 

int main() { 
    Abc foo; 
    // x 0x7fff40c2d3c0 (aligned at 64) 
    // y 0x7fff40c2d3c4 
    // z 0x7fff40c2d3c8 
    return 0; 
} 

Компилятор: Clang 3.2

Answer 1

Чтобы правильно выровнять несколько переменных, которые вы должны использовать в совокупности, так как макет для автоматических переменных не определен. Я не могу найти ничего в стандарте C++ 11, в котором говорится, что переменные с автоматическим хранилищем должны быть выделены в стеке в том же порядке, в каком они определены. В разделе 5.9 стандарта утверждается, что определены только несколько видов сопоставлений указателей, а сравнения между переменными с автоматическим хранилищем не относятся к тем, которые указаны как определенные.