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



Вездесущий 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 Фото». 

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

Создана единая платформа из Astra Linux и пакета «Мой офис»

Разработчики российского офисного пакета «Мой офис», компания «Новые облачные технологии» и НПО «РусБИТех», создатель дистрибутива Astra Linux объединили свои продукты в единую платформу. И этот комплекс уже прошел сертификацию в ФСТЭК. Однако пока офисный пакет еще не допущен к обработке конфиденциальных документов, содержащих гостайну. Ожидается, что первые проекты по внедрению данной платформы запустятся уже в сентябре 2017 года. 

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

WikiLeaks сообщила об инструментах ЦРУ для взлома Windows-компьютеров

На сайте WikiLeaks появилась публикация о наборе инструментов Vault 7, это сборник хакерских программ, разработанных для нужд ЦРУ. С помощью этих инструментов можно управлять работой веб-камер и микрофонов. В частности, рассказано про хакерский инструмент Dumbo. Он предназначен для взлома компьютера под управлением Windows и вмешательство в работу вебкамер и микрофонов, как на компьютере, так и в сети. С помощью Dumbo можно управлять оборудованием подключенным кабелем, или через WiFi. Оператор может выключить работу камеры или стереть сделанную запись.

 

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

У медиапроигрывателя MPC-HC не осталось разработчиков, но есть у MPC BE

Объявлено о выходе новой версии 1.7.13. популярного проигрывателя видео MPC-HC. Одновременно создатели программы объявили на официальном сайте, что больше не осталось программистов для развития плеера и теперь проект «человеческого» плеера для Windows можно считать «мертвым». Текущие версии доступны и нормально функционируют, но дальнейшая разработка остановлена. 

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

В Windows 10 появится авторизация с помощью смарт-кольца

Появившийся в Windows модуль биометрической авторизации Windows Hello позволяет входить в систему без ввода пароля, а отсканировав отпечаток пальца, радужки глаза или лицо пользователя. Это увеличивает защиту от злоумышленников, которым в настоящее время довольно легко добраться до паролей. Однако кроме биометрической авторизации в Windows Hello есть еще и возможность регистрации с помощью специальных устройств. Например, Microsoft недавно сообщила о внедрении кольца-токена. Цель этих нововведений: обеспечить безопасность пользователя, но сохранить комфорт.

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



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

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