GPU Resource Management On JDOS 梁永清 liangyongqing1@jd.com 提供的服务 1. 用于实验的 GPU 容器 2.基于 Kubeflow 的机器学习训练服务 3.模型管理和模型 Serving 服务 Experiment Training Serving 均基于容器，不对业务方直接提供 GPU 物理机 GPU 实验 JDOS 常规的容器服务

第三届中国 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

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 Same mechanism and user experiences with image management Multi Deployments • Docker Compose • BOSH/Pivotal Tile • Helm Chart Label • Label in project and system scopes • Mark labels to image and Q3: How to converge management of image and chart? Q4: Is it reasonable to involve day0 operation in Harbor? Website ： https://github.com/goharbor/harbor Twitter: @Project_harbor Slack: #harbor/#harbor-dev

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)

第三届中国 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

Safety 3. Cross-platform development 4. Developer and Team Productivity Simplify C++ dependency management with . vcpkg Open-source library manager for Windows, Linux, and macOS 1700+ Visit https://aka.ms/vcpkg/team for more details Demo CMake integration CMake is a first-class project system in Visual Studio Familiar edit-build-debug inner-loop • including MSVC and Clang-tidy squiggles

in Software Engineering Mike Ballou“There is no single development, in either technology or management technique, which by itself promises even one order-of- magnitude improvement within a decade abstract away its complexity often abstract away its essence • Not only technical problems but management problems as well comes from the complexity • It creates the tremendous learning and understanding I can help them I need…” • to Containerize the software, but to run that I need… • a Container Management Platform, but to network it I need… • a Service Mesh, but to secure it I need… • an automated Certificate

boundary.Memory model https://gchandbook.org/ Garbage collection is really “automatic memory management”. - Reference counted - C++ – std::shared_ptr - Python - Objective-C (manual or automatic - COM – AddRef()/Release() - Non-Reference counted - .NET - JVM - JavaScript Manual memory management is rarely advocated for anymore.Memory model – Manual Memory is allocated and deallocated directly

Golang specifics • Software engineering (implement/use/best practices) • Tech leadership and/or management • Your experience building XWhere to find us? Email: lukasz@lukaszgut.com, jakubdal@gmail.com