Transactional Forest: A DSL for Managing Concurrent Filestores
Many systems use ad hoc collections of files and directories to store persistent data. For most consumers of this data, the process of properly parsing, using, and updating these filestores using standard APIs is cumbersome and error-prone. Making matters worse, many filestores are too big to fit in memory, so applications must process the data incrementally. They must also correctly manage concurrent accesses by multiple users. This paper presents the design of Transactional Forest (TxForest), which builds on earlier work on Forest and Incremental Forest to provide a simpler, more powerful API for managing filestores and which provides a mechanism for managing concurrent accesses using serializable transactions. Under the hood, TxForest uses Huet’s zippers to track the data associated with filestores and implements an optimistic concurrency control mechanism. We formalize TxForest in a core calculus, develop a formal proof of serializability, describe our OCaml prototype, and present several realistic applications, which serve as case studies.
Tue 3 Dec Times are displayed in time zone: Beijing, Chongqing, Hong Kong, Urumqi change
13:30 - 14:00 Talk | Android Multitasking Mechanism: Formal Semantics and Static Analysis of Apps Research Papers Taolue ChenBirkbeck, University of London, Jilong HeInstitute of Software, Chinese Academy of Sciences, Yu-Ping WangTsinghua University, China, Zhilin WuState Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences, Jun YanInstitute of Software, Chinese Academy of Sciences | ||
14:00 - 14:30 Talk | Conflict Abstractions and Shadow Speculation for Optimistic Transactional Objects Research Papers Thomas DickersonBrown University, Paul GazzilloUniversity of Central Florida, Maurice HerlihyBrown University, USA, Eric KoskinenStevens Institute of Technology | ||
14:30 - 15:00 Talk | Transactional Forest: A DSL for Managing Concurrent Filestores Research Papers Jonathan DiLorenzoCornell University, Kathryn ManciniCornell University, Kathleen FisherTufts University, USA, Nate FosterCornell University |