有關全域變數的問題

caoh

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

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

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

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

J25839674

樓主你好，小弟是一位學生，才識淺薄，如果錯誤請多指教<(_ _)>，希望你下可以幫助到你

我把問題理解成:如果已經引入一個全域變數/定義function ，後來經過重定義，但重定義用的兩份資料有相同名稱的全域變數/定義function，為甚麼不會發生錯誤?

通常(不通常的我不知道對不起)在做連結object時，會從第一個連結庫開始定義，例如:連結順序為 new1 new2 然而我要定義的變數為object1 他會先從new1尋找object1 ，如果找到object1會被歸類為已被定義，之後從new2找到的object1時，他會被忽略，另外在做連結時，如果連結庫C完全用不到的話，他會被丟棄，然而之後要用到連結庫C的定義時，會發生未知定義的錯誤，所以連結庫B需要連結庫A時，應要把連結庫B放在連結庫A之前。
...

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

caoh

你好

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

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

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

J25839674

樓主早安

看到第二段，瞬間以為我錯了.........XD

他與是用C或C++無關 ，這是組語的問題

我又再試一次，他是可以編譯並執行的，我們先看看以下code

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

...

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

J25839674

敏感內容好煩躁喔~~~~~~

對不起，處理敏感問題處理太舊了，結果最後還是得刪括弧QQ

caoh

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

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

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

J25839674

樓主晚安

當main test test1 一起編譯時，其實他會把它當作同一個檔案也就是會把三個檔案匯集成一個檔案再送去編譯，所以才會發生重複定義的問題。樓主理解的沒有錯。

然而，在做連結庫編譯後，連結庫已經算是半個程式了，已經轉換成組語了。所以在編譯過程就只是塞空格，滿了就好了。

至於好處，例如x86和x64的問題，在x64的系統上，有些開發者希望可以，盡量以x64來運行程式，在x64沒有的情況下，才運行x86
...

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

caoh

晚安

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

這邊有一篇可以參考：

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

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

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

J25839674

樓主今天放颱風假真好~~~~~~QQ

我剛剛用自己的連結庫在windows上做測試，以結果來說，我感覺很神奇，雖然沒有發生錯誤，但是卻跟Linux相反。真是一個寶貴的經驗。(感覺好像又證明了什麼)

據上文，第五段以前，樓主提的，我都知道，但不明白為什麼要提出來?不過我對比較低階處理的事物，我沒有百分之百的把握，如果樓主是比較想知道低階處理的問題，我可能無力回答，十分抱歉。
...

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

caoh

恩，謝謝你的回覆。

a333221

caoh 大想連結的函數庫是其他人提供的？還是都自己寫的？

修改 build 執行檔和函數庫時所下的參數，有沒有可能可以改變這些行為成想要的？

caoh

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

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

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

a333221

caoh 發表於 2017-7-31 11:55 PM

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

你好，我只是想知道 linux 中
為何把 global 引用作成需要 load time relocation 因為我覺得引用一個變數
...

你好，全域變數的問題，使用 -Wl,-Bsymbolic 不知道能不能滿足你的需求
...

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

caoh

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

caoh 發表於 2017-7-31 11:55 PM

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

你好，我只是想知道 linux 中
為何把 global 引用作成需要 load time relocation 因為我覺得引用一個變數
...

...

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