I think you could solve the mtime race youre describing by simply checking the mtime on the file before and after the read during compilation caching.