臺灣博碩士論文加值系統

利用虛擬機器的技術來達成伺服器整合是未來的趨勢。在伺服器整合的環境中，我們可以利用記憶體分頁共享來降低L2快取失誤率及節省記憶體用量。但是因為程式映像檔之間的差異，使得記憶體分頁共享不易達成。本論文提出一套方法來重新調整映像檔內物件，縮小映像檔間差異，讓共享容易達成。
我們的實驗評估映像檔之間共享的部分。實驗顯示映像檔平均有200 Kbytes的物件可以共享，這些物件平均佔整個映像檔17%。

The server consolidation by using virtual machine technology is the trend. In the server consolidation environment, we may reduce the L2 cache miss rate and memory usage by sharing program pages. To share program pages between program images is not easy because difference of program images. We provide a method to reorder objects of the program image and try to reduce difference between program images.
Our evaluations show that there is about 200 kbytes sharable objects between program images.

論文摘要 i
Abstract ii
誌謝 iii
目錄 iv
圖目錄 vi
表目錄 vii
一、 緒論 1
二、 相關研究 3
2.1 Denali 3
2.2 VMware ESX Server 3
三、 系統架構 4
四、 設計與實作 9
4.1 ELF格式 9
4.1.1 ELF檔頭 9
4.1.2 Section標頭表 9
4.1.3 特殊的section 9
4.2 除錯資訊 [4] 11
4.2.1 除錯資訊結構 11
4.2.2 Abbreviation Table 12
4.2.3 行號矩陣 12
4.3 映像檔分析程式 12
4.3.1 原始檔的前置處理 12
4.3.2 建立物件地圖 12
4.3.3 反組譯碼格式化 13
4.3.4 辨識可能字串物件 13
4.3.5 尋找非區域性指涉 13
4.3.6 修正記錄 15
4.4 映像檔修正程式 15
4.4.1 重建物件地圖 15
4.4.2 重建存取地圖 15
4.4.3 辨識可共享物件 15
4.4.4 輸出修正後映像檔 16
五、 實驗 17
5.1 可共享物件評估 17
5.1.1 不同版本核心可共享物件數量評估 17
六、 問題探討與總結 23
6.1 未來工作 23
6.2 結論 23
參考文獻 24

[1] Andrew Whitaker, Marianne Shaw, and Steven D. Gribble, “Scale and Performance in the Denali Isolation Kernel”, 5th Symposium on Operating Systems Design and Implementation, 2002 Dec
[2] Carl A. Waldspurger, “Memory Resource Management in VMware ESX Server”, 5th Symposium on Operating Systems Design and Implementation, 2002 Dec
[3] Executable and Linkable Format. http://www.x86.org/intel.doc/tools.htmd
[4] DWARF Debugging Information Format. http://www.x86.org/intel.doc/tools.htm
[5] Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield, “Xen and the Art of Virtualization”, ACM Symposium on Operating Systems Principles, 2003
[6] Kinshuk Govil, Dan Teodosiu, Yongqiang Huang,and Mendel Rosenblum. “Cellular Disco: Resource Management Using Virtual Clusters on Shared-Memory Multiprocessors”, ACM Transactions on Computer Systems, Vol. 18, No. 3, August 2000, Pages 229-262
[7] Edouard Bugnion, Scott Devine, Kinshuk Govil, and Mendel Rosenblum. “Disco: Running Commodity Operating Systems on Scalable Multiprocessors”, ACM Transactions on Computer Systems, Vol. 15, No. 4, November 1997, Pages 412-447
[8] Samuel T. King, George W. Dunlap, and Peter M. Chen, “Operating System Support for Virtual Machines”, USENIX Annual Technical Conference, 2003 Jun
[9] Intel Vanderpool Technology for IA-32 Processors (VT-x) Preliminary Specification. http://www.intel.com/technology/computing/vptech/