Linux操作系统之库制作与原理_库文件使用原理-CSDN博客

本文链接：https://blog.csdn.net/2401_84420653/article/details/148671805

1. 动静态库的制作与使用

1.1 什么是库

库是写好的、现有的、成熟的、可复用的代码。现实中每个程序都要依赖很多基础的底层库，不可能每个人的代码都从零开始，因此库的存在有很大的意义。

本质上说库是一种可执行代码的二进制形式，可以被操作系统载入内存执行。库有两种：

静态库：.a[Linux]、.lib[Windows]
动态库：.so[Linux]、.dll[Windows]

预先准备制作库的代码，如下：

// my_stdio.h
#pragma once
#define SIZE 1024
#define FLUSH_NONE 0
#define FLUSH_LINE 1
#define FLUSH_FULL 2
struct IO_FILE {
	int flag; // 刷新方式
	int fileno; // 文件描述符
	char outbuffer[SIZE];
	int cap;
	int size;
};
typedef struct IO_FILE mFILE;
mFILE *mfopen(const char *filename, const char *mode);
int mfwrite(const void *ptr, int num, mFILE *stream);
void mfflush(mFILE *stream);
void mfclose(mFILE *stream);
// my_stdio.c
#include "my_stdio.h"
#include <string.h>
#include <stdlib.h>
#include <sys/stat.h>
#include <sys/types.h>
#include <fcntl.h>
#include <unistd.h>
mFILE *mfopen(const char *filename, const char *mode) {
	int fd = -1;
	if(strcmp(mode, "r") == 0) {
		fd = open(filename, O_RDONLY);
	} else if(strcmp(mode, "w")== 0) {
		fd = open(filename, O_CREAT|O_WRONLY|O_TRUNC, 0666);
	} else if(strcmp(mode, "a") == 0) {
		fd = open(filename, O_CREAT|O_WRONLY|O_APPEND, 0666);
	}
	if(fd < 0) return NULL;
	mFILE *mf = (mFILE*)malloc(sizeof(mFILE));
	if(!mf) {
		close(fd);
		return NULL;
	}
	mf->fileno = fd;
	mf->flag = FLUSH_LINE;
	mf->size = 0;
	mf->cap = SIZE;
	return mf;
}
void mfflush(mFILE *stream) {
	if(stream->size > 0) {
		// 写到内核?件的?件缓冲区中!
		write(stream->fileno, stream->outbuffer, stream->size);
		// 刷新到外设
		fsync(stream->fileno);
		stream->size = 0;
	}
}
int mfwrite(const void *ptr, int num, mFILE *stream) {
	// 1. 拷贝 
	memcpy(stream->outbuffer+stream->size, ptr, num);
	stream->size += num;
	// 2. 检测是否要刷新
	if(stream->flag == FLUSH_LINE && stream->size > 0 && stream->outbuffer[stream->size-1]== '\n') {
		mfflush(stream);
	}
	return num;
}
void mfclose(mFILE *stream) {
	if(stream->size > 0) {
		mfflush(stream);
	}
	close(stream->fileno);
}
// my_string.h
#pragma once
int my_strlen(const char *s);
// my_string.c
#include "my_string.h"
int my_strlen(const char *s) {
	const char *end = s;
	while(*end != '\0')end++;
	return end - s;
}

使用库的代码：

// main.c
#include "my_stdio.h"
#include "my_string.h"
#include <stdio.h>
int main() {
	// 1.打印s及其长度
	// 2.创建文件并往文件中写入三次s的信息
	const char *s = "abcdefg";
	printf("%s: %d\n", s, my_strlen(s));
	mFILE *fp = mfopen("./log.txt", "a");
	if(fp == NULL) return 1;
	mfwrite(s, my_strlen(s), fp);
	mfwrite(s, my_strlen(s), fp);
	mfwrite(s, my_strlen(s), fp);
	mfclose(fp);
	return 0;
}

后续演示库的使用如下：

场景1：头文件和库文件安装到系统路径下

gcc main.c -lmystdio

场景2：头文件和库文件以及自己的源文件在同一个路径下

gcc main.c -L. -lmystdio

场景3：头文件和库文件有自己独立路径

gcc main.c -I头文件路径 -L库文件路径 -lmystdio

其中：

-L：指定库路径
-I（大写i）：指定头文件搜索路径
-l（小写L）：指定当前链接用此库名
库文件名称和引入库的名称：去掉前缀 lib ，去掉后缀 .so ,.a ，如： libc.so -> c

1.2 静态库

静态库（.a），程序在编译链接时把库的代码链接到可执行文件中，相当于将静态库拷贝至可执行文件中，则程序运行时将不再需要静态库
编译默认使用动态链接库，只有找不到动态库时才会使用同名静态库。当然也可以使用gcc的-static强制设置使用静态库

1.2.1 制作

需使用ar命令，选项：

rc：表示 replace 和 create
t：列出静态库中的文件
v：verbose 列出详细信息

以Makefile形式给出制作方式：

 # 生成静态库
 libmystdio.a:my_stdio.o my_string.o
	@ar -rc $@ $^
	@echo "build $^ to $@ ... done" # 打印提示信息
# 生成.o文件
%.o:%.c
	@gcc -c $<
	@echo "compling $< to $@ ... done"
# 清理
.PHONY:clean
clean:
	@rm -rf *.a *.o stdc*
	@echo "clean ... done"
