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



Появилась информация о новом интерфейсе Windows 10 под названием Neon

Еще осенью прошлого года стало известно, что Microsoft планирует изменить интерфейс своей операционной системы. Причем эти изменения будут довольно существенные и направлены на две цели. Первая — подготовка системы к взаимодействию с пользователем и обеспечению ему возможности комфортной и полноценной работы в режиме дополненной реальности (новая оболочка пользователя Windows Holographic). Второй целью является совершенствование интерфейса операционной системы, разработчики намерены сделать его не только красивей, но и более логичным, привести все элементы дизайна в одну строгую систему.

 

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

Mail.ru решила конкурировать с крупнейшими провайдерами облачных хранилищ

Новый проект «Облака Mail.ru для бизнеса» запустила известная российская компания. Эта услуга начала работать с 19 декабря 2016 года и состоит из двух компонентов: Облака для рабочих групп и для архивов. Маил.ру явно нацелилась побороться на рынке, где главными игроками выступают знаменитые Dropbox, OneDrive, Amazon, Azure. Облако для рабочих групп, это удаленный файл сервис, доступный по защищенному каналу из интернет. Администратор может настраивать доступ сотрудников компании-клиента к конкретным папкам так же, как и в случае обычного сервера, расположенного в здании. Разница в том, что бесперебойную работу сервера обеспечивает вендор — Mail.ru. 

 

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

Обновление виртуальной клавиатуры SwiftKey

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

 

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

На хоромбуках с большим экраном Microsoft Office будет платной

Политика Microsoft лицензирования своего офисного пакета предполагала бесплатное использование его на малогабаритных гаджетах под управлением операционных систем Android и iOS. Данный подход софтверный гигант перенес и на хромбуки после того, как Google начала внедрять поддержку программ Android в свою Chrome OS. Теперь, по аналогии с планшетами iPad, если диагональ экрана ноутбука под управлением Chrome OS превышает 10.1 дюйма, для использования офисных программ Microsoft потребуется подписка. За исключением нескольких небольших хромбуков (например, выпущенного Asus Chromebook Flip) большинство устройств с операционкой от Google попадают под данное ограничение.

 

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

В сети появилась новая информация разрабатываемом Microsoft корпоративном мессенджере

Несколько утечек информации позволили пользвоателям сети составить предварительное описание будущего мессенджера для корпоративного использования, разрабатываемого в компании Microsoft. Напомним в марте этого года появились сообщения, что часть топ менеджмента настаивала на покупке корпоративного мессенджера Slack, который оценили в 8 миллиардов долларов. Однако это решение заблокировали основатель компании Б.Гейтс и генеральный директор Сатья Наделла. В итоге было решено развивать собственный продукт — Skype, расширив его функционал.

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

Составлен рейтинг надежности мессенджеров

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

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

В летнем обновлении Windows 10 появится темная тема оформления

Обновление Anniversary Update версии Windows 10 для настольных компьютеров принесет много изменений и в функционале и дизайне. Среди известных новшеств, прошла информация о подготовке к всеобщему использованию темной темы оформления ОС (ранее ее можно было включить, если вручную внести правки в реестр Windows).

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

Летом Mozilla выпустит браузер на новом движке

Все пользователи интернета хорошо знают браузер Firefox. А теперь его разработчик, компания Mozilla намерена выпустить следующее поколение браузера на принципиально новом движке Servo. Особенностью этого движка станет работа в несколько потоков и поддержка многоядерных процессоров. Что особенно актуально для мобильных гаджетов.

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



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

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