Всем привет!

Подскажите, пожалуйста, каков механизм вызова функций в Си++?
Имеет ряд вложенных функций (работа с массивами), хочется посчитать какой максимальный объем памяти в стеке они потребуют (передача параметров + сами данные в функциях).
Можно как-нибудь "автоматизировать" процесс подсчета? Видимо, читать значение указателя стека в определенные моменты времени?
Все ли локальные переменные, объявляемые в функциях, создаются в стеке?

http://stackoverflow.com/questions/6387614...system-with-gcc

http://gcc.gnu.org/onlinedocs/gnat_ugn_unw...e-Analysis.html

Как-то так

Вот спасибо, попробуем
Это ключ компилятора или линкера?



Что значит "все локальные переменные имеют статический размер"? Объявлены как "static" внутри функции или это просто не динамически выделяемая память (из кучи)?
Иными словами, если мы не используем динамическую память (кучу), то компилятор с выше озвученным флагом покажет нам сколько от стека отъедает каждая функция?

По поводу "bounded" не понял.



Тут будут выдаваться предупреждения, если функция использует стека больше, чем сколько?

Сообщение отредактировал spongebob - Apr 23 2012, 11:35

Компилятора.
Линкер только связывает, ему про стек ничего не известно.

значит, что размер однозначно определен на этапе компиляции.

than the specified amount of bytes
чем определенное количество байтов.
Где определенное - надо смотреть конкретнее в документации на это сообщение.

Не понимает такой опции
Может, староват компилер?

Вот еще интересная ссылочка: http://www.avrfreaks.net/index.php?name=PN...pic&t=52249

Да уж, много воды за 5 лет утекло...


Да, но это только в рантайме работает.

Касательно вот этого еще вопросы есть: http://www.nongnu.org/avr-libc/user-manual/malloc.html

Динамическая память не нужна (куча).
На плате установлена внешняя ОЗУ (32 кБ). Ее хотелось бы использовать по-максимуму
Если не указывать линкеру __heap_end и __heap_star, он под кучу память выделит или нет? Если все-таки выделит, то куда поместит? Сразу за bss?
Стек, как я понимаю, всегда лучше размещать во внутренней памяти (скорость выше). Ну а как разместить стек во внешней памяти?
Кстати, в какой секции лучше разместить инициализацию внешней памяти (включение и конфигурирование)? В третьей?

Даже если указывать __heap_start и __heap_end, но не вызывать malloc, память реально не будет использоваться.
Если не указать, но вызвать malloc — линкер выругается на их отсутствие.

Да, в третьей нормально. До пятой компилятор ещё ничего от себя не вызывает, так что даже если стек во внешней памяти вдруг, всё равно не страшно.
Смотрите еще в теме про mega1280 и внешнюю память

Фигня какая-то... поставил 2010 WinAVR, он тоже опции -fstack-usage не знает
Объясните, пожалуйста, я, может, не понимаю чего?
Может, для AVRов это не работает?

Вопросы по секциям.
Читаю http://www.nongnu.org/avr-libc/user-manual, но там как-то очень скупо все описано... прошу помочь разобраться.

Записи -Wl,--section-start=.data=0x802000 и -Wl,--section-start,.data=0x802000 эквивалентны?
Т. е., синтаксис указания начала расположения секций имеет несколько вариантов?

Как на самом деле выглядят секции .data, .bss, .noinit?

Как я понимаю, данные из .data копируются в определенный момент времени в ОЗУ, инициализируя переменные. Когда копируются и кем? Нашел нечто в описании секции .init4, но там сказано про контроллеры с ОЗУ > 64 кБ ПЗУ (а это почему?).
Для секции .bss аналогичной операцией является заполнение нулями. Когда?
А для чего нужна секция .noinit? Ведь есть же .data и .bss.

Правильно ли я понимаю, что все глобальные или статические переменные, которые инициализированы программистом попадают в .data, а неинициализированные глобальные и статические переменные попадают в .bss и инициализируются нулями (по стандарту Си)?
А что происходит с локальными инициализированными переменными? Они же создаются на стеке, кто их и когда инициализирует?

Зачем нужны .finiN, если мы в main() обычно делаем while(1) {};?

Да, эквивалентны. Это синтаксис ключа -Wl передачи параметров программой-драйвером (avr-)gcc программе-линкеру (avr-)ld:

Как области памяти.
Да, верно понимаете. Копируются библиотечным стартап-кодом, который вызывается по вектору сброса и выполняется перед запуском main(). Этот код является частью avr-libc. Аналогично там же обнуляется секция .bss
Для переменных, которые не нужно обнулять или инициализировать. Например, чтобы восстановить по их содержимому состояние программы после аварийного сброса по собаке или это может быть внешняя ОЗУ с батарейкой.
Да, правильно. Современные компиляторы могут помещать явно инициализированные нулем глобальные переменные в .bss вместо .data, чтобы не хранить их начальные значения и сэкономить таким образом память кода.

Исполняемый код функции во время ее исполнения, как правило непосредственно перед использованием локальной переменной. А вот место в стеке резервируется сразу под все локальные переменные на входе в функцию, чтобы не дергать указатель стека на каждую переменную. Естественно, компилятор использует одно и то же место на стеке под разные локальные переменные у которых не пересекается время жизни.

На случай, если вы захотите выйти из main(). Если вы из main() не выходите - можете удалить их из линкерного скрипта и сэкономить пару байтов кода. А можете подменить библиотечный exit() выключая в нем питание и тогда сможете выключать прибор выходя из main(). Перед выключением будут штатно и в нужном порядке вызываться деструкторы глобальных объектов. Мало ли, может быть вам это нужно. Например, закрыть файлы и отмонтировать файловую систему, предварительно сделав запись об отключении в деструкторе объекта-системного журнала событий. Программы бывают разные.

По поводу вызова библиотечного стартап-кода. Как я понимаю, все что содержится в секциях .initN до вызова main() - это и есть стартап?
Т. е., он "размазывается" по секциям .init0 ... .init9 с дальнейшей возможностью коррекции каждой из секций программистом (часть секций менять нельзя, как я понял)?
Кстати, когда мы объявляем функцию способом типа void my_init_portb (void) __attribute__ ((naked)) __attribute__ ((section (".init3"))); то это замещает все что было помещено стартапом в эти секции? А если несколько аналогичных выше указанным объявлениям, то все что объявлено разместится в секции .init3?



Понятно, достаточно удобная вещь получается, если писать на Си++
Кстати, можете сказать что-нибудь по поводу избыточности/неизбыточности Си++ по отношению к Си и насколько оптимальным получается код для AVR, ARM?

Стартап является универсальным для всех контроллеров, поддерживаемых библиотекой и вся необходимая ему информация берется из macros.inc и каких-то других файлов библиотеки?


Сообщение отредактировал spongebob - Apr 27 2012, 18:22

Да.
Можно и добавлять и замещать.
Если имя не совпадает с библиотечными, то добавляется. Если имя совпадает с глобальной библиотечной меткой - то замещает:


Много копий сломано тут на эту тему. Если писать с умом - то ни байта лишнего не будет. Ровно столько же, сколько занял бы делающий то же самое код на голом Си, но при этом со всеми преимуществами, которые дают плюсы: перегрузка операторов, конструкторы-деструкторы, ссылки, инкапсуляция, наследование, шаблоны, enum как отдельный тип, константы и многое другое.

Да, на этапе компиляции библиотеки из этого файла строится куча файлов crtXXX.o, а при линковке gcc подключает нужный в зависимости от ключа -mmcu=.