女主宣言

在测试和部署 C++ 动态库时,经常遇到的问题就是程序链接到了系统路径下的动态库,有时候 make 编译时链接到本地路径的动态库,但实际 make install 时则会丢失这个依赖。本文将要介绍的就是一种通用解决方法,使用 RPATH 来绑定链接路径。

PS:丰富的一线技术、多元化的表现形式,尽在“360云计算”,点关注哦!

1

动态库编译和使用简单示例

给出以下示例库:

// foo.h
#pragma once#ifdef __cplusplus
extern "C" {
#endifvoid foo();#ifdef __cplusplus
}
#endif
// foo.cc
#include "foo.h"
#include <stdio.h>void foo() { printf("foo\n"); }

生成动态库 libfoo.so:

g++ -o libfoo.so -fPIC -shared foo.cc

然后给出调用代码:

// main.cc
#include "foo.h"int main(int argc, char* argv[]) {foo();return 0;
}

编译时链接到当前目录:

$ gcc main.c -L . -lfoo
$ ./a.out
foo
$ ldd a.out | grep libfoolibfoo.so (0x00007fc2010f7000)

至此,一切正常。

2

依赖动态库的动态库

实际编写程序时,往往会依赖一些第三方库来避免重复造轮子。比如,这里我们要写一个库依赖于 libfoo.so。

目录层次:

.
├── include
│   └── bar.h
├── src
│   └── bar.cc
└── thirdparty├── include│   └── foo.h└── lib└── libfoo.so

然后编译生成 libbar.so:

g++ -o libbar.so -fPIC -shared src/bar.cc \-I include/ -I thirdparty/include/ \-L thirdparty/lib/ -lfoo

问题来了,编译出的 libbar.so 找不到 libfoo.so 的依赖:

$ ldd libbar.so | grep foolibfoo.so => not found

当然,这样的话,你编译依赖 libbar.so 的程序时会直接失败,从而提醒你去寻找依赖的 libfoo.so:

/usr/bin/ld: warning: libfoo.so, needed by ./libbar.so, not found (try using -rpath or -rpath-link) ./libbar.so: undefined reference to `foo'

注意这里我们第一次见到 rpath 这个概念。

但是问题更大的是,假如 libfoo.so 是一个旧版的库,而开发机上有个其他用户完全无视影响,直接将 libfoo.so 安装到了系统目录,比如 /usr/lib64 下面。这样,你的程序依赖的 libbar.so 将会找到系统目录下旧的 libfoo.so,而不是你自己维护的新版。如果新版 libfoo.so 的 ABI 发生了改变而 API 不变:

// foo.h
#pragma oncevoid foo(int i = 0);
// foo.cc
#include "foo.h"
#include <stdio.h>void foo(int i) { printf("foo: %d\n", i); }

API 兼容指的是,调用 foo() 仍然合法,但是由于 C++ 的 name mangling,带有默认参数的 foo 对应的符号发生了变化,因此 foo 可能还会出现这样的错误(main.cc 仅仅是调用 bar() 函数,这里就不贴代码了):

$ g++ main.cc -L . -lbar
./libbar.so: undefined reference to `foo(int)'
collect2: error: ld returned 1 exit status

查看 libbar.so 的依赖就什么都明白了:

$ ldd libbar.so | grep libfoolibfoo.so => /usr/lib64/libfoo.so (0x00007efd6daf1000)

原因是 foo 的函数签名变成了 void foo(int),而链接到的动态库却是全局的 libfoo.so。简单的解决方式是,将本地库的路径加入 LD_LIBRARY_PATH 中:

$ export LD_LIBRARY_PATH=$PWD/thirdparty/lib:$LD_LIBRARY_PATH
$ g++ main.cc -L . -lbar
$ ./a.out
bar
foo: 0

用 ldd 也能查看 libbar.so 依赖的 libfoo.so 不再是全局的,而是本地的。但问题是,如果发布单独的 libbar.so 给用户,而用户又因为某些原因无法升级全局的 libfoo.so,那么每次用户都要手动设置 LD_LIBRARY_PATH

此时,另一种解决方法刚好能避免这个问题,也就是使用 rpath。

3

rpath 的使用

rpath 即 runtime path,运行时路径。既可以指定相对路径也可以指定绝对路径。

编译方式:

