[翻譯] 認識 x64 程式碼模型（code model）

• 原文標題：Understanding the x64 code models
• 原文網址：http://eli.thegreenplace.net/2012/01/03/understanding-the-x64-code-models
• 原文作者：Eli Bendersky
• 原文發表時間：2012 年 01 月 03 日
• 譯註：
  
  • 文中的反組譯內容使用的是 AT&T 格式的組合語言語法。
  • 關於「code model」的正體中文翻譯，有程式碼模型、程式碼模式、編碼式樣等，在本文中，一律採取「程式碼模型」。

↓↓↓↓↓↓ 正文開始 ↓↓↓↓↓↓

在撰寫用於 x64 架構程式碼的時候，一個會出現的有趣議題是要使用哪個程式碼模型（code model），儘管這可能不是一個廣為人知的主題，但如果有人想要理解編譯器所產生的 x64 機器碼，則熟悉程式碼模型就有了教育意義；而對於那些真的很在乎效能，直到每個細小指令的人來說，該主題對最佳化（optimization）也會有影響。

[翻譯] x64 上共享函式庫裡的位址無關程式碼（PIC）

• 原文標題：Position Independent Code (PIC) in shared libraries on x64
• 原文網址：http://eli.thegreenplace.net/2011/11/11/position-independent-code-pic-in-shared-libraries-on-x64
• 原文作者：Eli Bendersky
• 原文發表時間：2011 年 11 月 11 日

↓↓↓↓↓↓ 正文開始 ↓↓↓↓↓↓

前篇文章解釋了位址無關程式碼（position independent code，PIC）是如何運作的，並以 x86 架構下編譯的程式碼作為範例，我承諾過會在一篇分開的文章中涵蓋 x64〔1〕上的 PIC，所以我們才會在這裡。本文討論的細節會少很多，因為它假定對 PIC 理論上如何運作早已了解，一般來說，用於這兩個平台的構想是很相似的，只不過由於各個架構的獨特特性，所以某些細節會有差異。

[翻譯] 共享函式庫裡的位址無關程式碼（PIC）

• 原文標題：Position Independent Code (PIC) in shared libraries
• 原文網址：http://eli.thegreenplace.net/2011/11/03/position-independent-code-pic-in-shared-libraries
• 原文作者：Eli Bendersky
• 原文發表時間：2011 年 11 月 03 日
• 譯註：
  
  • 在本文的翻譯中，section 翻譯為區段，segment 翻譯為節區，這兩個名詞的翻譯方法時有交換，我只是挑一種我喜歡的。
  • 本文圖片均取自原文網頁。

↓↓↓↓↓↓ 正文開始 ↓↓↓↓↓↓

於一篇先前的文章中，我已經敘述過當要載入共享函式庫到行程（process）的位址空間時，所需要的特殊處理，大致上，在連結器（linker）生成共享函式庫的時候，它並不能預先得知函式庫會被載入到什麼位置，而這對函式庫內的資料與程式碼參照（reference）造成了問題，它們需要以某種方式指向正確的記憶體位置。

處理 Linux ELF 共享函式庫的這個問題有兩個主要的方式：

1. 載入期重定位（load-time relocatio）
2. 位址無關程式碼（position independent code，PIC）

載入期重定位已經講過了，在這裡，我要解釋第二種方式——PIC。

[翻譯] 共享函式庫的載入期重定位

• 原文標題：Load-time relocation of shared libraries
• 原文網址：http://eli.thegreenplace.net/2011/08/25/load-time-relocation-of-shared-libraries/
• 原文作者：Eli Bendersky
• 原文發表時間：2011 年 08 月 25 日

↓↓↓↓↓↓ 正文開始 ↓↓↓↓↓↓

本文目標為解釋現代作業系統如何在有載入期重定位（load-time relocation）的情況下使用共享函式庫（shared library），雖然它聚焦於 32 位元 x86 上的 Linux 作業系統，但這些通用原則仍適用於其他作業系統與 CPU。

[翻譯] 程式是如何啟動的（下）：ELF 二進位檔

