Keil. Stack usage overflow, в отладчике вспыхивает красным Опции

[ViKo]

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

[ViKo]

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

[jcxz]

Изучил в отладчике, где стеки задач создаются. Вижу, как создаются все стеки, кроме последней задачи. Много вариантов размеров перепробовал, но ничего не изменилось.

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

[Alechek]

Изучил в отладчике, где стеки задач создаются. Вижу, как создаются все стеки, кроме последней задачи.

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

[ViKo]

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

[ViKo]

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

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

[SasaVitebsk]

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

[ViKo]

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

[jcxz]

Складывается, что сама задача и портит свой же стек. Лично я со стеком не балуюсь, боже упаси. Во всяком случае, не намеревался.
И все так же смущает, что функция os_error не вызывается. При переполнении стека она должна вызываться, и там зависать.

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

[SasaVitebsk]

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

[ViKo]

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

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

[ViKo]

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

[ViKo]

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

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

[pitt]

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

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

[ViKo]

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

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

[pitt]

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

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

[ViKo]

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

[Timmy]

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

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

[pitt]

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

Однако, компилятор 5.06 компилирует то же без ошибок. Кто не прав?

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

[Kabdim]

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

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

Код

// core_cm0_wo_warn.h:


#ifndef CHIP_CORE_CM0_WO_WARN_H_
#define CHIP_CORE_CM0_WO_WARN_H_

#if defined(__GNUC__)
#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wpedantic"
#include "core_cm0.h"
#pragma GCC diagnostic pop
#elif defined(_MSC_VER)
#else
#error Included core_cm0_wo_warn but not __GNUC__!
#endif

#endif /* CHIP_CORE_CM0_WO_WARN_H_ */

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

[jcxz]

Код, поставляемый STM, не подлежит обсуждению ввиду очень низкого качества.

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

[pitt]

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

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

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