Outline Background • RustBelt Project • Rust Types Overview Rust Semantics • Type System • The own Predict • Exclusive Ownership & Mutable Borrow Examples • Rc Logics • Hoare Logic • Separation {x = 3} x += 1 {x = 4} {True} loop {} {False} Hoare Logic Logics P: x ↦ v Ownership We own “x”, and “x” points to “v”. Disjointness Given “(x ↦ v) ∗ (y ↦ w)”, we know that “x ≠ y”, i.e. P −∗ Q Magic wand Consuming resource “P”, we can reach resource “Q”. Q P what we acually own Logics (x ↦ v) ∗ (x ↦ w) ⟹ False (x ↦ v) ∧ (x ↦ w) ⟹ v = w Separation Logic (Iris) (x = 1)

with vcpkg (https://vcpkg.io) Next: Upgrade to future minor releases of the MSVC toolset at your own pace 💡 Side-by-side minor Visual Studio 2022 toolsets (14.30, 14.31, etc.) Porting and Upgrading Guide: targets supported by default, and you can add your own custom targets 🚀 https://vcpkg io vcpkg is Enterprise Ready 📚 Registries Create your own private library catalog for use within vcpkg; great Visual Studio 2022 • 64bit IDE • New themes available https://aka.ms/vsthemes • Or bring your own VSCode theme to VS • Color-coded tabs • Git integration • Multi-repo support • Publish code to GitHub

And Swap) can't perfectly scale with core count. Tokio Channel • Each worker has own run queue • Steal when own run queue is empty From the high level, it is a MPMC queue. From the low level, it Throughput / Relative Value DLB Tokio Crossb eam Std DLB-Assist Scheduler Design • Each processor has own run queue • DLB does balance Next Step • Do benchmark for different scenarios • Upstream • Optimize

node 1 node 2 node 3 node 4 node … Protocol 1 app 1 app 2 app 3 app n Every app has its own backend and frontend implementations. General User Text Persistence protocol https://github.com/eightfish-org/gutp the overall network. An Initial Scheme ➔ Open Data give EVERYONE the rights/chance to train your own AI model, by collecting the raw data source easily! ➔ The rights of Raw Data Equality ➔ The AI

rust 打包所有测试需求 Wasm mock server Why use rust ？ Software testing tool • 模拟数据规则 • 自动化测试 • Company's own protocol • Microservices • Multiple backend product line with complex upstream • Common testing 软件测试工具 • 模拟数据规则 • 自动化测试 • Supports http/https/tcp/websocket(MITM) • Can use rust to construct own protocol • Can MITM GRPC • Testing platform • Support HTTP POST wasm API • Support websocket stand

Project Managers in Transition • Coaching Agile Teams Workshop – Lyssa Adkins, Michael Spayd • Own experienceCoaching JourneyCoaching“I don’t do anything!”Coach • Bulldozer – Remove impediments • Shepherd

first Rust-based light VMM called CrosVM which is in Fuchsia operating system • AWS develops his own light VMM called Firecracker which is based of CrosVM • There are lots of reduplication in CrosVM

2020-09-15 09:35:10.15365 std::span   Provides a “view” over some contiguous data  Does not own the data  Never allocates/deallocates  Could be read/write  Very cheap to copy, recommended to