Ученые из 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 готовит специализированный графический редактор



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

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

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

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. Первыми данную уязвимость, позволяющую злоумышленникам получить полный контроль над системой обнаружили эксперты национального центра киберразведки Великобритании.

 

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

Более миллиона пользователей установили Microsoft Launcher

Бывший Arrow Launcher, ставший Microsoft Launcher и активно продвигаемый своим новым владельцем продолжает развиваться и завоевывать сердца пользователей. Многие обладатели Android устройств даже ставят лаунчер от Microsoft на второе место после Nova по таким показателям, как удобство интерфейса и гибкость настройки. И вот, один из разработчиков Microsoft, Джошуа Брэдли написал в твиттере, что Microsoft Launcher активно используют более миллиона пользователей (правда потом твит был удален). Это доказывает успех этого важного компонента интерфейса Android и правильность новой стратегии Microsoft.

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

Вездесущий Kodi становится врагом для правообладателей

Совсем недавно американская киноиндустрия почувствовала вкус победы над пиратами, активно преследую торренты и пиратские сайты, а также активно поощряя развитие легальных онлайн-сервисов наподобие Netflix. Но теперь безобидный, легальный, но через чур услужливый сервис Kodi стал новой проблемой для Голливуда. Программное обеспечение Kodi предназначено для организации потокового вещания телепередач, трансляций спортивных событий или стримминга компьютерных игр.

 

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

В Google Chrome теперь встроен антивирус

Несмотря на положение лидера, компания Google не расслабляется и продолжает укреплять преимущества своего браузер над конкурентами. Теперь Chrome, кроме высокой стабильности и скорости работы получит дополнительную антивирусную защиту. Новый инструмент называется Chrome Cleanup для Google Chrome и начиная с последней версии доступен пользователям Хрома в Windows. Это антивирус, встроенный в популярный браузер и защищающий компьютер.

 

 

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

Анонсирован Office 2019 для тех, кто не любит облака

На состоявшейся в Орландо конференции Microsoft Ignite 2017, софтверный гигант сообщил о планах выпустить во второй половине 2018 года следующую редакцию своего набора офисных программ Office 2019. Это программный пакет для тех пользователей, которые по различным причинам не используют облачную версию Office 365. В состав Office 2019 войдут обновленные версии приложений для персональных компьютеров (Word, Excel, PowerPoint, Outlook) и серверное ПО для организации работы организаций: Skype for Business, Exchange и SharePoint.

 

 

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

На смену приложению Google Drive приходит Backup and Sync

Компания Google объявила, что с 12 марта 2018 года будет закрыто приложение-клиент облачного хранилища Google Drive. Сами данные останутся на месте, но тем, кто хочет пользоваться синхронизацией с компьютерами под управлением Mac OS или Windows, придется установить новое приложение. Это программа Backup and Sync, которая объединила в себе функции «Google Диск» и «Google Фото». 

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



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

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