vijay03 / cs378-f19
Repo for CS 378 Virtualization course at the University of Texas at Austin CS Dept
☆41Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for cs378-f19
- CS 360V Virtualization, Fall 2020, UT Austin CS Dept. Instructor: Vijay Chidambaram. Copyright held by Vijay Chidambaram and UT Austin.☆66Updated 3 years ago
- Course web page generator framework☆28Updated 12 years ago
- Yizhou' Homepage☆46Updated last week
- ☆21Updated 7 years ago
- CrashMonkey: tools for testing file-system reliability (OSDI 18)☆193Updated 2 years ago
- ☆45Updated last year
- ☆60Updated 4 months ago
- The implementation of HawkEye, our research system: "HawkEye: Efficient Fine-grained OS Support for Huge Pages" from ASPLOS 2019.☆18Updated 3 years ago
- ☆193Updated 2 years ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆33Updated 11 years ago
- POSIX-like scalable multicore research OS kernel☆187Updated 4 years ago
- blk-switch kernel implementation (OSDI'21)☆70Updated 7 months ago
- Hodor-PKU☆23Updated 3 years ago
- LFS using Fuse☆47Updated 12 years ago
- FUSE file system with private page cache to simulate post fsync failure characteristics of modern file systems☆26Updated 4 years ago
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆38Updated 4 months ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆78Updated last year
- ☆31Updated 6 years ago
- LiTL: Library for Transparent Lock Interposition☆79Updated last year
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆60Updated last year
- Notes on the linux kernel VM subsystem.☆359Updated last year
- Automated multicore scalability testing tool☆88Updated 8 years ago
- ☆221Updated 11 months ago
- Early (now outdated) examples. Use PMDK instead.☆59Updated 9 years ago
- Protocol-Aware Correlated Crash Explorer for Distributed Storage Systems☆16Updated 8 years ago
- Live upgrade Linux kernel scheduler subsystem☆82Updated last year
- Persistent Memory Programming book examples☆39Updated 2 weeks ago
- Framework for creating simple, efficient, and composable lock-free data structures☆12Updated 8 years ago
- Transparent Paxos☆43Updated 5 years ago
- Key-Value Store for Non-Volatile Memories uDepot☆45Updated 2 years ago