caxapa.ru :: В общем, пока проблема с компилятором (или моим пониманием стандарта C) такова:

Nikolay_Po (17.01.2020 19:59 - 20:05, просмотров: 386) ответил Nikolay_Po на [РЕШЕНО] GNU Tools for STM32 7-2018-q2-update (и вообще любой arm-none-eabi). Не могу добиться появления глобальных массивов в *.map

В общем, пока проблема с компилятором (или моим пониманием стандарта C) такова: Глобальный волатильный массив, среди прочего объявленный как внешняя переменная в заголовочном файле, почему-то не помещается в .bss или .data. Этот массив, через объявление в заголовочном файле, без ошибок и предупреждений компилятора, доступен коду прерывания в другом файле исходного кода Си. Корректная запись в ячейки массиа приводит к порче данных стека. Явное помещение массива в секцию .bss атрибутом "section" обеспечивает корректную работу программы.

Ответить

- Удалось повторить проблему в пустом проекте STM32CubeIDE. Nikolay_Po(1778 знак., 17.01.2020 21:57)
  - а не может размер кучи влиять? NAUT(19.01.2020 23:51)
  - Может, барьер после инкремента вставить? - Vit(18.01.2020 21:38)
  - "На Count==1999 вылетает HardFault." 1) 1999(2000) - странное число. Какие есть определения с этим числом 2) может не дождавшись вылета пройтись по шагам, глядя в ассемблер? - VLLV(18.01.2020 16:47)
    - Это не первая моя попытка отладить код. Разные программы отказывали на разных этапах. Какая-то на 5-м элементе, какая-то на 68-м, эта - на 1998-м (1999-й это после инкремента счётчика). Nikolay_Po(483 знак., 18.01.2020 19:40)
      - ОК, варианты VLLV(197 знак., 18.01.2020 20:14)
        
        Камень STM32F107VCT. IAR нет и не планирую. Пробовал: Nikolay_Po(222 знак., 18.01.2020 20:51 - 21:37)
        
        Непонятно. Могу попробовать кусок кода в других контроллерах (CM4,CM0) на ИАРе, но есть ли такие фрагменты кода и имеет эта проверка смысл? - VLLV(18.01.2020 21:46)
        
        Странно всё это выглядит. Может, проблема в отладке? Разные компиляторы, разные IDE, разные программы и одна проблема - стек затирается данными, оказавшись "не в том месте". Nikolay_Po(77 знак., 18.01.2020 21:50)
        
        Может, не в отладке, а в прошивке? Как тут кто-то с неправильно описанным контроллером боролся. Или как в том же ИАРе так бывает - если неправильно указать прошивальщик, он неправильно заливает прошивку, соответственно потом вообще хрень VLLV(25 знак., 18.01.2020 22:13)
        
        Отладку отключаем и смотрим. Лампочка перестала мигать - всё плохо. - SciFi(18.01.2020 21:53)
        
        С этого места можно по-подробнее. Что-то не получается. Собираю "Релиз", вручную прошиваю OpenOCD файл *.elf, пробовал прошивать *.hex - шьётся, проверка ОК. Nikolay_Po(711 знак., 18.01.2020 23:20)
        
        Был случай, когда внезапно пропал систик, а через 2 дня внезапно появился. Так и не разобрались. - VLLV(19.01.2020 07:50)
        
        (HAL_GetTick() & (1u << 6)) это точно правильно ??? - Aleksey_75(18.01.2020 23:24)
        
        Да. Когда запускаю отладку в IDE, мигает PB12 с периодом 64мс 15 раз, на 16-м зависает. Систики, из описания функции, 1мс. - Nikolay_Po(18.01.2020 23:29)
        
        здесь много написали, зависает как ? в HardFault падает ? если да Aleksey_75(204 знак., 18.01.2020 23:34)
        
        Да писал уже не раз. Стек почему-то торчит внутри массива. И когда указатель возврата в стеке затёрт, попаду туда, куда указывает записанное в массив слово, а не туда, откуда выпал. Nikolay_Po(160 знак., 18.01.2020 23:40)
        
        какой начальный адрес у вашего буфера смотрели ? мож он инитится под стек? - Aleksey_75(18.01.2020 23:44)
        
        Начальный адрес буфера нормальный, со стеком не пересекается, см. в этом сообщении: Nikolay_Po(145 знак., 18.01.2020 23:50)
        
        слежу за темой, создаётся впечатление что происходит присвоение указателю стека нового значения. нужно асм ковырять. может я не прав. - m16_home(19.01.2020 00:02)
        
        +1. Эта мысль не даёт мне покоя. Чую, дело не в командах, а в запуске контроллера "не оттуда". Сейчас напишу под заглавным сообщением. - Nikolay_Po(19.01.2020 00:04)
        
        ещё. буфер DMA не налазит куда не нужно? - m16_home(19.01.2020 00:56)
        
        Проект пустой, шаблон STM32CubeMX, DMA не включён. - Nikolay_Po(19.01.2020 00:58)
        
        ээээ! указатели, как я понял вы не используете, каким образом вы херите SP? дык поставьте брекпоинт на изменение указателя стека и шагайте - Aleksey_75(19.01.2020 00:09)
        
        С этого момента поподробнее. В каком магазине продают такие брекпоинты? Хочу всё знать. - SciFi(19.01.2020 11:36)
        
        Может, watchpoint имелся ввиду? Указываешь диапазон адресов, тип операции (чтение, запись или любой) и, как только при работе контроллера, Nikolay_Po(159 знак., 19.01.2020 12:28)
        
        Вот-вот. Но чем чёрт не шутит, может быть, у коллеги есть секретная папочка "недокументированные возможности кортекс-м3"? - SciFi(19.01.2020 12:32)
        
        сорянн! чтот я затупил, такая вещь есть в LW - Aleksey_75(19.01.2020 17:50)
        
        ну чудес не бывает, значит с инкрементом индекса что-то не то! слей все индексы в RTT или отладочный уарт и глянь как он себя чувствует - Aleksey_75(18.01.2020 23:53)
        
        Отлаживал ассемблерные команды поштучно перед сбоем. Запись идёт чётко куда и сколько надо. Индексы проверял, всё ОК. Проблема только в том, что программа работает с указателем стека не там, где ему положено быть. - Nikolay_Po(19.01.2020 00:01)
        
        да нах так извращаться, сделай отладочный уарт с битрейдом за мегабит и гони данные на каждый чих (индекс, адрес стека, и т.д) , все встанет на свои места! - Aleksey_75(19.01.2020 00:06)
        
        Смысла нет. Копать надо. Я бы эту штуку с радостью поковырял, но, увы, она не здесь, а там. - SciFi(18.01.2020 21:49)
  - В симуляторе всё чики-пуки. Значит, надо вычислять точную причину, вызывающую Hard Fault. - SciFi(17.01.2020 22:53)
    - Спасибо большое! Может, Errata какая... С чего начать? Nikolay_Po(119 знак., 17.01.2020 22:59)
      - Самое простое: SciFi(488 знак., 17.01.2020 23:15)
        
        Если немного заморочиться, то можно легко найти проблему: evgeniy1294(2543 знак., 18.01.2020 00:04)
        
        Имеет место наезд стека на массив. См. ниже. Nikolay_Po(2952 знак., 18.01.2020 14:26 - 14:30)
        
        Не понял, откуда вывод про стек? И как могло скушаться 30 килобайт стека в программе, которая ничего не делает? - SciFi(18.01.2020 14:40)
        
        До вылета в исключение sp указывает на внутренность массива. Программа крашится из-за возврата из прерывания на неадекватный адрес, так как нормальный адрес возврата оказывается затёрт записью в массив. - Nikolay_Po(18.01.2020 14:49)
        
        Это можно поисследовать. Заполнить массив паттерном, как уже упоминалось, прогнать сколько-то итераций, потом посмотреть на стек и сравнить с ожиданиями. Можно watchpoint поставить на участок стека, который по идее никто не должен трогать. - SciFi(18.01.2020 14:51)
        
        Прошерстил массив. Паттерн есть :). Это нули после инициализации. Nikolay_Po(249 знак., 18.01.2020 15:17)
        
        Кстати, моя инициализация стек не обнуляет, потому что зачем. Что я делаю не так? - SciFi(18.01.2020 17:02)
        
        Немного не так. Паттерн был внутри массива. Массив инициализирован. Поэтому нормальный паттерн - нули. Nikolay_Po(140 знак., 18.01.2020 18:53)
        
        Единственный вариант - обработана команда установки указателя стека. - VLLV(18.01.2020 20:11)
        
        Стек превращается в месиво ещё до срабатывания исключений. Попробовал такую функцию: Nikolay_Po(2004 знак., 18.01.2020 13:55)
        
        Питание, помехи, убогая схема/плата? Думаю, если постараться, можно заставить проц глючить так, что отлаживать придётся до следующей пятилетки. - SciFi(18.01.2020 14:47)
        
        Нет, плата такая, см. картинку. Блокировочные конденсаторы на месте. Питание чистое, осциллограф не видит проблем. По конфигурации - внутренний генератор, проблема с кварцем отпадает. Nikolay_Po(18.01.2020 14:52, ссылка)
        
        Была аналогичная проблема с буферами под eth. Решил созданием отдельной секции в скрипте линкера. Вообще надо скрипт линкера смотреть, постоянно нахожу в них косяки. - evgeniy1294(18.01.2020 14:43)
- Например, в объявлении массива используются ADCchNum, St1BuffSize. А если эти штуки разные в разных местах? Сразу начнутся чудесатые чудеса. Это только то, что видно, а там этих мин может быть сколько угодно, в зависимости от степени шаловливости SciFi(7 знак., 17.01.2020 20:05)
  - Согласен. Нарочно проверил. Заменил ADCchNum и St1BuffSize на числа 17 и 64, в том числе и в обёртке-проверке индексов. HardFault_Handler(). Nikolay_Po(152 знак., 17.01.2020 20:12)

ARM, RISC-V контроллеры