hesela.devTxFS
TxFS is a research filesystem that extends ext4 journaling with application-visible transactions and private state for isolation.
The ATC 2018 design uses repeatable-read isolation and fits each user transaction into one journal transaction. Nested transactions flatten into one outcome. [1]
The prototype limits each transaction to one process and one quarter of journal capacity. Filesystem isolation does not synchronize application memory. [2]
In the pinned do_fsync path, an active filesystem transaction returns success before calling vfs_fsync. That call is not an independent persistence boundary; the transaction outcome still matters. [3]
The released tree contains a modified Linux 3.18.22 kernel and microbenchmarks. It is not a stock-ext4 mount option. [4]
Relations
- related
- Ext4
Citations
- Hu et al. TxFS. USENIX ATC 2018, pp.879-891, sections 3.1-3.5 and 5.
- Hu et al. TxFS. ;login: Fall 2018, pp.12-15, isolation and limitations.
- TxFS f3f597d: fs/sync.c, do_fsync transaction early return.
- TxFS f3f597d: research kernel and released benchmark scope.
Sources & caveats
- Primary-source synthesis and pinned-code inspection; no kernel execution, crash injection or performance reproduction.