• 原文標題：How programs get run: ELF binaries
• 原文網址：https://lwn.net/Articles/631631/
• 原文作者：David Drysdale
• 原文發表時間：2015 年 02 月 04 日
• 譯註：
  
  • 根據原文使用的參考資料連結，原文應該是使用 3.18 版核心做為依據。

↓↓↓↓↓↓ 正文開始 ↓↓↓↓↓↓

本系列的上一篇描述了在使用者空間對 execve() 的呼叫之後，Linux 核心用來執行程式的一般機制。然而，該文中特別描述的格式處置器（format handler）都會推延執行過程而在內部呼叫 search_binary_handler()，這個遞迴幾乎總是終止於對 ELF 二進位檔的調用，也就是本文的目標。

[翻譯] 程式是如何啟動的（上）

• 原文標題：How programs get run
• 原文網址：https://lwn.net/Articles/630727/
• 原文作者：David Drysdale
• 原文發表時間：2015 年 01 月 28 日
• 譯註：
  
  • 根據原文使用的參考資料連結，原文應該是使用 3.18 版核心做為依據。

↓↓↓↓↓↓ 正文開始 ↓↓↓↓↓↓

本文是一份系列文章中的上篇，旨在說明核心如何讓程式開始運行：當一個使用者程式調用系統呼叫 execve()，幕後到底發生了什麼？

[翻譯] 系統呼叫（system call）的剖析（下）

• 原文標題：Anatomy of a system call, part 2
• 原文網址：http://lwn.net/Articles/604515/
• 原文作者：David Drysdale
• 原文發表時間：2014 年 07 月 16 日

譯註：

• 本文內容與圖片皆自原網址修改。
• 根據原文使用的參考資料連結，原文應該是使用 3.14 版核心做為依據。

↓↓↓↓↓↓ 正文開始 ↓↓↓↓↓↓

上一篇文章探索了系統呼叫（system call，或 syscall）的核心實作最平凡的形式：一個一般的系統呼叫、並在一個最普遍的架構上：x86_64。現在，用這個基本主軸的一些變體，含括了其他 x86 架構和其他系統呼叫機制，來完結我們在這方面的關注。我們要從探索各種 32 位元 x86 架構的變種開始，一張相關牽涉範圍的地圖也許對此有所幫助，這張地圖在檔案名稱和箭頭線段標籤上，都是可以點擊然後連結到被參考程式碼的：

[翻譯] 系統呼叫（system call）的剖析（上）

• 原文標題：Anatomy of a system call, part 1
• 原文網址：http://lwn.net/Articles/604287/
• 原文作者：David Drysdale
• 原文發表時間：2014 年 07 月 09 日

譯註：

• 本文內容與圖片皆自原網址修改。
• 根據原文使用的參考資料連結，原文應該是使用 3.14 版核心做為依據。

↓↓↓↓↓↓ 正文開始 ↓↓↓↓↓↓

系統呼叫是使用者空間（user-space）下的程式與 Linux 核心互動的主要機制，既然它們這麼重要，那麼我們一點都不奇怪能夠發現核心引入各式各樣的機制，來確保系統呼叫能跨架構做一般性的實作，並能以一種既有效率，又有一致性的方法讓使用者空間可以使用。

[翻譯] Linux 二進位檔中的特殊區段（section）

• 原文標題：Special sections in Linux binaries
• 原文網址：http://lwn.net/Articles/531148/
• 原文作者：Daniel Pierre Bovet
• 原文發表時間：2013 年 01 月 03 日

譯註：

• 標題中的 Linux 指的是 Linux 核心。
• 本文內容與圖片皆自原網址修改。
• 根據核心的釋出時間，我推論原文應該是使用 3.7 版核心做為依據，因此在相關資料查詢時也都使用 3.7 版做為探索的依據。

↓↓↓↓↓↓ 正文開始 ↓↓↓↓↓↓

一個區段（section）是目的檔（object file）中的一塊區域，包含了對於連結（link，譯註 1）有用的資訊：程式的執行碼、資料、重定位資訊（relocation information）和更多東西。事實表明了，Linux 核心存在某些額外的區段型態，稱為「特殊區段」（special section），它們被用來實作各樣的核心功能（kernel feature），由於特殊區段並不為人所熟知，所以這裡值得對這個主題做點詳細說明。