ease-lab Goto Github PK

1update

This repository contains the TLA+ specification of the 1-Update cache coherence protocol that appeared in PACT'21.

bankrupt

Bankrupt Covert Channel [Ustiugov et al., WOOT at USENIX Sec'20]

champsim

ChampSim repository

containerd

An open and reliable container runtime

dbg

Source code for the graph reordering technique, DBG, published in [Faldu et al., IISWC'19].

deathstarbench

Open-source benchmark suite for cloud microservices

distbenchr

firecracker

Secure and fast microVMs for serverless computing.

firecracker-go-sdk

An SDK in Go for the Firecracker microVM API

galois

Galois: C++ library for multi-core and multi-node parallelization

gem5

Fork of the official repository for the gem5 computer-system architecture simulator.

gem5-old

Fork from https://gem5.googlesource.com/public/gem5

grasp

Source code for the evaluated benchmarks and proposed cache management technique, GRASP, in [Faldu et al., HPCA'20].

hermes

Hermes: a fault-tolerant replication protocol, implemented over RDMA, guaranteeing linearizability and achieving low latency and high throughput.

kind

Kubernetes IN Docker - local clusters for testing Kubernetes

knative-kind

Knative on Kind (KonK)

lancet-tool

leeway

Source code for the cache replacement policy published in [Faldu et al., PACT'17] and [Faldu et al., CRC2'17].

linux

Linux kernel source tree

mare

A minimalistic map-reduce framework in Go.

measurements

Everything you wanted to use but were afraid to build

ptemagnet

PTEMagnet artifact evaluation pack

serving

Kubernetes-based, scale-to-zero, request-driven compute

stack-distance

Utility to simulate cache behavior with Mattson's Stack Algorithm.

stress-ng

This is a mirror of the upstream project at http://kernel.ubuntu.com/git/cking/stress-ng.git/ - stress-ng will stress test a computer system in various selectable ways. It was designed to exercise various physical subsystems of a computer as well as the various operating system kernel interfaces.

time_rdtsc

Efficient timers via a short and sweet C wrapper that combines RDTSC efficiency with traditional timespec API.

vhive-asplos-tutorial

zeus

This repository contains the TLA+ specification of the ownership and the reliable commit protocols for transactions in Zeus work that appears in Eurosys'21.