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:
- rcor C compiler (under development)☆115Updated 8 years ago
- Tiny system call tracer and debugger☆109Updated 7 years ago
- My implementations of deterministic and non-deterministic turing machines☆72Updated 2 years ago
- A light-weight, user-space, event-driven, highly-scalable, TCP/IP stack using Tilera's mPIPE API.☆127Updated 10 years ago
- No sane compiler would optimize atomics: the presentation☆108Updated 9 years ago
- A library for Rapid {C|Concurrency|Correct} Development☆34Updated 10 years ago
- Open Network Inspection Command Suite☆10Updated 3 years ago
- 🔄 Flexible C memory allocation scheme☆79Updated 7 months ago
- userspace tools for linux libos☆96Updated 3 years ago
- A simple re-implementation of Google's sparsehash as a learning excercise.☆40Updated last year
- BSD-licensed C99/POSIX library code shared between tarsnap, scrypt, kivaloo, spiped, and bsdiff.☆117Updated this week
- state machine visual debugger☆121Updated 10 years ago
- Cool trick to store 4 5-bit values in one 16-bit value.☆285Updated 5 years ago
- A dependency-based coroutine scheduler☆45Updated 9 years ago
- www.ops-class.org static website sources, including assignments, guides, slides, and course-specific materials.☆92Updated 8 years ago
- Simple command-line based calculator.☆57Updated 6 years ago
- Speculative Paxos replication protocol☆133Updated 9 years ago
- A kernel module to support SSD-to-GPU direct DMA☆126Updated 8 years ago
- A C++ expression -> x86 JIT☆18Updated 8 years ago
- echo prints the first positional argument to stdout☆59Updated 8 years ago
- A small unit testing framework for C☆123Updated 8 years ago
- ☆48Updated 10 years ago
- Library wrapper and system-level tracing utilities☆47Updated 8 years ago
- Kitsune runtime, driver, ktcc, xfgen, documentation, and test suite.☆165Updated 10 years ago
- Papers We ❤️ Zurich☆50Updated last month
- A work-in-progress JIT-powered regex engine☆112Updated 7 years ago
- A tiny Unix dynamic memory allocator library.☆62Updated 8 years ago
- Teach myself about interpreters, JITs, and compilers using the Brainfuck language as the toy language☆87Updated 4 years ago
- yet another lexical preprocessor☆40Updated 4 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆325Updated 9 years ago