One could also add a statement with regard to file_sync, similar to:
A process modifying the file size (through writes beyond the current
file size, preallocate or set_size) should sync the file to allow other
processes to have access to the correct file size.
This would allow for a weaker consistency model for file size
consistency.
However, I am not sure that a weak consistency model
with regard to file size makes sense.
What happens if a process does a seek relative to the end of file if
no strong file size consistency is enforced ?
Not sure the expected result is achieved.
The problem is that enforcing a strong consistency would lead to more
serialization of I/O operations. However, I am not sure we can go around
it safely if we want to maintain a consistent file size.
Any comment ?
Jean-Pierre
##########################################
Jean-Pierre Prost
IBM T.J. Watson Research Center
PO Box 218
Yorktown Heights, NY 10598
USA
Phone: (914) 945 3225 - Fax: (914) 945 2141
Lotus Notes: Jean-Pierre Prost @ IBM Research
Internet: jpprost@watson.ibm.com
URL: http://www.research.ibm.com/people/p/prost/
##########################################