Detail

Transactional File System (v0.1)

A limitation of the Transactional Memory programing model is that all operations done within a transaction must be reversible/transactional. Commonly, I/O operations are not reversible and, thus, not allowed inside a memory transaction. This includes both terminal and file I/O. This prototype adds a transactional support to an existing filesystem, although only for multiple threads within a single concurrent application. Developed by Artur Martins (MSc thesis) under supervision of Prof. João Lourenço.