solidot新版网站常见问题,请点击这里查看。

MIT的新文件系统不会因崩溃丢失数据

数据存储
WinterIsComing (31822)发表于 2015年08月26日 20时15分 星期三
来自但是有代价的
MIT的研究人员正在设计一种新的文件系统,能在数学上保证不会因崩溃丢失数据。 在计算机操作系统中,文件系统是负责向磁盘写入数据和跟踪数据储存位置的部分。如果在写入数据过程中,计算机崩溃了,系统记录的数据会被破坏。数小时的工作成果可能会丢失,程序可能会不再正常工作。MIT研究人员使用了名为形式化验证的程序去确保文件系统的可靠性。他们称,虽然根据今天的标准他们的文件系统比较慢,但技术可以改进,形式化验证将能更容易的开发出可靠高效的文件系统。
「星期三」 Hello Wednesday

MIT的新文件系统不会因崩溃丢失数据

MIT的研究人员正在设计一种新的文件系统,能在数学上保证不会因崩溃丢失数据。 在计算机操作系统中,文件系统是负责向磁盘写入数据和跟踪数据储存位置的部分。如果在写入数据过程中,计算机崩溃了,系统记录的数据会被破坏。数小时的工作成果可能会丢失,程序可能会不再正常工作。MIT研究人员使用了名为形式化验证的程序去确保文件系统的可靠性。他们称,虽然根据今天的标准他们的文件系统比较慢,但技术可以改进,形式化验证将能更容易的开发出可靠高效的文件系统。

WinterIsComing 发表于

2015年08月26日 20时15分