动态库在所有程序中是否具有相同的虚拟内存地址？

当库动态链接到程序时，它在该程序中的地址与其他任何程序中的地址相同吗？

我想到，每个进程都会获得整个地址空间，然后由于ASLR，该进程中的所有内容（包括已经在内存中的动态库）都将映射到其中的半随机部分。

但是我做了一个简短的实验，似乎暗示着内存中库的地址在不同进程之间是固定的，因此可以在程序之间重用？那是对的吗？

我编写了两个简短的C程序，它们使用了“睡眠”功能。在第一个中，我打印出了睡眠函数的地址，在第二个中，我分配了指向该地址的函数指针。我同时运行它们和睡眠功能。

#include <stdio.h>
#include <unistd.h>

int main()
{
    while(1)
    {
        printf("%s\n", &"hi");
        sleep(2);
        printf("pointer to sleep: %p\n", sleep);
    }
}

#include <stdio.h>
#include <unistd.h>

#define sleepagain ((void (*)(int))0x7fff7652e669) //addr of sleep from first program

int main()
{
    while(1)
    {
        printf("%s\n", &"test");
        sleepagain(2);
    }
}

我不确定这将显示什么，但实际上显示的是：a）每次我运行第一个程序时地址都相同，并且b）当我运行第二个程序时睡眠仍然起作用。

我想我了解这是如何工作的，但我很好奇它是否必须按其工作方式工作，其背后的原因是什么？

只是参考一下我看到的答案otool -IvV：

a.out:
Indirect symbols for (__TEXT,__stubs) 2 entries
address            index name
0x0000000100000f62     2 _printf
0x0000000100000f68     3 _sleep
Indirect symbols for (__DATA,__nl_symbol_ptr) 2 entries
address            index name
0x0000000100001000     4 dyld_stub_binder
0x0000000100001008 ABSOLUTE
Indirect symbols for (__DATA,__got) 1 entries
address            index name
0x0000000100001010     3 _sleep
Indirect symbols for (__DATA,__la_symbol_ptr) 2 entries
address            index name
0x0000000100001018     2 _printf
0x0000000100001020     3 _sleep

这也是lldb中的间接地址。该地址就是睡眠本身的地址：

Process 11209 launched: 'stuff/a.out' (x86_64)
hi
Process 11209 stopped
* thread #1, queue = 'com.apple.main-thread', stop reason = breakpoint 1.1
    frame #0: 0x00007fff7652e669 libsystem_c.dylib`sleep
libsystem_c.dylib`sleep:
->  0x7fff7652e669 <+0>: push   rbp
    0x7fff7652e66a <+1>: mov    rbp, rsp
    0x7fff7652e66d <+4>: push   rbx
    0x7fff7652e66e <+5>: sub    rsp, 0x28
Target 0: (a.out) stopped.

有关其他信息：

$ otool -hv a.out
Mach header
      magic cputype cpusubtype  caps    filetype ncmds sizeofcmds      flags
MH_MAGIC_64  X86_64        ALL LIB64     EXECUTE    15       1296   NOUNDEFS DYLDLINK TWOLEVEL PIE