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 Apr 13 May 11 Jun 08 Jul 13 Aug 10 Sep 14 Oct 12 Nov 09 Dec 1416 Why calendrical types? Type Safety The “simple” calendrical types (e.g., day, month, year) are very straightforward – what’s implementation! Have these “simple” types improves type safety as we can make sure we are interpreting these values as the appropriate type.17 Why calendrical types? Abstraction The “simple” calendrical

r1 = ratio<1, 60>; // 1/60 using r2 = ratio<1, 30>; // 1/30 using result = ratio_add::type; cout << format("sum = {}/{}", result::num, result::den);// 1/20  Comparisons with ratio_equal cout << format("r2 < r1: {}", res::value); // false8 Compile-Time Rational Numbers  Predefined SI type aliases: using atto = ratio<1, 1'000'000'000'000'000'000>; using femto = ratio<1, 1'000'000'000'000'000>; = rational constant  template > class duration {...}  Rep = type to represent number of ticks11 Durations – Examples  Duration with ticks of 1 second: duration

0 码力 | 43 页 | 551.60 KB | 6 月前

3

std::atomic_ref  Designated Initializers  Spaceship Operator <=>  Range-based for Loop Initializer  Non-Type Template Parameters  [[likely]] and [[unlikely]]  Calendars & Timezones  std::span  Feature { 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 C++20): [](const auto& vec) { using V = std::decay_t; using T = typename V::value_type; T x { }; T::static_function(); // ... };  With C++20: [](const vector& vec)

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 synchronization is required.44 SENDERS AS AWAITABLES Most senders can be made awaitable in a coroutine type trivially. // This is a coroutine: unifex::task read_socket_async(socket, span); task type: template< class T > struct task { struct promise_type : std::execution::with_awaitable_senderstype> { /*...*/ To make senders awaitable within a coroutine type, derive

Rust 的形式化语义模型 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 Logic (Iris) Type System of λRust (selective) Rust Semantics λRust Type Rust Type bool | int bool | BigInt own Box | &’a mut T | &’a T | (T1, T2) | () | | enum Type { A(T1), B(T2)

PeerAuthenticati on mTLS http http http http mTLS http #IstioCon Auto-mTLS in Istio ● Decide what type of traffic the client sidecar to send automatically ○ If DestinationRule is configured, respect will be in PERMISSIVE mode by default #IstioCon mTLS in Istio - PeerAuthentication Defines what type of traffic the server sidecar will accept ● PERMISSIVE: accepts for both plain text and mTLS ● rule http http http http mTLS mTLS #IstioCon mTLS in Istio - DestinationRule Defines what type of traffic the client sidecar will send ● DISABLE: send plain text, common for services outside

tested • Released VS 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 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, return true; }40 Associative Erasure • std::erase_if() is linear time • Inspects the entire value_type • Associative containers have member .erase(key) • Inspects only the key, using the container's

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

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