Profile picture
Vijay Chidambaram @vj_chidambaram
, 6 tweets, 2 min read Read on Twitter
Folks heading to #atc18 check out our work on TxFS, the Texas Transactional File System!

cs.utexas.edu/~vijay/papers/…

We built TxFS in only 5K LOC by utilizing the file-system journal to get atomic and durable transactions.
Providing isolation for TxFS transactions was a hard problem. We customized isolation to each kernel data structure. For data structures like pages which have a narrow access interface, we provide eager conflict detection.
For inodes and dentries which are modified all over the place, we add a timestamp which captures modifications, and provide timestamp-based conflict detection.
One problem with allowing concurrent transactions is that they all modify global data structures like bitmaps and super blocks. We solve this problem by deferring global updates until commit/abort, while allowing the local updates within the transaction.
TxFS has a simple interface, with only three system calls: tx_begin(), tx_commit(), and tx_abort(). All file-system operations within tx_begin() and tx_commit() become part of the transaction. We ported SQLite, Android Mail, and Git to use TxFS transactions.
The code for TxFS is available at github.com/ut-osa/txfs
Missing some Tweet in this thread?
You can try to force a refresh.

Like this thread? Get email updates or save it to PDF!

Subscribe to Vijay Chidambaram
Profile picture

Get real-time email alerts when new unrolls are available from this author!

This content may be removed anytime!

Twitter may remove this content at anytime, convert it as a PDF, save and print for later use!

Try unrolling a thread yourself!

how to unroll video

1) Follow Thread Reader App on Twitter so you can easily mention us!

2) Go to a Twitter thread (series of Tweets by the same owner) and mention us with a keyword "unroll" @threadreaderapp unroll

You can practice here first or read more on our help page!

Did Thread Reader help you today?

Support us! We are indie developers!


This site is made by just three indie developers on a laptop doing marketing, support and development! Read more about the story.

Become a Premium Member and get exclusive features!

Premium member ($3.00/month or $30.00/year)

Too expensive? Make a small donation by buying us coffee ($5) or help with server cost ($10)

Donate via Paypal Become our Patreon

Thank you for your support!