符号表和链接选项 的关系

最新推荐文章于 2024-05-17 17:15:45 发布
最新推荐文章于 2024-05-17 17:15:45 发布
阅读量3.1k 收藏 6
点赞数 1
文章标签： testing makefile null 测试 编译器 library
最近工作中常遇到符号表的问题，发现它与链接选项有着很密切关系，本文将借助一个实例，具体讲解一下，涉及到的概念包括动态链接（-l)、动态加载(dlopen)、全局动态符号表等。

一.讨论APP + dlopen一个so的情况
1.APP中的全局变量symbol是否导出
【测试一:ldtest1】
【main.cpp】:
  1. #include <stdio.h>
  2. #include <stdlib.h>
  3. #include <ctype.h>
  4. #include <unistd.h>
  5. #include <dlfcn.h>
  6. #include <cassert>
  7. #include <errno.h>typedef void (*func1) (void);int abc = -1;int main ( void )
  8. {
  9.   void *testlib;
  10.   func1 testing_call;
  11.   fprintf( stderr, "abc = %d\n", abc );
  12.   //是NOW还是LAZY，对于符号表没有影响
  13.   //if ( ( testlib = dlopen( "./testlib.so", RTLD_NOW | RTLD_GLOBAL ) ) != NULL )
  14.   if ( ( testlib = dlopen( "./testlib.so", RTLD_LAZY | RTLD_GLOBAL ) ) != NULL )
  15.   {
  16.     testing_call = (func1 )dlsym( testlib, "testing" );
  17.     assert ( testing_call );    ( *testing_call )();
  18.     fprintf( stderr, "abc = %d\n", abc );
  19.   }
  20.   else
  21.   {
  22. fprintf( stderr, "dlopen error:  %s\n", dlerror() );
  23.   }
  24.   return( 0 );
  25. }
复制代码

【 testlib.cpp 】:
  1. extern int abc;extern "C" {
  2. void testing ( void )
  3. {
  4.   abc = 0;
  5.   return;}
  6. }
复制代码

【 Makefile 】:
  1. t = test testlib.so
  2. #这两个选项是一个意思
  3. #LDMODULE = -Wl,-E
  4. LDMODULE = -rdynamicall: $t
  5. clean:
  6. rm -f $t coretestlib.so: testlib.cpp
  7.   g++ -I. -shared -g -o $@ testlib.cpptest: main.cpp
  8.   g++ -I. -L. ${LDMODULE}  main.cpp -g -o $@ -ldl
复制代码

如果未加-Wl,-E 选项，则dlopen打开时会抱怨symbol abc找不着，打开失败。

2.APP中的函数名是否导出
 【 测试二:ldtest2 】
【 main.cpp 】:
  1. #include <stdio.h>
  2. #include <stdlib.h>
  3. #include <ctype.h>
  4. #include <unistd.h>
  5. #include <dlfcn.h>
  6. #include <cassert>
  7. #include <errno.h>typedef void (*func1) (void);int abc = -1;void func()
  8. {
  9.   printf("hi, func in main\n");
  10. }int main ( void )
  11. {
  12.   void *testlib;
  13.   func1 testing_call;
  14.   fprintf( stderr, "abc = %d\n", abc );
  15.   //if ( ( testlib = dlopen( "./testlib.so", RTLD_NOW | RTLD_GLOBAL ) ) != NULL )
  16.   if ( ( testlib = dlopen( "./testlib.so", RTLD_LAZY | RTLD_GLOBAL ) ) != NULL )
  17.   {
  18.     testing_call = (func1 )dlsym( testlib, "testing" );
  19.     assert ( testing_call );    ( *testing_call )();
  20.     fprintf( stderr, "abc = %d\n", abc );
  21.   }
  22.   else
  23.   {
  24. fprintf( stderr, "dlopen error:  %s\n", dlerror() );
  25.   }
  26.   return( 0 );
  27. }
复制代码

【 testlib.cpp 】:
  1. extern int abc;void func()
  2. {
  3.   printf("hi, func in so\n");
  4. }extern "C" {
  5. void testing ( void )
  6. {
  7.   func();
  8.   abc = 0;
  9.   return;}
  10. }
复制代码

【 Makefile 】:
  1. t = test testlib.so
  2. LDMODULE = -rdynamic
  3. SHARE = -Wl,-Bsymbolicall: $t
  4. clean:
  5. rm -f $t coretestlib.so: testlib.cpp
  6.   g++ -I. -shared ${SHARE} -g -o $@ testlib.cpptest: main.cpp
  7.   g++ -I. -L. ${LDMODULE}  main.cpp -g -o $@ -ldl
复制代码

如果 编译 主程序是带有rdynamic选项，则symbol func确实会导出，具体表现就是testing函数中会调用main.cpp中的func()，那么，如何告诉编译器调用testlib.cpp中的func呢，在编译so时加上-Wl,-Bsymbolic选项，表示绑定自己的symbol。

3.如果链接上一个动态库，APP中的函数名是否导出
 如果不带rdynamic选项，symbol func不会导出，所以如果testlib.cpp中没有定义func()，则上面的ldtest2会报错：
dlopen error:  ./testlib.so: undefined symbol: _Z4funcv。
【 testlib.cpp 】:
  1. #include <stdio.h>extern void func();extern "C" {
  2. void testing ( void )
  3. {
  4.   func();
  5.   return;
  6. }
  7. }
复制代码

参考一下LD手册：
--export-dynamic
           When creating a dynamically linked executable, add all  symbols  to the  dynamic symbol table.  The dynamic symbol table is the set of symbols which are visible from dynamic objects at run time. If you do not use this option, the dynamic symbol table  will  normally contain  only  those  symbols  which  are referenced by some dynamic object mentioned in the link.
           如果你没有用这个选项，那么动态符号表里面将只会包含动态链接对象引用过的符号，如果没有其他的动态链接对象，则什么也不包含。

上面的例子中，编译主程序时并未链接任何动态库，所以是后一种情况，下面我们作一个试验，人为链上一个库：
【测试:ldtest22】
 【 main.cpp 】:
  1. #include <stdio.h>
  2. #include <stdlib.h>
  3. #include <ctype.h>
  4. #include <unistd.h>
  5. #include <dlfcn.h>
  6. #include <cassert>
  7. #include <errno.h>typedef void (*func1) (void);int abc = -1;void func()
  8. {
  9.   printf("hi, func in main\n");
  10. }int main ( void )
  11. {
  12.   void *testlib;
  13.   func1 testing_call;
  14.   fprintf( stderr, "abc = %d\n", abc );
  15.   //if ( ( testlib = dlopen( "./testlib.so", RTLD_NOW | RTLD_GLOBAL ) ) != NULL )
  16.   if ( ( testlib = dlopen( "./testlib.so", RTLD_LAZY | RTLD_GLOBAL ) ) != NULL )
  17.   {
  18.     testing_call = (func1 )dlsym( testlib, "testing" );
  19.     assert ( testing_call );    ( *testing_call )();
  20.     fprintf( stderr, "abc = %d\n", abc );
  21.   }
  22.   else
  23.   {
  24. fprintf( stderr, "dlopen error:  %s\n", dlerror() );
  25.   }
  26.   return( 0 );
  27. }
复制代码

【 testlib.cpp 】:
  1. #include <stdio.h>extern void func();extern "C" {
  2. void testing ( void )
  3. {
  4.   func();
  5.   return;
  6. }
  7. }
复制代码

【 sharelib.h 】：
#include <stdio.h>
void share();

【 sharelib.cpp 】：
  1. #include "sharelib.h"extern void func();void share()
  2. {
  3.   printf("share:\n");
  4.   //此处如果调用了func，则对应的符号将从执行文件中导出；
  5.   //否则，即便前面声明了extern func()，也不会导出符号来
  6.   func();
  7. }
复制代码

【 Makefile 】：
  1. t = test testlib.so libsharelib.soall: $t
  2. clean:
  3.   rm -f $t corelibsharelib.so: sharelib.cpp
  4.   g++ -I. -L. -shared -g -o $@ sharelib.cpp
  5. testlib.so: testlib.cpp
  6.   g++ -I. -shared ${SHARE} -g -o $@ testlib.cpptest: main.cpp libsharelib.so
  7.   g++ -I. -L. ${LDMODULE}  main.cpp -g -o $@ -ldl -lsharelib
复制代码

此处编译主程序并未带有rdynamic选项，但symbol func依然会导出，主要原因就在于它动态链上一个共享库libsharelib.so，而在该库中引用了func()这个符号，使得其自动被导出。
          
二.讨论APP link一个so的情况
1.APP中的全局变量symbol是否导出
【测试三:ldtest3】
【 main.cpp 】:
  1. #include <stdio.h>
  2. #include <stdlib.h>
  3. #include <ctype.h>
  4. #include <unistd.h>
  5. #include <dlfcn.h>
  6. #include <cassert>
  7. #include <errno.h>
  8. #include "testlib.h"int abc = -1;int main ( void )
  9. {
  10.   fprintf( stderr, "abc = %d\n", abc );
  11.   testing();
  12.   fprintf( stderr, "dlopen error:  %s\n", dlerror() );
  13.   return( 0 );
  14. }
复制代码

【 testlib.h 】:
void testing();

【 testlib.cpp 】:
  1. #include "testlib.h"
  2. extern int abc;void testing ( void )
  3. {
  4.   abc = 0;
  5.   return;}
复制代码

【 Makefile 】:
  1. t = test libtestlib.soall: $t
  2. clean:
  3. rm -f $t corelibtestlib.so: testlib.cpp
  4.   g++ -I. -shared -g -o $@ testlib.cpptest: main.cpp libtestlib.so
  5.   g++ -I. -L. ${LDMODULE}  main.cpp -g -o $@ -ldl -ltestlib
复制代码

运行时设置LD_LIBRARY_PATH为当前路径即可
我们并未设置任何特殊编译选项，可见采用-ltestlib的方式，APP中的符号表对so是可见的。

2.APP中的函数名是否导出
【 测试四:ldtest4 】
【 main.cpp 】:
  1. #include <stdio.h>
  2. #include <stdlib.h>
  3. #include <ctype.h>
  4. #include <unistd.h>
  5. #include <dlfcn.h>
  6. #include <cassert>
  7. #include <errno.h>int abc = -1;void func()
  8. {
  9.   printf("hi, func in main\n");
  10. }int main ( void )
  11. {
  12.   fprintf( stderr, "abc = %d\n", abc );
  13.   testing();
  14.   fprintf( stderr, "abc = %d\n", abc );
  15.   return( 0 );
  16. }
复制代码

【 testlib.h 】:
void testing();

【 testlib.cpp 】:
  1. #include "testlib.h"
  2. extern int abc;void func()
  3. {
  4.   printf("hi, func in so\n");
  5. }void testing ( void )
  6. {
  7.   func();
  8.   abc = 0;
  9.   return;}
复制代码

【 Makefile 】:
  1. t = test libtestlib.so
  2. SHARE = -Wl,-Bsymbolicall: $t
  3. clean:
  4. rm -f $t corelibtestlib.so: testlib.cpp
  5.   g++ -I. -shared ${SHARE} -g -o $@ testlib.cpptest: main.cpp libtestlib.so
  6.   g++ -I. -L. ${LDMODULE}  main.cpp -g -o $@ -ldl -ltestlib
复制代码

symbol func确实会导出，具体表现就是testing函数中会调用main.cpp中的func()，那么，如何告诉编译器调用testlib.cpp中的func呢，在编译so时加上-Wl,-Bsymbolic选项，表示绑定自己的symbol。

三.LD选项说明
在前面测试中，我们谈到了诸如Wl,-E和-Wl,-Bsymbolic之类的选项，这里作一个统一说明：
Wl   表示后面的选项将被作为参数传给连接器LD
-E   等价于--export-dynamic，表示将执行程序中的符号表全部导出
-Bsymbolic   当创建动态库时，如果某一个符号在全局符号表中已经存在，强制采用本地的；而缺省情况下，本地定义会被覆盖。这一点，对于保证多个动态库之间互不影响是很重要的，起码，它保证了本地定义的优先性，不会在程序员不知情的时候，偷偷用外部定义换掉。此外，如果想保证某一个动态库不会影响其他的动态库，则可以采用后面谈到的version-script选项；
--version-script   通过version脚本来控制动态库中的符号是global，还是local的；

我们修改一下ldtest2：
【 Makefile 】:
  1. t = test testlib.so
  2. #LDMODULE = -Wl,-E
  3. LDMODULE = -rdynamic
  4. SHARE = -Wl,-Bsymbolic -Wl,--version-script,versionall: $t
  5. clean:
  6.   rm -f $t coretestlib.so: testlib.cpp
  7.   g++ -I. -shared ${SHARE} -g -o $@ testlib.cpptest: main.cpp
  8.   g++ -I. -L. ${LDMODULE}  main.cpp -g -o $@ -ldl
复制代码

【 version 】：
VERS {
global:
  testing;
local: *;
};

