MIT科學家打造電腦當掉資料也不會遺失的檔案系統

三名來自麻省理工學院（MIT）電子工程系（EECS）的研究人員利用形式驗證（formal verification）的程序建立了一個即使電腦突然當掉也不會造成資料遺失的檔案系統，相關研究成果並準備在今年10月舉行的作業系統學術會議ACM Symposium on Operating Systems Principles（SOSP）上發表。

from iThome 新聞 http://ift.tt/1PP6la2