Linker&Loader

本文摘自 : 程序员的自我修养—链接、装载与库

目标文件和可执行文件的格式十分相似,动态链接库和静态链接库的内容也和可执行文件十分相似。对于动态链接和静态链接库,windows下分别为.dll和.lib文件,而在linux下为.so问价和.a文件。

对于可执行文件或者目标文件,他们都有文件头。文件头描述这个文件是可执行文件还是可链接文件或者是一个库文件。

可执行文件分段的理由:

①保护代码段。

②因为CPU的cache有限,减小缓存的大小可以增减命中率。

⑤可以共享代码段。

目标文件内主要有两种数据:代码和数据。

ELF头部    本文件的信息  
段头部表
用来描述各个段的信息,如段的名称和段的位置和偏移量

 
.init    
.text 代码段  
.rodata 只读数据区 只读数据,例如可以是字符串或const常量
.data 数据段 全局变量和局部静态变量
.bss 不占空间 未初始化的全局变量和局部静态变量默认值为0
.symtab 符号表  
.debug 调试信息  
.line    
.strtab 字符串表  
节头表    

可执行文件中可以有自定义段,例如可以使用工具objcopy将二进制文件(一张图片)写入可执行文件中。

时间: 2024-11-06 09:50:39

Linker&Loader的相关文章

Compiler, Assembler, Linker, Loader

大多数计算机使用8位的块(称为字节 byte),作为最小的可寻址的存储器单位,而不是在存储器中访问单独的位.程序将存储器视为一个非常大的字节数组,称为虚拟存储器(virtural memory).存储器的每个字节都由一个唯一的数字来标示,称为它的地址,所有可能地址的集合称为虚拟地址空间. 这个虚拟地址空间只是一个概念性映像,实际的实现见第九章. 每个计算机都有一个字长(word size).32位, 64位. 字节 与 字长 分清楚 字节顺序(大端,小端) 位运算: a ^ a = 0a ^ b

Linux使用静态库和动态库

Linux使用静态库和动态库 (一)库的概念 库是可以复用的代码,在一些大的项目中常常会用到库. 本质上说:库是一种可执行代码的二进制形式,可以被操作系统载入内存执行. 一般说库是说两种: 静态库:linux下.a文件.windows下.lib文件 动态库:linux下.so文件.windows下.dll文件 最近花了一些时间把linux下编译.链接等研究了一下,作为一个菜鸟记录并分享一蛤. (二)静态库与动态库 程序的编译运行要经过以下步骤: 1.源文件(.h .cpp等) 2.预编译 3.编

程序的加载和执行(六)——《x86汇编语言:从实模式到保护模式》读书笔记26

程序的加载和执行(六)--<x86汇编语言:从实模式到保护模式>读书笔记26 通过本文能学到什么? NASM的条件汇编 用NASM编译的时候,通过命令行选项定义宏 Makefile的条件语句 在make命令行中覆盖Makefile中的变量值 第13章习题解答 复习如何构造栈段描述符 我们接着上篇博文说. 在我修改后的文件中,用到了条件汇编. 比如: %ifdef DEBUG put_core_salt: ;打印内核的符号 ... ... put_usr_salt: ;打印用户的符号 ... .

Linux下Gcc生成和使用静态库和动态库详解

参考文章:http://blog.chinaunix.net/uid-23592843-id-223539.html 一.基本概念 1.1什么是库 在windows平台和linux平台下都大量存在着库. 本质上来说库是一种可执行代码的二进制形式,可以被操作系统载入内存执行. 由于windows和linux的平台不同(主要是编译器.汇编器和连接器的不同),因此二者库的二进制是不兼容的. 本文仅限于介绍linux下的库. 1.2库的种类 linux下的库有两种:静态库和共享库(动态库). 二者的不同

C/C++的静态库与动态库

C/C++编程中相关文件后缀(以Linux系统下为例): .a:           静态库(archive) .c/.cpp:  C/C++源程序 .h/.hpp: C/C++源程序的头文件 .i:           经过预处理后的C/C++源程序 .o:        对象文件 .s:        汇编语言代码 .so:      动态链接库 本质上来说库是一种可执行代码的二进制形式,可以被操作系统载入内存运行.库有两种:静态库(Linux操作系统下是以.a做后缀,Windows操作系统

C++静态初始化的顺序

这两天项目代码中遇到一个很疑惑的问题,问题可以描述为:一个静态成员初始化的时候直接core掉,该静态成员初始化时通过另外一个文件中静态成员来完成.该问题同样发生在全局对象上.该问题可以描述为今天要讨论的:变量的静态初始化顺序. 具体可以用代码简述如下: //test1.cpp #include <string> std::string a = "test"; //test2.cpp #include <iostream> extern std::string a

【转】Linux下gcc生成和使用静态库和动态库详解

一.基本概念 1.1 什么是库 在Windows平台和Linux平台下都大量存在着库. 本质上来说,库是一种可执行代码的二进制形式,可以被操作系统载入内存执行. 由于windows和linux的平台不同(主要是编译器.汇编器和连接器的不同),因此二者的库的二进制是不兼容的. 本文仅限于介绍linux下的库. 1.2 库的种类 linux下的库有两种:静态库和共享库(动态库). 二者的不同点在于代码被载入的时刻不同. 静态库的代码在编译过程中已经被载入可执行程序,因此体积较大. 共享库的代码是在可

C++静态库与动态库(比较透彻)

这次分享的宗旨是——让大家学会创建与使用静态库.动态库,知道静态库与动态库的区别,知道使用的时候如何选择.这里不深入介绍静态库.动态库的底层格式,内存布局等,有兴趣的同学,推荐一本书<程序员的自我修养——链接.装载与库>. 什么是库 库是写好的现有的,成熟的,可以复用的代码.现实中每个程序都要依赖很多基础的底层库,不可能每个人的代码都从零开始,因此库的存在意义非同寻常. 本质上来说库是一种可执行代码的二进制形式,可以被操作系统载入内存执行.库有两种:静态库(.a..lib)和动态库(.so..

LFS构建逻辑理解

严格来说,LFS只能称为“pseudo LFS”,WHY? 因为LFS归根结底,还是基于已有的操作系统平台构建而来,并非真正的从0开始,它没有突破所谓“鸡与蛋”的死循环:但它确实有助于理解Linux的运行机理,通过刻意营造一个尽可能接近于原始状态的最小运行环境,给用户一种“接近从0开始”的系统DIY体验. 一.必须理解的概念 C的编译与链接,是一个将源代码转换成可在硬件上运行的程序的过程,从源代码到程序执行,通常需要5步:预编译.编译.汇编.链接.动态加载(动态链接).编译是把人类编写的程序代码