rzezeski / libMicro
☆10Updated 4 years ago
Related projects ⓘ
Alternatives and complementary repositories for libMicro
- I-cache line packing and branch misprediction measuring tool☆17Updated 7 years ago
- Control and diagnostic applications for rump kernels☆36Updated 7 years ago
- Tools for running rump unikernels in userspace☆56Updated 8 years ago
- Multiplication using AVX512 and AVX512IFMA instructions☆23Updated 9 years ago
- ☆21Updated 5 months ago
- RLU resizable hash-table☆16Updated 9 years ago
- Library wrapper and system-level tracing utilities☆44Updated 7 years ago
- Memory access tracing QEMU☆94Updated 7 years ago
- Secure Virtual Architecture☆42Updated 5 years ago
- Fast time calls from user space.☆11Updated 8 years ago
- EbbRT: elastic building block runtime☆75Updated 3 months ago
- reverse engineering branch predictors☆17Updated 8 years ago
- K42 Kernel☆24Updated 12 years ago
- Restartable Sequences: a userspace implementation of cheap per-cpu atomic operations☆33Updated 5 years ago
- libperf is a library that wraps around the syscall perf_event_open(). This library exposes the kernel performance counters subsystem to …☆54Updated 3 years ago
- memTrace, a framework for lightweight memory tracing☆55Updated 4 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆36Updated last year
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 8 years ago
- Compact tries for fixed-width keys☆26Updated 6 years ago
- A stack tracer/profiler for Xen domains☆30Updated 2 years ago
- Parallel sections library for parallel data-structures☆14Updated last year
- ☆31Updated 6 years ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆47Updated 9 years ago
- NOVA userland☆48Updated 10 years ago
- PIOS: Parallel Instructional Operating System - Instructional Template Code☆37Updated 12 years ago
- user space tool for inspection and simple manipulation of eBPF programs and maps☆25Updated 6 years ago
- Data race detector for Linux kernel modules☆28Updated 7 years ago
- A software-based Ethernet switch design built around a memory-efficient, high-performance, and highly-concurrent hash table for compact a…☆34Updated 9 years ago
- ☆68Updated 10 months ago
- Heterogeneous memory mapper (hmmap)☆10Updated 3 years ago