esposem / Kernel_PaxosLinks
Kernel Module that implements Paxos protocol
☆11Updated 5 years ago
Alternatives and similar repositories for Kernel_Paxos
Users that are interested in Kernel_Paxos are comparing it to the libraries listed below
Sorting:
- A proof-of-concept Gen-Z subsystem for Linux written against the Gen-Z Fabric Emulation Environment.☆11Updated 6 years ago
- doppioDB - A hardware accelerated database☆51Updated 8 years ago
- NUMA-Aware Reader-Writer Locks☆19Updated 11 years ago
- Latency benchmarks of Unix IPC mechanisms☆100Updated 4 months ago
- FPGA-based HyperLogLog Accelerator☆12Updated 5 years ago
- SmartNIC☆14Updated 7 years ago
- Heterogeneous Cluster Interconnect to bind special-purpose HW accelerators with general-purpose cluster cores☆14Updated last week
- Reference Hardware Implementations of Bit Extract/Deposit Instructions☆24Updated 8 years ago
- OCEAN – Open-source CXL Emulation at Hyperscale Architecture and Networking.☆19Updated this week
- Many Threads Operating System☆18Updated 3 years ago
- Caribou: Distributed Smart Storage built with FPGAs☆68Updated 7 years ago
- A Versa Board implementation using the AutoFPGA/ZipCPU infrastructure☆17Updated 6 years ago
- EasyNIC: an easy-to-use host interface for network cards☆43Updated 7 years ago
- ssmem is a simple object-based memory allocator with epoch-based garbage collection☆34Updated 9 years ago
- Parallel sections library for parallel data-structures☆14Updated 2 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14Updated 3 years ago
- A Verilog Synthesis Regression Test☆37Updated 3 weeks ago
- The BERI and CHERI processor and hardware platform☆50Updated 8 years ago
- The Domino compiler to run packet programs on pipelined switches☆29Updated 4 years ago
- I-cache line packing and branch misprediction measuring tool☆18Updated 9 years ago
- TxFS: Leveraging File-System Crash Consistency to Provide ACID Transactions (ATC 18)☆67Updated 7 years ago
- A multicore microprocessor test harness for measuring interference☆14Updated 5 years ago
- Performance Evaluation of AF_XDP Communication Patterns. Artifacts for "Are Kernel Drivers Ready For Accelerated Packet Processing Using …☆11Updated last year
- Exploring the Ed25519 (FPGA) design space.☆18Updated 8 years ago
- RISC-V BSV Specification☆23Updated 6 years ago
- userspace /proc filesystem☆12Updated 4 years ago
- firrtlator is a FIRRTL C++ library☆23Updated 9 years ago
- ☆15Updated 7 months ago
- Virtual machine monitor for L4Re☆34Updated this week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Updated 3 years ago