RSS
 

Arquivo para August 26th, 2015

Storages totalmente seguros

26 Aug

Storages são armazenamentos digitais permanentes maisFatalError seguros que os convencionais, porém ainda assim podem apresentar problemas, em geral são muitos usados em nuvens.

Agora o MIT afirma ter encontrado um storages tolerantes a “quebra” (crash), no sentido de ser algo tolerante a avarias imprevisíveis e danos permanentes que impedem que arquivos sejam recuperados. < No Simpósio de outubro de Sistemas Operacionais da ACM (Association Computer Machinery), os pesquisadores do MIT irão apresentar um sistema que afirmam totalmente livres de qualquer avaria, e podendo suportar falta de energia, erros de falha de hardware e erros de sistema operacional, garante o professor Mickolai Zeldovich, do grupo de Ciência da Computação e Engenharia, que afirmou que se poderá “Certificar-se de que o sistema de arquivos pode recuperar de uma falha em qualquer ponto é complicado, porque há muitos lugares diferentes que você pode falhar” e perder dados.

O que diferencia o sistema de arquivos feito por eles é que não é um código feito em alto nível, eles reaproveitaram uma ferramenta conhecida como assistente de prova (Coq proof assistant) que oferece uma linguagem (Coq) para descrever coisas que um sistema de arquivos pode ter e as relações como elas se comportam. < O Coq sempre teve algumas ferramentas, mas os pesquisadores do MIT ainda tinham um trabalho a fazer: primeiro, eles tinham de descrever os componentes de um sistema de arquivos usando a linguagem formal do Coq, depois tinham que descrever como são as relações entre dos comportamentos em condições que há falhas ou colisão de dados, e a partir daí poderiam construir um “assistente de prova” capaz de suportar avarias.

Neste percurso de reescrever o sistema de arquivos, eles repetidamente voltaram e reequipadas as especificações do sistema, “provavelmente 10 vezes”, disse Zeldovich, Kaashoek, outro membro da equipe, que estimou que eles gastaram 90 por cento de seu tempo nas definições dos componentes do sistema e as relações entre eles e sobre a prova.

O terceiro membro da equipe Ulfar Erlingsson, um gerente para problemas pesados nos arquivos de segurança da Google afirmou: “Não é como se as pessoas não tinham provado coisas no passado”, afirmou: “pois, geralmente, os métodos e as tecnologias, os formalismos que foram desenvolvidos para criar as provas, eram tão esotérico e tão específico para o problema que houve basicamente quase nenhuma chance de que não haverá repetição trabalho que construiu em cima dele… Isso aqui é muito emocionante.”.