【Linux】深入解析动静态库:原理、制作、使用与动态链接机制

文章目录

  • 前言:
  • 1. 什么是动静态库
  • 2. 动静态库的制作和使用
  • 3. 动态库的查找问题
  • 4. 理解动态库的加载
    • 4.1. 站在系统的角度理解
    • 4.2. 编址、可执行程序
    • 4.3. 动态库动态链接和加载问题
  • 总结:

前言:

在软件开发中,动静态库是两种重要的代码复用和模块化手段。静态库(.a)在程序编译时将库代码整合到可执行文件中,而动态库(.so)则在程序运行时才链接库代码,使得多个程序可以共享同一份库代码。这种机制不仅提高了开发效率,还节省了磁盘和内存空间。本文将深入探讨动静态库的概念、制作和使用,以及动态库的查找和加载机制,帮助读者更好地理解和应用动静态库。

1. 什么是动静态库

  • 静态库(.a):程序在编译链接的时候把库的代码链接到可执行文件中。程序运行的时候将不再需要静态库
  • 动态库(.so):程序在运行的时候才去链接动态库的代码,多个程序共享使用库的代码。
  • 一个与动态库链接的可执行文件仅仅包含它用到的函数入口地址的一个表,而不是外部函数所在目标文件的整个机器码
  • 在可执行文件开始运行以前,外部函数的机器码由操作系统从磁盘上的该动态库中复制到内存中,这个过程称为动态链接(dynamic linking)
  • 动态库可以在多个程序间共享,所以动态链接使得可执行文件更小,节省了磁盘空间。操作系统采用虚拟内存机制允许物理内存中的一份动态库被要用到该库的所有进程共用,节省了内存和磁盘空间。

a. 用过库吗? 用过,语言给我们提供了大量的库来进行链接。
b. 动态库 & 静态库: 系统默认安装动态库,云服务器,静态库(C标准库)默认是没有安装的。
c. 默认编译程序,用的是动态链接的,如果要静态加上 -static
d. libXXX.so、libYYY.a , 库真实的名字:XXX、YYY

2. 动静态库的制作和使用

站在库制作者的角度:我只给你提供 .o , 在不提供源文件的情况下也能形成可执行程序。

为什么要有库:

  1. 提高开发效率
  2. 隐藏源代码

所有的 .o 文件用特定的方式,进行打包,形成一个文件
在这里插入图片描述

// main.c
#include "mymath.h"
#include "mystdio.h"
#include <stdio.h>int main()
{int res = myAdd(10, 20);printf("%d + %d = %d\n", 10, 20, res);myFILE* fp = my_fopen("log.txt", "w");if (fp == NULL) return 1;return 0;
}

在这里插入图片描述
打包:

  ar -rc libmyc.a  mymath.o mystdio.o
gcc main.c -lmyc -L .

在这里插入图片描述
-L . :如果不像让 gcc 在当前目录下找了,可以将头文件添加到系统默认的头文件和库目录下。

gcc -c src.c -> src.o
gcc -c -fPIC src.c
动态库打包,我们不需要其它工具
makefile 文件:

libmyc.so: mymath.o mystdio.ogcc -shared -o $@ $^
%.o:%.cgcc -c -fPIC $<.PHONY:clean
clean:rm -rf *.o libmyc.so 

编写库的人:未来要给别人(用库的人), 交付的是: 头文件+库文件

打包为压缩包:

libmyc.a:mymath.o mystdio.oar -rc $@ $^rm *.o
%.o:%.cgcc -c $<libmyc.so:mymath.o mystdio.ogcc -shared -o $@ $^
%.o:%.cgcc -c -fPIC $<
#mymath.o:mymath.c
#	gcc -c -fPIC $<
#mystdio.o:mystdio.c
#	gcc -c -fPIC $<.PHONY:clean
clean:rm -rf *.o libmyc.so *.a mylib mylib.tgz.PHONY:output
output:mkdir -p mylib/includemkdir -p mylib/libcp -rf *.h mylib/includecp -rf *.so mylib/libcp -rf *.a mylib/libtar czf mylib.tgz mylib

