Probabilistic Aspects of Flash Filestores
- Lookup NU author(s)
- Dr Zoe Andrews
|
|
|
|
| Author(s) | | Andrews Z, McIver A, Meinicke L, Morgan C |
| Publication type | | Report |
| Series Title | | School of Computing Science Technical Report Series |
| Year | | 2010 |
| Date | | May 2010 |
| Report Number | | 1202 |
| Pages | | 13 |
|
|
|
| Full text is available for this publication: |
|
|
|
|
| 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. |
|
|
|
| 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 |
| Actions | |  |
