3G Eden
RSS
MIT的研究人员正在设计一种新的文件系统，能在数学上保证不会因崩溃丢失数据。 在计算机操作系统中，文件系统是负责向磁盘写入数据和跟踪数据储存位置的部分。如果在写入数据过程中，计算机崩溃了，系统记录的数据会被破坏。数小时的工作成果可能会丢失，程序可能会不再正常工作。MIT研究人员使用了名为形式化验证的程序去确保文件系统的可靠性。他们称，虽然根据今天的标准他们的文件系统比较慢，但技术可以改进，形式化验证将能更容易的开发出可靠高效的文件系统。
转自 http://www.solidot.org/story?sid=45279
时间:2015-08-26 21:29
来源:Solidot
作者:WinterIsComing
原文链接
