Сайт Бешеного Коня


Понедельник, 2020-Фев-17      

 


Приветствую Вас Гость | RSS
Меню сайта

Облако тэгов

Поиск...

Статистика

Онлайн всего: 1
Гостей: 1
Пользователей: 0

Главная » 2015 » Август » 26 » В MIT придумали самую надёжную файловую систему
08:19
В MIT придумали самую надёжную файловую систему

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

MIT-Crash-Storage

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

system_crash

  Надёжность новой системы основана на так называемой технике формальной проверки. Эта техника включает математическое описание допустимых границ операции для компьютерной программы и гарантирует, что программа никогда не выйдет за эти границы. Это сложный процесс, поэтому он чаще всего применяется только к самым высокоуровневым схематическим представлениям функциональности программы. Преобразование такой высокоуровневой схемы в рабочий код вызывает целый комплекс проблем. Отличием разработки MIT является проверка свойств финального кода файловой системы, а не высокоуровневой схемы. Для этого используется утилита типа proof assistant с именем Coq, которая предоставляет формальный язык для описания аспектов компьютерной системы и связей между ними. Таким образом, описываются системные объекты и поведенческие связи между ними в условиях форс-мажора.

  Ценность представленных исследований кроется даже не в самой разработанной операционной системе. Предложенные методики могут использоваться в других современных ОС или при разработке новых и сделать их гораздо надёжнее.

  Источник: MIT

Просмотров: 414 | Добавил: N$V | Теги: файловая система, MIT | Рейтинг: 0.0/0
Всего комментариев: 0
Добавлять комментарии могут только зарегистрированные пользователи.
[ Регистрация | Вход ]
Вход на сайт

Nepo-чат

Сайт рекомендует
Eset NOD32 A/SS v.12

the_bat The Bat! Pro 8.6.0

KIS v.16

Соло на клавиатуре 9.0.5.64
Avast! Premier 2019

AntiWinBlock 3.1

AIDA64 v.6.20

WinRAR v.5.80

Avast_9 Avast IS 2019

DVDFab DVDFab 11.0.6.5

Dr.Web A-V&SS v.11

AVG IS v.19.7

Календарь
«  Август 2015  »
ПнВтСрЧтПтСбВс
     12
3456789
10111213141516
17181920212223
24252627282930
31

Друзья сайта
  • Официальный блог
  • Сообщество uCoz
  • FAQ по системе
  • Инструкции для uCoz

  • Copyright N$V © 2020