Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

dynamic_modules: scaffolds Rust SDK #35914

Merged
4 changes: 4 additions & 0 deletions source/extensions/dynamic_modules/sdk/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
## Dynamic Modules SDKs

This directory contains the SDKs for the Dynamic Modules feature. Each SDK passes the same set of tests and
is guaranteed to provide the same functionality.
1 change: 1 addition & 0 deletions source/extensions/dynamic_modules/sdk/rust/.gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
/target
15 changes: 15 additions & 0 deletions source/extensions/dynamic_modules/sdk/rust/BUILD
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
load("@rules_rust//rust:defs.bzl", "rust_library")
load(
"//bazel:envoy_build_system.bzl",
"envoy_extension_package",
)

licenses(["notice"]) # Apache 2

envoy_extension_package()

rust_library(
name = "envoy_proxy_dynamic_modules_rust_sdk",
srcs = glob(["src/**/*.rs"]),
edition = "2021",
)
7 changes: 7 additions & 0 deletions source/extensions/dynamic_modules/sdk/rust/Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

12 changes: 12 additions & 0 deletions source/extensions/dynamic_modules/sdk/rust/Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
[package]
name = "envoy-proxy-dynamic-modules-rust-sdk"
version = "0.1.0"
edition = "2021"
authors = ["Envoy Proxy Authors <envoy-dev@googlegroups.com>"]
description = "Envoy Proxy Dynamic Modules Rust SDK"
license = "Apache-2.0"
repository = "https://github.com/envoyproxy/envoy"

[dependencies]

[lib]
7 changes: 7 additions & 0 deletions source/extensions/dynamic_modules/sdk/rust/README.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
# Envoy Dynamic Modules Rust SDK

This directory contains the Rust SDK for the Dynamic Modules feature. The SDK passes the same set of tests and is guaranteed to provide the same functionality as the other SDKs. This directory is organized in the way that it can be used as a standalone Rust crate. The SDK is basically the high-level abstraction layer for the Dynamic Modules ABI defined in the [abi.h](../../abi.h).

Currently, the ABI binding ([src/abi.rs](./src/abi.rs)) is manually generated by [`bindgen`](https://github.com/rust-lang/rust-bindgen) for the ABI header. Ideally, we should be able to do the bindgen in the build.rs file.

TODO(@mathetake): figure out how to properly setup the bindgen in build.rs with rules_rust. The most recommended way is to use [crate_universe](https://bazelbuild.github.io/rules_rust/crate_universe.html#setup) and use bindgen as a dev-dependency. However, it seems that crate_universe tries to use the underlying gcc system linker which we cannot assume always available.
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

note: i tried so hard (like spent the entire two days) to get the crate_universe working in our envoy build settings but no luck. basically it is officially recommended way to deal with cargo dependencies but it seems not that compatible with our settings. So I had to choose to do the manual bindgen for now - which of course not ideal so I left this TODO.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We use crate universe here with bazel: https://github.com/bitdriftlabs/capture-sdk. Not sure if there is anything to be learned from that.

Copy link
Member Author

@mathetake mathetake Sep 3, 2024

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I identified the root cause: rules_rust repo declared in Envoy is a bit old and patched version (used by the comptime option Wasmtime dependency and tests for Wasm extensions. They will never be able to use the vanilla rules_rust), hence crate_universe_dependencies requires bootstrap = True argument due to the reason descrbied in the crate_universe doc:

Note that if the current version of rules_rust is not a release artifact, you may need to set additional flags such as bootstrap = True on the crate_universe_dependencies call above or crates_repository::generator_urls in uses of crates_repository.

This results in rebuilding cargo-bazel which in turns tries to use the system gcc linker. Since we cannot assume (at least for the current build container and CI settings) gcc exists in the system and set in the PATH, that results in the build failure.

I think we have a few options here:

  1. Nukes Wasmtime and Proxy-Wasm Rust SDK dependency in Envoy Wasm sources/tests. This will allows us to use the latest vanilla rules_rust.
    • For Wasmtime, I believe nobody uses it because in anyway it's build time option. If ever there's a user, they can build Envoy by themselves. And for Proxy-Wasm Rust SDK, it's only used in tests, so easy to justify.
    • Even simply updating rules_rust is not impossible due to the usage of old APIs by Proxy-Wasm C++ host.
  2. Declare the another rules_rust with the non-patched latest version as rules_rust_2 or whatever different repo name.
  3. Install gcc in the build containers and CI env - but this will break the existing dev environment - we need to inform everyone to install gcc which is obviously not good. Also, this will break for Windows for sure.

what do you think? I think 2. is the easiest one but to be honest, that could be the beginning of a mess. If it's ok, I would go for 1., but not sure either.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

see #35323 for discussion of the deps clusterfu

i think the solution is a fix in rules_rust (bazelbuild/rules_rust#2665)

cc @martijneken

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ok cool, more complex than I expected - I think for now we should go with as-is while waiting for the @phlax's PR got merged. I will migrate here to use crate_universe once it's done

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

well i got an idea

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

ok no luck - i will revert the commits trying to use crate_universe

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

heads up - rules_rust is about to be updated

17 changes: 17 additions & 0 deletions source/extensions/dynamic_modules/sdk/rust/src/abi.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
/* automatically generated by rust-bindgen 0.70.1 */

pub type wchar_t = ::std::os::raw::c_int;
#[repr(C)]
#[repr(align(16))]
#[derive(Debug, Copy, Clone)]
pub struct max_align_t {
pub __clang_max_align_nonce1: ::std::os::raw::c_longlong,
pub __bindgen_padding_0: u64,
pub __clang_max_align_nonce2: u128,
}
#[doc = " envoy_dynamic_module_type_abi_version represents a null-terminated string that contains the ABI\n version of the dynamic module. This is used to ensure that the dynamic module is built against\n the compatible version of the ABI."]
pub type envoy_dynamic_module_type_abi_version = *const ::std::os::raw::c_char;
extern "C" {
#[doc = " envoy_dynamic_module_on_program_init is called by the main thread exactly when the module is\n loaded. The function returns the ABI version of the dynamic module. If null is returned, the\n module will be unloaded immediately.\n\n For Envoy, the return value will be used to check the compatibility of the dynamic module.\n\n For dynamic modules, this is useful when they need to perform some process-wide\n initialization or check if the module is compatible with the platform, such as CPU features.\n Note that initialization routines of a dynamic module can also be performed without this function\n through constructor functions in an object file. However, normal constructors cannot be used\n to check compatibility and gracefully fail the initialization because there is no way to\n report an error to Envoy.\n\n @return envoy_dynamic_module_type_abi_version is the ABI version of the dynamic module. Null\n means the error and the module will be unloaded immediately."]
pub fn envoy_dynamic_module_on_program_init() -> envoy_dynamic_module_type_abi_version;
}
40 changes: 40 additions & 0 deletions source/extensions/dynamic_modules/sdk/rust/src/lib.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,40 @@
#![allow(non_upper_case_globals)]
#![allow(non_camel_case_types)]
#![allow(non_snake_case)]
#![allow(dead_code)]

mod abi;

/// Declare the init function for the dynamic module. This function is called when the dynamic module is loaded.
/// The function must return true on success, and false on failure. When it returns false,
/// the dynamic module will not be loaded.
///
/// This is useful to perform any process-wide initialization that the dynamic module needs.
///
/// # Example
///
/// ```
/// use envoy_proxy_dynamic_modules_rust_sdk::declare_program_init;
///
/// declare_program_init!(my_program_init);
///
/// fn my_program_init() -> bool {
/// true
/// }
/// ```
#[macro_export]
macro_rules! declare_program_init {
($f:ident) => {
#[no_mangle]
pub extern "C" fn envoy_dynamic_module_on_program_init() -> *const ::std::os::raw::c_char {
if ($f()) {
// This magic number is sha256 of the ABI headers which must match the
// value in abi_version.h
b"749b1e6bf97309b7d171009700a80e651ac61e35f9770c24a63460d765895a51\0".as_ptr()
as *const ::std::os::raw::c_char
} else {
::std::ptr::null()
}
}
};
}
4 changes: 4 additions & 0 deletions test/extensions/dynamic_modules/BUILD
Original file line number Diff line number Diff line change
Expand Up @@ -16,6 +16,10 @@ envoy_cc_test(
"//test/extensions/dynamic_modules/test_data/c:no_op",
"//test/extensions/dynamic_modules/test_data/c:no_program_init",
"//test/extensions/dynamic_modules/test_data/c:program_init_fail",
"//test/extensions/dynamic_modules/test_data/rust:abi_version_mismatch",
"//test/extensions/dynamic_modules/test_data/rust:no_op",
"//test/extensions/dynamic_modules/test_data/rust:no_program_init",
"//test/extensions/dynamic_modules/test_data/rust:program_init_fail",
],
deps = [
"//source/extensions/dynamic_modules:dynamic_modules_lib",
Expand Down
2 changes: 1 addition & 1 deletion test/extensions/dynamic_modules/abi_version_test.cc
Original file line number Diff line number Diff line change
Expand Up @@ -15,7 +15,7 @@ namespace Envoy {
namespace Extensions {
namespace DynamicModules {

// This test ensure that abi_version.h contains the correct sha256 hash of ABI header files.
// This test ensures that abi_version.h contains the correct sha256 hash of ABI header files.
TEST(DynamicModules, ABIVersionCheck) {
const auto abi_header_path =
TestEnvironment::substitute("{{ test_rundir }}/source/extensions/dynamic_modules/abi.h");
Expand Down
3 changes: 2 additions & 1 deletion test/extensions/dynamic_modules/dynamic_modules_test.cc
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,7 @@ class DynamicModuleTestLanguages : public ::testing::TestWithParam<std::string>
};

INSTANTIATE_TEST_SUITE_P(LanguageTests, DynamicModuleTestLanguages,
testing::Values("c"), // TODO: Other languages.
testing::Values("c", "rust"), // TODO: add Go.
DynamicModuleTestLanguages::languageParamToTestName);

TEST_P(DynamicModuleTestLanguages, DoNotClose) {
Expand All @@ -48,6 +48,7 @@ TEST_P(DynamicModuleTestLanguages, DoNotClose) {
EXPECT_TRUE(module.ok());
const auto getSomeVariable =
module->get()->getFunctionPointer<GetSomeVariableFuncType>("getSomeVariable");
EXPECT_NE(getSomeVariable, nullptr);
EXPECT_EQ(getSomeVariable(), 1);
EXPECT_EQ(getSomeVariable(), 2);
EXPECT_EQ(getSomeVariable(), 3);
Expand Down
2 changes: 2 additions & 0 deletions test/extensions/dynamic_modules/test_data/rust/.gitignore
Original file line number Diff line number Diff line change
@@ -0,0 +1,2 @@
/target
Cargo.lock
32 changes: 32 additions & 0 deletions test/extensions/dynamic_modules/test_data/rust/BUILD
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
load("@rules_rust//rust:defs.bzl", "rust_shared_library")

licenses(["notice"]) # Apache 2

package(default_visibility = ["//test/extensions/dynamic_modules:__pkg__"])

rust_shared_library(
name = "no_op",
srcs = ["no_op.rs"],
edition = "2021",
deps = [
"//source/extensions/dynamic_modules/sdk/rust:envoy_proxy_dynamic_modules_rust_sdk",
],
)

rust_shared_library(
name = "no_program_init",
srcs = ["no_program_init.rs"],
edition = "2021",
)

rust_shared_library(
name = "program_init_fail",
srcs = ["program_init_fail.rs"],
edition = "2021",
)

rust_shared_library(
name = "abi_version_mismatch",
srcs = ["abi_version_mismatch.rs"],
edition = "2021",
)
29 changes: 29 additions & 0 deletions test/extensions/dynamic_modules/test_data/rust/Cargo.toml
Original file line number Diff line number Diff line change
@@ -0,0 +1,29 @@
[package]
name = "test-programs"
version = "0.1.0"
edition = "2021"
license = "Apache-2.0"
repository = "https://github.com/envoyproxy/envoy"

[dependencies]
envoy-proxy-dynamic-modules-rust-sdk = { path = "../../../../../source/extensions/dynamic_modules/sdk/rust" }

[[example]]
name = "no_op"
path = "no_op.rs"
crate-type = ["cdylib"]

[[example]]
name = "no_program_init"
path = "no_program_init.rs"
crate-type = ["cdylib"]

[[example]]
name = "program_init_fail"
path = "program_init_fail.rs"
crate-type = ["cdylib"]

[[example]]
name = "abi_version_mismatch"
path = "abi_version_mismatch.rs"
crate-type = ["cdylib"]
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
#[no_mangle]
pub extern "C" fn envoy_dynamic_module_on_program_init() -> *const ::std::os::raw::c_char {
b"invalid-version-hash\0".as_ptr() as *const ::std::os::raw::c_char
}
17 changes: 17 additions & 0 deletions test/extensions/dynamic_modules/test_data/rust/no_op.rs
Original file line number Diff line number Diff line change
@@ -0,0 +1,17 @@
use envoy_proxy_dynamic_modules_rust_sdk::declare_program_init;

declare_program_init!(init);

fn init() -> bool {
true
}

#[no_mangle]
pub extern "C" fn getSomeVariable() -> i32 {
static mut SOME_VARIABLE: i32 = 0;

unsafe {
SOME_VARIABLE += 1;
SOME_VARIABLE
}
mathetake marked this conversation as resolved.
Show resolved Hide resolved
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
pub extern "C" fn foo() -> i32 {
0
}
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
#[no_mangle]
pub extern "C" fn envoy_dynamic_module_on_program_init() -> *const ::std::os::raw::c_char {
::std::ptr::null()
}