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:

• ANSI-C: int remove(char *pathname);
• $\mathcal{P}$$e$$\mathcal{S}$$t$$\mathcal{O}$: int p_remove(char *pathname);

Footnotes

... 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.