У Массачусетському технологічному інституті (MIT) розроблена файлова система, що гарантує збереження файлів навіть у разі збоїв.

Як відомо, збої файлової системи найчастіше виникають з апаратним причин – раптове відключення живлення, збій контролера, відключення диска під час запису – все це може як мінімум порушити структуру ФС, а як максимум – зруйнувати її і апаратне забезпечення. Також бувають віруси, які ушкоджують саме файлову систему.

У MIT розробили систему, яка на рівні математики гарантує збереження даних. Принцип її заснований на так званій техніці формальної перевірки, яка включає в себе математичний опис допустимих меж операції для комп’ютерної програми і гарантує, що програма ніколи не вийде за ці межі. Подібні системи використовуються тільки в високорівневих схемах. У розробці MIT перевіряються фінальні коди файлової системи, що дозволяє відстежити помилку.

Поки що через велику кількість перевірок така система є повільною за сучасними мірками, однак роботи з оптимізації йдуть.

Слід зазначити, що ФС представлять під час жовтневої конференції ACM Symposium on Operating Systems Principles. Відзначимо, що це не комерційний продукт, а, скоріше, концепція, яку планується в майбутньому впровадити в існуючі ОС.