RISC-V链接脚本

已于 2022-05-20 21:28:01 修改
阅读量1.7k 收藏 11
点赞数
分类专栏： RISC-V MCU 文章标签： gnu
于 2022-05-20 20:33:49 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/lbaihao/article/details/124890034
版权

1．基础概念
        链接脚本的主要作用是描述输入文件中的段应当如何映射到输出文件中，并控制输出文件的内存布局。但是，如果需要，链接脚本也可以使用下面所描述的命令指挥链接器进行很多其他操作。

       链接器通常使用一个链接脚本。如果没有为其提供一个，链接器将会使用默认的编译在链接器执行文件内部的脚本。可以使用命令’–verbose’显示默认的链接脚本。

为了描述链接脚本语言，我们需要定义一些基本概念和词汇。

       链接器将许多输入文件组合成一个输出文件。输出文件和每个输入文件都有一个特定的已知格式成为目标文件格式。每个文件都被称为目标文件。输出文件通常叫做可执行文件，但我们仍将其称为目标文件。每个目标文件在其他东西之间，都有一个段列表。有时把输入文件的段称作输入段，类似的，输出文件的段称作输出段。

      每个目标文件中的段都有名字和大小。多数段还有一个相关的数据块，称为 段内容。一个段可能被标记为可加载，表示当输出文件运行时，段内容需要先加载到内存中。一个没有内容的段可能是可分配段，即在内存中留出一段空间（有时还需要清零）。一个即不是加载又不是可分配的段，通常含有一些调试信息。

       每个加载或可分配输出段有两个地址。第一个地址为VMA，或者叫做虚地址。这是当输出文件运行时段所拥有的地址。第二个地址是LMA，或者叫加载内存地址。这是段将会被加载的地址。一个它们会产生区别的例子是，当一个数据段加载到ROM， 此后在程序启动时被复制到RAM中（这个技术通常被用来初始化全局变量）。此种情况下，ROM使用LMA地址，RAM使用VMA地址。

如果想查看目标文件中的段，可以用objdump程序的’-h’选项。
每个目标文件还有一个符号列表，称为符号列表。一个符号可能是被定义的或者未定义的。每个符号都有一个名字，且所有已定义的符号在其他信息中间都有一个地址。如果将一个c或者c++程序编译成目标文件，会将所有定义过的函数和全局变量以及静态变量作为已定义符号。所有输入文件引用的未定义的函数或者全局变量会成为未定义符号。

GCC 中的强符号、弱符号（-fno-common）
链接器中的全局符号可分为两种：强符号（Strong symbols），弱符号（Weak symbols）。GCC语法中使用__attribute__((weak))来声明这个符号是弱符号的，其语法手册中这样写道：

 The weak attribute causes the declaration to be emitted as a weak symbol rather than a global. This is primarily useful in defining library functions which can be overridden in user code, though it can also be used with non-function declarations. Weak symbols are supported for ELF targets, and also for a.out targets when using the GNU assembler and linker.
1
而对于全局变量来说，如果初始化了不为0的值，那么该全局变量则被保存在data段，如果初始化的值为0，那么将其保存在bss段，如果没有初始化，则将其保存在common段，等到链接时再将其放入到bss段。关于第三点不同编译器行为会不同，有的编译器会把没有初始化的全局变量直接放到bss段。

绝大多数情况下，函数和已初始化的变量是强符号，而未初始化的变量是弱符号。对于它们，下列三条规则适用：

1. 同名的强符号只能存在一个。
2. 一个强符号可以和多个同名的弱符号共存，但调用时会选择强符号的值。
3. 有多个弱符号时，链接器可以选择其中任意一个。

下面以一个简单的例子进行说明：

//test1.c
int a1 = 0;
void func1()
{
    printf("a1 = %d/n",a1);
}

//test2.c
int a1 = 1;
void func2()
{
    printf("a1 = %d/n",a1);
}

//main.c
void main()
{
  func1();
  func2();
}

此时编译main.c时编译器会报重复定义的错误。
而如果我们对以上代码进行小小的改动：

//test1.c
int a1;
void func1()
{
    printf("a1 = %d/n",a1);
}

//test2.c
int a1 = 1;
void func2()
{
    printf("a1 = %d/n",a1);
}

//main.c
void main()
{
  func1();
  func2();
}

则编译通过，且输出打印值为a1 = 1 a1 = 1。

