Crash-tolerant data storage: Formally verified working file system could end data loss
Monday, August 24, 2015 - 06:50
in Mathematics & Economics
In a computer operating system, the file system is the part that writes data to disk and tracks where the data is stored. If the computer crashes while it's writing data, the file system's records can become corrupt. Hours of work could be lost, or programs could stop working properly.