Поделиться страницей

Изучите X за Y минут

Где X=GNU linker (ld)

Основные понятия и определения

Счетчик позиций - у компоновщика есть специальная переменная “.” (точка) всегда содержит текущую позицию вывода.

Функции

ADDR(section) - возвращает абсолютный адрес указанной секции. Однако данная секция должна быть определенна до использования функции ADDR.

ALIGN(exp) - возвращает значение счетчика позиций, выравненное на границу следующего за exp выражения.

SIZEOF(section) - возвращает размер секции в байтах.

FILL(param) - определяет образец заполнения для текущей секции. Все остальные неуказанные регионы внутри секции заполняются значением указанными в аргументе функции.

KEEP(param) - используется чтобы помечать param как неустранимый.

ENTRY(func) - определяет функцию, которая будет являться точкой входа в программу.

# Определяем точку входа в программу
ENTRY(Reset_Handler)

# Определяем переменную которая содержит адрес вершины стека
_estack = 0x20020000;  
# Определяем переменную которая содержит значение размера кучи  
_Min_Heap_Size = 0x200;
# Определяем переменную которая содержит значение размера стека
_Min_Stack_Size = 0x400; 

# Описание карты памяти доступной для данного процессора
# MEMORY
# {
# ИМЯ_ОБЛАСТИ_ПАМЯТИ    (права доступа) : ORIGIN = АДРЕС_НАЧАЛА, LENGTH = РАЗМЕР
# }
# В нашем примере контроллер содержит три области памяти:
# RAM - начинается с адреса 0x20000000 и занимает 128 Кбайт;
# CCMRAM - начинается с адреса 0x10000000и занимает 64 Кбайт;
# FLASH - начинается с адреса 0x8000000 занимает 1024 Кбайт;
# Причем RAM память доступна для чтения, записи и исполнения.
# CCMRAM память доступна только на чтение и запись.
# FLASH память доступна на чтение и исполнение.
MEMORY
{
    RAM         (xrw)     :     ORIGIN = 0x20000000,    LENGTH = 128K
    CCMRAM      (rw)      :     ORIGIN = 0x10000000,    LENGTH = 64K
    FLASH       (rx)      :     ORIGIN = 0x8000000,     LENGTH = 1024K
}

# Описываем выходные секции
SECTIONS
{
    # Первая секция содержит таблицу векторов прерываний
  .isr_vector :
  {
    # Выравниваем текущую позицию на границу 4-х байт.
    . = ALIGN(4);

    # Существует опция --gc-sections, которая позволяет собирать мусор из неиспользуемых 
    # входных разделов. И если есть разделы, которые сборщик мусора не должен трогать, 
    # то их необходимо указать в качестве аргумента функции KEEP() (аналог ключевого слова 
    # volatile).
    # Запись (*(.isr_vector)) означает разделы .isr_vector во всех объектных файлах. Т.к. 
    # обращение к разделу в общем виде выглядит так: (ИМЯ_ФАЙЛА(ИМЯ_РАЗДЕЛА))   
    KEEP(*(.isr_vector))    

    # Выравниваем текущую позицию на границу 4-х байт.
    . = ALIGN(4);

    # Выражение ">ОБЛАСТЬ_ПАМЯТИ" указывает в какую именно область памяти будет помещена 
    # данная секция.    В нашем случае секция .isr_vector будет размещена во FLASH памяти.
  } >FLASH

# ИТОГО: Секция .isr_vector, которая содержит таблицу векторов прерываний выравнивается 
# по границе 4-х байт, помечается как недоступная для сборщика мусора и размещается в начале 
# FLASH памяти микроконтроллера.

  # Вторая секция содержит код программы.
  .text :
  {
    # Выравниваем текущую позицию на границу 4-х байт.
    . = ALIGN(4);

    # Указываем, что в данной секции будут хранится области .text всех
    # объектных файлов   
    *(.text)           
    *(.text*)          

    # Защищаем от сборщика мусора секции .init и .fini
    KEEP (*(.init))
    KEEP (*(.fini))

    # Выравниваем текущую позицию на границу 4-х байт.
    . = ALIGN(4);

    # Определяется переменная _etext, которая хранит в себе адрес конца секции .text и которая
    # может быть доступна в исходном тексте программы через объявление 
    # volaile unsigned int extern _etext;
    _etext = .;      
  } >FLASH

# ИТОГО: Секция .text, которая содержит код программы выравнивается по границе 4-х байт, 
# включает в себя: все секции с кодом программы во всех объектных файлах и защищенные 
от сборщика муссора секции .init и .fini во всех объектных файлах, распологается во FLASH 
памяти микроконтроллера сразу за таблицей векторов. 
Секции text, .init и .fini. располагаются в памяти в той последовательности в которой они 
объявлены в скрипте.

  # Третья секция содержит константные данные.
  .rodata :
  {
    # Выравниваем текущую позицию на границу 4-х байт.
    . = ALIGN(4);

    # Указываем, что в данной секции будут хранится области .rodata всех
    # объектных файлов   
    *(.rodata)         
    *(.rodata*)  

    # Выравниваем текущую позицию на границу 4-х байт.      
    . = ALIGN(4);
  } >FLASH

  # Сохраняем в переменной _sidata  абсолютный адрес секции .data
  _sidata = LOADADDR(.data);

  # Четвертая секция содержит инициализированные переменные.
  .data : 
  {
    # Выравниваем текущую позицию на границу 4-х байт.
    . = ALIGN(4);

    # Сохраняем в переменной _sdata адрес текущей позиции (начала секции)
    _sdata = .;     

    # Указываем, что в данной секции будут хранится области .data всех
    # объектных файлов     
    *(.data)           
    *(.data*)          

    # Выравниваем текущую позицию на границу 4-х байт.
    . = ALIGN(4);

    # Сохраняем в переменной _sdata адрес текущей позиции (конец секции)
    _edata = .;    

    # Функция AT указывает на то, что данный сектор хранится в одной области памяти 
    # (в нашем случае FLASH), а исполняться будет из другой области памяти (в нашем случае RAM). 
    # Есть два типа адресов:
    # * VMA (Virtual memory address) - это run-time адрес по которому компилятор ожидает 
    #   видеть данные.
    # * LMA (Load memory address) - это адрес по которому линкер хранит данные.         

    #Startup должен код скопировать секцию .data из адресов LMA в адреса VMA.

  } >RAM AT> FLASH

  # Пятая секция содержит инициализированные нулем переменные.  
  .bss :
  {
    # Сохраняем в переменной _sbss и __bss_start__  адрес текущей позиции (начала секции)
    _sbss = .;        
    __bss_start__ = _sbss;

    # Указываем, что в данной секции будут хранится области .bss всех
    # объектных файлов 
    *(.bss)
    *(.bss*)

    # Выравниваем текущую позицию на границу 4-х байт.
    . = ALIGN(4);

    # Сохраняем в переменной _ebss и __bss_end__ адрес текущей позиции (начала секции)
    _ebss = .;         
    __bss_end__ = _ebss;
  } >RAM

  # Шестая секция содержит кучу и стек. Размещается в самом конце RAM.
  ._user_heap_stack :
  {
    . = ALIGN(4);
    PROVIDE ( end = . );
    PROVIDE ( _end = . );
    . = . + _Min_Heap_Size;
    . = . + _Min_Stack_Size;
    . = ALIGN(4);
  } >RAM
}

Хотите предложить свой перевод? Может быть, улучшение перевода? Откройте Issue в репозитории GitHub или сделайте pull request сами!

Первоначально предоставлено автором Alexander Kovalchuk, и обновлено 2 авторами.