这是因为test1.c中a1没有进行初始化，是弱符号，而test2.c中的a1则是强符号，而根据上述规则2，链接过程中编译器会使用强符号的值替代同名弱符号，所以不会报重复定义的错误也没有打印出变量期望值。

为了避免这种情况，在实际开发过程中，我们需要给GCC传入-fno-common参数，禁止将未初始化的全局变量放入到common段。这样就不会出现存在多个同名全局变量而编译时不报错的情况。

2．常用关键词与用法

ENTRY(symbol) 用来指定程序执行的入口点
MEMORY 内存分配命令
SECTIONS 段命令 描述输出文件的内存和布局
.text 程序代码段
.rodata 只读数据
.data 可读写且需要初始化的数据
.bss 可读写的清零初始化数据
ASSERT 断言
PROVIDE(symbol=expression) 定义一个符号
AT 后跟MEMORY定义的内存区域或者地址
ALIGN 字节对齐

ORIGIN(memory)返回名为memory的内存区域的起始地址。

LENGTH(memory)返回名为memory的内存的长度。

OUTPUT_ARCH( "riscv" )

ENTRY( _start )

MEMORY
{ 
    /* Run in FLASH */ 
    flash (rxai!w) : ORIGIN = 0x08000000, LENGTH = 128k
    ram   (wxa!ri) : ORIGIN = 0x20000000, LENGTH = 32K 

    /* Run in RAM */ 
/*    flash (rxai!w) : ORIGIN = 0x20000000, LENGTH = 24k
    ram   (wxa!ri) : ORIGIN = 0x20006000, LENGTH = 8K
*/    
}


SECTIONS
{
  __stack_size = DEFINED(__stack_size) ? __stack_size : 2K;


  .init           :
  {
    KEEP (*(SORT_NONE(.init)))
  } >flash AT>flash 

  .ilalign         :
  {
    . = ALIGN(4);
    PROVIDE( _ilm_lma = . );
  } >flash AT>flash 

  .ialign         :
  {
    PROVIDE( _ilm = . );
  } >flash AT>flash 

  .text           :
  {
    *(.rodata .rodata.*)  
    *(.text.unlikely .text.unlikely.*)
    *(.text.startup .text.startup.*)
    *(.text .text.*)
    *(.gnu.linkonce.t.*)
  } >flash AT>flash 

  .fini           :
  {
    KEEP (*(SORT_NONE(.fini)))
  } >flash AT>flash 

  . = ALIGN(4);

  PROVIDE (__etext = .);
  PROVIDE (_etext = .);/*0x80022c8*/
  PROVIDE (etext = .);/*0x80022c8*/
  PROVIDE( _eilm = . );

  .preinit_array  :
  {
    PROVIDE_HIDDEN (__preinit_array_start = .);
    KEEP (*(.preinit_array))
    PROVIDE_HIDDEN (__preinit_array_end = .);
  } >flash AT>flash 

  .init_array     :
  {
    PROVIDE_HIDDEN (__init_array_start = .);
    KEEP (*(SORT_BY_INIT_PRIORITY(.init_array.*) SORT_BY_INIT_PRIORITY(.ctors.*)))
    KEEP (*(.init_array EXCLUDE_FILE (*crtbegin.o *crtbegin?.o *crtend.o *crtend?.o ) .ctors))
    PROVIDE_HIDDEN (__init_array_end = .);
  } >flash AT>flash 

  .fini_array     :
  {
    PROVIDE_HIDDEN (__fini_array_start = .);
    KEEP (*(SORT_BY_INIT_PRIORITY(.fini_array.*) SORT_BY_INIT_PRIORITY(.dtors.*)))
    KEEP (*(.fini_array EXCLUDE_FILE (*crtbegin.o *crtbegin?.o *crtend.o *crtend?.o ) .dtors))
    PROVIDE_HIDDEN (__fini_array_end = .);
  } >flash AT>flash 

  .ctors          :
  {
    /* gcc uses crtbegin.o to find the start of
       the constructors, so we make sure it is
       first.  Because this is a wildcard, it
       doesn't matter if the user does not
       actually link against crtbegin.o; the
       linker won't look for a file to match a
       wildcard.  The wildcard also means that it
       doesn't matter which directory crtbegin.o
       is in.  */
    KEEP (*crtbegin.o(.ctors))
    KEEP (*crtbegin?.o(.ctors))
    /* We don't want to include the .ctor section from
       the crtend.o file until after the sorted ctors.
       The .ctor section from the crtend file contains the
       end of ctors marker and it must be last */
    KEEP (*(EXCLUDE_FILE (*crtend.o *crtend?.o ) .ctors))
    KEEP (*(SORT(.ctors.*)))
    KEEP (*(.ctors))
  } >flash AT>flash 

  .dtors          :
  {
    KEEP (*crtbegin.o(.dtors))
    KEEP (*crtbegin?.o(.dtors))
    KEEP (*(EXCLUDE_FILE (*crtend.o *crtend?.o ) .dtors))
    KEEP (*(SORT(.dtors.*)))
    KEEP (*(.dtors))
  } >flash AT>flash 

    . = ALIGN(4);
    PROVIDE( _eilm = . );

  .lalign         :
  {
    . = ALIGN(4);
    PROVIDE( _data_lma = . );
  } >flash AT>flash 

  .dalign         :
  {
    . = ALIGN(4);
    PROVIDE( _data = . );
  } >ram AT>flash 
  
  
  .data          :
  {
    *(.rdata) 
   
    *(.gnu.linkonce.r.*)
    *(.data .data.*)
    *(.gnu.linkonce.d.*)
    . = ALIGN(8);
    PROVIDE( __global_pointer$ = . + 0x800); 
    *(.sdata .sdata.*)
    *(.gnu.linkonce.s.*)
    . = ALIGN(8);
    *(.srodata.cst16)
    *(.srodata.cst8)
    *(.srodata.cst4)
    *(.srodata.cst2)
    *(.srodata .srodata.*)
  } >ram AT>flash 

  . = ALIGN(4);
  PROVIDE( _edata = . );
  PROVIDE( edata = . );

  PROVIDE( _fbss = . ); /*0X200052A0  0X200002A0*/
  PROVIDE( __bss_start = . );
  .bss            :
  {
    *(.sbss*)
    *(.gnu.linkonce.sb.*)
    *(.bss .bss.*)
    *(.gnu.linkonce.b.*)
    *(COMMON)
    . = ALIGN(4);
  } >ram AT>ram 

  . = ALIGN(8);
  PROVIDE( _end = . ); /*0X2000,0340*/
  PROVIDE( end = . );

  .stack ORIGIN(ram) + LENGTH(ram) - __stack_size :  
  {
    PROVIDE( _heap_end = . ); 
    . = __stack_size;  
    PROVIDE( _sp = . ); 
  } >ram AT>ram 
}
 

