有關全域變數的問題

caoh

請問一下，我最近看書的時候看到 dll / so 的重定位的部分
參考這裡：   
   

下載: 訪客無法瀏覽下載點，請先 註冊 或 登入會員

最下面有一張圖，他對於全域變數會使用一個 GOT 的表格來做重定位
不管它是模組內，還是模組外的變數，都是這樣。
...

瀏覽完整內容，請先 註冊 或 登入會員

caoh

你好

其實我比較熟悉的是 C++ 不熟悉 C，所以我一直腦中有個 One Definition Rule 的教條
所以在我認知中，若兩個連結的模組，是不能有相同的變數定義，這會造成重複定義的錯誤

我的補充內容網址有人爭論道：The code is breaking the rule, not the compiler
不過這個網址的例子是 main 去連結兩個 .so 中的共同名稱變數結果會跟連結順序有關
小弟另外好奇的是如果其中一個 .so 引用另一個 .so 但兩個同時有相同名稱變數會怎樣
...

瀏覽完整內容，請先 註冊 或 登入會員

caoh

這就是奇怪的地方，在我貼那篇 Stackoverflow 的文章中，第一個回覆者有說
如果不作成程式庫，而直接把 main, test, test1 三個 cpp 連結在一起，就會
產生錯誤，應該是它不能違反 ODR 這個原則。但是當 test/test 作成程式庫
然後被 main 連結使用，就會出現你說的結果，不會發生錯誤，但也就跟連結順序有關了。

應該說這個現象是確定的，書上，網路上，你這邊測試都是這個結果
...

瀏覽完整內容，請先 註冊 或 登入會員

caoh

晚安

作成庫之後，它會有一些輸出的符號，這樣別人才能夠引用
否則 main 要使用 function，連結器怎麼會知道 A/B 有 function?

這邊有一篇可以參考：

下載: 訪客無法瀏覽下載點，請先 註冊 或 登入會員

基本上，main 在編譯的時候，會把 function 的呼叫做個記號
...

瀏覽完整內容，請先 註冊 或 登入會員

caoh

恩，謝謝你的回覆。

caoh

你好，我只是想知道 linux 中
為何把 global 引用作成需要 load time relocation 因為我覺得引用一個變數
如果是在模組內的，應該只需要連結時重定位，模組外的才需要載入時重定位

像 windows 如果沒有特別指定，它對於 extern 函數應該只是一個直接呼叫
即便實際是引用 dll 的函數它還是直接呼叫，若指定 __declspec(dllimport)
...

瀏覽完整內容，請先 註冊 或 登入會員

caoh

原來如此，這樣可以強制使用本地端的變數，謝謝你的回覆。
  
  

caoh

謝謝你的回應。

我後來有弄比較清楚一點了，linux 對於 .so 會當成是模組外的，這是一個選擇。
但它要支援 interpose 的功能，加上如果指定 -fPIC 的話，那麼即使呼叫一個 .c
內的全域函數，它仍然要編成 GOT 的間接呼叫，否則會因為 interpose 變成要
重定位，那 PIC 就不 PIC 了。但如果沒指定 -fPIC 或不是 .so 我就不是很清楚了。

windows 您這邊有點小誤，函數它預設是選模組內部的，可能您這裡是筆誤。
...

瀏覽完整內容，請先 註冊 或 登入會員