High-performance flash file systems