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



В Швейцарии разрабатывают новую операционную систему для смарт-часов

Swiss OS — так будет называться операционная система для носимых устройств, которую разрабатывают специалисты швейцарской компании Swatch, известного производителя часов. Эта ОС нацелена на «умные часы», различную носимую малогабаритную электронику и устройства интернета вещей. Партнером Swatch в данном проекте стала компания CSEM. Согласно опубликованной информации, данная операционная система будет создаваться с нуля и может быть публично представлена в следующем году. Это смелое решение, учитывая, что в данный момент на рынке ОС для носимых гаджетов конкурируют такие известные продукты, как продукт Google Android Wear, созданная Apple watchOS и Tizen, разработанная Samsung.

 

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

Вышел финальный вариант превью Android Wear 2.0

Увидела свет окончательная версия операционной системы от Google для смарт-часов — Android Wear 2.0. Это пятая превью-версия второго поколения ОС для носимых устройств, которая может похвастаться усовершенствованной поддержкой iOS. Так как данное превью финальное, Google разрешила авторам приложений под эту версию Android Wear регистрировать свои продукты в магазине приложений. Напомним, на прошлогодней конференции I/О, показав публике Android Wear 2.0, Google назвала новшества в этой версии самыми важными за все время существования этой ОС для смарт-часов и других носимых гаджетов. 

 

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

Появилась информация о новом интерфейсе 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.

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



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

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