Tehnot.com
  • Новости
  • Обзоры
  • Игры
  • Лайфхаки
  • Блоги
No Result
View All Result
В тренде
  • iPhone 12
  • Galaxy S21
  • Redmi
  • Xiaomi
  • Apple
  • SpaceX
  • Українська Українська
Tehnot.com
  • Новости
  • Обзоры
  • Игры
  • Лайфхаки
  • Блоги
Tehnot.com
No Result
View All Result

В MIT разработали файловую систему с математической защитой от сбоев

Drako
5 лет назад
вIT, Компьютеры, Наука, Новости, События, Софт
В MIT разработали файловую систему с математической защитой от сбоев

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

Как известно, сбои файловой системы чаще всего возникают по аппаратным причинам – внезапное отключение питания, сбой контроллера, отключение диска во время записи – всё это может как минимум нарушить структуру ФС, а как максимум – повредить её и аппаратное обеспечение. Также бывают вирусы, которые повреждают именно файловую систему.

В MIT разработали систему, которая на уровне математики гарантирует сохранность данных. Принцип её основан на так называемой технике формальной проверки, которая включает в себя математическое описание допустимых границ операции для компьютерной программы и гарантирует, что программа никогда не выйдет за эти границы. Подобные системы используются только в высокоуровневых схемах. В разработке MIT проверяются финальные коды файловой системы, что позволяет отследить ошибку.

Пока что из-за обилия проверок такая система является медленной по современным меркам, однако работы по оптимизации идут.

Следует отметить, что ФС представят в ходе октябрьской конференции ACM Symposium on Operating Systems Principles. Отметим, что это не коммерческий продукт, а, скорее, концепция, которую планируется в будущем внедрить в существующие ОС.

Теги: MITфайловая система
  • Українська Українська
Перейти на Українську версію сайту. | Контакты

© 2015-2019 TEHNOT.COM - При использовании материалов сайта обязательным условием является наличие гиперссылки в пределах первого абзаца на страницу расположения исходной статьи с указанием бренда издания Tehnot.com. Материалы с пометками "Новости партнеров" и PR публикуются на правах рекламы. Всегда рады ответить через соцсети или наш почтовый ящик info@tehnot.com – пишите!
Контакты 😉

No Result
View All Result
  • Вход
  • Новости
  • Обзоры
  • Игры
  • Лайфхаки
  • Блоги
  • Українська Українська

© 2015-2019 TEHNOT.COM - При использовании материалов сайта обязательным условием является наличие гиперссылки в пределах первого абзаца на страницу расположения исходной статьи с указанием бренда издания Tehnot.com. Материалы с пометками "Новости партнеров" и PR публикуются на правах рекламы. Всегда рады ответить через соцсети или наш почтовый ящик info@tehnot.com – пишите!
Контакты 😉

Welcome Back!

Login to your account below

Forgotten Password?

Create New Account!

Fill the forms bellow to register

All fields are required. Log In

Retrieve your password

Please enter your username or email address to reset your password.

Log In