# 创建新路径，并将.h和.a 拷贝至新路径 
.PHONY:output
output:
	@mkdir -p stdc/include
	@mkdir -p stdc/lib
	@cp -f *.h stdc/include
	@cp -f *.a stdc/lib
	@tar -czf stdc.tgz stdc
	@echo "output stdc ... done"

在这里插入图片描述

1.2.2 使用

场景1：

在这里插入图片描述
运行：

错误演示：

场景2：
在这里插入图片描述
场景3：

先创建目录：
在这里插入图片描述

运行：

在这里插入图片描述

以场景3为例，将静态库删除后，再次运行程序：

在这里插入图片描述

依旧能运行，这是因为程序在编译链接时，将静态库给全部拷贝进了程序文本中，这样，即使静态库删除，程序照样可以运行

1.3 动态库

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

1.3.1 制作

需使用gcc命令，选项：

-shared：表示生成动态库
fPIC：产生位置无关码（了解）
库名规则：libxxx.so

以Makefile形式给出制作方式：

# 生成动态库
libmystdio.so:my_stdio.o my_string.o 
        gcc -o $@ $^ -shared
# 生成.o文件 
%.o:%.c
        gcc -fPIC -c $< 
# 清理
.PHONY:clean
clean:
        @rm -rf *.so *.o stdc* 
        @echo "clean ... done" 
# 创建新路径，并将 .h和.so 拷贝至新路径
.PHONY:output
output: 
        @mkdir -p stdc/include 
        @mkdir -p stdc/lib 
        @cp -f *.h stdc/include 
        @cp -f *.so stdc/lib 
        @tar -czf stdc.tgz stdc 
        @echo "output stdc ... done"

1.3.2 使用

使用方法就和静态库的类似，这里只演示场景3

错误演示：
在这里插入图片描述
分析：

使用静态库链接之前就说过，其在编译链接时相当于把库给拷贝进了可执行文件中，所以在运行时，不需要指明库的路径，因为其可执行文件内本来就有库
而使用动态库链接，其不需要将库的内容拷贝进可执行文件中，是在运行时，与其他程序一起共享动态库的内容，所以即使编译的时候指定了库的路径，但是运行时，编译器仍不知道去哪里找动态库的路径，于是运行时便会报找不到库的错误

解决：

拷贝 .so 文件到系统共享库路径下,一般指 /usr/lib、/usr/local/lib、/lib64
向系统共享库路径下建立同名软链接
更改环境变量： LD_LIBRARY_PATH
ldconfig方案：配置/etc/ld.so.conf.d/ ，然后使用ldconfig更新

这里使用环境变量的方法来解决：

在这里插入图片描述

2. 生成可执行程序的过程

以C文件为例，采用gcc编译器，格式为：

gcc [选项] 要编译的文件 [选项] [目标文件]

后续均以hello.c文件来说明：

#include<stdio.h>
int main()
{
        printf("hello world\n");
        return 0;
}

2.1 预处理

指头文件展开，宏定义替换，条件编译和去注释等
对应格式：gcc –E hello.c –o hello.i

生成hello.i文件：
在这里插入图片描述
vim hello.i：

在这里插入图片描述
可见预处理后的文件会显得很臃肿

2.2 编译（生成汇编）

在这个阶段中，gcc首先要检查代码的规范性、是否有语法错误等，以确定代码的实际要做的⼯作，在检查无误后，gcc把代码翻译成汇编语言
对应格式：gcc -S hello.i -o hello.s

生成hello.s文件：
在这里插入图片描述

vim hello.s：
在这里插入图片描述
此时生成的文件还是我们人类能看懂的（汇编语言），这个文件相对于hello.i文件体积小些

2.3 汇编（将汇编代码生成机器可识别代码）

汇编阶段是把编译阶段⽣成的“.s”文件转成目标文件
对应格式：gcc –c hello.s –o hello.o

生成hello.o：

在这里插入图片描述

vim hello.o：
在这里插入图片描述

此时生成的文件只能去由计算机去读了

2.4 链接（生成可执行文件或库文件）

这个阶段其实就是今天的主题，在成功编译之后,就进入了链接阶段，此阶段是让前一个阶段生成的目标文件（.o）去与其内部关联的动静态库作链接
对应格式：gcc hello.o -o hello

生成可执行文件hello：
在这里插入图片描述

vim hello :

在这里插入图片描述

2.5 规则怪谈

预处理、编译、汇编对应的选项是ESc，对应生成的文件是iso，关联想到键盘最上角的Esc键和苹果操作系统ios，再记住一点，S对应s即可，然后把ios中o和s换位置。其实iso是国际标准化组织的简称，单纯记这个组织简称也是可以的
即：
①-E 生成.i
②-S 生成.s
③-c 生成.o

3. 目标文件与ELF文件（了解）

3.1 目标文件

编译和链接这两个步骤，在Windows下被我们的IDE封装的很完美，我们一般都是一键构建非常方便，而在Linux，是通过命令行的形式来完成这一系列操作的，正如下图过程所示：

在这里插入图片描述

可以看到，在编译之后会生成扩展名为 .o 的文件，它们被称作目标文件。要注意的是如果我们修改了一个原文件，那么只需要单独编译它这一个，而不需要浪费时间重新编译整个工程。目标文件是一个二进制的文件，文件的格式是 ELF ，是对二进制代码的一种封装，采用filie hello.o命令来查看

在这里插入图片描述