TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)
☆67Jan 12, 2019Updated 7 years ago
Alternatives and similar repositories for txfs
Users that are interested in txfs are comparing it to the libraries listed below
Sorting:
- Tool for checking crash-consistency for persistent-memory file systems (Eurosys 23)☆19Jun 19, 2024Updated last year
- ☆13Feb 6, 2026Updated last month
- A page on the recent research on scaling Blockchains. Systems research papers aiming at scaling Blockchains are summarized.☆17Oct 10, 2019Updated 6 years ago
- Resource Allocation for Dynamic Demands☆22Dec 26, 2023Updated 2 years ago
- NVM Database from Carnegie-Mellon U☆24Jul 18, 2020Updated 5 years ago
- ☆13May 10, 2024Updated last year
- Strata: A Cross Media File System☆74Apr 12, 2023Updated 2 years ago
- Switches for HIRE: Resource Scheduling for Data Center In-Network Computing☆13Jan 18, 2021Updated 5 years ago
- ☆28Feb 23, 2020Updated 6 years ago
- X.Org video driver for NVIDIA Tegra☆14Oct 24, 2021Updated 4 years ago
- User space POSIX-like file system in main memory☆40Aug 16, 2016Updated 9 years ago
- NVM Evaluation Testbed☆29Jul 25, 2018Updated 7 years ago
- Operating system demonstrating system transactions☆17Apr 19, 2017Updated 8 years ago
- ☆15Jan 21, 2023Updated 3 years ago
- A simple Minecraft clone written in C using modern OpenGL (shaders).☆18Updated this week
- Acclaim: Adaptive Memory Reclaim to Improve User Experience in Android Systems [ATC '20]☆16Aug 1, 2020Updated 5 years ago
- Repo for Performance Interfaces for Hardware Accelerators.☆16Aug 19, 2025Updated 6 months ago
- Ferrite, a toolkit for developing file system crash-consistency models☆21Sep 2, 2016Updated 9 years ago
- NVMe based File System in User-space☆111Feb 16, 2020Updated 6 years ago
- Porting PMFS to the latest Linux kernel☆16Aug 12, 2020Updated 5 years ago
- Rolling statistics calculations (min/max/mean/std_dev) over arbitrary floating point numbers based on Welford's Online Algorithm☆22Oct 3, 2025Updated 5 months ago
- A Filesystem Semi-Microkernel.☆46Oct 24, 2023Updated 2 years ago
- Freud, a tool to create Performance Annotations for C/C++ programs☆21Jul 18, 2024Updated last year
- Atlas: Programming for Persistent Memory☆77Nov 22, 2020Updated 5 years ago
- Persistent Memory Block Driver☆25Dec 11, 2015Updated 10 years ago
- Source code of the KeyKOS operating system☆18Apr 8, 2019Updated 6 years ago
- Getting Starting with NIMBUS-CORE☆10Dec 16, 2023Updated 2 years ago
- ☆21Sep 22, 2017Updated 8 years ago
- A formally verified security module for AMD confidential VMs☆64Dec 11, 2025Updated 2 months ago
- ☆22Dec 18, 2023Updated 2 years ago
- ☆22Mar 11, 2021Updated 4 years ago
- ☆53Oct 10, 2024Updated last year
- A simple and reproducible, profile-driven file system aging suite.☆27Jul 12, 2018Updated 7 years ago
- This is a fork of zsim (see https://github.com/s5z/zsim) which integrates the NVMain main memory simulator, adding 3D stacking and non-vo…☆26Jan 15, 2015Updated 11 years ago
- WORT: Write Optimal Radix Tree for Persistent Memory Storage Systems (FAST 2017)☆24Apr 1, 2021Updated 4 years ago
- A Rust user-space file system [WIP]☆29Jul 30, 2021Updated 4 years ago
- ☆56Jan 25, 2021Updated 5 years ago
- i10 kernel implementation (NSDI'20)☆54Jul 15, 2020Updated 5 years ago
- Paxos protocol variants framework☆26Mar 12, 2018Updated 7 years ago