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

T D e n g i n e t a o s X R u s t 使 用 TDengine: 时序数据库 TDengine 是一款开源、云原生的时序数据库（ Time Series Database ），专为物联网、工业互联网、金融、 IT 运维监控等场景设计并优化，具有极强的弹性伸缩能力。同时它还带有内建的缓存、流式计算、数据订阅等 系统功能，能大幅减少系统设计的复杂度，降低研发 写入，支持批量写入  支持 Schemaless 写入  支持从 Kafaka, MQTT, OPC, PI System 以及文 件直接导入  数据源导入时，可定义规则引擎 TDengine: 与上下游应用的关系 TDengine = Time-Series Database + Caching + Data Subscription + Stream Processing Shell: Python/Matlab/R Java/C/C++/Restful IoT Application Visualization Tool Grafana Web Based Management Tool 21,400+ 4,600+ 18,500+ 社区版开源 2019.07.12 集群版开源 2020.08.03 云原生版开源 2022.08.13 注 : GitHub 为截止

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 chart Vulnerability Scanning Job Service Admin Service Harbor components 3rd party components SQL Database Key/Value Storage Persistence components Local or Remote Storage (block, file, object) Users features harbor should provide? Q2: How does the Harbor architecture evolve? Q3: How to converge management of image and chart? Q4: Is it reasonable to involve day0 operation in Harbor? Website ： https://github

• How did we implement them in MSVC? • Part V: Time Zones • Overview of [time.zone] • IANA database challenges • Part VI: Conclusion7 Part I: Development Process8 Development Process • Implemented leap_seconds (https://youtu.be/WX3OmVu4lAs) • time_zone and time_zone_link (https://youtu.be/MODhhr7m-5s) • system_clock::now(), file_clock, leap second awareness (https://youtu.be/c7DT28TV0AY)9 Part II: Calendrical requirements.20 C++20’s chrono adds several new clocks ([time.clock]) Existing clocks (pre-C++20) • system_clock • (file_clock) New clocks (in C++20) • utc_clock • tai_clock • gps_clock • (file_clock)21

Dates  Time Zones20 Clocks  Several clocks available in :  std::system_clock: wall clock time from system-wide real-time clock  std::steady_clock: guarantees it never goes backwards current time as a time_point. system_clock::time_point tpoint { system_clock::now() }; // Or: auto tpoint { system_clock::now() }; // Convert to a time_t. time_t tt { system_clock::to_time_t(tpoint) }; // aliases: template using sys_time = std::chrono::time_pointsystem_clock, Duration>; // Representation of number of seconds since epoch. using sys_seconds = sys_t

16 MySQL Audit Logs to ClickHouse © 2018 Percona. 17 When to use MySQL Audit Logs Audit Database Access Have Limited Level of Details Allows extensive filtering by Object, User Account etc a lot of data ? © 2018 Percona. 37 Want Processed Logs ? Check out Percona Monitoring and Management © 2018 Percona. 38 Need Help ? Percona - MySQL, MariaDB, MongoDB, PostgreSQL Support and

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 said it?Frederick Brooks Jr. • Joined IBM in 1956 • Manager for the development of the IBM System/360 family of computers and the OS/360 software package • In 1975, published The Mythical Man-Month: 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

的形式化语义模型 Outline Background • RustBelt Project • Rust Types Overview Rust Semantics • Type System • The own Predict • Exclusive Ownership & Mutable Borrow Examples • Rc Logics • Hoare Logic Securing the Foundations of the Rust Programming Language Coq Proof Assistant: A Formal Proof Management System built on top of built on top of Rust Types Overview Background T &mut T &T mutable borrow (y ↦ 1)} *x += *y {(x ↦ 2) ∗ (y ↦ 1)} {x ↦ −} drop(x) {True} Separation Logic (Iris) Type System of λRust (selective) Rust Semantics λRust Type Rust Type bool | int bool | BigInt own Box

• Google implements the 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 correctness and performance • Compiled to native code offering performance similar to C • Memory management without garbage collection • Designed for systems programming Rust is a multi-paradigm programming acpi linux-loader kvm-ioctls vm-virtio vsock net VFIO APIC vhost Cloud Hypervisor KVM File System Device Driver Host Linux Kernel vCPU block Memory Guest VM containerd + Kata-runtime create

2019 16.5, 16.6, 16.7, 16.8 Preview 3 • GitHub migration ongoing • Build system (native desktop), test suite, issue database • Goal: Complete C++20 in 2020 • No promises, but we're working hard; refers via GitHub's GraphQL API29 Code: github.com/microsoft/STL • Product: stl/inc, stl/src • Build system: CMake/Ninja • vcpkg submodule acquires Boost.Math for Special Math • tests/std, tests/libcxx,