Toggle Main Menu Toggle Search


Probabilistic Aspects of Flash Filestores

Lookup NU author(s): Dr Zoe Andrews



Flash filestores have a variety of unique features that lead to interesting design constraints. One challenge is that of ensuring that each block of the drive is used and erased evenly, known as "wear-levelling". This paper presents a novel approach to the analysis of wear-levelling algorithms using probabilistic specification and analysis techniques. A simplified version of the wear-levelling algorithm used in the JFFS flash filestore is used as an illustration. The expected lifetime of a flash filestore implementing such an algorithm is derived using probabilistic proof techniques.

Publication metadata

Author(s): Andrews Z, McIver A, Meinicke L, Morgan C

Publication type: Report

Series Title: School of Computing Science Technical Report Series

Year: 2010

Pages: 13

Source Publication Date: May 2010

Report Number: 1202

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne