Browse by author
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.
Author(s): Andrews Z, McIver A, Meinicke L, Morgan C
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2010
Pages: 13
Print publication date: 01/05/2010
Source Publication Date: May 2010
Report Number: 1202
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1202.pdf
