casys-kaist/pintos-kaist

Stars
180
Rank 213,097 (Top 5 %)
Language
C++
License
Other
Created over 4 years ago
Updated 9 months ago

casys-kaist/pintos-kaist

casys-kaist

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Brand new pintos for Operating Systems and Lab (CS330), KAIST, by Youngjin Kwon.

The manual is available at https://casys-kaist.github.io/pintos-kaist/.

LineFS

LineFS: Efficient SmartNIC Offload of a Distributed File System with Pipeline Parallelism

NeuPIMs

NeuPIMs Simulator

Jupyter Notebook

glet

mNPUsim

mNPUsim: A Cycle-accurate Multi-core NPU Simulator (IISWC 2023)

segfuzz

HUVM

EnvPipe

CoVA

AMP

Adaptive Page Migration Policy with Huge Pages in Tiered Memory Systems

DaCapo

Edge-scheduler

kev

KAIST Educational Virtualization

BUDAlloc

jos

linux-v4.15-page-migration

(https://github.com/casys-kaist/AMP)

ozz_kernel

OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering

sia

slow-memory-emulation

Emulate slow memory on Intel® Xeon® Processor E5 v4 family (https://github.com/casys-kaist/AMP)

linux-v4.15-page-hotness-profiling

(https://github.com/casys-kaist/AMP)

runqemu

A handy python script to run a QEMU virtual machine

LineFS-ioat-dma-kernel-module

ozz

OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering