- c - 在位数组中找到第一个零
- linux - Unix 显示有关匹配两种模式之一的文件的信息
- 正则表达式替换多个文件
- linux - 隐藏来自 xtrace 的命令
背景:我正在尝试实现一个系统 like that described in this previous answer .简而言之,我有一个链接共享库的应用程序(目前在 Linux 上)。我希望共享库在运行时在多个实现之间切换(例如,基于主机 CPU 是否支持某个指令集)。
在最简单的情况下,我有三个不同的共享库文件:
libtest.so
:这是库的“原始”版本,将用作后备案例。libtest_variant.so
:这是库的“优化”变体,如果 CPU 支持,我想在运行时选择它。它与 libtest.so
兼容。libtest_dispatch.so
:这是负责选择在运行时使用哪个库变体的库。为了与上面链接的答案中建议的方法保持一致,我正在执行以下操作:
libtest.so
。libtest.so
的 DT_SONAME
字段设置为 libtest_dispatch.so
。因此,当我运行该应用程序时,它将加载 libtest_dispatch.so
而不是实际的依赖项 libtest.so
。libtest_dispatch.so
被配置为具有如下所示的构造函数(伪代码):
__attribute__((constructor)) void init()
{
if (can_use_variant) dlopen("libtest_variant" SHLIB_EXT, RTLD_NOW | RTLD_GLOBAL);
else dlopen("libtest" SHLIB_EXT, RTLD_NOW | RTLD_GLOBAL);
}
调用 dlopen()
将加载提供适当实现的共享库,然后应用程序继续。
结果: 这有效!如果我在每个共享库中放置一个同名函数,我可以在运行时验证是否根据调度库使用的条件执行了适当的版本。
问题: 以上适用于我在链接问题中演示的玩具示例。具体来说,如果库只导出函数,它似乎工作正常。但是,一旦有变量在起作用(无论它们是具有 C 链接的全局变量还是像 typeinfo
这样的 C++ 构造),我会在运行时遇到未解析的符号错误。
下面的代码演示了这个问题:
libtest.h:
extern int bar;
int foo();
libtest.cc:
#include <iostream>
int bar = 2;
int foo()
{
std::cout << "function call came from libtest" << std::endl;
return 0;
}
libtest_variant.cc:
#include <iostream>
int bar = 1;
int foo()
{
std::cout << "function call came from libtest_variant" << std::endl;
return 0;
}
libtest_dispatch.cc:
#include <dlfcn.h>
#include <iostream>
#include <stdlib.h>
__attribute__((constructor)) void init()
{
if (getenv("USE_VARIANT")) dlopen("libtest_variant" SHLIB_EXT, RTLD_NOW | RTLD_GLOBAL);
else dlopen("libtest" SHLIB_EXT, RTLD_NOW | RTLD_GLOBAL);
}
test.cc:
#include "lib.h"
#include <iostream>
int main()
{
std::cout << "bar: " << bar << std::endl;
foo();
}
我使用以下方法构建库和测试应用程序:
g++ -fPIC -shared -o libtest.so libtest.cc -Wl,-soname,libtest_dispatch.so
g++ -fPIC -shared -o libtest_variant.so libtest_variant
g++ -fPIC -shared -o libtest_dispatch.so libtest_dispatch.cc -ldl
g++ test.cc -o test -L. -ltest -Wl,-rpath,.
然后,我尝试使用以下命令行运行测试:
> ./test
./test: symbol lookup error: ./test: undefined symbol: bar
> USE_VARIANT=1 ./test
./test: symbol lookup error: ./test: undefined symbol: bar
失败。如果我删除全局变量 bar
的所有实例并尝试仅分派(dispatch) foo()
函数,那么它一切正常。我试图弄清楚为什么以及是否可以在存在全局变量的情况下获得我想要的效果。
调试:为了尝试诊断问题,我在运行测试程序时对 LD_DEBUG
环境变量进行了一些尝试。问题似乎归结为:
The dynamic linker performs relocations of global variables from shared libraries very early in the loading process, before constructors from shared libraries are called. Therefore, it tries to locate some global variable symbols before my dispatch library has had a chance to run its constructor and load the library that will actually provide those symbols.
这似乎是一个很大的障碍。有什么方法可以改变这个过程,以便我的调度程序可以先运行吗?
我知道我可以使用
LD_PRELOAD
预加载库。然而,这对我的软件最终运行的环境来说是一个繁琐的要求。如果可能的话,我想找到一个不同的解决方案。
经过进一步审查,似乎即使我LD_PRELOAD
库,我也有同样的问题。在全局变量符号解析发生之前,构造函数仍然没有被执行。使用预加载功能只是将所需的库推到库列表的顶部。
最佳答案
Failure. If I remove all instances of the global variable bar and try to dispatch the foo() function only, then it all works.
这在没有全局变量的情况下工作的原因是函数(默认情况下)使用惰性绑定(bind),但变量不能(原因很明显)。
如果您的测试程序与 -Wl,-z,now
链接(这将禁用函数的惰性绑定(bind)),则在没有任何全局变量的情况下,您会遇到完全相同的失败。
您可以通过将主程序引用的每个全局变量的实例引入调度库来解决此问题。
与您的其他答案所暗示的相反,这不是执行特定于 CPU 的分派(dispatch)的标准方法。
有两种标准方法。
旧的:使用 $PLATFORM
作为 DT_RPATH
或 DT_RUNPATH
的一部分。内核会传入一个字符串,比如x86_64
,或者i386
,或者i686
作为aux
的一部分vector,ld.so
将用该字符串替换 $PLATFORM
。
这允许发行版发布 i386
和 i686
优化库,并让程序根据运行的 CPU 选择合适的版本。
不用说,这不是很灵活,并且(据我所知)不允许您区分各种 x86_64
变体。
新热点是IFUNC
dispatch,记录here .这就是 GLIBC 目前用来提供不同版本的 e.g. memcpy
取决于它运行在哪个 CPU 上。还有 target
和 target_clones
属性(记录在同一页上)允许您编译例程的多个变体,针对不同的处理器进行优化(如果您不想在汇编中对它们进行编码)。
I'm trying to apply this functionality to an existing, very large library, so just a recompile is the most straightforward way of implementing it.
在这种情况下,您可能必须将二进制文件包装在 shell 脚本中,并根据 CPU 将 LD_LIBRARY_PATH
设置为不同的目录。或者让用户在运行程序之前获取
您的脚本。
target_clones does look interesting; is that a recent addition to gcc
我相信 IFUNC
支持大约有 4-5 年历史,GCC 中的自动克隆大约有 2 年历史。所以是的,最近。
关于c++ - 我可以让共享库构造函数在重定位之前执行吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34027468/
Java 库和 android 库有什么区别,各自有什么优点/缺点? 最佳答案 您可以在 Android 应用程序中包含标准 Java .jar 文件库。它们在 .apk 构建时被翻译成 Dalvik
所以,我现在的代码就像从 Java 层加载库(比如 liba.so),并在内部 liba.so 加载 libb.so。因此,如果我必须将所有库打包到 APK 中并将其安装在没有 root 访问权限的设
我想在我的系统中设置 LEDA 库。 我已经从以下链接下载了 LEDA 库 http://www.algorithmic-solutions.info/free/d5.php Instruct
我想用 autoconf 创建一个共享库。但是,我希望共享库具有“.so”扩展名,而不是以“lib”开头。基本上,我想制作一个加载 dlopen 的插件。 .是否有捷径可寻? 当我尝试使用 autoc
我需要在 Apps 脚本应用程序上修改 PDF。为此,我想使用 JS 库:PDF-LIB 我的代码: eval(UrlFetchApp.fetch("https://unpkg.com/pdf-lib
我正在构建一个使用以下 Boost header 的程序(我使用的是 Microsoft Visual C++ 10), #include #include #include #include
当我通过 cygwin 在 hadoop 上运行此命令时: $bin/hadoop jar hadoop-examples-*.jar grep input output 'dfs[a-z.]+' 我
我已经通过 vcpgk 成功安装了一个 C++ 库,名为:lmdb:x64-windows 我还安装了lmdb通过 Cabal 安装的 Haskell 绑定(bind)包 在尝试测试 lmdb 包时:
我该如何解决这个问题? 我刚刚将 javacv jar 文件复制到我的项目 Lib 文件夹下,但出现了这个错误! 我可以找到这个thread来自谷歌,但不幸的是,由于我国的谷歌限制政策,该页面无法打开
我有一个 Android 库项目 FooLib。 FooLib 引用 Android Context 之类的东西,但不需要任何资源文件(res/ 中的东西)所以我目前将其打包为供我的应用使用的 JAR
我正在开发一个 Android 应用程序(使用 Android Studio),它能够通过手势识别算法了解您正在进行的 Activity 。对于我使用 nickgillian ithub 帐户上可用的
关于从 .NET Framework 项目中引用 .NET Standard 类库的问题有很多类似的问题,其中 netstandard 库中的 NuGet 包依赖项不会流向 netframework
我已经从互联网上下载了 jna-4.2.2.jar,现在想将这个 jar 导入到我的项目中。但是当我试图将这个 jar 导入我的项目时,出现以下错误。 [2016-06-20 09:35:01 - F
我正在尝试通过编译在 Mac 上安装 rsync 3.2.3。但是,我想安装所有功能。为此,它需要一些库,此处 ( https://download.samba.org/pub/rsync/INSTA
进入 Web 开发有点困难。过去 5 年我一直致力于 winforms 工作。所以我正在努力从一种切换到另一种。前段时间,我使用过 JavaScript,但现在还没有大量的 JavaScript 库
很难说出这里要问什么。这个问题模棱两可、含糊不清、不完整、过于宽泛或夸夸其谈,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开,visit the help center . 关闭 1
我正在寻找一个用Python编写的与logstash(ruby + java)类似的工具/库。 我的目标是: 从 syslog 中解析所有系统日志 解析应用程序特定日志(apache、django、m
就目前情况而言,这个问题不太适合我们的问答形式。我们希望答案得到事实、引用资料或专业知识的支持,但这个问题可能会引发辩论、争论、民意调查或扩展讨论。如果您觉得这个问题可以改进并可能重新开放,visit
我花了几天时间试图寻找用于 JavaPOS 实现的 .jar 库,但我找不到任何可以工作的东西。我找到了很多像这样的文档:http://jpos.1045706.n5.nabble.com/file/
这个问题在这里已经有了答案: Merge multiple .so shared libraries (2 个答案) 关闭 9 年前。 我有我在代码中使用的第三方库的源代码和对象。该库附带有关如何使
我是一名优秀的程序员,十分优秀!