mark-i-m
operating systems, compilers, distributed systems, and chocolate. A follower of Jesus Christ :)
Pinned Repositories
bus
Hacky CLI Utility to help me with buses...
jobserver
A jobserver for running experiments on test machines and copying results back.
os1
Simple x86 operating system kernel written in Rust (not actively maintained)
os2
x86_64 OS kernel with completely async userspace and single address space [WIP; but basic kernel functionality implemented]
spurs
Utilities for setting up and running experiments remotely
vmi-rs
A simple Rust wrapper around LibVMI for virtual machine introspection (very incomplete)
zippynfs
A toy network filesystem written in Rust which is neither zippy nor NFS
0sim-workspace
Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.
cbmm
Fork of Linux kernel to play around with economic models for memory mgmt
rustc-dev-guide
A guide to how rustc works and how to contribute to it.
mark-i-m's Repositories
mark-i-m/jobserver
A jobserver for running experiments on test machines and copying results back.
mark-i-m/spurs
Utilities for setting up and running experiments remotely
mark-i-m/bus
Hacky CLI Utility to help me with buses...
mark-i-m/bmk_linux
My collection of useful stuff for writing benchmarks on Linux ~4.4 (not very idiomatic or complete)
mark-i-m/calculatrs
Simple command-line calculator
mark-i-m/encyclopagia
Tools for reading `/proc/kpageflags` and `/proc/[pid]/pagemaps` on a few different versions of Linux. See `man procfs` for more info.
mark-i-m/BadgerTrap
BadgerTrap is a tool to instrument x86-64 TLB misses.
mark-i-m/cloudsuite
A Benchmark Suite for Cloud Services.
mark-i-m/downsample
Samples the lines from a file unform-randomly
mark-i-m/focusifier
Firefox extension to help me stay focused while working from home...
mark-i-m/frag-infra
Infrastructure for measuring fragmentation.
mark-i-m/fragmentation-test
Tests the fragmentation of free memory on the system via the procfs...
mark-i-m/HawkEye
The implementation of HawkEye, our research system: "HawkEye: Efficient Fine-grained OS Support for Huge Pages" from ASPLOS 2019.
mark-i-m/pipetee
A simple, fast, no-dependencies UNIX utility to print the contents of stdin to the terminal *and* forward them to stdout at the same time.
mark-i-m/refresh-pdf
A minimalist browser-based PDF viewer that refreshes every 10 seconds. Useful when editing LaTex on Windows.
mark-i-m/anduril
Fragments memory according a profile
mark-i-m/kpageflags-snapshot
A simple tool for reading /proc/kpageflags on Linux 3.10.0, 4.15.0, 5.0.8, 5.4.0, 5.13.0, and 5.17.0
mark-i-m/libscail
mark-i-m/mdbook-linkcheck
A backend for `mdbook` which will check your links for you.
mark-i-m/membuffer-extract
Quick 'n dirty memory trace decompressor
mark-i-m/reference
The Rust Reference
mark-i-m/rfcs
RFCs for changes to Rust
mark-i-m/rust
A safe, concurrent, practical language.
mark-i-m/rustc-guide
A guide to how rustc works and how to contribute to it.
mark-i-m/this-week-in-rust
Data for this-week-in-rust.org
mark-i-m/too-many-lists
Learn Rust by writing Entirely Too Many linked lists
mark-i-m/txt2histogram
A simple utility to convert a bunch of text to a text-based histogram.
mark-i-m/vagrant-libvirt
Vagrant provider for libvirt.
mark-i-m/wekan
The Open Source kanban (built with Meteor). Keep variable/table/field names camelCase. For translations, only add Pull Request changes to wekan/i18n/en.i18n.json , other translations are done at https://app.transifex.com/wekan/ only.
mark-i-m/x86-MMU-Profiler
This is a user-space tool that profiles all running applications under a specified user, and periodically outputs their MMU Overhead i.e., the fraction of CPU Cycles spent in servicing TLB misses. This tool was used to assist our research system HawkEye (published in ASPLOS'19) to achieve fair huge page allocation across multiple applications.