Rust Semantics • Type System • The own Predict • Exclusive Ownership & Mutable Borrow Examples • Rc Logics • Hoare Logic • Separation Logic Background ERC Project "RustBelt" 2015-2021 Unlike C/C++ )) ℓ ↦∗ ⟦τ ⟧.own ℓ ↦∗ ⟦τ ⟧.own Rc (simplified model, without weak references) Examples It owns a location value “ℓ”; : partially owned (.i.e. can alias) ? ⟦rc τ⟧.own(v̄) ∗∃ ? ∈ ℤ+¿ ,? . ℓ↦ [ “c” and data “w̄ ” cnt data ℓ Rc ? Another Rc ℓ However, multiple Rcs can point to the same value, which breaks the uniqueness of “↦”. 1 2 1 2 ?+?’ ? ?’ Rc: The shared_own Predict Examples

的 CTAD 特 性。第二个则是用了 decltype 自动推导 ，也可以 (auto r) ，这里写具体类型仅为 教学目的。 TBB 中其他并发容器 第 7 章：并行筛选 筛选（ filter ） 利用 vector 的 push_back 动态追加数据 筛选出所有大于 0 的 sin(i) 值 并行筛选 1 （张心欣犯过的错） 利用多线程安全的 concurrent_vector step 后依然写回了数组，数据缓存没法充分利用 。 另辟蹊径：流水线并行 加速比： 6.73 倍 反直觉的并行方式，但是加速效果却很理想，为什么？ 流水线模式下每个线程都只做自己的那个步骤（ filter ），从 而对指令缓存更友好。且一个核心处理完的数据很快会被另一 个核心用上，对三级缓存比较友好，也节省内存。 且 TBB 的流水线，其实比教科书上描述的传统流水线并行更加优化： 他在 t1 线程算完 能，完全无需操心内部 细节。 流水线并行： filter 参数 • serial_in_order 表示当前步骤只允许串行执行，且 执行的顺序必须一致。 • serial_out_of_order 表示只允许串行执行，但是顺 序可以打乱。 • parallel 表示可以并行执行当前步骤，且顺序可以 打乱。 • 每一个步骤（ filter ）的输入和返回类型都可以不一 样。要求：流水线上一步的返回类型，必须和下一

ranges::sort(data);  Eliminate mismatching begin/end iterators  Allows “range adaptors” to lazily transform/filter underlying sequences of elements12 Ranges  Based on following major components:  Range: A iterator pairs  Projection: Transform elements before handing over to algorithm  Views: transform/filter range: lazily evaluated, non-owning, non- mutating  Range factories: construct views to produce of chaining views: vector data { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 }; auto result { data | views::filter([](const auto& value) { return value % 2 == 0; })/* 2 4 6 8 10 */ | views::transform([](const

"as": "timestamp", "with": "%e-%b-%Y %H:%M", "tz": "Asia/Shanghai"} } } } {"swap": ["a", "b"] } {"filter": {"val1": 0 }} {"pivot_wider": {"names_from": "field1", "values_from": "field2"}} {"pivot_longer": P\d+)" } {"map": {"new1": { "expr": "field1.contains(\"abc\")", "as": "bool"}}} • Mutate • Filter • Pivot Powered by serde + arrow taosX - 数据汇聚 CONTENTS 自 我 介 绍 T D e n g i n e t a o s X

（ Property Graph KV store ） Pushdown filter Cypher (a)-[:LIKES]->(b) 计算下推：面向图应用特征设计 分布式存储 Find Vertex Walk Vertex Scan Cartesian Product Projection Filter Stage Stage 物理执行计划 01 02 03 将不同的执行阶段推送到对应的存储

德国工程师使用 德国工程师使用 Perl Perl 开发的把 开发的把 Slow Log Slow Log 输出到屏幕，功能简单 输出到屏幕，功能简单  mysql-log-filter - Google code - Google code 上一个开源产品，报表 上一个开源产品，报表 简洁 简洁