Justine Stephenson's Projects
mirror of DPDK
The Hoard Memory Allocator: A Fast, Scalable, and Memory-efficient Malloc for Linux, Windows, and Mac.
mTCP: A Highly Scalable User-level TCP Stack for Multicore Systems
NetworkDirect Service Provider Interface
PcapPlusPlus is a multiplatform C++ library for capturing, parsing and crafting of network packets. It is designed to be efficient, powerful and easy to use. It provides C++ wrappers for the most popular packet processing engines such as libpcap, WinPcap, DPDK and PF_RING.
a parallelized, amortized-constant time allocator for objects smaller than a hardware page.
Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, HyperLogLogs, Bitmaps.
This crate provides macros to generate bitfield-like struct.
Storage Performance Development Kit
a vim plugin for Dafny, a verified programming language.