DEFUSE: An Interface for Fast and Correct User Space File System Access