hub / github.com/TELOS-syslab/CortenMM-Artifact

github.com/TELOS-syslab/CortenMM-Artifact @main

Chat with this repo

repository ↗ · DeepWiki ↗ · + Follow

30,351 symbols 101,527 edges 3,313 files 8,248 documented · 27% ● updated 7mo ago★ 431 open issues

Browse by type

⨍ Functions 25,090◇ Types & classes 5,261

What it actually does AI analysis from the code graph — generated when you open this

loading…

README

CortenMM-Artifact

The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".

Artifact Evaluation Guide

Thanks for your willingness to evaluate our code and reproduce the claims in the paper. See the evaluation guide for the instructions.

Contributing

We are dedicated to contribute this work to the upstream Asterinas kernel and the OSTD verification project. Most parts of this work, e.g., the advanced RCU-based page table lock protocol and some of its verification, are already merged. If you are interested in contributing to these parts, please contribute directly to the upstream.

License

The artifact is released under MPL-2.0, in accordance with the upstream.

Extension points exported contracts — how you extend this code

Pollable (Interface)

The `Pollable` trait allows for waiting for events and performing event-based operations. Implementors are required to [24 …

cortenmm-rw/kernel/src/process/signal/poll.rs

AsAtomicModeGuard (Interface)

Abstracts any type from which one can obtain a reference to an atomic-mode guard. [7 implementers]

cortenmm-rw/ostd/src/task/atomic_mode.rs

Pollable (Interface)

The `Pollable` trait allows for waiting for events and performing event-based operations. Implementors are required to [24 …

cortenmm-adv/kernel/src/process/signal/poll.rs

AsAtomicModeGuard (Interface)

Abstracts any type from which one can obtain a reference to an atomic-mode guard. [7 implementers]

cortenmm-adv/ostd/src/task/atomic_mode.rs

AddressSpace (Interface)

Generic address space functionality. [5 implementers]

baselines/NrOS/kernel/src/memory/vspace.rs

BundleFile (Interface)

A trait for files in a bundle. The file in a bundle should have its modified time and be validatable. [3 implementers]

cortenmm-rw/osdk/src/bundle/file.rs

BundleFile (Interface)

A trait for files in a bundle. The file in a bundle should have its modified time and be validatable. [3 implementers]

cortenmm-adv/osdk/src/bundle/file.rs

Clock (Interface)

A trait that can abstract clocks which have the ability to read time, and has a fixed resolution. [9 implementers]

cortenmm-rw/kernel/src/time/core/mod.rs

Core symbols most depended-on inside this repo

unwrap

called by 2925

cortenmm-rw/kernel/src/process/process_vm/mod.rs

unwrap

called by 2441

cortenmm-adv/kernel/src/process/process_vm/mod.rs

open

called by 1866

baselines/radixvm/lib/ulib.c

AcpiOsPrintf

called by 1139

baselines/NrOS/kernel/src/arch/x86_64/acpi.rs

printf

called by 1136

baselines/radixvm/lib/printf.cc

into

called by 762

baselines/NrOS/bootloader/src/modules.rs

exit

called by 582

baselines/radixvm/kernel/proc.cc

die

called by 446

baselines/radixvm/user/util.h

Shape

Method 14,163

Function 10,927

Class 4,182

Enum 700

Interface 379

Languages

Rust70%

C17%

C++12%

Python1%

Java1%

Modules by API surface

baselines/radixvm/libutil/testgen.c2,398 symbols

baselines/radixvm/include/scopedperf.hh111 symbols

cortenmm-rw/kernel/src/fs/ext2/inode.rs105 symbols

cortenmm-adv/kernel/src/fs/ext2/inode.rs105 symbols

baselines/radixvm/codexinc/atomic_std.h99 symbols

cortenmm-rw/kernel/src/fs/ramfs/fs.rs88 symbols

cortenmm-adv/kernel/src/fs/ramfs/fs.rs88 symbols

baselines/NrOS/lib/vmxnet3/src/reg.rs88 symbols

baselines/radixvm/user/uscopedperf.hh87 symbols

cortenmm-rw/kernel/src/fs/overlayfs/fs.rs82 symbols

cortenmm-adv/kernel/src/fs/overlayfs/fs.rs82 symbols

cortenmm-rw/kernel/src/fs/utils/inode.rs79 symbols

For agents

$ claude mcp add CortenMM-Artifact \
  -- python -m otcore.mcp_server <graph>

⬇ download graph artifact

github.com/TELOS-syslab/CortenMM-Artifact @main

CortenMM-Artifact

Artifact Evaluation Guide

Contributing

License

Extension points exported contracts — how you extend this code

Core symbols most depended-on inside this repo

Shape

Languages

Modules by API surface

For agents

Ask about this repo answers extend the page