HawxChen / -LibraryOS-Exokernel_Implementation
Exokernel is one of the major sources for container and library OS techniques.
☆43Updated 2 years ago
Related projects: ⓘ
- C implementations of several scalable non-blocking data structures for x86 and x86-64.☆37Updated 13 years ago
- RLU resizable hash-table☆16Updated 9 years ago
- Stasis is a flexible transactional storage library that is geared toward high-performance applications and system developers. It supports…☆53Updated 11 years ago
- lock free modified prefix B+tree append-only database☆115Updated 9 years ago
- Read-Log-Update: A Lightweight Synchronization Mechanism for Concurrent Programming☆47Updated 9 years ago
- a tiny monolithic kernel☆56Updated 7 years ago
- A buffered-tree implemented in dictionary type and more☆74Updated 11 years ago
- ☆10Updated this week
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 8 years ago
- Yet another C standard library☆17Updated 6 years ago
- Simple RPC in C++, with Python binding☆27Updated 9 years ago
- Userspace file-system using the TokuFT fractal tree library☆23Updated 3 years ago
- A Paxos implementation in C originally by Marco Primi, built on top of libevent☆35Updated 13 years ago
- Automatically exported from code.google.com/p/manualgc☆17Updated 9 years ago
- Code snippets for the workshop on concurrent data structure implementation.☆31Updated 11 years ago
- C implementation of a caching and cache-filling library inspired to groupcache☆43Updated 8 years ago
- a c89 compiler, need total test.☆29Updated 6 years ago
- Prez is a distributed system based on Raft algorithm that provides highly reliable, consistent store.☆52Updated 9 years ago
- LOCKIN is a locking library with various lock algorithms implemented in header files for ease of use☆10Updated 7 years ago
- A simple C Thread pool implementation☆12Updated 4 years ago
- The Optimistic File System (OptFS) is a Linux ext4 variant that implements Optimistic Crash Consistency, a new approach to crash consiste…☆32Updated 10 years ago
- Key-Value/Document store database library with btree and ARTree indexing methods, SSN-MVCC concurrency☆73Updated 3 years ago
- Experiments with JIT compilation☆64Updated 7 years ago
- ssmp is a highly optimized message-passing library built on top of the cache-coherence protocols of shared memory processors.☆22Updated 9 years ago
- A simple queue using a linked list written in C under the BSD license.☆18Updated 7 years ago
- Phase Fair and Standard Reader Writer Locks☆16Updated 5 years ago
- A small, simple, easy to use bloom filter written in C.☆34Updated 13 years ago
- Distributed Systems Reading Group☆20Updated 6 years ago
- ☆12Updated this week
- The CIlk programming language from http://supertech.lcs.mit.edu/cilk/☆9Updated 8 years ago