Задал использовать проверку переполнения стека в отладочном назначении. И watermark. Вижу при отладке, подсвечивает красным на одной задаче Overflow. Догнал размер с 512 байтов до 4000, и все равно то же. При этом в процентах cur / max пишет: 1%, 6%. И пока малый стек был, тоже никогда до 100% не выдавало. И работает при этом. Кто из нас двинулся умом? Чувствую, дело не в переполнении стека.

Изучил в отладчике, где стеки задач создаются. Вижу, как создаются все стеки, кроме последней задачи. Много вариантов размеров перепробовал, но ничего не изменилось. Одна задача периодически подсвечивается красным и пишет Overflow, другая задача при воздействии органов управления тоже вспыхивает. Причем в функцию os_error не залетает! По поведению прибора тоже не скажешь, что сбоит. И настройки железа-отладчика менял.

Задавайте стеки статически и не будет чудес. Зачем их на куче делать-то??

A Keil-то знает об операционке?

ОС Кейловская RTX с их же надстройкой CMSIS RTOS. Задаю стеки, как в документации, некоторые размером по умолчанию, некоторые своим. Кейл заполняет их шаблоном CC для контроля размера. По моим наблюдениям, они не портятся. Здесь что-то другое. Возможно, быстродействие компа катастрофически испорчено. Есть программы, которые, практически, не работают. Надо драйверы переустановить, OpenGL...
Еще попробую новый Кейл 5.20, типа, революционный.

Ни на какой не на куче. Куча, вообще, девственно чиста, забита одними нулями. Основной стек, тот, что над кучей, используется слегка. Стеки задач создаются в отдельной области os_stack_mem. Но что-то не могу увидеть в ней всех задач. То есть, не вижу шаблона CC. Значит, его действительно что-то портит.

Посмотрите как данная фича во FreeRTOS реализована. Просто и красиво.
Есть несколько вариантов.
1. Куча забивается 55 при инициализации и ты смотришь глазами на сколько она занята.
2. При переключении задач планировщик смотрит значение указателя стека, на предмет "вылезания" ( думаю у вас этот случай). Теоретически может не проявляться. Так как надо чтобы совпали 2 события.
...
Вы можете всунуть аналогичную хрень в планировщик RTX и посмотреть.
Возможно у вас в задаче используется SP нестандартно местами, и самого "нарушения" нет?

Сделал все задачи с заданным пользователем стеком (не по умолчанию). Вижу все задачи в области os_stack_mem. Вижу, у всех задач к конце стека (младшие адреса) есть подложка из CC байтов. Достаточное количество, как минимум, половина от выделенного. Вижу, как меняются остальные байты при работе. Ничего необычного. И все равно одна задача иногда подсвечивается красным. Я уже и местами их менял, теперь она не последняя в этой области. Не помогает.
Складывается, что сама задача и портит свой же стек. Лично я со стеком не балуюсь, боже упаси. Во всяком случае, не намеревался.
И все так же смущает, что функция os_error не вызывается. При переполнении стека она должна вызываться, и там зависать.

Ну если Вы нашли адрес, где подозреваете, что портится содержимое стека, то поставьте бряк на это место под эмулятором и увидите кто туда пишет.

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

Адрес не нашел, там много функций работает. Вся память задачи "кишит", до CC. CC стоят стабильно.
Я нашел, что событие (Event) для запуска задачи может устанавливаться из двух мест - прерывания и другой задачи, возможно с любым интервалом, вплоть до минимального. Может, это влияет. Буду рыть в ту сторону.
Интересно, а underflow возможен? И контроль его? Но тоже не вижу.

Не так. События устанавливаются, как угодно, но задача запускается по наличию обоих событий (WAIT_AND). Так что там никаких "гонок" быть не может.

Попробовал на другом компьютере, слабеньком ноутбуке. Поведение аналогичное.
Уменьшил размер стека ниже требуемого, для другой задачи попробовал, и для "злополучной". Как только выполнение доходит до такой задачи, пишется Overflow и так и остается. Процессор улетает в os_error. А если стек совсем безумно мал, то в HardFault.
Делаю вывод, что при большом стеке имею некое ложное срабатывание Overflow. Видимо, моя задача слишком напичкана функциями. Может, какой-то предел вложенности перескочил.
Поставлю другую версию Keil.