$ g++ -o libbar.so -fPIC -shared src/bar.cc \-I include/ -I thirdparty/include/ \-L thirdparty/lib/ -lfoo -Wl,-rpath=thirdparty/lib/
$ ldd libbar.so | grep foolibfoo.so => thirdparty/lib/libfoo.so (0x00007f8319965000)

注意最后的 -Wr,-rpath 指定的是动态库的路径。看似和 -L 重复,实际不然。-L 指定的是编译时链接的 libfoo.so 路径,而 -Wl,-rpath 指定的是(libbar.so)运行时链接的 libfoo.so 路径。这里指定的是相对路径。

因此如果我们安装 libbar.so 到全局又不影响全局的 libfoo.so,比如安装到 /usr/lib64 下面:

$ sudo cp libbar.so /usr/lib64

我们继续编译 libbar.so 的使用程序:

$ g++ main.cc -lbar
$ ldd a.out | grep foolibfoo.so => thirdparty/lib/libfoo.so (0x00007f5d3d79f000)
$ ldd a.out | grep barlibbar.so => /usr/lib64/libbar.so (0x00007fed07e78000)
$ ls /usr/lib64/libfoo.so
/usr/lib64/libfoo.so

这样想发布依赖高版本 libfoo.so 的 libbar.so 时,用户只需要在编译和运行时,相对路径 thirdparty/lib 下面有高版本 libfoo.so 就行了,无需覆盖全局路径下的低版本 libfoo.so。

注意如果换个路径运行 a.out,由于 rpath 指定的是相对路径,此时会找不到 libfoo.so。

所以 rpath 指定绝对路径的做法也是比较常见的,比如编译 libbar.so 时将 libfoo.so 置于不会冲突的系统目录:

$ sudo mkdir -p /usr/lib64/foo-1.1
$ sudo cp thirdparty/lib/libfoo.so /usr/lib64/foo-1.1
$ g++ -o libbar.so -fPIC -shared src/bar.cc \-I include/ -I thirdparty/include/ \-L /usr/lib64/foo-1.1 -lfoo -Wl,-rpath=/usr/lib64/foo-1.1$ ldd libbar.so | grep foolibfoo.so => /usr/lib64/foo-1.1/libfoo.so (0x00007f83df270000)

那么用户部署时,只需要将 libfoo.so 放置在 /usr/lib64/foo-1.1 下面就行,这里的 1.1 用于标识版本号。由于该目录并不会被自动连接,从而防止了其他程序自动链接到这个版本的 libfoo.so。

4

回到现代,使用 CMake

但凡稍有规模的程序,直接使用 GCC 编译来构建项目是难以维护的。即使有了 Makefile,管理和维护起来还是相对麻烦。C++ 缺乏类似 Maven 那样的构建系统,但退而求其次,CMake 已经成为了事实上的 C++ 构建通用解决方案。

以一个极简的 CMakeLists.txt 为例,将 rpath 指定为相对路径:

cmake_minimum_required(VERSION 2.8.12)
project(Bar CXX)# 设置 find_path/find_library 查找的根目录,默认会从 include 以及 lib 子目录查找
set(CMAKE_PREFIX_PATH "${PROJECT_SOURCE_DIR}/thirdparty")
find_path(FOO_INCLUDE_DIR NAMES foo.h)
find_library(FOO_LIB NAMES libfoo.so)add_library(bar SHARED src/bar.cc)
include_directories(./include ${FOO_INCLUDE_DIR})
target_link_libraries(bar ${FOO_LIB})# 设置 rpath,这里是绝对路径
set(CMAKE_INSTALL_RPATH "${PROJECT_SOURCE_DIR}/thirdparty/lib")# 安装到 lib 子目录,该相对路径是相对 CMAKE_INSTALL_PREFIX 而言的
install(TARGETS bar LIBRARY DESTINATION lib)

说是回到现代,我这个 CMake 还是老式的风格,现代 CMake 又是另一个话题了,不熟悉 CMake 的话,可以直接从现代 CMake 学起(版本至少 3.1)。

当前目录层次:

.
├── CMakeLists.txt
├── include
│   └── bar.h
├── main.cc
├── src
│   └── bar.cc
└── thirdparty├── include│   └── foo.h└── lib└── libfoo.so

使用 CMake 构建项目:

$ mkdir _builds && cd _builds/
$ cmake .. -DCMAKE_INSTALL_PREFIX=$PWD/..
$ make
$ make install

完成后的目录层次(忽略中间目录):

.
├── CMakeLists.txt
├── include
│   └── bar.h
├── lib
│   └── libbar.so
├── main.cc
├── src
│   └── bar.cc
└── thirdparty├── include│   └── foo.h└── lib└── libfoo.so

类似地,为了部署的话,可以将 libfoo.so 部署到系统目录 /usr/lib64 的子目录。

也可以修改成相对路径:

set(CMAKE_SHARED_LINKER_FLAGS ${CMAKE_SHARED_LINKER_FLAGS} -Wl,-rpath,'$ORIGIN/thirdparty')

其中 $ORIGIN 会被替换成动态库所处的绝对路径,也就是说只要 libfoo.so 处于 libbar.so 同级目录 thirdparty 下面,如下图所示:

.
├── libbar.so
└── thirdparty└── libfoo.so

之后 libbar.so 就会链接到 thirdparty/libfoo.so,并且都是绝对路径。(这里指的是查找 libfoo.so 的路径不随当前操作目录而改变)

5

Linux 动态库查找路径

最后一节,以理论来结尾。前文侧重实践,有了实践作为基础,回过头来看原理就更有体会了。

一个典型的 C/C++ 程序的构建流程是:预处理,汇编,编译,链接。而执行链接的程序其实是 ld,通常编译器比如 GCC 都会自动调用 ld 去进行链接,用户不必关注其中的细节。而 ld 查找动态库的顺序是:

  1. rpath 指定的目录;

  2. 环境变量 LD_LIBRARY_PATH 指定的目录;

  3. runpath 指定的目录;

  4. /etc/ld.so.cache 缓存文件,通常包含 /etc/ld.so.conf 文件编译出的二进制列表(比如 CentOS 上,该文件会使用 include 从而使用 ld.so.conf.d 目录下面所有的 *.conf 文件,这些都会缓存在 ld.so.cache 中)

  5. 系统默认路径,比如 /lib/usr/lib

在编译时若使用 -z nodefaultlib 选项,则会跳过 4 和 5。至于 runpath,和 rpath 类似,都是二进制(ELF 格式)文件的动态 p 属性(分别为 DT_RUNPATH 和 DT_RPATH),唯一区别就是是否优先于 LD_LIBRARY_PATH 来查找。这里就不详述了。

6

总结

至此,读者对如何编译/部署动态库,以及动态库之间的依赖关系应该有了一定的认识。

相比而言,静态链接部署简单,像 Golang 这种语言直接全部静态链接,因此受到了不少用户的青睐,而且静态链接占用体积大的问题在现代几乎不再是需要特别考虑的问题。

但动态库有动态库的好处,比如在大型项目有多个组件依赖时,如果全部静态链接,则每次修改依赖的模块,都要将主模块重新编译一遍,对于 C++ 这种编译速度可能会非常耗时的语言是灾难性的。

另外,提供插件给解释型语言(比如 Python 和 PHP)来调用时,动态库是必须的,解释器可以动态加载动态库。如果使用静态链接,恐怕没人愿意每换一个插件就要将解释器重新编译一遍。

360云计算

由360云平台团队打造的技术分享公众号,内容涉及数据库、大数据、微服务、容器、AIOps、IoT等众多技术领域,通过夯实的技术积累和丰富的一线实战经验,为你带来最有料的技术分享

链接选项 rpath 的原理和应用相关推荐

  1. 链接选项-rpath的一个问题记录

    问题简述 大概是这么一个情况,有一个过去已经写好的程序,这个程序用于处理网络通信,接收一些操作指令.具体的指令操作通过运行时加载动态库的形式进行扩展.(类似于net-snmp二次开发的一种形式) 问题 ...

  2. 动态库的链接和链接选项-L,-rpath-link,-rpath

    链接动态库 如何程序在连接时使用了共享库,就必须在运行的时候能够找到共享库的位置.linux的可执行程序在执行的时候默认是先搜索/lib和/usr/lib这两个目录,然后按照/etc/ld.so.co ...

  3. arm linux gcc fpic,【待整理】Gcc中编译和链接选项 -fpic -fPIC -fpie -fPIE -pie的含义

    [待整理]Gcc中编译和链接选项 -fpic -fPIC -fpie -fPIE -pie的含义 -fpic Generate position-independent code (PIC) suit ...

  4. Linux下构建自己的C++共享库并配合pkg-config生成链接选项

    Linux下构建自己的C++共享库并配合pkg-config生成链接选项 本文将以C++链表的新建.打印操作为例构建自己的共享库,并在实际调试代码时尝试使用.我们在做数据结构题时经常需要将链表打印出来 ...

  5. gcc ------ 编译与链接选项及CFLAGS、LDFLAGS、LIBS

    gcc ------ 编译与链接选项及CFLAGS.LDFLAGS.LIBS GCC手册:https://gcc.gnu.org/onlinedocs/ GCC编译选项CFLAGS参数 选项 说明 - ...

  6. Makefile 编译与链接选项及CFLAGS与LDFLAGS示例说明

    GCC编译选项CFLAGS参数 GCC链接选项LDFLAGS参数 实例 最近看了makefile的手册之后,发现还是不知道怎么写makefile,而且就连看也看的是云里雾里,就我现在工作当中看到的一些 ...

  7. Makefile 编译与链接选项及CFLAGS与LDFLAGS说明

    CFLAGS与LDFLAGS的说明,他们都是是隐含规则的变量,且是一种命令参数变量. makefile内嵌隐含规则的命令中,所使用的变量都是预定义的变量.我们将这些变量称为"隐含变量&quo ...

  8. 软硬链接、文件删除原理、linux中的三种时间、chkconfig优化

    第1章 软硬链接 1.1 硬链接 1.1.1 含义 多个文件拥有相同的inode号码 硬链接即文件的多个入口 1.1.2 作用 防止你误删除文件 1.1.3 如何创建硬链接 ln 命令,前面是源文件  ...

  9. 动态链接 lazy binding 的原理与 GOT 表的保留表项

    前言 我最近对动态库的实现非常好奇,自己琢磨了半天没有看出什么名堂,就想着能不 能找到一本讲相关内容的书籍,网上搜索了下发现确实有这样的一本书,书名为 <Linux 二进制分析>. 动态库 ...

最新文章

  1. 11月24日 layouts and rendering in rails(部分没有看)
  2. VUE axios发送cookie
  3. 利用python将图片版PDF转文字版PDF
  4. 【存储专题】西瓜哥带您学习高端存储
  5. angularjs技术
  6. CSS实现纯右上角倾斜四十五度封页角以及小浮标效果
  7. 详解网关和路由器的区别
  8. 安卓逆向 -- Xposed模块编写
  9. 蓝牙BQB证后还会被查的3种情况,蓝牙组织审查
  10. Camshift的优点与缺点
  11. 【前端运维】打通任督二脉!(nginx篇和nodejs + go)
  12. ubuntu 离线下载安装包 及安装
  13. 仿射变换和透视变换矩阵的参数含义与区别
  14. 对外投资追踪汇率数据金融开放指数
  15. 全国计算机高新技术证书积分,计算机高新技术证积分入户入学首选,报考条件及考试时间安排...
  16. ZK的currentElapsedTime
  17. 美团技术团队-大众点评搜索基于知识图谱的深度学习排序实践
  18. 英文写作中表达“有关的”的单词related 、associated 、relevant 等的用法
  19. 烧光170亿!“中国特斯拉”濒临破产,遭员工集体讨债
  20. 知易行难——从“等待”到“穿越”

热门文章

  1. 诗与远方:无题(十七)
  2. JAVA设计模式 - 抽象工厂模式
  3. python md5函数_python实现md5加密
  4. 通过链表深入理解Java的引用和对象
  5. angelababy机器人唱_被Angelababy、周震南等摸头杀?这个机器人为什么受宠
  6. linux 如何解压.exe,linux下解压火狐浏览器压缩包 ./filefox 运行可执行程序报错问题...
  7. java rmi 文件传输_JAVA-RMI实现大文件传输
  8. js array 删除指定元素_Array 原型方法源码实现解密
  9. 微软一站式示例代码库(中文版)2011-07-14版本, 新添加ASP.NET, Azure, Silverlight, WinForm等14个Sample...
  10. 海量大数据大屏分析展示一步到位:DataWorks数据服务对接DataV最佳实践 1