链接程序和库指南

作为过滤器的共享库

可以定义共享库以将其用作过滤器。此技术涉及将过滤器提供的接口与备用共享库进行关联。在运行时,此备用共享库可提供过滤器所提供的一个或多个接口。此备用共享库称为 filtee。filtee 的生成方式与任意共享库的生成方式相同。

过滤提供了一种从运行时环境中提取编译环境的机制。在链接编辑时,将绑定到过滤器接口的符号引用解析为过滤器符号定义。在运行时,可以将绑定到过滤器接口的符号引用重定向到备用共享库。

使用 mapfile 指令 FILTERAUXILIARY,可以将在共享库中定义的单个接口定义为过滤器。或者,共享库可以使用链接编辑器的 -F-f 标志将共享库提供的所有接口定义为过滤器。通常单独使用这些技术。请参见生成标准过滤器生成辅助过滤器。还可以在同一共享库中组合使用这些技术。 请参见过滤组合

存在两种过滤形式。

标准过滤

此过滤只需要一个用于要过滤的接口的符号表项。在运行时,必须通过 filtee 实现过滤器符号定义。

使用链接编辑器的 mapfile 指令 FILTER 或链接编辑器的 -F 标志,可以定义接口以将其用作标准过滤器。此 mapfile 指令或标志使用必须在运行时提供符号定义的一个或多个 filtee 的名称进行限定。

将跳过在运行时无法处理的 filtee。如果在 filtee 中找不到标准过滤器符号,则也将导致跳过此 filtee。在这两种情况下,无法使用过滤器提供的符号定义来实现此符号查找。

辅助过滤

此过滤提供类似于标准过滤的机制,而且该过滤器还提供一种对应于辅助过滤器接口的回退实现。在运行时,可以通过 filtee 实现符号定义。

使用链接编辑器的 mapfile 指令 AUXILIARY 或链接编辑器的 -f 标志,可以定义接口以将其用作辅助过滤器。此 mapfile 指令或标志使用在运行时提供符号定义的一个或多个 filtee 的名称进行限定。

将跳过在运行时无法处理的 filtee。如果在 filtee 中找不到辅助过滤器符号,则也将导致跳过此 filtee。在这两种情况下,无法使用过滤器提供的符号定义来实现此符号查找。

生成标准过滤器

要生成标准过滤器,应先定义要应用过滤的 filtee。以下示例将生成 filtee filtee.so.1,并提供符号 foobar


$ cat filtee.c

char * bar = "defined in filtee";



char * foo()

{

        return("defined in filtee");

}

$ cc -o filtee.so.1 -G -K pic filtee.c

可以通过以下两种方法之一提供标准过滤。要将共享库提供的所有接口都声明为过滤器,请使用链接编辑器的 -F 标志。要将共享库的单个接口声明为过滤器,请使用链接编辑器 mapfileFILTER 指令。

在以下示例中,将共享库 filter.so.1 定义为过滤器。filter.so.1 提供符号 foobar,并且是 filtee filtee.so.1 的过滤器。在本示例中,使用环境变量 LD_OPTIONS 禁止编译器驱动程序解释 -F 选项。


$ cat filter.c

char * bar = 0;



char * foo()

{

	return (0);

}

$ LD_OPTIONS='-F filtee.so.1' \

cc -o filter.so.1 -G -K pic -h filter.so.1 -R. filter.c

$ elfdump -d filter.so.1 | egrep "SONAME|FILTER"

    [2]  SONAME           0xee     filter.so.1

    [3]  FILTER           0xfb     filtee.so.1

创建动态可执行文件或共享库时,链接编辑器可将标准过滤器 filter.so.1 引用为依赖项。链接编辑器使用此过滤器符号表中的信息来实现任何符号解析。但是,在运行时,对该过滤器符号的任何引用都会导致对此 filtee filtee.so.1 的额外装入。运行时链接程序使用此 filtee 来解析 filter.so.1 定义的所有符号。如果未找到此 filtee,或者在此 filtee 中未找到过滤器符号,则查找该符号时会跳过此过滤器。

