Здравствуйте, уважаемые коллеги!
Решил углубить знания по линкеру. Нужно Имеется следующий код

и скрипт линкера

Трансляция кода идет следующим образом

В этом случае все собирается отлично. В эльфе все необходимые секции.
Стоит секцию .fox пометить только флагом "x" в исходнике на языке ассемблера, как она перестает линковаться. Я не понимаю почему это происходит? Документация говорить, что флаг "a" - это перемещаемая (allocatable) секция.
Но нигде не могу найти описания, для чего секции дается такой статус? Почему секцию просто нельзя пометить "xw", например? Да, стандартные секции .text, .data и .bss линкуются всегда...
Буду благодарен за любую информацию!

З.Ы. МК LPC2468.
Спасибо!

вы свою пользовательскую секцию линкуете с адресным пространством on-chip RAM, в таком случае секцию следует обозначить как "allocatable";

попробуйте вашу секцию в скрипте линкера связать с "on-chip non-volatile memory" без использования флага "a" в исходном коде, должно успешно слинковаться

К сожалению, ничего не получается без флага "a".
Вот скрипт после изменения
, вот фрагмент секции


Не знаю, почему. Оно мне, конечно, не критично, тем более код работает... Просто непонятно...

Что-то мне кажется, что это означает не «перемещаемая», а «размещаемая», «занимающая место в бинарнике». В отличие от, скажем, .bss.

могу ошибаться, но
данная секция в любом случае будет allocatable,
за исключением случаев, когда этот код будет выполняться с ROM



Locations represent addresses in memory if a section is allocatable; that is, its
contents are to be placed in memory at program runtime. Symbolic references
to these locations must be changed to addresses by the link editor.

еще может быть полезным:

The linker combines input files into a single output file. The output file and each input file are in a special data format known as an object file format. Each file is called an object file. The output file is often called an executable, but for our purposes we will also call it an object file. Each object file has, among other things, a list of sections. We sometimes refer to a section in an input file as an input section; similarly, a section in the output file is an output section.

Each section in an object file has a name and a size. Most sections also have an associated block of data, known as the section contents. A section may be marked as loadable, which mean that the contents should be loaded into memory when the output file is run. A section with no contents may be allocatable, which means that an area in memory should be set aside, but nothing in particular should be loaded there (in some cases this memory must be zeroed out). A section which is neither loadable nor allocatable typically contains some sort of debugging information.

Every loadable or allocatable output section has two addresses. The first is the VMA, or virtual memory address. This is the address the section will have when the output file is run. The second is the LMA, or load memory address. This is the address at which the section will be loaded. In most cases the two addresses will be the same. An example of when they might be different is when a data section is loaded into ROM, and then copied into RAM when the program starts up (this technique is often used to initialize global variables in a ROM based system). In this case the ROM address would be the LMA, and the RAM address would be the VMA.

Похоже, линкер так строг, поскольку для него "темный лес" за стандарнтыми секциями .text, .data и .bss. Поскольку моя секция .fox не лежит в .text, он (линкер) не знает, что с ней делать, т.к. не понятно, каким образом она попадет в указанное адресное пространство. Следовательно, ему необходимо "намекнуть", что мы сами решим проблему, и скопируем секцию туда , куда надо. На это и указывает флаг "а".

Господа, большое спасибо за помощь!!!

о чем и речь, и дело даже не в том, знает линкер про секции .text, .data, .bss, а в том, по каким адресам аллокировать секции в runtime

можете еще почитать ресурс вот тут http://bravegnu.org/gnu-eprog/lds.html

Еще вопрос. Может быть ответы на него есть, но не знаю, как правильно его сформулировать поисковику.
В общем, в крипте для линкера определены сегмены памяти (озу, флеш и т.д.) в разделе MEMORY. Можно ли их значения получить в программе на Си? Либо определить эти сегменты (имена) где-то в другом файле (Makefile?), а затем оттуда уже цеплять к скрипту и программе на си?
В общем программа на Си должна знать почти все об определенных секциях памяти. Лишний раз объявлять их через #define чревато ошибками...

Заранее спасибо!!!

Посмотрите в скрипте линкера имена bss_start и подобное.
Наставьте своего, например, my_section_start
В С-файле:


Тут немного про это. Только на украинсокм (если бы ждал наличия времени на переводы, то вообще не выложил бы). Но код говорит сам за себя.
http://real.kiev.ua/2011/05/01/vykorystannya-sektsij-v-gcc/

конечно можно, объявляете указатель как extern в Сишном модуле как адрес начала секции, затем в линкере даете этому указателю адрес интересующей вас секции, и компилируете, подцепляя ваш линкер скрипт.
почитайте:


хороший и наглядный пример можно посмотреть тут:
http://www.compsoc.man.ac.uk/~moz/kernelne...all/kernel.html

Я в последнее время стал писать

Хм, что-то в этом есть. И с точки зрения удобства использования (без & на каждый чих), и с точки «зрения в корень», ибо секция как таковая представляет собой массив :-)
Спасибо.

Сколько ответов! :-) Спасибо большое!!! Буду пробывать...)