第三届中国 Rust 开发者大会 THE FIRST EXPLORATION OF PROJECT SPARROW Feng Li ( 李枫 ) hkli2013@126.com Jun 18, 2023 An indie developer from China  The Virtualization, RISC-V, EDA, 5G/6G… Who Am I Agenda I. Background  Tech Stack  Project Sparrow  Testbed II. Practicing Sparrow  CantripOS(KataOS)  Rust support in seL4 userspace I. Background  https://lowrisc.org/  https://github.com/lowrisc 1.4.2.1 Project OpenTitan Overview I. Background  https://opentitan.org/  . Source: https://lowrisc

型为发布模式（高度优化）而不是默认的调试模式（不会优化）。 我们稍后会详细捋一遍类似于 CMAKE_BUILD_TYPE 这样的东西。绝 大多数 CMakeLists.txt 开头都会有的部分，可以说是“标准模板”了。 project ：初始化项目信息，并把当前 CMakeLists.txt 所在位置作为根 目录 这里初始化了一个名称为 hellocmake 的项目，为什么需要项目名？ 对于 MSVC ，他会在 build 表示当前输出目录的位置，例如 ~/hellocmake/build 。 project ：初始化项目信息，并把当前 CMakeLists.txt 所在位置作为根 目录 和子模块的关系： PROJECT_x_DIR 和 CMAKE_CURRENT_x_DIR 的 区别 PROJECT_SOURCE_DIR 表示最近一次调用 project 的 CMakeLists.txt 所在的源码目 录。 CMAKE_CURRENT_SOURCE_DIR CMakeLists.txt 的源码根目录。 利用 PROJECT_SOURCE_DIR 可以实现从子模块里直接获得项目最外层目录的路径。 不建议用 CMAKE_SOURCE_DIR ，那样会让你的项目无法被人作为子模块使用。 其他相关变量 • PROJECT_SOURCE_DIR ：当前项目源码路径（存放 main.cpp 的地方） • PROJECT_BINARY_DIR ：当前项目输出路径（存放

具体配置 开发工程师 CI 过程 project-unit-test project-scan • 单元测试、代码扫描 更新日常开发环境及 dev 业务配 置 project-dev-workflow • 构建、配置变更（ Apollo/Nacos ）、数 据变更、部署、冒烟测试、项目管理任务 变更 测试工程师 更新测试验证环境 project-sit-workflow • 构建、配置变更（ 据变更、部署、接口测试 更新集成测试环境 project-auto-sit-workflow • 构建，部署，场景测试 发布工程师 更新预发环境 project-uat-workflow • 质量门禁、构建、配置变更（ Apollo/ Nacos ）、数据变更、部署 uat （变量 变更、模板变更）、全量回归测试 更新生产环境 project-prod-workflow • 审批、配置变更（

harbor/harbor/ Apache 2.0 license An open source trusted cloud native registry project HARBOR More integrations in future Harbor Project History Harbor Community Harbor Users and Partners (selected) x x management Multi Deployments • Docker Compose • BOSH/Pivotal Tile • Helm Chart Label • Label in project and system scopes • Mark labels to image and chart Harbor Architecture API Routing API Routing to involve day0 operation in Harbor? Website ： https://github.com/goharbor/harbor Twitter: @Project_harbor Slack: #harbor/#harbor-dev (register via slack.cncf.io) Email group ：（ Refer README on

第三届中国 Rust 开发者大会 王俊吉 RustBelt - Rust 的形式化语义模型 Outline Background • RustBelt Project • Rust Types Overview Rust Semantics • Type System • The own Predict • Exclusive Ownership & Mutable Borrow Borrow Examples • Rc Logics • Hoare Logic • Separation Logic Background ERC Project "RustBelt" 2015-2021 Unlike C/C++, Rust is a safe language But, like C/C++, Rust is also an unsafe language There race array-index overflow use after free data race array-index overflow ?? ? ... RustBelt Project Background Ralf Jung, et. al. RustBelt: Securing the Foundations of the Rust Programming Language

Based on Rust-VMM About Us Yingzhe Ru Senior Software Engineer at Tencent Working on TKEStack project, have great interest and enthusiasm in Cloud Native and Open Source Liangyu Zhou Senior Software VPC Want to get safer and faster? Rust-VMM Why we love Rust-VMM? Rust-VMM is an open-source project that empowers the community to build custom Virtual Machine Monitors (VMMs) and hypervisors. reduplication in CrosVM and Firecracker, to get avoid this, these companies setup a Rust-VMM project History of Rust-VMM Rust-VMM Overview Rust Based • New language with a focus on correctness and

Early prototype s “Core” engineerin g Public launch Adoption ramp-up Mass adoption Project Timeline NativeScript npm Downloads What is NativeScript? o Open source framework (ASLv2) o Create almost all code between web and mobile “Hello World” Let's roll-up our sleeves Starting a New Project Running on iOS $ tns run ios Running on Android $ tns run android Alternative Android Emulators Interface (CLI) o Use Command Prompt (Win) or Terminal (Mac, Linux) o Free, Part of open source project o Requires installation, local environment setup to build for iOS/Android (requires Mac for iOS)

txt 。 二、根项目的 CMakeLists.txt 配置 • 在根项目的 CMakeLists.txt 中，设置了默 认的构建模式，设置了统一的 C++ 版本 等各种选项。然后通过 project 命令初始 化了根项目。 • 随后通过 add_subdirectory 把两个子项 目 pybmain 和 biology 添加进来（顺序 无关紧要），这会调用 pybmain/CMakeLists 自带的 Find 文件误导找到别的地方（而非 vcpkg 安装的那个）的库。 • 另外注意 vcpkg 需要的 CMAKE_TOOLCHAIN_FILE 如果你用 set 设置，必须在 project 命令前面，并且修改这个变量后要删除 build 目录重新 cmake -B build 一遍才能 生效（否则会在旧的环境里找，找不到 vcpkg 装的库）。 科普：语义版本号（ semantic -DTBB_DIR=/opt/tbbinstalldir/lib/cmake/TBB • cmake --build build --parallel 8 总结 • CMakeLists.txt 这样写： • project(yourapp) • add_executable(yourapp yourmain.cpp) • find_package(TBB CONFIG REQUIRED COMPONENTS tbb)

submodule acquires Boost.Math for Special Math • tests/std, tests/libcxx, tests/tr1 (legacy) • llvm-project submodule for libc++'s test suite • Uses Python and lit (LLVM Integrated Tester) • Linear history fewer unique bugs • Makes inconsistent code stand out as unusual or incorrect34 Code Reviews Project35 Status Chart: Monthly Merged PRs36 Year 1 ends. Year 2 begins!37 More Info • Links • Repository:

Teams • Coaching Agile Teams – Lyssa Adkins – A companion for Scrum Masters, Agile Coaches, and Project Managers in Transition • Coaching Agile Teams Workshop – Lyssa Adkins, Michael Spayd • Own experienceCoaching