概述
wasm32-unknown-unknown) ,不依赖任何操作系统或标准库。此外,仅支持默认的 32 位 WebAssembly 目标 (不支持 wasm64 扩展) 。
该模块必须遵循一种受支持的通信协议 (ABI) 才能与 ClickHouse 交互。
编译完成后,需要将模块的二进制代码插入 system.webassembly_modules 表中,以将其加载到 ClickHouse。
之后,你可以使用 CREATE FUNCTION ... LANGUAGE WASM 语句创建引用该模块导出函数的 UDF。
前置条件
快速入门
wat2wasm,或 wasm-tools 中的 parse 命令。
FORMAT RawBlob 将二进制 WASM 代码直接通过管道传给 ClickHouse 客户端,并将其插入到 system.webassembly_modules 表中。
然后,我们定义一个引用该模块导出的 steps 函数的 UDF:
:: 后指定的是模块中的函数名,因为它与 UDF 的名称不同。
现在我们可以在查询中使用 collatz_steps 函数:
number 列被显式转换为 UInt32,因为 WebAssembly 函数要求类型必须与 CREATE FUNCTION 语句中指定的签名精确匹配。
最终结果中,我们得到了 1 到 100 各个数字对应的 Collatz 步骤序列,这与序列 OEIS 中的 A006577 相对应。
通过系统表管理 WASM 模块
system.webassembly_modules 表中,其结构如下:
- 列
nameString — 模块名称。不能为空,且只能包含词字符。codeString — 原始 WASM 二进制代码。仅可写,读取时返回空字符串。hashUInt256 — 模块二进制文件的 SHA256 (如果文件已存在于磁盘上但尚未加载,则为零) 。
插入模块
列出模块
删除模块
DELETE FROM system.webassembly_modules WHERE name = '...' 语句删除模块。
该谓词必须是精确匹配的 name = 'literal',或用于删除所有名称匹配该模式的模块的 name LIKE 'pattern';不接受其他形态。
创建 WebAssembly UDF
function_name:ClickHouse 中的函数名称。可能与模块中导出的函数名不同。FROM 'module_name' :: 'source_function_name':已加载的 WASM 模块名称,以及要使用的 WASM 模块中的函数名称 (默认为 function_name)ARGUMENTS:参数名称和类型列表 (名称为可选项,用于支持命名字段的序列化格式)ABI:应用程序二进制接口版本ROW_DIRECT:直接类型映射,按行处理BUFFERED_V1:基于块的处理,带序列化
DETERMINISTIC:将该函数声明为确定性的——对于相同输入始终返回相同输出。指定后,当所有参数都是常量时,ClickHouse 可能会对调用进行常量折叠:函数会在查询分析阶段求值一次,结果会复用于每一行。SHA256_HASH:用于校验的预期模块哈希 (若省略则自动填充) ,可用于确保不同副本上加载的是正确的 WASM 模块。SETTINGS:函数级设置serialization_formatString —— ABI 所需的序列化格式。默认值:MsgPack。
ABI 版本
ROW_DIRECT:直接类型映射 (仅支持基本类型Int32、UInt32、Int64、UInt64、Float32、Float64)BUFFERED_V1:通过序列化处理复杂类型
ABI ROW_DIRECT
- 参数和返回值类型均为数值类型:
Int32/UInt32/Int64/UInt64/Float32/Float64/Int128/UInt128。 - 此 ABI 不支持字符串。
- 签名必须与 WASM 导出一致 (
i32/i64/f32/f64/v128) 。 - 模块无需导出任何辅助函数。
ABI BUFFERED_V1
此 ABI 仍处于 Experimental 阶段,未来版本中可能会发生变化。
i32 参数,并返回单个 i32 值。
guest 侧代码处理数据后,会返回一个指向结果缓冲区的指针,其中包含序列化后的结果数据。
guest 侧代码必须提供两个函数,用于创建和销毁这些缓冲区。
关于用 Rust 开发 UDF 的说明
clickhouse_create_buffer 和 clickhouse_destroy_buffer 函数,只需将该 crate 添加为依赖即可。此外,还提供了宏 #[clickhouse_wasm_udf],可将普通的 Rust 函数封装为所需的 ABI 格式。
借助这个 crate,你可以像这样编写 UDF:
serde 自动处理序列化和反序列化。
模块可用的宿主 API
clickhouse_server_version() -> i64— 以整数形式返回 ClickHouse server 版本 (例如,v25.11.1.1 对应 25011001) 。clickhouse_throw(ptr: i32, size: i32)— 使用给定的消息抛出错误。接受一个指向存放错误消息字符串的内存位置的指针,以及该字符串的大小。clickhouse_log(ptr: i32, size: i32)— 将消息写入 ClickHouse server 的文本日志。clickhouse_random(ptr: i32, size: i32)— 用随机字节填充内存。
设置
-
webassembly_udf_max_fuel— 每个 WebAssembly UDF 实例每次执行的 fuel 上限。每条 WebAssembly 指令都会消耗一定数量的 fuel。设为 0 表示不限制。 -
webassembly_udf_max_memory— 每个 WebAssembly UDF 实例的内存上限 (以字节为单位) 。 -
webassembly_udf_max_input_block_size— 单个块中传递给 WebAssembly UDF 的最大行数。设为 0 表示一次处理所有行。 -
webassembly_udf_max_instances— 每个函数可并行运行的 WebAssembly UDF 实例最大数量。