例如,以下动态可执行文件 prog 引用符号 foobar,这两个符号在链接编辑过程中通过过滤器 filter.so.1 进行解析。执行 prog 会导致从 filtee filtee.so.1 中获取 foobar,而不是从过滤器 filter.so.1 中获取。


$ cat main.c

extern char * bar, * foo();



main()

{

        (void) printf("foo is %s: bar is %s\n", foo(), bar);

}

$ cc -o prog main.c -R. filter.so.1

$ prog

foo is defined in filtee: bar is defined in filtee

在以下示例中,共享库 filter.so.2 将它的一个接口 foo 定义为 filtee filtee.so.1 的过滤器。


注 –

由于未提供 foo() 的源代码,因此,使用 mapfile 指令 FUNCTION 以确保创建 foo 的符号表项。



$ cat filter.c

char * bar = "defined in filter";

$ cat mapfile

{

	global:

		foo = FUNCTION FILTER filtee.so.1;

};

$ cc -o filter.so.2 -G -K pic -h filter.so.2 -M mapfile -R. filter.c

$ elfdump -d filter.so.2 | egrep "SONAME|FILTER"

    [2]  SONAME           0xd8     filter.so.2

    [3]  SUNW_FILTER      0xfb     filtee.so.1

$ elfdump -y filter.so.2 | egrep "foo|bar"

    [1]  F    [3] filtee.so.1      foo

   [10]  D        <self>           bar

在运行时,对过滤器符号 foo 的任何引用都会导致对 filtee filtee.so.1 的额外装入。运行时链接程序使用此 filtee 仅解析 filter.so.2 定义的符号 foo。对符号 bar 的引用始终使用 filter.so.2 中的符号,因为没有为此符号定义 filtee 处理。

例如,以下动态可执行文件 prog 引用符号 foobar,这两个符号在链接编辑过程中通过过滤器 filter.so.2 进行解析。执行 prog 会导致从 filtee filtee.so.1 中获取 foo,从过滤器 filter.so.2 中获取 bar


$ cc -o prog main.c -R. filter.so.2

$ prog

foo is defined in filtee: bar is defined in filter

在这些示例中,filtee filtee.so.1 仅与过滤器关联。不能使用此 filtee 从任何其他可能作为 prog 执行结果而装入的目标文件中实现符号查找。

标准过滤器提供了一种用于定义现有共享库的子集接口的便捷机制。使用标准过滤器,可以跨多个现有共享库创建接口组。标准过滤器还提供一种将接口重定向到实现的方法。在 Solaris OS 中,可以使用多个标准过滤器。

/usr/lib/libsys.so.1 过滤器提供标准 C 库 /usr/lib/libc.so.1 的子集。此子集表示位于必须由兼容应用程序导入的 C 库中兼容 ABI 的函数和数据项。

/lib/libxnet.so.1 过滤器使用多个 filtee。 此库提供来自 /lib/libsocket.so.1/lib/libnsl.so.1/lib/libc.so.1 的套接字接口和 XTI 接口。

libc.so.1 定义运行时链接程序的接口过滤器。这些接口在以下两者之间提供了抽象:libc.so.1 的编译环境中引用的符号,以及 ld.so.1(1) 的运行时环境中生成的实际实现绑定。

libnsl.so.1 针对 libc.so.1 定义标准过滤器 strerror(3C)。以前,libnsl.so.1libc.so.1 针对此符号提供相同的实现。通过将 libnsl.so.1 建立为过滤器,只需要存在一种 gethostname() 实现。当 libnsl.so.1 继续导出 gethostname() 时,此库接口将一直兼容早期发行版。

由于在运行时从不引用标准过滤器中的代码,因此,无需向任何定义为过滤器的函数中添加内容。任何过滤器代码都可能需要重定位,这样会在运行时处理过滤器期间导致不必要的开销。建议将函数定义为空例程,或者直接从 mapfile 进行定义。请参见定义其他符号


注 –