Поставил Keil 5.20. Теперь Overflow не высвечивается. А только числа cur / max периодически пропадают, пустыми ячейки становятся в таблице Stack usage. Это лучше, чем писать Overflow на красном фоне! Буду считать, у меня все нормально. Просто быстродействия компа не хватает, чтобы все посчитать и написать.

Кстати, ничего нового в версии 5.20 не увидел. Кроме начальной заставки.
P.S. Нашел новое. Можно включить новую версию компилятора (v6.4 вместо v5.06), которым компилировать не удастся, потому что находит полсотни ошибок. Нажмите для просмотра прикрепленного файла

Учитесь писать чисто... Правильно написянный код может изредка дать несколько предупреждений. Так что есть замечательный повод для работы над ошибками.

Я не против совершенствования. В этом новом компиляторе выбираются разные стандарты, вплоть до С11 и С++14. Займусь в свободное от досуга время.
Считайте, что полсотни ошибок на 20000 строк исходников - это и есть изредка несколько.
Не зря этот компилятор не включается по умолчанию.

1. Есть С99.
2. Не путайте ошибки и предупреждения.
3. Компилятор работает файл за файлом. Так и устраняйте и ошибки и предупреждения. Если у Вас один файл в 20000 линий, то это, извините, неизлечимо. Вообще-то, надо стремитьса чтобы файл был до 500 линий.
Не берусь никого учить: научить нельзя, можно помочь научиться.

Нет, не один файл. Под 20. Но все равно много строк, согласен. В новом проекте разобью мельче.
Включал и С99, естественно. В ошибки не всматривался, не до того было (см. тему). Однако, компилятор 5.06 компилирует то же без ошибок. Кто не прав?

Не знаю, у кого как, а у меня шестая версия C++ вываливает кучу варнингов и ошибок из заголовочных файлов CMSIS и STM32_DFP. Их тоже все исправлять? Или надо какой-то режим компиляции правильно выбрать?

Код, поставляемый STM, не подлежит обсуждению ввиду очень низкого качества.
Разбивать на файлы надо исходя из принципа инкапсуляции - только то, что совершенно необходимо. Никаких глобальных переменных, все или автоматические или статические. Для доступа из других файлов применяются функции. Кстати, большинство функций тоже статические.

А не прав разработчик, написавший непереносимый или плохо переносимый код! Если достатпчно часто приходиться переносить разнообразные функции в совершенно другую среду - тут переносимость(portability) очень дорогого стоит.

Если предупреждения из-за того что включили педантичный режим, то можно например так:

Ну и включать этот файл вместо оригинального естственно. Если всё еще вылезают предупреждения поотключать их дополнительно можно в этом же файле. Без этого лично мне работать очень некомфортно.

Так он поставляется не для того, чтобы использовать в проектах, а только для примера и когда есть какие-то непонятки по даташитам и что-то не работает.

К сожалению, вынужден не согласиться. Этот код существенно ускоряет создание... демошки, что по определению и есть FSH(food second hand), но часто преподносится как готовый продукт. Вы можете найти требование знания и умения использования Cube к кандидатам на работу. В самом деле, так много мозгов не надо, а за мозги приходиться платить, т.е. очевидная прямая "экономия". Ну еще можно удаленно заказать в какой-нибудь Индии - вот еще экономия. Ну то, что продукт дерьмо, так его GUI украсит и, потом, он не то, чтобы совсем не работает, а так, между изредка и частенько.
Кроме того, силикон развивается быстро и за ним без Индии не угнаться, а что ожидать оттуда?! Опыт подсказывает, что миллиард населения хочет жрать, ну и надо этот миллиард создавать.

А кроме шуток, я тоже использую этот продукт дле reference only - все таки он лучше их документации, написанной не по-английски, хотя английскими словами.