浅谈RISC-V GCC之：链接脚本学习笔记(二)_MounRiver_Studio的博客-CSDN博客

lbaihao
关注
  • 0
    点赞
  • 踩
  • 11
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
基于RISC-V的软件编译脚本
简单同学
08-20 690
脚本:设置RISC-V工具链riscv_set_env ############## RISC-V ############## setenv RISCV_PATH /mnt/Software/FreedomStudio/SiFive/riscv64-unknown-elf-gcc-8.1.0-2018.12.0-x86_64-linux-ubuntu14/ set path = ($RISCV_PATH/bin $path) set RISCV_ARCH = rv32imac set RISC
RISC-V MCU ld链接脚本说明
RISCVnet的博客
05-20 1754
1、什么是ld链接脚本？ 通常，程序编译的最后一步就是链接，此过程根据“*.ld”链接文件将多个目标文件(.o)和库文件(.a)输入文件链接成一个可执行输出文件(.elf)。涉及到对空间和地址的分配以及符号解析与重定位。 而ld链接脚本控制这整个链接过程，主要用于规定各输入文件中的程序、数据等内容段在输出文件中的空间和地址如何分配。通俗的讲，链接脚本用于描述输入文件中的段，将其映射到输出文件中，并指定输出文件中的内存分配。 2、ld链接脚本的主要内容 2.1 链接配置(可选) 常见的配置有入口
RISC-V体系结构编程与实践
07-04
课程目录课程亮点《RISC-V体系结构编程与实践》图书配套视频课程熟练掌握RISC-V指令集与汇编深入阶段RISC-V体系结构图书 + 视频讲解 + 动手实验几十个原创实验项目经验和陷阱总结动手实践BenOS适用人群计算机相关专业在校大学生想转计算机专业的在校大学生研究计算机体系结构的在校研究生从事与RISC-V相关的研发/测试等工程师想了解RISC-V的相关从业人员 讲师介绍老笨（笨叔），一名工作超过20年的中年程序员，出版过7本计算机畅销书：《奔跑吧Linux内核》，《ARM64体系结构编程与实践》，《RISC-V体系结构编程与实践》。
【跟我学RISC-V】（二）RISC-V的基础知识学习与汇编练习
最新发布
April_Zhao的博客
05-04 2428
逐指令讲解和实践
[001] [RISC-V] Linker Script 链接脚本说明
柯西的彷徨的博客
09-05 3194
每个输出section都有一个类型，如果没有指定TYPE类型，那么连接器根据输出section引用的输入section的类型设置该输出section的类型。一个可执行文件中的所有符号都有自己的地址，并保存在「全局符号表」中，但此时「全局符号表」中的地址还都是原来在各个目标文件中的地址，即相对于零地址的偏移。表示当前地址，它是一个变量，总是代表输出文件中的一个地址（根据输入文件section的大小不断增加，不能倒退，且只用于。来描述，包括段名、段的类型、段的起始地址、段的偏移和段的大小等。
内存管理01——链接脚本
Setul
02-12 2475
新年的第一篇博文，先祝我工作顺利，万事如意！祝福大家的话就不赘述了。 在开始操作系统的内存管理相关内容前，首先来关注链接脚本，因为动态内存即堆区的地址是在链接脚本中分配的，知道了堆的起始地址和长度才能进行内存的分配和管理。 1. 链接脚本的作用是什么？ 链接的作用就是把编译生成的多个目标文件（.o）合并起来，生成最后的可执行文件（.elf）。如上图中间的就是.o目标文件，最右的则是链接生成的.elf文件。除此之外，链接脚本还关注一个问题，就是生成的各个段被加载在内存的什么位置。 举个例子很容易就明白，下面
ld 中的AT＞FLASH的含义
weixin_38529150的博客
01-11 4953
参考贴子：https://www.cnblogs.com/RegressionWorldLine/p/11968467.html /* Define output sections */ SECTIONS { /*中间跳过*/ .malloc : { . = ALIGN(4); __MALLOC_SYMBOLS = .; /* create a global symbol at ccmram start */ *(.malloc) *(.mal.
制作一个RISC-V的操作系统八-内存管理（内存管理分类 链接脚本 ld 脚本语法 从ld 脚本获取符号值 基于page级别实现动态分配 管理heap区域各个page的状态 动态分配（页级别） 代码）
llovewuzhengzi的博客
03-31 944
汇编中可以使用链接脚本中的符号来赋值，只不过要当链接后才会生效，即生成目标文件时并不会赋值成功（该符号会被识别为未定义符号（Undefined symbol）表示该符号在当前目标文件中没有定义，在链接阶段会被解析为其他目标文件中定义的符号。data段里声明了一个变量, 这个变量的值会被包进ELF里，ELF文件里会包括这个变量的符号与值，但是如果比如编译器发现, 你有些变量一开始是0, 编译器就可以只存他们的符号, 不存值(反正都是0), 把他们都放到BSS段中（就是在heap中动态分配page级别的大小。
RISC-V 工具链 NSIS 打包脚本
10-08
RISC-V工具链是针对RISC-V架构的开发环境，它包括编译器、链接器、模拟器等组件，使得开发者能够在非RISC-V平台上构建和调试针对RISC-V处理器的应用程序。NSIS（Nullsoft Scriptable Install System）是一款开源的...
RISC-V GCC Centos64安装包
04-09
RISC-V GCC CentOS64安装包是针对RISC-V架构的GNU编译器集合，用于在64位CentOS操作系统上构建嵌入式MCU（微控制器）应用程序。该安装包名为`gnu-mcu-eclipse-riscv-none-gcc-8.2.0-2.2-20190521-0004-centos64.tgz`...
pyrisc:Python的教育性RISC-V工具集
05-27
PyRISC项目子目录当前，可以使用以下工具： ./sim ：用于RV32I基本指令集的RISC-V指令集模拟器./pipe5 ：具有RV32I指令集的5级流水RISC-V处理器实现的模拟器./asm ，链接脚本和用于构建与PyRISC兼容的RISC-V可执行...
具有 RISC-V 内核 的 32 位微控制器_Verilog_代码_相关文件_下载
07-07
riscv-tools构建脚本中的默认设置将构建可以针对任何 RISC-V ISA 的编译器、汇编器和链接器，但这些库是为 RV32G 和 RV64G 目标构建的。按照以下说明构建针对纯 RV32I CPU 的完整工具链（包括库）。 以下命令将为纯...
rv32emu：具有ELF支持的RISC-V RV32I [MA]仿真器
02-05
**rv32emu：深入理解RISC-V RV32I [MA]仿真器与ELF支持** RISC-V（Reduced Instruction Set Computer - V）是一种开放源代码指令集架构（ISA），旨在为现代计算机硬件提供一种简洁、高效的设计。rv32emu是一个专为...
RISC-V MCU gp全局指针说明
RISCVnet的博客
05-20 1031
gp，globalpointer，全局指针寄存器，RISC-V 32个寄存器之一，为了优化±2KB内全局变量的访问。 gp寄存器在启动代码中加载为__global_pointer$的地址，并且之后不能被改变。 linker时使用__global_pointer$来比较全局变量的地址，如果在范围内，就替换掉lui或puipc指令的 absolute/pc-relative寻址，变为gp-relative寻址，使得代码效率更高。该过程被称为linker relaxation(链接器松弛)，也可以使用-Wl.
内存和FLASH的区别总结
ahutqi的专栏
09-17 1483
内存(RAM或ROM)和FLASH存储的真正区别总结2009-11-24 19:063.ROM和RAM指的都是半导体存储器 1）ROM是Read Only Memory的缩写     是一种半导体内存，其特性是一旦储存资料就无法再将之改变或删除。通常用在不需经常变更资料的电子或电脑系统中，资料并且不会因为电源关闭而消失。     只能读出事先所存数据的固态半导体存储器。英文简称ROM。ROM
浅谈RISC-V GCC之：链接脚本学习笔记(一)
qq_36353650的博客
11-05 1119
浅谈RISC-V GCC之：链接脚本学习笔记(一) 我们在用RISC-V GCC做嵌入式开发的时候，免不了要和启动文件和链接文件等打交道，本篇文章记录了一些链接脚本相关的学习笔记。 1．基础概念 链接脚本的主要作用是描述输入文件中的段应当如何映射到输出文件中，并控制输出文件的内存布局。多数链接脚本都执行类似功能。但是，如果需要，链接脚本也可以使用下面所描述的命令指挥链接器进行很多其他操作。 链接器通常使用一个链接脚本。如果没有为其提供一个，链接器将会使用默认的编译在链接器执行文件内部的脚本。可以使用命令
链接脚本（Linker Script）解析
weixin_43083491的博客
09-29 7200
链接脚本实质上是一个规则文件，程序员用来指挥链接器工作的，当我们编写了多个C文件，调用了大量库，如何编译成一个可执行文件呢？这是链接脚本文件就会发挥他的作用了：将多个目标文件（xx.o）、库文件（xx.a）、动态库（.so）等等链接成一个可执行文件。
【RISC-V操作系统】从零开始写一个操作系统（三）编译与链接
m0_54138660的博客
03-16 531
gnu compiler collection，由GNU开发的，遵循GPL许可证发布的编译器套件。支持C，C++，objectiveC，Fortran，ada和Go语言等等语言前端。已经被移植到多种计算机体系架构上。gcc的初衷是为GNU操作系统专门编写一款编译器，现在已经被大多数unix-like操作系统采纳为标准编译器。executable linkable format是一种unix-like系统上的二进制标准。也就是可执行可链接格式。elf文件类型说明实例。
GNU链接脚本(12) - 抛弃glibc依赖
task_struct的博客
02-03 346
原文：https://github.com/iDalink/ld-linker-script/tree/master/12%20%E6%8A%9B%E5%BC%83glibc%E4%BE%9D%E8%B5%96 1、目标 上一节，我们已经体会到系统库的复杂。为了保持可控性，我们决定抛弃glibc，构建一个完全可控的应用程序。我们需要两个函数，puts和exit，分别实现日志输出和程序退出。 2、系统调用 应用程序调用系统服务称之为系统调用(system call)，应用程序之间的函数调用称之为库调用
平头哥RISC-V处理器链接脚本使用指南
"平头哥RISC-V系列处理器的链接脚本使用手册" 本文档是关于GNU链接器ld的详细指南，特别针对T-head RISC-V架构。ld是GNU Binutils的一部分，由Steve Chamberlain、Ian Lance Taylor等人编写，并由Red Hat Inc维护。...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值