链接编辑器使用所处理的第一个可重定位文件的 ELF 类来控制所创建的目标文件类。请使用链接编辑器的 -64 选项以仅通过 mapfile 创建 64 位过滤器。


在过滤器中生成数据符号时,始终会初始化数据项。生成的数据定义可确保从动态可执行文件正确地建立引用。链接编辑器执行某些更为复杂的符号解析时,需要了解符号的属性(包括符号大小)。因此,应该在过滤器中生成符号,以便符号属性与 filtee 中的符号属性匹配。维护属性一致性可确保链接编辑过程使用与运行时所用的符号定义兼容的方式来分析过滤器。请参见符号解析

生成辅助过滤器

要生成辅助过滤器,应先定义要应用过滤的 filtee。以下示例将生成 filtee filtee.so.1,并提供符号 foo


$ cat filtee.c

char * foo()

{

        return("defined in filtee");

}

$ cc -o filtee.so.1 -G -K pic filtee.c

可以通过以下两种方法之一提供辅助过滤。要将共享库提供的所有接口都声明为辅助过滤器,请使用链接编辑器的 -f 标志。要将共享库的单个接口声明为辅助过滤器,请使用链接编辑器 mapfileAUXILIARY 指令。

在以下示例中,会将共享库 filter.so.1 定义为辅助过滤器。filter.so.1 提供符号 foobar,并且是 filtee filtee.so.1 的辅助过滤器。在本示例中,使用环境变量 LD_OPTIONS 禁止编译器驱动程序解释 -f 选项。


$ cat filter.c

char * bar = "defined in filter";



char * foo()

{

        return ("defined in filter");

}

$ LD_OPTIONS='-f filtee.so.1' \

cc -o filter.so.1 -G -K pic -h filter.so.1 -R. filter.c

$ elfdump -d filter.so.1 | egrep "SONAME|AUXILIARY"

    [2]  SONAME           0xee     filter.so.1

    [3]  AUXILIARY        0xfb     filtee.so.1

创建动态可执行文件或共享库时,链接编辑器可将辅助过滤器 filter.so.1 引用为依赖项。链接编辑器使用此过滤器符号表中的信息来实现任何符号解析。但是,在运行时,对此过滤器符号的任何引用都会导致搜索 filtee filtee.so.1。如果找到此 filtee,则运行时链接程序会使用此 filtee 来解析 filter.so.1 定义的所有符号。 如果未找到此 filtee,或者在此 filtee 中未找到过滤器符号,则会使用过滤器中的初始符号。

例如,以下动态可执行文件 prog 引用符号 foobar,这两个符号在链接编辑过程中通过过滤器 filter.so.1 进行解析。执行 prog 会导致从 filtee filtee.so.1 中获取 foo,而不是从过滤器 filter.so.1 中获取。但是,从过滤器 filter.so.1 中获取 bar,因为此符号在 filtee filtee.so.1 中没有备选定义。


$ cat main.c

extern char * bar, * foo();



main()

{

        (void) printf("foo is %s: bar is %s\n", foo(), bar);

}

$ cc -o prog main.c -R. filter.so.1

$ prog

foo is defined in filtee: bar is defined in filter

在以下示例中,共享库 filter.so.2 将它的一个接口 foo 定义为 filtee filtee.so.1 的辅助过滤器。


$ cat filter.c

char * bar = "defined in filter";



char * foo()

{

        return ("defined in filter");

}

$ cat mapfile

{

	global:

		foo = AUXILIARY filtee.so.1;

};

$ cc -o filter.so.2 -G -K pic -h filter.so.2 -M mapfile -R. filter.c

$ elfdump -d filter.so.2 | egrep "SONAME|AUXILIARY"

    [2]  SONAME           0xd8     filter.so.2

    [3]  SUNW_AUXILIARY   0xfb     filtee.so.1

$ elfdump -y filter.so.2 | egrep "foo|bar"

    [1]  A    [3] filtee.so.1      foo

   [10]  D        <self>           bar

在运行时,对过滤器符号 foo 的任何引用都会导致搜索 filtee filtee.so.1。如果找到此 filtee,则会装入此 filtee。然后,使用此 filtee 来解析 filter.so.2 定义的符号 foo。如果未找到此 filtee,则使用 filter.so.2 定义的符号 foo。对符号 bar 的引用始终使用 filter.so.2 中的符号,因为没有为此符号定义 filtee 处理。

例如,以下动态可执行文件 prog 引用符号 foobar,这两个符号在链接编辑过程中通过过滤器 filter.so.2 进行解析。如果 filtee filtee.so.1 存在,则执行 prog 会导致从 filtee filtee.so.1 中获取 foo,从过滤器 filter.so.2 中获取 bar


$ cc -o prog main.c -R. filter.so.2

$ prog

foo is defined in filtee: bar is defined in filter

如果 filtee filtee.so.1 不存在,则执行 prog 会导致从过滤器 filter.so.2 中获取 foobar


$ prog

foo is defined in filter: bar is defined in filter

在这些示例中,filtee filtee.so.1 仅与过滤器关联。不能使用此 filtee 从任何其他可能作为 prog 执行结果而装入的目标文件中实现符号查找。

辅助过滤器提供了一种用于定义现有共享库的备用接口的机制。在 Solaris OS 中使用此机制可以提供优化的硬件功能以及平台特定的共享库。有关示例,请参见特定于硬件功能的共享库特定于指令集的共享库特定于系统的共享库


注 –

可以设置环境变量 LD_NOAUXFLTR 以禁用运行时链接程序辅助过滤器处理。由于通常使用辅助过滤器来提供平台特定的优化,因此,该选项在评估 filtee 用法及其性能影响方面很有用。


过滤组合

可以在同一共享库中同时定义用于定义标准过滤器的单个接口以及用于定义辅助过滤器的单个接口。通过使用 mapfile 指令 FILTERAUXILIARY 指定所需的 filtee,可以实现这种过滤器定义组合。

使用 -F-f 选项将其所有接口都定义为过滤器的共享库可以是标准过滤器,也可以是辅助过滤器。

共享库可以定义单个接口以将其用作过滤器,同时还可以将目标文件的所有接口都定义为过滤器。在这种情况下,首先处理针对接口定义的单个过滤。如果无法针对单个接口过滤器建立 filtee,则针对过滤器的所有接口定义的 filtee 会在适用时提供回退。

例如,请考虑过滤器 filter.so.1。此过滤器使用链接编辑器的 -f 标志,针对 filtee filtee.so.1 将所有接口都定义为辅助过滤器。 filter.so.1 还使用 mapfile 指令 FILTER,针对 filtee foo.so.1 将单个接口 foo 定义为标准过滤器。filter.so.1 还使用 mapfile 指令 AUXILIARY,针对 filtee bar.so.1 将单个接口 bar 定义为辅助过滤器。

foo 的外部引用会导致处理 filtee foo.so.1。如果在 foo.so.1 中未找到 foo,则不会对过滤器执行进一步处理。在这种情况下,不会执行回退处理,因为已将 foo 定义为标准过滤器。

bar 的外部引用会导致处理 filtee bar.so.1。如果在 bar.so.1 中未找到 bar,则处理会回退到 filtee filtee.so.1。在这种情况下,会执行回退处理,因为已将 bar 定义为辅助过滤器。如果在 filtee.so.1 中未找到 bar,则最终会使用过滤器 filter.so.1 中的 bar 定义来解析外部引用。

filtee 处理

运行时链接程序处理过滤器时会延迟装入 filtee,直到引用过滤器符号。 这种实现类似于过滤器在需要 filtee 时,使用模式 RTLD_LOCAL 对每个 filtee 执行 dlopen(3C)。这种实现考虑了由诸如 ldd(1) 的工具生成的依赖项报告中存在的差异。

创建过滤器时,可以使用链接编辑器的 -z loadfltr 选项以便在运行时立即处理 filtee。此外,通过将 LD_LOADFLTR 环境变量设置为任意值,可触发在进程中立即处理所有的 filtee。