Thursday, August 27, 2015

Crash-tolerant data storage

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: