HawxChen / -LibraryOS-Exokernel_ImplementationLinks
Exokernel is one of the major sources for container and library OS techniques.
☆45Updated 3 years ago
Alternatives and similar repositories for -LibraryOS-Exokernel_Implementation
Users that are interested in -LibraryOS-Exokernel_Implementation are comparing it to the libraries listed below
Sorting:
- a tiny monolithic kernel☆61Updated 8 years ago
- My Operating System.☆81Updated 11 years ago
- Key-Value/Document store database library with btree and ARTree indexing methods, SSN-MVCC concurrency☆75Updated 4 years ago
- TinyGC (Tiny Garbage Collector) is an independent implementation of the subset of API of the well-known Boehm-Demers-Weiser Conservative …☆88Updated 12 years ago
- Prez is a distributed system based on Raft algorithm that provides highly reliable, consistent store.☆55Updated 10 years ago
- L4Ka::Hazelnut micro-kernel☆34Updated 9 years ago
- Rabbit VM.☆107Updated 6 years ago
- A buffered-tree implemented in dictionary type and more☆75Updated 12 years ago
- Demo programs for my blog entry "Hello, JIT World!"☆239Updated 8 years ago
- a mini C-like language(C1) compiler☆36Updated 5 years ago
- A Paxos implementation in C originally by Marco Primi, built on top of libevent☆35Updated 14 years ago
- Libtask is a simple coroutine library.☆57Updated 3 years ago
- Code samples for using libjit☆91Updated 8 years ago
- lock free modified prefix B+tree append-only database☆117Updated 10 years ago
- An embedded, simple, fast, concurrent, on-disk key-value store using a b+tree.☆40Updated 6 years ago
- Write a simple interpreter of C. Inspired by c4 and largely based on it.☆40Updated 9 years ago
- Minimalistic Operating System for Xen☆66Updated 2 years ago
- A carefully optimised, POSIX-compatible slab allocator for userspace.☆78Updated 9 years ago
- A simple C Thread pool implementation☆13Updated 5 years ago
- C implementation of a caching and cache-filling library inspired to groupcache☆43Updated 9 years ago
- 64bit port of xv6☆132Updated 5 years ago
- A toy bytecode VM, assembler, and self-hosting compiler for a scheme-like high-level language.☆17Updated last year
- B+tree database☆15Updated 11 years ago
- JIT compiler from scratch, derived from Nick Desaulniers' great work☆12Updated 8 years ago
- re-implementation of UNIX v6 in ANSI C for x86_64 SMP☆183Updated 2 years ago
- COW b-trees☆102Updated 7 years ago
- POSIX-like scalable multicore research OS kernel☆192Updated 5 years ago
- C based ordered key-value ACID DB using a skip list data structure☆163Updated 10 years ago
- A very fast on-disk database for SHA1-identified objects☆58Updated 9 years ago
- K42 Kernel☆29Updated 13 years ago