>on the other hand inferno's sys-export(2) services all requests >(except Tflush) asynchronously, >so the race will always be present.
no, that mistakes the problem. without the change, the issuing process will see the clunk completed before it attempts any further operations: no race. with the change, that is no longer true, even for a single (visible) process.