Skip to content

wangjia184/rholang-rust

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Rholang Runtime

A rholang runtime written in Rust. Development is still in progress...

  • /model/ is a library crate containing protobuf models depended by rho_runtime and rholang_parser
  • /rholang_parser/ crate builds an executable program which accepts rholang code and outputs normalized AST
  • /rho_runtime/ is the primary executable program. It launches rholang_parser to parse rholang code, then handle reducing and storage

File Naming Convertion

Two kinds of naming convertions applied in this project.

  • Filename using snake_case (e.g. common.rs / rho_par.rs) means it is an individual module, which is the default approach in Rust's module system.
  • Filename using PascalCase (e.g. Sortable.rs / DeBruijnIndexMap.rs) means it is a part of its directory module.

The PascalCase style is used to keep the code structure similar as Scala edition without big single file or a lot of re-exports.

src/
├─ context/
│  ├─ mod.rs
│  ├─ DeBruijnLevelMap.rs
│  ├─ DeBruijnIndexMap.rs
├─ normalize/
│  ├─ mod.rs
│  ├─ rho_par.rs

In the above example, DeBruijnLevelMap.rs and DeBruijnIndexMap.rs are included by /src/context/mod.rd as part of context module; While rho_par.rs defines normalize::rho_par module.

Test Case

cargo test --all

Build for Release

CARGO_PROFILE_RELEASE_LTO=true CARGO_PROFILE_RELEASE_PANIC=abort RUSTFLAGS="--emit=asm" cargo build --release

Generate Flame graph

sudo sh -c " echo 0 > /proc/sys/kernel/kptr_restrict"
sudo sh -c 'echo 1 >/proc/sys/kernel/perf_event_paranoid'
CARGO_PROFILE_RELEASE_DEBUG=true CARGO_PROFILE_RELEASE_LTO=true CARGO_PROFILE_RELEASE_PANIC=abort CARGO_PROFILE_RELEASE_CODEGEN_UNITS=1  cargo flamegraph --bin=rho_runtime /D/projects/rho_runtime_bench/bench2.rho

About

Rholang runtime in rust

Resources

Stars

Watchers

Forks

Languages