操作系统根据可执行程序，将对应的动态库从磁盘加载到内存中

是的，操作系统根据可执行程序将对应的动态库从磁盘加载到内存中。当可执行程序启动时，操作系统会为该程序分配一块内存空间作为进程的虚拟地址空间。这个地址空间包括了代码段、数据段、堆、栈等区域。

在可执行程序中，会包含对所需动态库的引用信息。当程序执行到需要使用动态库中的函数或变量时，操作系统的动态链接器会根据这些引用信息，查找对应的动态库文件。

动态链接器首先会在程序所指定的默认搜索路径中查找动态库文件。如果找到了对应的动态库文件，动态链接器会将该库文件从磁盘加载到内存中的合适位置，并将这个加载的内存区域与程序的虚拟地址空间进行关联。

如果在默认搜索路径中找不到对应的动态库文件，动态链接器还可以根据预先设定的其他搜索路径继续查找。这些搜索路径可以通过环境变量或者系统配置文件指定。

一旦动态库被加载到内存中，程序就可以通过符号表等机制来访问和调用库中的函数和变量。

需要注意的是，动态库在内存中是共享的，即多个程序可以同时使用同一个动态库。这种共享的特性使得动态库能够实现代码重用，减小可执行文件的大小，并方便对库进行升级和维护。