The Design of Disk-Based Binary Decision Diagrams
Date Issued
2004
Date
2004
Author(s)
Kang, Shy-Cherng
DOI
zh-TW
Abstract
本論文嘗試以資料在磁碟機與內部記憶體的轉換機制作為主要考量去發展出二元決策圖操作方式,以便讓資料在內部記憶體上和磁碟機的轉換能夠更有效率,此機制嘗試將二元決策圖做有效的分割,使得只需將必要的二元決策圖資料放於主記憶體上,因此可以增加主記憶體使用的效率。
二元決策圖就是一個常被使用和研究的資料結構。在近年來,二元決策圖已被廣泛應用且成功的使用在各種問題上,而這些研究在現實的應用上亦有良好的表現。但是過去大部分研究是以主記憶體為考量,也就是說以減少分頁錯誤為考量,實際的分頁置換仍交給作業系統,因為作業系統無法有效地考慮二元決策圖在操作機制,因此無法解決二元決策圖在操作上的瓶頸,會花費過多時間在無效的資料轉換上,產生降低了CPU處理效能的問題。以轉換機制作為主要考量所發展出的二元決策圖操作方式有利於大型二元決策圖的操作,尤其在使得二元決策圖資料的置換方式能較符合大型二元決策圖的操作,同時亦能符合記憶體與硬碟間的置換方式,以期能夠讓無效的資料置換次數減少,而增加二元決策圖資料置換的可控制性,以避免當資料量暴增時,會造成以二元決策圖為表示的布林函數操作上,無法有效的在主記憶體上執行。
Subjects
二元決策圖
磁碟機
Binary Decision Diagrams
Disk
Type
thesis
File(s)![Thumbnail Image]()
Loading...
Name
ntu-93-R91921092-1.pdf
Size
23.31 KB
Format
Adobe PDF
Checksum
(MD5):cf3eebdc6c631030edc27ed56e527c40
