摘要

在深次微米VLSI的時代，已經可將各項應用系統做於單一晶片之內，硬體與軟體功能可由應用導向作業系統功能加以整合與管理，此促成我們進行目前作業系統核心設計結構的研究。在本論文研究，我們應用可執行敘述方法於UNIX核心的軟體設計。我們首先研究UNIX核心的總體軟體結構，然後，我們分析程序管理與記憶管理的細部設計。我們應用了物件導向分析與設計技術以及階層狀態機控制設計方法。我們接著將對應此設計到一可執行敘述的架構，產生系統雛形設計，以蒐集早期實驗結果與調整應用導向作業系統核心的功能。

Abstract

In the age of deep submicron VLSI, we can design various system applications in a single chip. In such system-on-a-chip designs, hardware and software function are integrated and managed by application-specific operating system functions. It motivates us to study design structures of current OS kernels. In this research, we applied an executable specification method for the software design of a UNIX kernel. We studied first the overall software structure of UNIX kernels. Then, we analyzed the detailed designs of process management and memory management. We applied object-oriented analysis and design techniques as well as a hierarchical state machine control design method. We will then map this design onto an executable specification framework to produce system prototype designs for collecting early experimental results and tuning application-specific kernel functionalities.

目錄

第一章 導論……………………………………………………………1
1.1 研究動機………………………………………………………….1
1.2作業系統簡介……………………………………………………..3
1.2.1核心……………………………………………………………3
1.2.2單一體核心……………………………………………………4
1.2.3微核心…………………………………………………………4
1.2.4虛擬機器………………………………………………………5
1.3問題敘述…………………………………………………………...6
1.4論文架構…………………………………………………………...7
第二章 敘述與設計方法模型…………………………………………..8
2.1資料流模型………………………………………………………..8
2.1.1資料模型………………………………………………………8
2.1.2物件導向模型…………………………………………………9
2.1.3關聯式資料模型……………………………………………..10
2.2控制流模型……………………………………………………….10
2.2.1事件循序圖…………………………………………………..11
2.2.2使用案例……………………………………………………..11
2.2.3階層式狀態機………………………………………………..13
2.3設計方法…………………………………………………………14
2.3.1單層狀態機的形成………………………………………….14
2.3.2階層式狀態機的形成……………………………………….14
第三章 程序管理的設計………………………………………………18
3.1列舉使用案例……………………………………………………18
3.1.1系統呼叫…………………………………………………….18
3.1.2中斷………………………………………………………….22
3.1.3例外………………………………………………………….23
3.1.4核心呼叫…………………………………………………….23
3.2對應使用案例到狀態機…………………………………………24
3.2.1系統呼叫…………………………………………………….24
3.2.2中斷………………………………………………………….26
3.2.3例外………………………………………………………….27
3.3形成子系統………………………………………………………28
3.4對應資料模型到子系統…………………………………………32
3.4.1資料模型與子系統的對應………………………………….32
3.4.2資料模型…………………………………………………….33
第四章 記憶體管理的設計……………………………………………37
4.1列舉使用案例分析……………………………………………….37
4.1.1與記憶管理相關的系統呼叫……………………………….37
4.1.2與記憶管理相關的中斷……………………………………..39
4.1.3與記憶管理相關的例外處理………………………………..39
4.1.4與記憶管理相關的核心呼叫………………………………..41
4.2對應使用案例到狀態機………………………………………….43
4.3形成子系統……………………………………………………….45
4.4對應資料模型到子系統………………………………………….48
4.4.1資料模型……………………………………………………..48
4.4.2資料模型與子系統的對應…………………………………..51
第五章 結論……………………………………………………………52
參考文獻……………………………………………………...53

參考文獻

[1] T. Lee, An Object-Oriented Relational Activity-Based Specification Method, Tech Rep. No. CAD-02-01, CAD. Lab. ,Dept. of Electrical Engineering, National Sun Yat-Sen University, September, 2002.
[2] James Rumbaugh. et al. The Unified Modeling Language Reference Manual Addison-Wesley, 1999.
[3] Paniel D. Gajsski Specification And Design Of Embedded Systems Englewood Cliffs, N.J. : PTR Prentice Hall, 1994.
[4] Silberschatz Galvin. Operating System Concepts. Addison-Wesley, sixth edition, 2003.
[5] Jochen Liedtke, Toward real microkernels. Communications of the ACM , 39(9):70-77, September 1996.
[6] Margo I. Seltzer, et al. Issues in extensible operating systems, Tr-18-27,Harvard University Computer Science, November 1997.
[7] Andrew S. Tanenbaum Operating System: Design and Implementation Prentice-Hall 1984.
[8] T. Lee, “An Excutable Specification Method of A OS Kernel Design.” Proc. 14th Workshop on Object-Oriented Technology and Applications, 2003.
[9] T. Lee, Specification Techniques of Operating System Design, Internal Memo, CAD Lab, Dept. of Electrical Eng. Nat’l Sun Yat-Sen University, Kao-Hsiung, Taiwan, ROC, 2003.
[10] T. Lee, Design Specification of a Problem Solving Process, Tech. Rep. CAD-03-01 , Dept. of Electrical Eng. Nat’l Sun Yat-Sen University, Kao-Hsiung, Taiwan, ROC, 2003.
[11] Ramez Elmasri, Shamkant B. Navathe, Fundamentals Of Database Systems, The Benjamin/Cummings Publishing Company.
[12] Marshall Kirk McKusick. et al. The Design and Implementation of the 4.4BSD Operating System, Addison-Wesley, 1996.
[13] Daniel P. Bovet. et al. Understanding the Linux Kernel, O’Reilly, 2001
[14] M. J. Bach, The Design of the UNIX Operating System, Prentice Hall, 1987.
[15] M. Bar, Linux Internals, McGraw-Hall, 2000.