Crashsicheren Dateisystem speichert Ihre Arbeit wenn Ihr Computer stirbt

Wir alle kennen das stechende Gefühl von Nachladen eine Programm nach einem Absturz, nur um zu erfahren, dass wertvolle Arbeitszeit in den Äther verschwunden sind. Wenn Informatiker MIT etwas zu sagen haben, eine herrliche neue Ära der Absturz fehlertolerante Dateisysteme kann jedoch bald auf uns.

Das Dateisystem ist der Teil des Computers, die Daten auf eine Diskette schreibt und verfolgt wo es gespeichert wird. Wenn Ihr Computer abstürzt, während das Dateisystem Daten beschrieben wird – während Sie diese schöne Illustrator speichern Grafik Sie verbrachten Stunden auf oder Buch Vorschlag Sie gerade schrieb zwanzig Seiten – die Datei hoffnungslos beschädigt werden kann. Wenn Sie Glück haben, vielleicht verbringen Sie Ihren Nachmittag versuchen, Ihre Daten wiederherzustellen. Wenn nicht; Stunden wieder Ihre Arbeit tun und verfluchen die hasserfüllte Computer-Götter, die eindeutig es für Sie in haben.

Aber! Ein Ende der Zyklus der Absturz verursachte Elend ist auf dem Weg. Ein Team von Forschern am MIT entwickelte nur ein neues Dateisystem, die sie sagen, "mathematisch gewährleistet ist" nicht zu vergessen, Ihre Daten bei einem Absturz. In seiner aktuellen Iteration das neue Dateisystem ist ziemlich langsam, aber die Forscher sind zuversichtlich, dass sie in der Lage, ihr Konzept zu mehr anspruchsvolle Designs in Zukunft erweitern werden.

Wie machen es die Informatiker? Im Grunde eine Menge harter Mathematik. MIT News erklärt, verwendete das Team eine Reihe von beweisen zu mathematische Beziehungen zwischen jeder einzelnen Komponente im Dateisystem zu definieren, und stellen Sie sicher, dass diese Komponenten nur in vorher festgelegten und zuverlässige Möglichkeiten beim Crash Verhalten würde. Alle Beweise auf Papier gearbeitet hatte, schrieb sie den Code für ihr Dateisystem. Sie fuhr dann fort, testen Sie ihren Code, um sicherzustellen, dass es die logischen Beziehungen in der Beweis beschrieben eingehalten. Offenbar war dies ein langwieriger Prozess, der viele, viele Iterationen nahm.

"Niemand hatte es getan", sagte Frans Kaashoek MITS Department of Electrical Engineering and Computer Science MIT News. "Es ist nicht wie Sie aussehen könnte, ein Papier, das sagt,"Dies ist der Weg, es zu tun.", Aber jetzt können Sie unsere Zeitung lesen und vermutlich viel schneller zu tun."

So weit, so gut dann. Die Forscher präsentiert das neue Dateisystem ACM Symposium on Betriebssystemen Prinzipien im Oktober auf wo sie von der Allgemeinheit Computer Wissenschaft ausgewertet werden. Es kann jedoch noch einige Jahre bevor das Dateisystem ist bereit für die Prime Time, sind alle unsere PCs crashsicheren gerendert und die Erinnerung zu verlieren Dateien während einer verpfuschten speichern wird so stumpf und Ferne als Dial-Up.

Vorerst werden meine Stimmung gehoben, einfach durch die Erkenntnis, dass ein paar wirklich intelligente Leute versuchen, dieses Problem anzugehen. Godspeed, Sie Magnanamous Computer Dorks.

Kontaktieren Sie den Autor unter [email protected] oder folgen Sie ihr auf Twitter.