Ученые из MIT разработали абсолютно надежную файловую систему

26 августа 2015 22:41


Как известно, некоторые внезапные события (например, отключение питания, сбой в работе некоторых программ или операционной системы) могут привести к потери тех данных, которые не успели записаться на диск, или к порче файлов. В Массачусетском университете разработана принципиально новая файловая система, главное достоинство которой 100% гарантия сохранности данных независимо от сбоев в работе сервера или персонального компьютера. Это важно, например, чтобы сохранилась информация на сайте http://izkis.su, содержащем любопытные картинки.

 

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

 

Надежная файловая система система разработана в MIT

 

Новая файловая система, разработанная американскими исследователями, декларируется как математически гарантирующая сохранность данных во время сбоев. На октябрьской конференции ACM Symposium on Operating Systems Principles ожидается подробный доклад, описывающий данную систему. Основой надежности файловой системы является понятие формальной верификации. Для данной проверки используется собственная система контроля формальных доказательств под названием Coq Proof Assistant. Эта система имеет собственный язык программирования, который был использован для создания новой сверхнадежной файловой системы. Формальная верификация подразумевает описание рамок работы программы математическими понятиями и гарантирует, что программа будет функционировать в заданных рамках.

 

Используя язык Coq, программисты и ученые описали все компоненты вычислительной системы ,в том числе и такие базовые понятия, как бит, файл, диск. Далее были заданы правила, моделирующие взаимодействие всех компонентов в сбойной ситуации. Coq Proof Assistant автоматически проверяет, что файловая система работает в соответствии с определенными взаимосвязями, заданными формальными доказательствами. Следует отметить, что данная файловая система далека от практического использования. В силу своей медленной работы разработка ученых из MIT пока представляет только академический интерес.





Обсудить материал (0)


Предыдущая статья

Проект GNOME стал совершеннолетним
Следующая статья

Для iPhone и iPad компания Adobe готовит специализированный графический редактор



Сервис Opera VPN закрывается

Популярный сервис защиты приватности Opera VPN объявил о закрытии. Примечательно, что такое решение совпало с очередным всплеском интереса к VPN сервису со стороны пользователей, в поисках методов обхода блокировки мессенджера Телеграм. Opera VPN прекратит работу 30 апреля, обладателям платной подписки Opera Gold будет предоставлена компенсация — годовая подписка на услуги другого провайдера SurfEasy Ultra VPN. Остальным пользователям эта же компания предоставит 80% скидку на платные пакеты VPN услуг.

Читать далее...

Microsoft настаивает на срочной установке патча протокола RDP

Компания Microsoft намерена блокировать попытки удалённого подключения к серверам, работающим под управлением операционной системы Windows Server, если на компьютере клиента не будет установлен важный патч безопасности. Это правило вступает в силу в мае 2018 года. Ранее была обнаружена уязвимость CVE-2018-0886, позволяющая перехватывать трафик по RDP соединению. И если на удаленных компьютерах уязвимость не будет закрыта, то подключение невозможно.

Читать далее...

Изменится ли отношение Google к Chrome OS и Android в 2018 году

С прошлого года умы поклонников самой популярно мобильной платформы будоражат новости о новой операционной системе, разрабатываемой Google. Однако нет точного ответа, станет ли проект Fuchsia заменой Chrome OS и Android. Это сейчас спрогнозировать сложно. Успех Android не дает оснований к активному поиску альтернативы. Сам проект Fuchsia стал известен летом 2016 года, после размещения его исходных кодов на GitHub.

Читать далее...

Google нашел в браузере Edge серьезную уязвимость и всем рассказал

Сотрудники Google Project Zero опубликовали информацию о серьезной уязвимости в браузере извечного конкурента поисковой компании — Microsoft Edge. Столкновения в связи с раскрытием данных об уязвимостях продуктов конкурента у двух компаний возникают регулярно. На этот раз специалисты Google в очередной раз решили поддеть продукт Microsoft и опубликовали сведения о проблемах до того, как Microsoft выпустила заплатку для своего браузера.

Читать далее...

Пользователи Windows 7 и Windows 8.1 останутся без Office 2019

По мере приближения следующего релиза своего самого популярного продукта — пакета офисных программ, компания Microsoft опубликовала список операционных систем, в которых будет работать Office 2019. В это список попали различные настольные и корпоративные релизы Windows 10, LTSC-выпуск Windows Server, но не попали версии Windows 7 и 8.1. Для пользователей Office для Mac есть свое расписание релизов и правила поддержки, которой Microsoft обязалась не лишать всех владельцев компьютеров Apple.

Читать далее...

Американские военные намерены создать ПО для автоматического анализа сообщений в социалках

Армия США разместила на правительственном портале объявление о тендере на разработку довольно специфического программного обеспечения. Это комплекс, который без участия человека будет отслеживать публикации в социальных сетях на разных языках, анализировать их содержание и смысл, а также анализировать различные аудитории пользователей социалок. Это программное обеспечение должно будет переводить публикации с арабского, корейского, пушту, русского, урду, фарси и французского на английский язык.

Читать далее...

WeChat станет основой для общенациональной системы электронной идентификации в Китае

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

Читать далее...

Microsoft срочно выпустила патч, закрывающий уязвимость в своем движке защиты от вирусов

Компания Microsoft была вынуждена срочно выпускать обновление для движка антивирусной защиты MPE, который используется в Windows 10 и почти всех предыдущих версиях этой ОС. В Malware Protection Engine была обнаружена уязвимость под индексом CVE-2017-11937. Она затрагивает такие продукты компании, как Windows Defender, Microsoft Security Essentials, Endpoint Protection, Forefront Endpoint Protection, Exchange Server 2013 и Exchange Server 2016. Первыми данную уязвимость, позволяющую злоумышленникам получить полный контроль над системой обнаружили эксперты национального центра киберразведки Великобритании.

 

Читать далее...



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

Вход для магазинов