David Masover wrote: > Nikita Danilov wrote: > > >David Masover writes: > > >[...] > > > > > > > What we want is to have programs that can write small changes to one > > > file or to many files, lump all those changes into a transaction, and > > > have the transaction either succeed or fail. > > >No existing file system guarantees such behavior. Even atomicity of > >single system call is not guaranteed. > > > No _existing_ filesystem. But I seem to recall that this was one of the > design decisions of Reiser4, and that the system call itself was pushed > off to 4.1?
Thats right. > > Maybe I'm just wrong about how big a transaction can be. No, you are not. Isolation is not easy for an fs, but fusing multiple atoms from multiple file modifications into one "guaranteed to commit or fail all together" atom is easy.
