caxapa.ru :: В новости Ксении -> нашел интересное: Stack usage calculation. The stack usage calculation now supports recursion, C++ (except exceptions). The new linker directive check that can be used for calculating the stack usage at link time to verify that

Evgeny_CD^{Архитектор} (20.09.2012 22:45, просмотров: 3091)

В новости Ксении -> нашел интересное: Stack usage calculation. The stack usage calculation now supports recursion, C++ (except exceptions). The new linker directive check that can be used for calculating the stack usage at link time to verify that http://caxapa.ru/356061.html
the used stack space does not exceed the allocated memory. Кто-нибудь разбирался, как оно работает, и насколько точно? Фишка-то ключевая для накристального эмбеддерства, заметим.

Ответить

- При наличии рекурсии -- никак не работает, в общем случае. В частном возможны какие-то ухищрения. - fk0(20.09.2012 22:59)
  - А что за поддержка рекурсии - или анализатор юсаджа не валится при наличии исходника с рекурсией, а просто говорит - хз? - Evgeny_CD(20.09.2012 23:16)
  - Угу, а ещё есть указатели на функции - вообще закачаешься. - SciFi(20.09.2012 23:05)
    - Ты имеешь в виду, что х.з. какая из функций может быть вызвана? Ну теоретически можно построить граф возможного вызова все функций, но это не для линкера. Это только в паре с программистом :) Evgeny_CD(130 знак., 20.09.2012 23:15)
      - Этот граф практически сразу закончится рекурсией. Или придётся ограничится профессиональным программированием уровня pic18 и hitech-C. - fk0(21.09.2012 00:38)
      - Есть доморощенный метод: заполнять стек паттерном (0xDEADBEAF or whatever), гонять программу, потом смотреть на стек. SciFi(253 знак., 20.09.2012 23:23)
        
        Еще можно при отладке в виртуальном симуляторе сделать статистику обращения к каждой ячейке памяти. Это все понятно. Я-то думал, тут прорыв в теории сотворили... - Evgeny_CD(20.09.2012 23:29)
        
        Хе! Компиляторы для 8051 делают call tree analysis и выделяют локальные переменные не в стеке, а статически. И делают так десятилетиями. Так что никого этим не удивишь. - SciFi(20.09.2012 23:32)
    - Профессионалы не используют указатели. Вообще. Как и malloc, printf и др. непотребства. - fk0(20.09.2012 23:08)

Средства и методы разработки