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

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 (file_clock)21 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)22 Why

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: designersRequirements refinement and rapid prototyping • The hardest single part of building a software system is deciding precisely what to build • The most important function that software builders do for present-day software acquisition procedures rests upon the assumption that one can specify a satisfactory system in advance, get bids for its construction, have it built, and install it • This assumption is fundamentally

and when work should happen … including some standard ones: an event loop, portable access to the system execution context, nursery for spawned work4 P2300: STD::EXECUTION Proposes: • A set of concepts ☹ the greatest keyboard ever made….82 The mission: Write a program that monitors the entire system for keyboard events and plays Model M clicky sounds.83 MODEL M SIMULATOR: STRATEGY 1. Model Profit!84 Step 1: Model key click as a sender85 MODEL KEYCLICK AS SENDER: STRATEGY 1. Assume system API for registering keyboard callback 2. Write a keyboard sender and op state such that: •

{ for (int i { startValue }; i < startValue + numberOfValues; ++i) { time_t t { system_clock::to_time_t(system_clock::now()) }; cout << std::ctime(&t); co_yield i; } } int main() { auto 1 week days d { w }; // Convert 1 week into days62 Calendars & Timezones  New clocks (besides system_clock, steady_clock, high_resolution_clock):  utc_clock: represents Coordinated Universal Time of UTC at that date, it does not include leap seconds  gps_clock: represents Global Positioning System (GPS) time, measures time since 00:00:00, 6 January 1980 UTC, it does not include leap seconds

op Source: https://news.itsfoss.com/system76-rust-cosmic-desktop/ 2.1.2 System76-Scheduler II. Practicing Sparrow  https://github.com/pop-os/system76-scheduler Auto-configure priorities for improved desktop responsiveness.  https://www.phoronix.com/scan.php?page=news_item&px=System76-Scheduler-1.1 2.2 Rust for Cloud Native II. Practicing Sparrow  https://rust-cloud-native "Revisiting Renode -- a Swiss Army Knife for RISC-V based HW-SW co-developed system".  Our third-round and perhaps the forth-round discussion of "The eBPF-centric new

PCI-Express bus.” -- https://developer.nvidia.com/blog/unified-memory-in-cuda- 6/ CPU vs GPU Memory System Memory GPU Memory 12 |“Unified Memory creates a pool of managed memory that is shared between is that the system automatically migrates data allocated in Unified Memory between host and device...” -- https://developer.nvidia.com/blog/unified-memory-in-cuda-6/ Unified Memory System Memory GPU is that the system automatically migrates data allocated in Unified Memory between host and device….” -- https://developer.nvidia.com/blog/unified-memory-in-cuda-6/ Unified Memory System Memory GPU

的形式化语义模型 Outline Background • RustBelt Project • Rust Types Overview Rust Semantics • Type System • The own Predict • Exclusive Ownership & Mutable Borrow Examples • Rc Logics • Hoare Logic 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

GIT is a version control system that is used for software development and other version control tasks. As a distributed revision control system it is aimed at speed, data integrity, and support for

• 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 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