caxapa.ru :: Хорошо, перефразирую: Обращение к массиву из кода Си приводит к работе к области, где размещается стек, разрушая полезное содержимое стека.

Nikolay_Po (17.01.2020 20:04, просмотров: 223) ответил SciFi на Ерунда какая-то. Танец с бубном. "по логике, оказывался в стеке" - странные фантазии. Короче, хз, что происходит, в вводных данных никакого криминала не видно.

Хорошо, перефразирую: Обращение к массиву из кода Си приводит к работе к области, где размещается стек, разрушая полезное содержимое стека. Сверял адреса ОЗУ при пошаговой отладке. У отладчика есть информация о том, что по конкретным адресам ОЗУ - элементы массива. Код Си обращается к этим адресам. А по файлу *.map по этим адресам стек и куча, и по факту тоже. Что меня бесит: в Microchip XC16 уже годами использую такой подход - объявление массива глобально в одном файле, а обращение в прерывании - в другом. Никаких проблем. А с arm-gcc, или как его там, такая засада.

Ответить

- Откуда сведения, что ОЗУ достаточно? Может быть, стек налазит на bss в любом случае. Например, засунули массив в именованную секцию, она оказалась в более младших адресах, и стек наезжает на другие переменные, которые завалят программу чуть позже. - SciFi(17.01.2020 20:11)
  - Блин, могу ли я рассчитывать на ошибку от линкера в таком случае? У меня ни малейших сомнений, что XC16 Микрочипа такое отловил и не дал бы выстрелить в ногу. Nikolay_Po(216 знак., 17.01.2020 20:15)
    - Стек надо проверять самостоятельно. Например, заполнить его какой-нибудь ерундой типа 0xDEADBEEF на старте, а через некоторое время проверять хотя бы просмотром памяти в отладчике. - SciFi(17.01.2020 20:18)
      - Ерунда какая-то. Похоже, меня Microchip XC16 избаловал. Не могу поверить просто, что программисту Си: "Стек надо проверять самостоятельно". Nikolay_Po(227 знак., 17.01.2020 20:23)
        
        Пока найден баг в программе. Вернее, найден факт его наличия. Вроде бы gcc что-то умеет в части вычисления использования стека. Но в типичной программе много непредсказуемого. Те же обработчики прерываний - их хвалёный мелкочип учитывает? Им же SciFi(17 знак., 17.01.2020 20:35)
        
        Конечно Microchip XC16 учитывает, в том числе и обработчики прерываний. Предположение, что GCC не учитывает глубину стека для прерываний, по мне, такая же дикость. Nikolay_Po(644 знак., 17.01.2020 20:51)
        
        Я не в курсе, XC16 - это пики же? Там, наверное, в процессоре есть регистр, который отлавливает переполнение стека? Ну так в кортексе этого нет, и звените. И почему вы решили, что "глобальная волатильная переменная размещается? GCC в стеке? (не в SciFi(253 знак., 17.01.2020 21:02)
        
        Да, пики. Есть. Но он не срабатывает! Компилятор до этого не доводит. Не думал, что всё ТАК запущено у GCC-водов. Nikolay_Po(63 знак., 17.01.2020 21:14)
        
        Ушло куда-то в сторону. Не факт, что у вас стек переполняется. Это было предположение, в итоге получилось бурление не совсем в тему :-) - SciFi(17.01.2020 21:26)
        
        Не, ну с индексами, с указателями можно было с XC16 накосячить. Nikolay_Po(127 знак., 17.01.2020 22:54)
      - что характерно, контроллировать единственный байт нельзя, ибо он может попасть на не используемую в этой ветке кода переменную - lloyd(17.01.2020 20:20)

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