以目录的形式组织起来:(告诉编译器头文件和库所在的文件位置)
在这里插入图片描述
在这里插入图片描述

3. 动态库的查找问题

  1. 库没有在当前路径下
  2. 库没有安装到系统中
  3. 就是在我设定的目录内部

我们告诉的仅仅是编译器文件所在路径,可执行程序并不知道

所谓的把库(其它软件)安装到系统中,本质就是把对应的文件,拷贝到指定的路径中。

对动态库
编译时的搜索路径 —— gcc
运行时的库搜索路径 —— OS
将库安装在系统中(/lib64),既可以支持编译,又可以支持运行。

解决找不到动态库的4种方案

  1. 直接将库进行安装(拷贝)到系统中(朴实无华)(官方的库推荐)
  2. 将不在系统路径下的库路径,添加到 LD_LIBRARY_PATH 中
  3. 通过软链接的方式 (自己写的库推荐)
sudo ln -s /home/qhd/...(绝对路径) /lib64/libmyc.so
  1. 系统的配置文件路径方案

编译器选择库的情况:

  • 如果我们同时提供动态库和静态库,gcc默认使用的时动态库。
  • 如果我们非要静态链接,我们必须使用 static 选项。
  • 如果我们只提供的静态库,那我们的可执行程序也是没有办法,只能对该库进行静态链接,但程序一定整体是静态链接的。
  • 如果我们只提供静态库,默认只能动态链接,非得静态链接,会发生链接报错。

4. 理解动态库的加载

4.1. 站在系统的角度理解

库默认就是一个磁盘 级别的文件
库函数调用,依旧在进程的地址空间种进行的。
动态库加载之后,会被映射到进程的共享区中。
本质:所有系统进程中公共的代码和数据,只需要存在一份!

问题:

  1. 谁来决定,哪些库加载了,哪些没有加载? OS会自动完成
  2. 系统中可以同时存在非常多的已经加载到内存的库呢? 是! 操作系统要不要管理呢? 要!(先描述(用结构体描述),再组织(用链表管理起来))
struct loadlib 
{char *libname;void *addr;uint64_t time;struct loadlib *next;//...
}

4.2. 编址、可执行程序

可执行程序本身是有自己的格式信息的。
如果我们的可执行程序,没有加载到内存中,我们的程序中有没有地址呢?本来就有地址。
其实我们可执行程序,在没有加载之前,也已经基本被按照类别(比如权限,访问属性等)已经可执行程序划分为各个区域了。
我们进程地址空间里面的很多地址数据,是从可执行程序中来的 。

绝对编址的方式 —— 平坦模式
相对地址(逻辑地址) —— 段地址 + 偏移量

操作系统和编译器也有关系? 虚拟地址空间本身不仅是 OS 要遵守,编译器编译的时候也要遵守。

4.3. 动态库动态链接和加载问题

  1. 一般程序的加载
    地址空间既然是一个数据结构对象,谁来用什么数据初始化呢?
    代码是 “数据” 吗? 是
    所谓的地址空间,本质是由操作系统 + 编译器 + 计算机体系结构(CPU) 三者共同配合完成的。
  2. 动态库
    库的数据和方法访问,都是可以通过库在地址空间(起始地址 + 我们程序内部的偏移量)

总结:

本文详细介绍了动静态库的概念、制作、使用以及动态库的查找和加载问题。通过对比静态库和动态库的特点,我们了解到静态库在编译时链接,而动态库则在运行时链接,这使得动态库在节省空间和提高代码复用方面具有优势。文章还介绍了如何制作和使用动静态库,包括编译器选项和Makefile的编写,以及如何处理动态库的查找问题,例如通过修改环境变量、创建软链接或配置系统路径等方法。最后,文章深入探讨了动态库的加载机制,包括系统如何管理已加载的库和动态链接的细节,揭示了操作系统、编译器和计算机体系结构在地址空间管理中的协同工作。通过本文的阅读,读者应该能够更加深入地理解动静态库的工作原理,以及如何在实际开发中有效地应用它们。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.rhkb.cn/news/340679.html

