selbyk / pagesimLinks
Simulation of common page replacement algorithms used by operating systems to manage memory usage.
☆53Updated 10 years ago
Alternatives and similar repositories for pagesim
Users that are interested in pagesim are comparing it to the libraries listed below
Sorting:
- A simple re-implementation of Google's sparsehash as a learning excercise.☆40Updated last year
- rcor C compiler (under development)☆115Updated 8 years ago
- userspace tools for linux libos☆98Updated 3 years ago
- My implementations of deterministic and non-deterministic turing machines☆72Updated 2 years ago
- 🔄 Flexible C memory allocation scheme☆79Updated last week
- A light-weight, user-space, event-driven, highly-scalable, TCP/IP stack using Tilera's mPIPE API.☆127Updated 10 years ago
- Open Network Inspection Command Suite☆10Updated 3 years ago
- A small unit testing framework for C☆123Updated 8 years ago
- Tiny system call tracer and debugger☆110Updated 7 years ago
- Compiler intermediate language for static analysis.☆107Updated 7 years ago
- Teach myself about interpreters, JITs, and compilers using the Brainfuck language as the toy language☆87Updated 4 years ago
- A very fast scalar implementation for Frame Of Reference integer compression.☆109Updated 10 years ago
- A library for Rapid {C|Concurrency|Correct} Development☆34Updated 10 years ago
- Pbd is a Python module to disassemble serialized protocol buffers descriptors (https://developers.google.com/protocol-buffers/).☆86Updated 5 years ago
- A dependency-based coroutine scheduler☆45Updated 9 years ago
- BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.☆117Updated last month
- Behrooz File System (BFS)☆54Updated 10 years ago
- A C++ expression -> x86 JIT☆18Updated 8 years ago
- Speculative Paxos replication protocol☆133Updated 9 years ago
- yet another lexical preprocessor☆40Updated 5 years ago
- Paxos-replicated key-value store in 3 hours or less.☆25Updated 8 years ago
- www.ops-class.org static website sources, including assignments, guides, slides, and course-specific materials.☆92Updated 8 years ago
- state machine visual debugger☆121Updated 10 years ago
- A tiny Unix dynamic memory allocator library.☆62Updated 8 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆324Updated 9 years ago
- bit & sketches data structures☆60Updated 7 years ago
- Papers We ❤️ Zurich☆50Updated 2 weeks ago
- Simple command-line based calculator.☆57Updated 6 years ago
- A kernel module to support SSD-to-GPU direct DMA☆127Updated 8 years ago
- ☆48Updated 10 years ago