shenweihai1

rolis-eurosys2022

Rolis: a software approach to efficiently replicating multi-core transactions; eurosys2022

chrome_extensions

inLearning

SGD without deep learning libraries

sparky

the personal academic, static website

calvin

Calvin is a scalable transactional database system that leverages determinism to guarantee active replication and full ACID-compliance of distributed transactions without two-phase commit. Most of the code is for VLDB 2014 paper: 《An Evaluation of the Advantages and Disadvantages of Deterministic Database Systems》.

ccbench

Concurrency Control Benchmark

shenweihai1.github.io

Weihai Shen's personal website!

sto

Software Transactional Objects

eRPC

Efficient RPCs for datacenter networks

face_detection

face detection, deep learning

imageUrlService

public image url

janus

janus-tapir

latex-rep-example

For installation for git-latexdiff

Leetcode---Medium

m3u8-downloader

m3u8 视频在线提取工具

meerkat

morty

occ

Optimistic Concurrency Control

paxoskv

Naive and Basic impl of a kv-storage based on paxos; for https://blog.openacid.com/algo/paxos/

simplefs

A simple, kernel-space, on-disk filesystem from the scratch

star

GitHub Repo for STAR: Scaling Transactions through Asymmetric Replication

tapir

TAPIR distributed transactional storage system

veribetrkv-linear

verified-betrfs-2pc

A verified high-performance file system

vps_config

configuration on the cloud machine