如若内容造成侵权/违法违规/事实不符,请联系长河编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

【miniconda】安装miniconda

☆ 问题描述 ubuntu环境下安装miniconda ★ 解决方案 ubuntu环境下安装miniconda 下载miniconda 包 miniconda官网地址&#xff1a;https://docs.conda.io/en/latest/miniconda.html 清华大学镜像地址&#xff1a; https://mirrors.tuna.tsinghua.edu.cn/anaconda/minicon…

Arduino ESP8266模块TFT液晶屏

ESP8266模块 模块实物图&#xff1a; 模块引脚定义&#xff1a; 工作模式选择&#xff1a; FlashBoot启动模式&#xff1a; GPIO15接GND UART固件下载模式: GPIO15接GND&#xff0c; GPIO0接GND 调试串口&#xff1a; URXD/UTXD 可用来下载固件和调试信息输出 模块使能&…

天润融通携手好丽友,打造食品零售行业智能客服新标杆

AI大模型&#xff0c;如何给食品零售行业的客服服务带来质变&#xff1f; 在很多人印象中&#xff0c;食品零售行业是不需要客户服务的。 因为绝大多数食品都是通过经销商、零售商、商场这样的渠道进行销售。所以在食品零售行业&#xff0c;一直都有一句话&#xff0c;叫“渠…

Mac终端operation not permitted问题、禁用和启用SIP(系统完整性保护)

Mac终端operation not permitted问题、禁用和启用SIP&#xff08;系统完整性保护&#xff09; 注意&#xff1a; 仅在必要时临时禁用SIP&#xff0c;并尽快重新启用它。在测试完成后不重新启用SIP将使您的计算机容易受到恶意代码的攻击 文章目录 Mac终端operation not permitt…

Spring Boot发送邮件时如何支持定时功能?

如何使用Spring Boot结合AokSend以实现高效邮件发送&#xff1f; 如何高效地进行sendmail发送邮件并支持定时功能是一个值得探讨的问题。本文将详细介绍如何在Spring Boot中实现定时sendmail发送邮件&#xff0c;并结合AokSend工具实现高效邮件发送。 Spring Boot发送邮件&am…

Java程序策——Java连接数据库保姆级教程(超详细步骤)

【Java程序策】——连接数据库 目录 ​编辑 一&#xff1a;在数据库中建立一个表&#xff08;student表&#xff09; 1.1&#xff1a;进入mysql 1.2&#xff1a;建立一个“数据库成员” 1.3&#xff1a;建立一个表&#xff08;student表&#xff09; 1.4&#xff1a;给表…

【代码随想录】【算法训练营】【第25天】 [216]组合总和III [17] 电话号码的字母组合

前言 思路及算法思维&#xff0c;指路 代码随想录。 题目来自 LeetCode。 day 25&#xff0c;周六&#xff0c;坚持有点困难~ 题目详情 [216] 组合总和III 题目描述 216 组合总和III 解题思路 前提&#xff1a;组合子集问题 思路&#xff1a;回溯算法&#xff0c;剪枝…

【vscode篇】1-VScode设置语言为中文,2-解决中文注释乱码问题。

设置语言为中文 在前端开发中&#xff0c;Visual Studio Code(简称vscode)是一个非常好用的工具&#xff0c;但第一次打开vscode会发现界面为英文&#xff0c;这对很多开发者来说会很不友好&#xff08;比如我&#xff09;&#xff0c;把界面设置成中文只需要安装一个插件即可&…

《QT从基础到进阶·四十二》QT运行后项目图标,exe图标问题,VS加载.pro文件问题

1、QT图标有时候不能正常显示&#xff0c;不管是加到qrc还是用绝对路径&#xff0c;都无法正常显示&#xff0c;之前是可以的&#xff0c;具体原因目前还不太清楚&#xff0c;我在VS项目——vcpkg——use vcpkg把否改为是就可以了 2、出现无法定位程序输入点的报错&#xff0c…

36. 【Java教程】输入输出流

