Hardware errors, power failures, and software bugs won’t matter anymore if some scientists’ ideas are correct.
One of the issues with computer crashes is not so much that the machine has crashed—often a mere inconvenience—but that data was lost in the process.
While the computer is writing its ones-and-zeros, it loses track of what it’s written and what it hasn’t, and data becomes corrupted. It’s been a problem since magnetic storage was invented.
However, MIT researchers think they’ve got a solution. They say that they’ve invented a file system that is guaranteed not to lose any data in a crash.
MIT’s system uses mathematics to verify the data. It’s based on a known technique called formal verification that in this case applies to the file system. The reliability of the file system is established through the formal verification process.
“The acceptable bounds of operation for a computer program” are defined mathematically. Then the system proves that the “program will never exceed them,” says Larry Hardesty of the MIT News Office, writing on its website.
The scientists say their system is slow, but that the concept behind the verification technique can be enhanced eventually, to make more sophisticated designs.
“Making sure that the file system can recover from a crash at any point is tricky because there are so many different places that you could crash,” Nickolai Zeldovich said on MIT’s website. He is one of the three MIT computer-science professors on the new paper.
“You literally have to consider every instruction or every disk operation and think, ‘Well, what if I crash now? What now? What now?’” he says.
Guaranteed no data loss
But the scientists do say that their formal verification technique is guaranteed not to lose data.
They say that their method proves “properties of the file system’s final code, not a high-level schema,” says Hardesty.
Therefore, it’s better than anything else—although it is complicated and has been difficult to achieve.
For one thing, they’ve had to develop what’s called a “proof assistant,” which provided a formal language for the system and relationships. Proofs are used around mathematics as a kind of sequence to verify things.
“Proofs are checked against the actual file system, not some whiteboard idealization that has no formal connection to the code,” Adam Chlipala, another professor, says on the website.
Another complication that they had to deal with was describing the relationships “between the behaviors of these different components under crash conditions,” Hardesty explains.
Determining that “the file system did, in fact, adhere to the logical relationships described in the proof,” was another element to the work, Hardesty says.
However, what they ended up with is the “world’s first crash-proof computer,” Wired says in an article about the technology.
It’s a slightly misleading headline, in that “the computer system is not necessarily unable to crash, but the data contained within it cannot be lost,” the Wired article’s author correctly qualifies later in the story.
In any case, whatever you want to call it, guaranteed crash-tolerance is about to become a reality. If you computer has sufferd a crash and your data has been lost, turn it off and give us a call on free phone 0800 999 3282 to give you the best chance of getting your data back.
I have recently used R3D to retrieve data from an external hard drive.
I called Andy at 11pm on a Saturday after my hard drive failed, he immediately ran through the symptoms and calmed my fears that all data was lost, but was honest that data recoveries are not always successful.
I required the data immediately as it was for a deadline the following Friday, the issue was I was based in London and the lab based in Sheffield.
After searching all data companies in and around London none would answer my call on a Saturday. In fact no one else would answer my call or say they could look at my case on the Sunday.
I took the drive myself to R3D and was very impressed with their facilities. Andy also explained the whole process and what they were doing at each stage.
Unfortunately the hard drive had a physical failure and needed to be rebuilt to have any chance of recovering the information.
After starting the rebuild at 4pm on the Sunday, Andy advised it would take him and his team until the morning to know if any information was recoverable - fantastic I thought. Andy and Mark got to work on my drive as soon as I left and by 10pm on Sunday they had retrieved almost the entirety of the information of my hard drive.
I cannot reccomend R3D highly enough, they are clearly experts in their field and have a passion for what they do. Through the whole process Andy kept me informed of progress and explained everything they were doing.
If you have a crisis or any data recovery needs these are the guys you need!
R3 Data Recovery is rated (4.6) by 294 customer reviews on Reviews.co.uk
If your hard drive happens to fail, contact our team of experts. Our skilled professionals will be able to reliably recover data on your hard drive and provide industry-leading turnaround times which give you the confidence that's necessary to develop a solid, effective recovery plan.
Call us today at 0800 999 3282 or fill out our FREE, no-obligation diagnostics form for immediate help!