next up previous contents index
Next: Locking Up: The Model Previous: Writing   Contents   Index

Creating & Deleting

Creating files is done by opening non-existent files for writing. I have decided to provide a primitive for removal of a file that checks for any locks and also (if possible) deletes the primary copy on the server. The implementation is done in the simplest way; the removal fails if the server cannot be reached.5.2

The primitive for removing is the same as the ANSI-C [21] remove:


... reached.5.2
A harder way of doing it (but more in line with the rest of the model), would be to let the application specify a modification time bound; removal is a mutating operation.