设为首页收藏本站
开启辅助访问

LUPA开源社区

 找回密码
 注册
人才芯片直通车
邮箱订阅
文章 帖子 博客
LUPA开源社区 › 首页 ›业界资讯› 开源资讯 › 查看内容

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

2015-8-26 22:11| 发布者: joejoe0332| 查看: 859| 评论: 0|原作者: Solidot|来自: Solidot

摘要: MIT的研究人员正在设计一种新的文件系统， 能在数学上保证不会因崩溃丢失数据。 在计算机操作系统中，文件系统是负责向磁盘写入数据和跟踪数据储存位置的部分。 ...
　　MIT的研究人员正在设计一种新的文件系统， 能在数学上保证不会因崩溃丢失数据。 在计算机操作系统中，文件系统是负责向磁盘写入数据和跟踪数据储存位置的部分。
　　
　　如果在写入数据过程中，计算机崩溃了，系统记录的数据会被破坏。数小时的工 作成果可能会丢失，程序可能会不再正常工作。MIT研究人员使用了名为形式化验证的程序去确保文件系统的可靠性。

　　他们称，虽然根据今天的标准他们的文件系 统比较慢，但技术可以改进，形式化验证将能更容易的开发出可靠高效的文件系统。

酷毙
雷人
1

鲜花
鸡蛋
漂亮

刚表态过的朋友 (1 人)

收藏 分享 邀请
上一篇：下一代Bootstrap的5个超酷特点下一篇：25%的游戏通过Steam支持Linux系统
  • 快毕业了，没工作经验，
    找份工作好难啊？
    赶紧去人才芯片公司磨练吧!!

最新评论

关于LUPA|人才芯片工程|人才招聘|LUPA认证|LUPA教育|LUPA开源社区 ( 浙B2-20090187 浙公网安备 33010602006705号 )   

返回顶部