本小节将会介绍基本输入输出的 Java 标准类&#xff0c;通过本小节的学习&#xff0c;你将了解到什么是输入和输入&#xff0c;什么是流&#xff1b;输入输出流的应用场景&#xff0c;File类的使用&#xff0c;什么是文件&#xff0c;Java 提供的输入输出流相关 API 等内容。 1…

AVL树的介绍与实现

前言 我们上一期介绍了二叉搜索树并做了实现&#xff0c;本期我们来继续学习另一个更优的树即AVL树&#xff01; 本期内容介绍 什么是AVL树&#xff1f; AVL树的实现 AVL树的性能分析 在正式的介绍AVL树之前&#xff0c;我们先来回忆一下二叉搜索树的特点&#xff1a;左子树的…

OceanBase 4.3.0 列存引擎解读:OLAP场景的入门券

近期&#xff0c;OceanBase 发布了4.3.0版本&#xff0c;该版本成功实现了行存与列存存储的一体化&#xff0c;并同时推出了基于列存的全新向量化引擎和代价评估模型。通过强化这些能力&#xff0c;OceanBase V4.3.0 显著提高了处理宽表的效率&#xff0c;增强了在AP&#xff0…

PS插件一键轻松搞定电商产品摄影图!

在电商行业中&#xff0c;一张高质量的产品摄影图往往能够吸引更多潜在消费者的目光&#xff0c;从而增加产品的销量。然而&#xff0c;对于许多电商卖家和摄影师来说&#xff0c;后期处理产品图片却是一个既耗时又费力的工作。 最近我发现一款PS插件可以一键生成电商产品摄影…

Flutter基础 -- Dart 语言 -- 基础类型

目录 0. 配置 1. 变量 1.1 弱类型 var Object dynamic 1.2 强类型 1.3 使用场景 var 简化定义变量 查询参数定义 返回的实例对象 2. 常量 final 和 const 2.1 相同点 类型声明可以省略 初始后不能再赋值 不能和 var 同时使用 2.2 不同点 const 需要确定的值 …

【Python绘画】画笑脸简笔画

本文收录于 《一起学Python趣味编程》专栏&#xff0c;从零基础开始&#xff0c;分享一些Python编程知识&#xff0c;欢迎关注&#xff0c;谢谢&#xff01; 文章目录 一、前言二、代码示例三、知识点梳理四、总结 一、前言 本文介绍如何使用Python的海龟画图工具turtle&#…

fastjson 泛型转换问题(详解)

系列文章目录 附属文章一&#xff1a;fastjson TypeReference 泛型类型&#xff08;详解&#xff09; 文章目录 系列文章目录前言一、代码演示1. 不存在泛型转换2. 存在泛型转换3. 存在泛型集合转换 二、原因分析三、解决方案1. 方案1&#xff1a;重新执行泛型的 json 转换2. …

23种模式之一— — — —适配器模式的详细介绍与讲解

适配器介绍与讲解 一、概念二、适配器模式结构适配器分类核心思想核心角色模式的UML类图应用场景模式优点模式缺点 实例演示图示代码演示运行结果 一、概念 适配器模式&#xff08;别名&#xff1a;包装器&#xff09; 是一种结构型设计模式 将一个类的接口转换成客户希望的另…

每日一练:利用多态思想和ArrayList集合,编写一个模拟KTV点歌系统的程序。【多态思想和ArrayList集合的综合应用】

目录 一、设计程序使用ArrayList集合&#xff0c;编写一个模拟KTV点歌系统的程序。参考代码歌曲类歌单类KTV类测试类运行效果 总结 最后 一、设计程序 使用ArrayList集合&#xff0c;编写一个模拟KTV点歌系统的程序。 要求&#xff1a; 输入0代表添加歌曲输入1代表将所选歌曲…

STM32高级控制定时器之输入捕获模式

目录 概述 1 输入捕获模式 1.1 原理介绍 1.2 实现步骤 1.3 发生输入捕获流程 2 使用STM32Cube配置工程 2.1 软件环境 2.2 配置参数 2.3 生成项目文件 3 功能实现 3.1 PWM调制占空比函数 3.2 应用函数库 4 测试 4.1 功能框图 4.2 运行结果 源代码下载地址&#xf…