Chapter 13 File-System Interface
Chapter 13 File-System InterfaceFile Concept 檔案屬性 檔案操作 開啟的檔案 兩層開啟檔案表 開放檔案鎖定 檔案類別 檔案結構 Access Methods 循序 直接存取 模擬循序存取 存取方法：直接存取與索引結合 FS 架構 Directory Structure 操作 單層目錄結構 雙
Chapter 14 Implementing File System
Chapter 14 Implementing File SystemFile-System Structure檔案系統結構 分層式檔案系統 分層式檔案系統詳解 分層式檔案系統：I/O 控制與基礎檔案系統 分層式檔案系統 (續) 分層式檔案系統 (續) 一個典型的檔案控制塊 分層式檔案系統 (續) File-System Implementation檔案系統實作
Chapter 10 Virtual Memory
Chapter 10 Virtual MemoryBackground 如果能執行部分載入的程式，會帶來什麼好處？ 虛擬記憶體：邏輯與物理記憶體的分離 虛擬記憶體的實現方式 虛擬記憶體大於物理記憶體 虛擬地址空間 (Virtual Address Space, VAS) 的稀疏性 共享library Demand Paging Transferring Pages
Chapter 9 Main Memory
Chapter 9 Main MemoryBackground基礎硬體 架構 每次的記憶體存取 Address binding 地址綁定 使用者程式的不同階段 多數作業系統使用 執行時綁定 物理 跟 邏輯位址的差異 比較 不同時期的差異 Memory-Management Unit (MMU) 硬體 動態分配得過程圖 動態加
Chapter 6 Synchronization Tools
Chapter 6 Synchronization ToolsBackground 背景 生產者 消費者 競爭條件 count++ fork() The Critical-Section Problem 關鍵區域 Example Solution Peterson’s Solution sol example
Advanced Turning Machine
Advanced Turning MachineMinor Variations on the Turing Machine Theme 標準模型 多個變體 證明這些變體 也具備一樣的力量 代表他們接受相同的語言 模擬 configuration 是存在對應的 Turing machine with stay Example 定理
Standard Turning Machine
Standard Turning MachineThe Standard Turing Machine 語言的層級 圖靈機 tape 做甚麼 Example Input string 輸入不能是空的 turing machine的定義 狀態轉移 program Turing machine 是 determinis
Pumping Lemma for CFL
Pumping Lemma for CFLTwo Pumping Lemmas 考慮一個無限的語言 設定變數P、m 挑選一個字串長度超過p 在這個字串中必定存在重複的production 推論 下一個產生字串的長度 會小於當前字串加上最長right hand side的production 可以推得字串長度的上下界 得知 得到結論 k 會大於 p/
