张善友
·
将 Rust 绑定到 .NET 10：Oxigraph 的 FFI 桥接实践 - 张善友
内容提要
本文介绍了如何将高性能图数据库Oxigraph通过FFI桥接绑定到.NET 10，重点讨论了工具链设计、数据协议、内存管理和回调机制。核心设计原则是实现零复制复杂数据类型，使用JSON字符串进行跨语言交互，以确保Rust与C#之间的高效互操作。
关键要点
-
Oxigraph 是一个用 Rust 编写的高性能图数据库，通过 FFI 桥接绑定到 .NET 10。
-
核心设计原则是实现零复制复杂数据类型，使用 JSON 字符串进行跨语言交互。
-
Rust 侧所有函数签名遵循统一模式：(*const c_char) → *mut c_char，输入和输出都是 JSON 字符串。
-
使用 LibraryImport 进行 P/Invoke，避免了 DllImport 的运行时 IL 生成和 AOT 兼容问题。
-
Rust 错误类型自动映射为 C# 异常，确保错误处理的一致性。
-
通过 C 风格回调实现 .NET Stream 的读写，解决 Rust 不认识 .NET Stream 类型的问题。
-
SPARQL 自定义函数需要 Rust 在执行查询时回调到 C#，实现复杂的 FFI 场景。
-
所有 Rust 句柄都包装在 .NET SafeHandle 中，确保资源的正确释放。
-
异步 API 使用 Task.Run 将阻塞操作移到线程池，但不改变线程安全语义。
-
设计一个简单可靠的 FFI 协议是将 Oxigraph 从 Rust 绑定到 .NET 的核心挑战。
延伸解读
FFI 桥接的设计挑战
将 Rust 绑定到 .NET 的过程面临多个设计挑战，尤其是在实现零复制复杂数据类型和确保高效的跨语言交互方面。文章强调，设计一个简单可靠的 FFI 协议是关键，采用 JSON 字符串作为数据交换格式，有助于简化数据处理和错误管理。
内存管理与资源释放
在 FFI 桥接中，内存管理至关重要。文章提到，所有 Rust 句柄都被包装在 .NET 的 SafeHandle 中，以确保资源的正确释放。这种设计可以有效防止内存泄漏，尤其是在异常情况下，CLR 会自动调用 ReleaseHandle 方法，确保资源得到妥善处理。
异步操作的实现
文章中提到，异步 API 的实现使用了 Task.Run，将阻塞操作移到线程池中。这种设计不仅提高了性能，还保持了线程安全的语义。开发者在使用时需注意，所有对同一 Store 的并发访问必须由调用方进行串行化，以避免潜在的线程安全问题。
延伸问答
Oxigraph 是什么？
Oxigraph 是一个用 Rust 编写的高性能图数据库。
如何将 Oxigraph 绑定到 .NET 10？
通过 FFI 桥接和使用 JSON 字符串进行跨语言交互，将 Oxigraph 绑定到 .NET 10。
FFI 桥接的核心设计原则是什么？
核心设计原则是实现零复制复杂数据类型，使用 JSON 字符串进行跨 FFI 边界的全量序列化。
如何处理 Rust 错误类型与 C# 异常的映射？
Rust 错误类型自动映射为 C# 异常，确保错误处理的一致性。
在 .NET 中如何实现对 Rust 的回调？
通过 C 风格回调实现 .NET Stream 的读写，解决 Rust 不认识 .NET Stream 类型的问题。
Oxigraph 的异步 API 是如何设计的？
异步 API 使用 Task.Run 将阻塞操作移到线程池，但不改变线程安全语义。
