Reference Tahr.NFSv3.Backend implementation over
Tahr.InMemory.
Read procedures serve the tree straight out of the agent via
Tahr.InMemory.get/1; mutations serialise through
Tahr.InMemory.update/1 and report weak-cache-consistency
data for every parent directory they touch.
Deliberate limitations
- READDIR / READDIRPLUS ignore the client's byte budgets
(
count/dircount/maxcount) and return every remaining entry — fine for small directories; a production backend must stop when the next entry would blow the budget. - ACCESS grants every bit the client asks for; a production backend computes the grant from the credential's uid/gid and the node's mode.
- MKNOD refuses with
NFS3ERR_NOTSUPP, which RFC 1813 explicitly permits.