沒有做出lab2-2-extra，後來發現其實是理論課的原題，甚至是我做過的。反思了一下，自己對於有些模糊的知識得過且過了，或者說只能夠做出一種題，沒有深刻明白它的原理，希望引以為戒。
以前我對自對映的理解就是，有乙個4kb的頁目錄放進了4mb二級頁表中的乙個頁表中。現在發現有一些需要注意的問題：
①二級頁表的起始虛擬位址為什麼可以確定頁目錄起始的位址？
②有哪些有意義的空間是連續的？
③頁表項、頁表、頁表對映的空間是怎麼一一對應的？
。。。我困了，下次再寫.
軟體構造 Lab2總結
af 抽象函式，代表值到其對應的抽象值的對映。ri 表示不變數，代表某個值必須滿足的條件。safety from rep expose 安全保證，描述adt如何防止表示暴露。checkrep 檢查表示不變數是否始終被滿足。可變型別 提供修改物件值的方法，存在表示暴露的風險，可採用防禦式複製保護可變型...
軟體構造 實驗回顧 Lab2
第二部分 re implement the social network in lab1 第三部分 playing chess 本次實驗訓練抽象資料型別 adt 的設計 規約測試，並使用物件導向 程式設計 oop 技術實現 adt。具體來說 針對給定的 應用問題，從描述中識別所需adt 設計 adt...
北航作業系統實驗lab5總結
磁碟檔案系統是一種設計用來利用資料儲存裝置來儲存計算機檔案的檔案系統，最 常用的資料儲存裝置是磁碟驅動器，可以直接或者間接地連線到計算機上。與此相對的是眾多微核心中使用的使用者空間檔案系統，其特點是檔案系統在使用者空間中實現，通過特殊的系統呼叫介面或者通用機制為其他使用者程式提供服務。整個檔案系統包...