foreverbell / yfsLinks
Yet Another File System (yfs) based on Paxos algorithm.
☆16Updated 7 years ago
Alternatives and similar repositories for yfs
Users that are interested in yfs are comparing it to the libraries listed below
Sorting:
- ☆10Updated 5 years ago
- [WIP] Interval Analysis on LLVM IR☆12Updated 5 years ago
- An implementation of memcpy for amd64 with clang/gcc☆15Updated 3 years ago
- Operating System Simulator☆19Updated 6 years ago
- Code experiments to exercise ideas while reading "Engineering a Compiler".☆27Updated 6 years ago
- LLVM DSA fork for SeaHorn☆21Updated 5 years ago
- ☆14Updated 7 years ago
- A shared memory dependence tracing tool for dynamic concurrent program analysis☆12Updated 10 years ago
- Linux io_uring based c++ 20 coroutine library☆29Updated 3 years ago
- PLCT实验室2020年开放日活动的演讲资料☆13Updated 4 years ago
- Generate SQL from TableGen code - This is part of the tutorial "How to write a TableGen backend" in 2021 LLVM Developers' Meeting.☆33Updated 2 years ago
- Simple script☆42Updated 8 years ago
- a c89 compiler, need total test.☆29Updated 7 years ago
- Skeleton code for new 6.858 final project --- an encrypted and authenticated file system☆23Updated 3 years ago
- ☆30Updated 3 years ago
- A stripped-down LLD (LLVM linker)☆29Updated 5 years ago
- 对zircon内核的一些分析,欢迎补充!☆60Updated 5 years ago
- SIMD CRC64 for C++☆12Updated 3 years ago
- The C/C++/Fortran compiler collection written in Java☆36Updated 4 years ago
- Memory access tracing QEMU☆97Updated 8 years ago
- Some toy labs for compiler course☆58Updated 2 years ago
- JOS Lab of MIT 6.828: Operating System Engineering.☆17Updated 7 years ago
- 计算自身md5的最小ELF64程序.The minimum ELF64 program to calculate its own md5☆7Updated 4 years ago
- Resurrected LLVM "Cpp Backend", rebuild as a LLVM tool, with better compatibility and readability.☆69Updated 3 years ago
- A little regex engine☆18Updated 12 years ago
- ☆10Updated 3 years ago
- 用Rust语言重写Linux kernel中的KVM☆16Updated 3 years ago
- The Secret Life of C++: How C++ Compiles to Assembly☆46Updated 10 years ago
- Framework of pa code for THU compiler principle course.☆13Updated 5 years ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆34Updated 11 years ago