java - FileInputStream and FileOutputStream to the same file: Is a read() guaranteed to see all write()s that "happened before"?

Question

I am using a file as a cache for big data. One thread writes to it sequentially, another thread reads it sequentially.

Can I be sure that all data that has been written (by write()) in one thread can be read() from another thread, assuming a proper "happens-before" relationship in terms of the Java memory model? Is this behavior documented?

In my JDK, FileOutputStream does not override flush(), and OutputStream.flush() is empty. That's why I'm wondering...

The streams in question are owned exclusively by a class that I have full control of. Each stream is guaranteed to be accesses by one thread only. My tests show that it works as expected, but I'm still wondering if this is guaranteed and documented.

See also this related discussion.

Answer 1

Assuming you are using a posix file system, then yes.

FileInputStream and FileOutputStream on *nix use the read and write system calls internally. The documentation for write says that reads will see the results of past writes,

After a write() to a regular file has successfully returned:

Any successful read() from each byte position in the file that was modified by that write shall return the data specified by the write() for that position until such byte positions are again modified.

I'm pretty sure ntfs on windows will have the same read() write() guarantees.