## RUST CHINA CONF 2023 第三届中国 Rust 开发者大会 6.17-6.18 @Shanghai ## PromQL Got a BOOST: 用 Rust 重写 Prometheus 的查询引擎 Ruihang Xia @greptime.com ## I ABOUT ## Ruihang GitHub: waynexia Losing hair at Greptime

analytics. Open-source software projects resulting from his work include the Matrix Template Library, the Boost Graph Library, and Open MPI. ![Image](/uploads/documents/a/f/0/7/af078614efce322742b74aca1844ea3d/p2_3 Flatliners Julia Roberts has a bacon number of 1 Julia Roberts starred with Kevin Bacon in Flatliners ## Boost Graph Library |Algorithm|BGL Input Requirement on Graph Concept|Other Requirements| |---|---|---| counting|Vertex List Graph and Incidence Graph|undirected| ## V ertex List Graph and Incidence Graph Boost Graph Library • The BGL concepts were derived with same generic programming process • Our concepts

with data structures in Python – shared memory space ## How? Python/C API Cython ○ Numba / PyPy Boost::Python ○ Pybind11 ○ cppyy ☐ Mix and match! ## Hello, world (not really) ## HELLO, WORLD Different an integer as argument, increments it and returns) C++ • Python • C++ with pybind11 C++ with boost::python • Cython int increment(int); // defined in a separate translation unit to prevent inlining python from hello_world_pybind11 import increment while i < max_i: i = increment(i) ## BOOST::PYTHON // After compiling above into hello_world_bpy.so, in python from hello_world_bpy import

HTTPS://GITHUB.COM/BOOST-EXT/UT ### UT - HTTPS://GITHUB.COM/BOOST-EXT/UT C++20 (GCC-9+, CLANG-9.0+, APPLE CLANG-11.0.0+, MSVC-2019+*) • (*) LIMITATIONS MAY APPLY UT - HTTPS://GITHUB.COM/BOOST-EXT/UT C++20 header/MODULE (2K LOC) WITH NO EXTERNAL DEPENDENCIES • (*) LIMITATIONS MAY APPLY ### UT - HTTPS://GITHUB.COM/BOOST-EXT/UT C++20 (GCC-9+, CLANG-9.0+, APPLE CLANG-11.0.0+, MSVC-2019+*) - SINGLE header/MODULE (2K LOC) EXTERNAL DEPENDENCIES • MACRO-FREE (✓) • (*) LIMITATIONS MAY APPLY ### UT - HTTPS://GITHUB.COM/BOOST-EXT/UT C++20 (GCC-9+, CLANG-9.0+, APPLE CLANG-11.0.0+, MSVC-2019+*) - SINGLE header/MODULE (2K LOC)

-|outcome| |8|static\_assert(10\_q\_km / 2 == 5\_q\_km);||||||Blaze|\-|\[fmt]|\-|PEGTL| |9|||||||Boost|\-|GLM|\-|Pipes| |10|// unit conversions||||||Brigand|\-|Google Test|\-|range-v3| |11|static\_assert(1\_q\_h coherent units: Boost.Units (godbolt.org/z/G3qqn8) #include <boost units="" base_units="" metric="" hour.hpp=""> #include <boost units="" base_units="" us="" mile.hpp=""> #include <boost units="" io.hpp=""> hpp=""> #include <boost units="" make_scaled_unit.hpp=""> #include <boost units="" quantity.hpp=""> #include <boost units="" systems="" si="" length.hpp=""> #include <boost units="" systems="" si=""

新增哈希计算、签名验证、VRF proof验证相关的Precompiled合约，包括 sm3, keccak256Hash, sm2Verify, curve25519VRFVerify。 升级 升级boost版本到1.76 修复 修复issue 1951 [https://github.com/FISCO-BCOS/FISCO-BCOS/issues/1951]，解决节点 接收非法P2P消息包异常崩溃的问题。 新增哈希计算、签名验证、VRF proof验证相关的Precompiled合约，包括 sm3, keccak256Hash, sm2Verify, curve25519VRFVerify，具体可参考这 里。 升级 升级boost版本到1.76 修复 修复issue 1951 [https://github.com/FISCO-BCOS/FISCO-BCOS/issues/1951]，解决节点 接收非法P2P消息包异常崩溃的问题 e8baa5aca372a209f94dc8f283c8a4fa63e 3787c338a4 配置日志信息 FISCO BCOS支持功能强大的boostlog [https://www.boost.org/doc/libs/1_63_0/libs/log/doc/html/index.html]，日志配置主要位于 config.ini的[log]配置项中。 日志通用配置 FISCO BCOS通用日志配置项如下：

[Brief history] Template Metaprogramming - Type-based TMP (boost.mpl -> boost.mp11, ...) - Heterogeneous-based TMP (boost.fusion -> boost.hana) - Value-based TMP (mp $ ^{*} $ , https://wg21.link/p2996 is the fastest to compile all around Type-based Metaprogramming with template aliases/builtins (boost.mp11) is much faster to compile than recursive template instantiations (std::tuple) ## Benchmarks is the fastest to compile all around Type-based Metaprogramming with template aliases/builtins (boost.mp11) is much faster to compile than recursive template instantiations (std::tuple) Value-based Metaprogramming

Can you get it? ||Boost|nholthaus|bernedom/SI|mp-units|Au| |---|---|---|---|---|---| |C++ Version Compatibility|C++98|C++14|C++17|C++20|C++14| |Ease of Acquisition|Part of boost|Single, self-contained Can you get it? ||Boost|nholthaus|bernedom/SI|mp-units|Au| |---|---|---|---|---|---| |C++ Version Compatibility|C++98|C++14|C++17|C++20|C++14| |Ease of Acquisition|Part of boost|Single, self-contained units and I/O support ✓ Version-stamped for full reproducibility| ### 2. What does it cost? ||Boost|nholthaus|bernedom/SI|mp-units|Au| |---|---|---|---|---|---| |Compilation Speed|(Not assessed)|Very

Examples: • SQL · CSS • Regular Expressions (PCRE) • Make (makefile) ## DSL Example – Boost Spirit Boost Spirit library has a DSL for creating parsers. Example code from XML parser: text %= lex course! There is a boost library for it called boost metaparse” Chapter 23. Boost.Metaparse Abel Sinkovics Copyright $ \copyright $ 2015 Abel Sinkovics Distributed under the Boost Software License License, Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) ## Boost Metaparse A compile time parsing library by Abel Sinkovics. The library uses C++98 except

bugs can be dangerous • Hearing loss • Damaged speakers • Crashes during live performance I tried boost::units... ...and gave up. struct meter_base_unit : base_unitBOOST UNITS STATIC CONSTANT is provided in boost/units/static_constant.hpp to facilitate ODR- and thread-safe definitions: /// unit constants BOOST_UNITS_STATIC_CONSTANT(meter, length); BOOST_UNI length); BOOST_UNITS_STATIC_CONSTANT(kilogram, mass); BOOST_UNITS_STATIC_CONSTANT(kilograms, mass); BOOST_UNITS_STATIC_CONSTANT(second, time); BOOST_UNITS_STATIC_CONSTANT(seconds, time); BOOST_UNITS_S