Новая файловая система способна "пережить" аварийное завершение работы ПК


Nezavisimie issledovateliКомандой исследователей из Массачусетского технологического института была представлена первая файловая система, которая способна восстановить все данные в случае аварийного завершения работы компьютера. Специалист заявили, что новая разработка будет продемонстрирована на Симпозиуме по Принципам Операционных систем (ACM Symposium on Operating Systems Principles), который пройдет в октябре 2015 года.

Напомним, что основная задача файловой системы является запись данных на накопитель, а также последующее отслеживание местонахождения этих данных. В случае, если в процессе записи информации у компьютера произойдет непредвиденный сбой, то файловая система также может повредиться. В результате такого сбоя данные могут быть потеряны, а особенно те, для которых еще не была создана резервная копия. Кроме того, некоторые программы могут перестать корректно работать.

Разработчики новой файловой системы утверждают, что несмотря на ее более медленную работу по сравнению с современными аналогами, она "математически гарантирует", что даже в случае непредвиденных сбоев в работе ОС данные не исчезнут.

По словам исследователей надежность файловой системы базируется на принципе формальной проверки. Данный принцип предполагает математическое описание допустимых границ операции для компьютерной программы, а кроме того гарантирует, что программа никогда не выйдет за эти границы. Это довольно сложный процесс, который применяется только к высокоуровневым схематическим представлениям функциональности программы. Отличие разработки инженеров MIT заключается в проверке свойств конечного кода файловой системы, а не высокоуровневой схемы. Для этой цели используется инструмент типа proof assistant под названием Coq (CoC, calculus of constructions), который применяется для верификации программ.

Также эксперты утверждают, что техника, которую они используют, может применяться для создания более эффективных и надежных файловых систем.


Обновлено (28.08.2015 10:20)