主程序及其依赖的动态库,可以构成一张有向图,其起始顶点为主程序。
主程序的装载过程,就是有向图的遍历+构造过程。
根据遍历方法的不同(BFS广度遍历和DFS深度遍历),动态库的加载顺序也有可能发生变化,这影响到了动态符号的绑定结果,比如不同动态库中含有相同的动态符号。
根据有向无环图的特性,还能够判断这些动态库中是否存在循环依赖,也就是liba依赖libb,libb又依赖liba的情况。我们只需要对这些动态库顶点进行拓扑排序即可,如果所有顶点被输出,则证明该有向图是无环图,动态库间不存在循环依赖。