A group of MIT researchers claim to have created a computer that will never lose data in the event of a crash.
The new system is "mathematically guaranteed' not to lose information by accident, such as though a system crash or other failure, said the team from MIT's Computer Science and Artificial Intelligence Lab (CSAIL).
Although the system is slow, the researchers admit, the same principles could be applied to more "sophisticated designs".
Nickolai Zeldovich, co-author of the paper and CSAIL principal investigator, said: "What many people worry about is building these file systems to be reliable, both when they're operating normally but also in the case of crashes, power failure, software bugs, hardware errors, what have you.
"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. So empirically, people have found lots of bugs in file systems that have to do with crash recovery, and they keep finding them, even in very well tested file systems, because it's just so hard to do."
The team confirmed the computer's abilities through a process known as formal verification, which mathematically describes the limits of operation for a computer program, before proving the program cannot exceed these limits. While the system can still crash, data will not be lost in the process.
"It's not like people haven't proven things in the past," Ulfar Erlingsson, the lead manager for security research at Google, who had observed the MIT team at work, said. "But usually the methods of technologies, the formalisms that were developed for creating the proofs, were so esoteric and so specific to the problem that there was basically hardly any chance that there would be repeat work that built up on it.
"This is stuff that's going to get built on and applied in many different domains. That's what's so exciting."
The new system will be demonstrated formally at a symposium later this year.
-
The IT industry’s shift to circular, low-carbon solutionsMaximize your hardware investment and reach your sustainability goals with HP’s Renew Solutions
-
Lenovo ThinkPad X9 14 Aura Edition reviewReviews This thin and light ultraportable will draw you in with its vibrant screen – but it isn't as powerful as some of its competitors
-
Help skilled workers succeed with Dell Latitude 7030 and 7230 Rugged Extreme tabletswhitepaper Help skilled workers succeed with Dell Latitude 7030 and 7230 Rugged Extreme tablets
-
Laser printers vs Inkjet: Which is best for the workplace?In-depth You should always use a laser printer over an inkjet for business, right? Not necessarily
-
Big data, no problemSponsored When it comes to crunching data there's no such thing as too much power.
-
Big power in a small boxSponsored Crunching huge amounts of data needs a very powerful workstation.
-
Making the move to a 2-in-1 deviceSponsored Is HP's flagship 2-in-1 the ideal device for a busy, mobile business user?
-
Living with a convertible laptop: part 1Sponsored No more carrying a laptop and tablet, it's time to try something new.
-
The evolution of managed print servicesSponsored The way we work is changing, and so is MPS.
-
It's time to dump your photocopiersSponsored If your business is still running a fleet of copiers, you should consider HP's new A3 MFPs instead.