我们同时采用了Bsymbolic和--version-script选项，在version script中指明，只有testing这一个符号将会被加入到动态符号表中，这样，就能够保证dlsym可以找到testing，并且load该动态库不会增添新的无用符号，因为前面local设的是通配符"*"。

四.几个相关命令
nm -C -D libtest.so
把libtest.so中的所有动态符号用demagle的形式打印出来

objdump -T libtest.so
同上，不过更详细一些
其中，-D选项特别有用，针对version-script选项，只打印global标志的symbol。
ghosc
关注
（4.3）符号表和符号解析
ikun的博仔的博客
05-21 2591
符号表和符号解析符号和符号表符号解析全局符号的强弱性 符号和符号表 连接器需要使用符号表进行符号解析然后生成可执行文件，目标文件中通常有一个符号表，表中包含了在该文件中定义的所有符号的信息。C 文件包含以下 3 种符号： 全局符号: 包括非静态的函数名和非静态的全局变量。 外部符号: 包括在其他模块定义的外部函数名和外部变量名。 本地符号: 包括带 static 的函数名和全局变量名。 static 属性的本地变量在 .data 和 .bss 中分配空间。如果要链接的两个可重定位文件中包含了同名的 st
【ARM 嵌入式 编译系列 9-- GCC 编译符号表（Symbol Table）的详细介绍】
CodingCos的博客
08-13 1402
在 ARM GCC 中，符号表（Symbol Table）是一个记录了代码中所有符号信息的数据结构。符号可以是变量、函数、宏、类型等标识符。符号表中的每个符号都有一个唯一的名称，并且与该符号关联的还有符号的地址、类型、大小等信息。
多重定义的全局符号，链接器会如何链接的情况
aoeaoao的博客
11-27 302
多重定义的全局符号，链接器会如何链接的情况
计算机系统基础 链接器之符号和符号表
JxufeCarol的博客
04-01 2834
参考链接： 程序的链接(一)：链接的概述 https://www.jianshu.com/p/b7e44f749211 程序的链接(二)：ELF目标文件 https://www.jianshu.com/p/a90a3015b1e5 程序的链接(三)：符号和符号表 https://www.jianshu.com/p/bda60193808d 程序的链接(四)：静态链接 https://www.jia...
dlopen与dlsym用法
kingkong1024的专栏
01-06 1万+
dlopen和dlsym是用于打开动态链接库中的函数，将动态链接库中的函数或类导入到本程序中： dlopen函数： 功能：打开一个动态链接库 　　包含头文件： 　　#include 　　函数定义： 　　void * dlopen( const char * pathname, int mode ); 　　函数描述： 　　在dlopen的（）函数以指定模式打开指定的动态连接库文件，
加载动态链接库——dlopen dlsym dlclose
weixin_30817749的博客
09-29 268
DLOPENDLMOPENDLCLOSE NAME dlclose, dlopen, dlmopen - 打开／关闭共享对象 SYNOPSIS #include <dlfcn.h> void *dlopen(const char *filename, int flags); int dlclose(void *handle); #define _GNU_SOURCE ...
Linux C++ libdl.so dlfcn.h使用方法（dlopen()、dlsym()、dlclose()、dlerror()）（用于动态链接库操作）（懒加载、立即加载）共享库符号、动态库
Dontla的博客
02-17 3835
RTLD_GLOBAL” 是 dlopen() 函数的一个标志，表示在打开共享库时将其中定义的符号全局可见，也就是说，共享库中的符号可以被后续打开的其他共享库所使用。是指在共享库中定义的可以被其他共享库和主程序使用的符号，这些符号在编译时会被加入到共享库的全局符号表中，并且可以通过 dlopen() 和 dlsym() 等函数在程序运行时动态加载和使用。是指在共享库中定义的只能被本地共享库中的其他符号所使用的符号，这些符号在编译时不会被加入到全局符号表中，只能在本地共享库内部进行使用。
内核符号表的生成和查找过程
落尘纷扰的专栏
03-02 8796
Linux内核中的函数名、全局变量等，都保存在一个全局的符号表中，本文介绍内核符号表的生成及查找过程。
深入理解计算机系统：链接（第二章：符号解析、重定位和可执行目标文件）
weixin_39640298的博客
02-17 1929
1、符号解析 链接器解析符号引用的方法是将每个引用与它输入的可重定位目标文件的符号表中的一个确定的符号定义关联起来，即使用的符号一定要找到相应的定义。可分为局部符号解析和全局符号解析。 局部符号解析：引用定义在相同模块中的局部符号的引用，符号解析非常的简单明了，就不用介绍了。 全局符号解析：当编译器遇到一个不是当前模块中定义的符号时，会假设该符号时在其他某个模块中定义的，生成一个连接器符号表条目，...
链接选项 rpath 的原理和应用
HULK一线技术杂谈
07-15 1138
女主宣言在测试和部署 C++ 动态库时，经常遇到的问题就是程序链接到了系统路径下的动态库，有时候 make 编译时链接到本地路径的动态库，但实际 make install 时则会丢失这个...
Mac系统makefile制作脚本_supermake
04-22
最近写编译器，生成makefile搞得我心情不好。 用cmake，要自己打那么多字，伐开心。 自己写makefile，更是在当年做shellbash的时候就经历过来，不好用。 所以就把autoconf那一系列整合了一下。 然后自己写了脚本，自动生成那套命令之外的文件，并替换相关内容等等。
Linux操作系统C++编程、编译控制选项、dlopen函数介绍
qq_43630324的博客
07-28 755
Linux操作系统C++编程、编译控制选项、dlopen函数介绍。
Linux 动态库的符号冲突问题
weixin_40817567的博客
03-27 585
Linux 动态库的符号冲突问题 最近，给同事定位了一个符号表的冲突问题，简单记录一下。 A代码作为静态链接库，被包含进了B代码，然后编译成了动态链接库B.so， A代码同时作为静态链接库，被编译进入了main的主代码。main函数调用B.so里面的函数，同时B.so里面的函数调用了A代码，结果进程异常退出了。 查看符号表，发现调用的A代码，其实运行的是直接编译进入main主函数的代码，而不是B....
gcc编译选项-Wl,-Bsymbolic/-Wl,-Bsymbolic-functions解决动态库符号冲突问题
最新发布
2401_84703565的博客
05-17 2533
使用gcc编译选项-Wl,-Bsymbolic或-Wl,-Bsymbolic-function解决动态库符号冲突问题。
关于动态符号表及“全局符号表”
bobbypollo的专栏
04-10 5726
elf.h中对符号表的类型定义如下：#define DT_STRTAB 5 /* Address of string table */#define DT_SYMTAB 6 /* Address of symbol table */这里DT_SYMTAB与DT_STRTAB对应的section其实是.dynsym和.dynstr，而非.symtab和.symstr！.symtab和.dynsy...
Linux符号表全局变量,全局符号
weixin_35668158的博客
05-15 777
最近打算把linux下的一个c++程序以插件的形式实现，即主程序加载so功能模块的方式，在这个过程中，遇到了一个全局符号覆盖的问题，查了一些资料有了初步的了解，这里记录一下。遇到的问题是：程序以dlopen方式加载so文件时，如果so文件和程序存在同名的全局变量，主程序的全局变量会so文件中的全局变量覆盖。由此，引出的问题如下1、同名全局变量覆盖与dlopen的打开方式是否有关？2、与主程序和so...
C++踩坑指南
wyg_031113的专栏
07-25 2449
c++踩坑指南
linux so 动态库中全局变量 被覆盖问题
lcalqf的专栏
09-29 6269
问题描述 回归正题，前段时间项目开发中，实现了一个动态库，封装了一些方法。然后基于这个动态库，实现了一个应用程序。应用程序中含有全局变量A，动态库中也含有全局变量A，当我调用动态库中函数后，发现应用程序的A发生了变化！！！O，My God！对于我这种还没在Linux下做过开发的人来说，一头雾水。。。。。。 于是我尝试着，将A中的变量名称改为B，这样问题也就没有了~~~ 原因
linux动态链接库全局变量共享问题&DLL共享数据段
热门推荐
zxh821112的专栏
05-24 3万+
Linux写时拷贝技术(copy-on-write) 进程间是相互独立的，其实完全可以看成A、B两个进程各自有一份单独的liba.so和libb.so，相应的动态库的代码段和数据段都是各个进程各自有一份的。 然后在这个基础上，由于代码段是不会被修改的，所以操作系统可以采用copy on write的优化技术，让两个进程共享同一份物理内存。这是属于在不改变系统行为的基础上，为了节省内存，
深入解析Makefile文件的关键符号和代码
Makefile文件是Linux环境下用于自动化编译和链接程序的文件，它定义了一系列的编译规则和依赖关系，帮助开发者高效地管理复杂的项目编译过程。本文档将详细解释Makefile文件中的各个符号和代码，以及它们的作用和...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值