В Массачусетском технологическом институте (MIT) разработана файловая система, гарантирующая сохранность файлов даже в случае сбоев.
Как известно, сбои файловой системы чаще всего возникают по аппаратным причинам – внезапное отключение питания, сбой контроллера, отключение диска во время записи – всё это может как минимум нарушить структуру ФС, а как максимум – повредить её и аппаратное обеспечение. Также бывают вирусы, которые повреждают именно файловую систему.
В MIT разработали систему, которая на уровне математики гарантирует сохранность данных. Принцип её основан на так называемой технике формальной проверки, которая включает в себя математическое описание допустимых границ операции для компьютерной программы и гарантирует, что программа никогда не выйдет за эти границы. Подобные системы используются только в высокоуровневых схемах. В разработке MIT проверяются финальные коды файловой системы, что позволяет отследить ошибку.
Пока что из-за обилия проверок такая система является медленной по современным меркам, однако работы по оптимизации идут.
Следует отметить, что ФС представят в ходе октябрьской конференции ACM Symposium on Operating Systems Principles. Отметим, что это не коммерческий продукт, а, скорее, концепция, которую планируется в будущем внедрить в существующие ОС.