aclements / sv6Links
POSIX-like scalable multicore research OS kernel
☆191Updated 5 years ago
Alternatives and similar repositories for sv6
Users that are interested in sv6 are comparing it to the libraries listed below
Sorting:
- 64bit port of xv6☆129Updated 5 years ago
- This is the user space slab memory allocator, umem, first available in Solaris 9.☆87Updated 3 years ago
- ☆199Updated 3 years ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆48Updated 9 years ago
- LFS using Fuse☆46Updated 12 years ago
- Persistent Memory File System☆159Updated 8 years ago
- ☆21Updated 7 years ago
- COW b-trees☆101Updated 7 years ago
- User level NVMe driver library☆65Updated 3 years ago
- A tool for measuring the cache-coherence latencies of a processor (i.e., the latencies of loads, stores, CAS, FAI, TAS, and SWAP).☆78Updated 3 years ago
- ☆31Updated 6 years ago
- Distributed Shared Persistent Memory. SoCC 2017☆69Updated 4 years ago
- Pedagogical Hypervisor, based on MIT JOS☆67Updated 7 years ago
- Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI☆67Updated 4 years ago
- LiTL: Library for Transparent Lock Interposition☆79Updated last year
- A carefully optimised, POSIX-compatible slab allocator for userspace.☆78Updated 9 years ago
- ☆74Updated last year
- minivm based on kvm☆150Updated 11 months ago
- Memory access tracing QEMU☆97Updated 8 years ago
- NOVA: NOn-Volatile memory Accelerated log-structured file system (This repo is deprecated. Use https://github.com/NVSL/linux-nova)☆89Updated 7 years ago
- Official public repository for TinySTM (tmware.org)☆48Updated 10 years ago
- ☆183Updated 5 years ago
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆180Updated last year
- Mirror of the official Barrelfish OS repository.☆197Updated 2 years ago
- Transparent Paxos☆44Updated 5 years ago
- An example kernel filesystem implementation☆94Updated 9 years ago
- HermitCore: A C-based, lightweight unikernel☆226Updated 3 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
- libperf is a library that wraps around the syscall perf_event_open(). This library exposes the kernel performance counters subsystem to …☆56Updated 3 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆54Updated 2 months ago