Crash-tolerant data storage. Larry Hardesty. MIT News. August 24, 2015.
MIT researchers will present in an October symposium the first file system that is
mathematically guaranteed not to lose track of data during crashes.The file system is slow by today’s standards, but the techniques used to verify its performance could be used for more
sophisticated designs and more reliable, efficient file systems. This formally verified working file system could lead to computers guaranteed never to lose your data. "Formal verification involves mathematically describing the acceptable
bounds of operation for a computer program and then proving that the
program will never exceed them."
No comments:
Post a Comment