高级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)
blank

相关推荐

  • python 字符转义(url中文转义)

    URL特殊字符需转义1、空格换成加号(+)2、正斜杠(/)分隔目录和子目录3、问号(?)分隔URL和查询4、百分号(%)制定特殊字符5、#号指定书签6、&号分隔参数转义字符的原因:如果你的表单使用get方法提交,并且提交的参数中有“&”等特殊符的话,如果不做处理,在service端就会将&后面的作为另外一个参数…

  • 统信UOS命令大全 麒麟系统命令大全 Linux常用命令操作大全(非常全非常详细) ubuntu命令大全常用操作命令大全

    Linux常用命令大全(非常全!!!)最近都在和Linux打交道,感觉还不错。我觉得Linux相比windows比较麻烦的就是很多东西都要用命令来控制,当然,这也是很多人喜欢linux的原因,比较短小但却功能强大。我将我了解到的命令列举一下,仅供大家参考:系统信息arch显示机器的处理器架构uname-m显示机器的处理器架构uname-r显示正在使用的内核版本dmidecode-q显示硬件系统部件-(SMBIOS/DMI)hdparm-i/dev/hd…

  • Pandas笔记_python总结笔记

    Pandas笔记_python总结笔记创建数据随机数据创建一个Series,pandas可以生成一个默认的索引s=pd.Series([1,3,5,np.nan,6,8])通过numpy创建DataFrame,包含一个日期索引,以及标记的列dates=pd.date_range(‘20170101’,periods=6)df=pd.DataFrame(np.random.randn(6,…

  • Linux教程+操作系统教程

    Linux教程+操作系统教程.Linux入门教程http://c.biancheng.net/cpp/linux/基础教程Linux简介Linux文件管理Linux目录Linux文件权限和访问模式Linux环境变量Linux打印文件和发送邮件Linux管道和过滤器Linux进程管理Linux网络通信工具vi编辑器Linux文件系统Linux文件存储结构Linux用户管理Linux系统性能分析Linux系统日志及…

    2022年10月13日
  • 安卓Activity跳转的几种方式

    安卓Activity跳转的几种方式本文转载于http://blog.sina.com.cn/s/blog_5140274d0100q4j7.html,本人仅作为学习交流之用,请大家尊重原创。第一种方式,用action来跳转。使用Action跳转,如果有一个程序的AndroidManifest.xml中的某一个Activity的IntentFilter段中定义了包含了相同的Action那么这个Intent就与这个目标Ac…

  • 有什么用_pattern和way的区别

    有什么用_pattern和way的区别开始:在利用servlet或filter进行url请求的匹配时,很关键的一点是匹配规则,但是servlet容器中的匹配规则既不是简单的通配也不是正则表达式而是有自己的规则比较容易混淆绝对路径和相对路径当浏览器发起一个url请求后,该请求发送到servlet容器的时候,容器会先将请求的url减去当前应用上下文的路径作

    2022年10月29日

发表回复

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

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