Stack, 8-byte alligment, откуда ноги? Опции

[DASM]

Вчера ловил интересный глюк, с UcOS, достаточно добавить переменную любую почти в любом месте кода и все рушилось. Но если добавить ещё одну - снова работало. Оказалось в итоге что это меняет положение стека задач в оське, и если он не 8allign то рушится. В доках Арм что то о требовании такого выравнивания для внешней памяти. Но тут то внутренняя. Откуда ноги, ткните плз. Просто ради интереса

[aaarrr]

Откуда ноги, ткните плз. Просто ради интереса

LDRD/STRD, работа с 64-битными данными.

[DASM]

LDRD/STRD, работа с 64-битными данными.

Ну хорошо, я решил свою проблему, создав сегмент с аллигн 8 и поместив в него стеки задач ос. Но до того, обычный проект совершенно, у него стек просто на конец озу чипа, в сегменте с алигн4. Почему работает? Да и все равно не совсем ясно, если в стек пушить 4байтные данные, то ведь станет криво. Чего то не понимаю я. Или арм при заталкивании в стек, допустим одного байта, на самом деле меняет указатель стека на 8? Компа нет под рукой, но стало интересно

[Forger]

Ну хорошо, я решил свою проблему, создав сегмент с аллигн 8 и поместив в него стеки задач ос.

В принципе не обязательно для стеков задач создавать отдельный сегмент со своим выравниваем. Иначе придется размер стека каждой задачи делать кратным 8 байт.
Но можно сделать с нужным выравниваем стек каждой задачи, попутно "вынудив" компилятор выравнивать еще и размер стека автоматом. Например, я делаю так (лишнее "вырезал"):

Код

class AbstractThread
{
public:
....
    using StackItem = uint64_t;
    using StackSize = uint32_t;
...
}

....

template <AbstractThread::StackSize STACK_SIZE = THREAD_DEFAULT_STACK_SIZE>
class Thread : public AbstractThread
{
....
private:
    StackItem stack[STACK_SIZE/(sizeof(StackItem))] __attribute__ ((aligned(sizeof(StackItem))));
};

Используется расширения самого компилятора, в данном случаем речь про __attribute__ ((aligned(....))))

[jcxz]

В принципе не обязательно для стеков задач создавать отдельный сегмент со своим выравниваем. Иначе придется размер стека каждой задачи делать кратным 8 байт.

И что это реально так сильно нужно - задавать размер стека с точностью до слова? Зачем??
Выравнивание на 8 и размер кратным 8 и нечего впустую мудрить.