ubistorage
/
treesls
mirror of https://ipads.se.sjtu.edu.cn:1312/opensource/treesls.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
10 Commits 4 Branches 1 Tag 271 MiB
C 64.2%
C++ 25.7%
Java 3.3%
Perl 1.4%
Tcl 1.3%
Other 3.8%
Go to file
wfn 4efd15b8fa demos: update CMakeList 2024-09-20 00:39:04 +08:00
artificial_evaluation ae: add comments and update estimated resources 2023-09-04 20:42:34 +08:00
docs add dockerfile and update docs 2023-09-03 15:38:13 +08:00
kernel Enable time traveling ckpt 2024-09-20 00:38:38 +08:00
scripts add dockerfile and update docs 2023-09-03 15:38:13 +08:00
tests init base os 2023-09-01 20:34:25 +08:00
user demos: update CMakeList 2024-09-20 00:39:04 +08:00
.clang-format init base os 2023-09-01 20:34:25 +08:00
.clang-tidy init base os 2023-09-01 20:34:25 +08:00
.gdbinit init base os 2023-09-01 20:34:25 +08:00
.gitignore init base os 2023-09-01 20:34:25 +08:00
CMakeLists.txt init base os 2023-09-01 20:34:25 +08:00
Dockerfile add dockerfile and update docs 2023-09-03 15:38:13 +08:00
LICENSE init base os 2023-09-01 20:34:25 +08:00
README.md add dockerfile and update docs 2023-09-03 15:38:13 +08:00
artificial_eval.md ae: add comments and update estimated resources 2023-09-04 20:42:34 +08:00
chbuild minor fix 2023-09-09 22:22:44 +08:00
config.cmake init base os 2023-09-01 20:34:25 +08:00
quick-build.sh init base os 2023-09-01 20:34:25 +08:00

README.md

TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM

TreeSLS is a microkernel with transparent whole-system persistent support by quickly checkpointing every state in the system.

Publication

Fangnuo Wu, Mingkai Dong, Gequan Mo, Haibo Chen. TreeSLS: A Whole-system Persistent Microkernel with Tree-structured State Checkpoint on NVM. The 29th ACM Symposium on Operating Systems Principles (SOSP 2023).

Getting Started

First, clone the repo and checkout the ae branch:

git clone https://ipads.se.sjtu.edu.cn:1312/opensource/treesls.git
cd treesls

To build the OS, you can use:

./quick-build.sh

or use

./chbuild defconfig x86_64 # x86_64 can be changed to other platforms, but treesls is now only implemented on x86_64
./chbuild build

Run in QEMU

./qemu.exp # with a clean NVM backend

or

./build/simulate.sh # with the old NVM backend

Docker

By default, we provide a pre-built Docker image, you can simply use the build command and it will be automatically downloaded.

If you want to build this image from scratch, you can use the following command to build from the provided dockerfile.

docker build -t <image_name> .

To use the newly built container, you can modify the Docker image name in the chbuild file (specifically, line 218 in the _docker_run() function) to the image you have built.

Artificial Evaluation

Please refer to artificial_eval.md

File Tree

|- artificial_evaluation    scripts for artificial evaluation
|- build
    |- treesls.iso          built os image
    |- simulate.sh          qemu simulation script
|- images                   provided os images with different setups
|- kernel                   
    |- ckpt                 treesls checkpoint code
    |- others               other kernel modules
    |- sls_config.cmake     kernel flags related to treesls
|- scripts                  building scripts
|- tests                    some tests
|- user
    |- demos                ported real-world applications
    |- musl-1.1.24          libc for treesls
    |- sample-apps          some small applications
    |- sys-include          headers for userspace system servers
    |- system-servers       userspace system servers
    |- config.cmake         user applications flags

TreeSLS's Implementation

Please refer to TreeSLS.md

LICENSE

LICENSE of ported applications are given in subdirs.