高级C/C++编译技术之读书笔记(三)之动态库设计

本节思维导图1.关于-fPIC编译器选项1.1-fPIC代表什么“PIC”是位置无关代码(Position-independentCode)的缩写,说到位置无关代码,我们会立马想到加载重定

大家好,又见面了,我是全栈君,今天给大家准备了Idea注册码。

                                                                                    高级C/C++编译技术之读书笔记(三)之动态库设计

  最近有幸阅读了《高级C/C++编译技术》深受启发,该书深入浅出地讲解了构建过程(编译、链接)中的各种细节,从多个角度展示了程序与库文件或代码的集成方法,提出了面向代码复用和系统集成的软件架构设计方法,以及系统开发过程中疑难问题的解决方案。

  以下将回头记录下其中的关键要点,以便后面查阅。

本节思维导图

高级C/C++编译技术之读书笔记(三)之动态库设计

1. 关于-fPIC编译器选项

1.1 -fPIC代表什么

  “PIC”是位置无关代码(Position-independent Code)的缩写,说到位置无关代码,我们会立马想到加载重定位,加载重定位将动态库加载到进程内存空间中,但是只有第一次加载这个动态库的进程可以使用它,当其它进程需要加载同一动态库的时候,除了将动态库的完整副本加载到自身内存空间以外,别无他法,当更多的进程需要加载某一特定的动态库时,内存中会存在更多的副本。这种限制的根本原因在于加载过程设计的缺陷,在将动态库加载到进程中之前,装载器需要修改动态库的代码段,使得在加载该库的进程中,动态库的所有符号是有意义的,即便这种方法可以满足基本的运行需求,但其导致的最终结果是由于动态库代码的修改是不可逆的,因此其它进程难以直接复用这个已加载的动态库。

  为了解决加载重定位的缺陷,重新设计加载机制,避免将加载的动态库代码段绑定到第一个加载该动态库的进程中,提出了PIC机制,使得多个进程可以无缝映射到已加载动态库的内存映射中

1.2 一定要使用-fPIC编译器选项来创建吗?

  在32位体系架构中,我们不需要使用-fPIC编译器选项,如果没有指定该选项,编译出来的动态库就会遵循旧式的装载时重定位机制

  在64位体系结构中,简单地忽略-fPIC编译器选项就会导致链接错误,要修正链接错误,一种方法是向编译器传递-fPIC选项,另一种方法是向编译器传递-mcmodel=large选项

1.3 只有在编译动态库时才会使用-fPIC编译选项吗?能否在静态链接库的情况下使用?

  在32位体系结构中,编译静态库时是否使用-fPIC选项是无所谓的,这样会对编译生成的代码结构产生一定的影响,但是对于静态库的链接和运行时行为的影响是微乎其微的

  在64为体系结构中,情况会变得更加有意思:

  (1)如果静态库是链接到可执行文件中,那么编译时可以指定也可以不指定,

  (2)如果静态库链接到的是动态库,那么必须使用-fPIC选项编译

2. C++引起的链接问题

2.1 C++使用了更加复杂的符号命名规则

  为了唯一地标识函数,连接器在为函数入口点建立符号的时候,必须使用某种方法来包含函数的从属信息和输入参数信息,链接器的设计为了满足这种更加复杂的需求,最终产生了“名称修饰”这种技术。名称修饰是将函数名、函数的从属信息、函数的参数列表进行组合,最后生成符号名称的过程。

  为了统一,当我们希望避免名称修饰时,必须使用一个特殊的关键字来告知连接器不要修饰符号名称

#ifdef __cplusplus
extern "C"
{
#endif // __cplusplus
void fun1(void);
void fun2(void);
void fun3(void);
void printMessage(void);

#ifdef __cplusplus
}
#endif // __cplusplus

2.2 静态初始化顺序问题

  C语言中的一项遗留特性:链接器可以处理很简单的初始化变量,无论是简单数据类型还是结构体,连接器只需要在数据段中保留存储空间,并将初始值写入该位置即可,在C语言领域,变量初始化的顺序通常不是很重要,关键在于变量的初始化其实在程序启动时候就完成了。

  但是在C++中,数据类型往往是一个对象,对象的初始化是在运行时通过对象构造函数来完成的,为了初始化C++对象,连接器需要做更多的工作,为了帮助连接器完成其任务,编译器将特定文件需要使用的所有构造器的列表嵌入到目标文件中,并将相关信息存放在特定的目标文件段中,在连接时,连接器会检查所有的目标文件,并将其中的构造函数列表合并成完整的列表,以备运行时执行,说了这么多,总的一句话是C++对象的初始化,加重了编译器和连接器的负担,由于连接器依然不够智能,在大多数情况下,程序在加载时会引起非常严重的崩溃,而且是在任何调试器能够捕捉到之前

  发生这种情况是因为初始化的对象依赖于另外一些需要在器之前初始化的对象,并且没有任何规则可以指定静态对象的初始化顺序,我们将这类问题通常称为静态初始化顺序问题。

解决方案:

(1)为_init()函数提供自定义实现,这是一个在动态库加载时会被立即调用的标准函数,在该函数中可以通过静态成员函数初始化对象,以通过构造函数强制初始化,因此,也可以为_fini()函数提供自定义实现

(2)调用一个自定义函数去访问特定对象,而不是直接访问该函数会包含C++类的一个静态实例,并返回其引用

2.3 模版

这涉及到编译器的设计问题:

(1)编译器可以保证生成所有的模版特殊化代码,并为每个特殊化版本创建一个弱符号

(2)连接器在链接结束之前都不包含模版特殊化的机器码是想爱你,但其余所有的链接任务都完成后,连接器会检查代码,确定到底需要哪些特殊化版本,并调用C++编译器创建所需的模版特殊化,最后,将机器码插入可执行文件中

3. 控制动态库符号的可见性

  在Linux中所有动态库连接器符号默认都是外部可见的,任何尝试链接这些动态库的用户都可以访问这些符号

  在windows中,DLL链接符号默认都是外部不可见的

3.1 导出linux动态库符号

(1)方法一

  通过向编译器传递编译选项-fvisibility=hidden就可以将所有的动态库符号置为对外不可见,默认可见

(2)方法二

  __attibute__((visibility(“<default | hidden>”)))

  通过在函数前面使用编译器属性修饰,可以指示链接器允许或禁止对外部提供该符号

(3)方法三

  #pragma visibility push(hidden)

  #pragma visibility pop

3.2 导出windows动态链接库符号

  __descspec(dllexport)

4. 动态库链接模式

  (1)加载时动态链接

  (2)运行时动态链接

目的 Linux版本 Windows版本
加载库 dlopen() LoadLibrary()
查找符号 dlsym() GetProcAddress()
卸载库 dlclose() FreeLibrary()
错误报告 dlerror() GetLastError()

示例伪代码:

handle = do_load_library("<library path>", optional_flags);
if(NULL == handle)
{
    report_error();  
}

pRunction = (function_type)do_find_library_symbol(handle);
if(NULL == pFunction)
{
    report_error();
    unload_libray();
    handle = NULL;
    return;
}

pFunction(function arguments);

do_unload_library(handle);
handle = NULL;

 

版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 举报,一经查实,本站将立刻删除。

发布者:全栈程序员-用户IM,转载请注明出处:https://javaforall.cn/120109.html原文链接:https://javaforall.cn

【正版授权,激活自己账号】: Jetbrains全家桶Ide使用,1年售后保障,每天仅需1毛

【官方授权 正版激活】: 官方授权 正版激活 支持Jetbrains家族下所有IDE 使用个人JB账号...

(0)


相关推荐

  • Redis连接工具_redis可视化工具

    Redis连接工具_redis可视化工具redis链接工具今天推荐一款redis链接工具,其实世面上连接redis的工具很多,但是好用的很少。例如:redis-desktop-manager这款工具也不错,但是我个人不能使用,因为收费。废话少说,今天介绍一款AnotherRedisDesktopManager链接工具,免费。GitHub地址:https://github.com/qishibo/AnotherRedisDesktopManager/gitee地址:https://gitee.com/qishibo/AnotherR

    2022年10月25日
  • 【java基础】java关键字总结及详解

    【java基础】java关键字总结及详解Java关键字是电脑语言里事先定义的,有特别意义的标识符,有时又叫保留字,还有特别意义的变量。Java的关键字对Java的编译器有特殊的意义,他们用来表示一种数据类型,或者表示程序的结构等,关键字不能用作变量名、方法名、类名、包名和参数。(一)总表:java关键字共53个(其中包含两个保留字const,goto) abstract assert …

  • 扫描主机漏洞的工具_漏洞扫描工具有哪些

    扫描主机漏洞的工具_漏洞扫描工具有哪些0x00说明:这是一款基于主机的漏洞扫描工具,采用多线程确保可以快速的请求数据,采用线程锁可以在向sqlite数据库中写入数据避免databaseislocked的错误,采用md5哈希算法确保数据不重复插入。本工具查找是否有公开exp的网站为shodan,该网站限制网络发包的速度,因而采用了单线程的方式,且耗时较长。功能:查找主机上具有的CVE查找具有公开EXP的CVE0x…

  • Vuethink正确安装过程

    Vuethink正确安装过程

    2021年10月13日
  • scrapy 入门_scrapy官方文档

    scrapy 入门_scrapy官方文档Scrapy是一个为了爬取网站数据,提取结构性数据而编写的应用框架。其可以应用在数据挖掘,信息处理或存储历史数据等一系列的程序中。其最初是为了页面抓取(更确切来说,网络抓取)所设计的,也可以

  • 2014百度之星第三题Xor Sum(字典树+异或运算)「建议收藏」

    2014百度之星第三题Xor Sum(字典树+异或运算)

发表回复

您的电子邮箱地址不会被公开。

关注全栈程序员社区公众号