DotNetIsolator源码剖析ShadowStack与C原生层如何实现跨边界方法调用【免费下载链接】DotNetIsolatorA library for running isolated .NET runtimes inside .NET项目地址: https://gitcode.com/gh_mirrors/do/DotNetIsolatorDotNetIsolator 是一款用于在 .NET 进程内运行“隔离 .NET 运行时”的开源库其核心价值在于宿主程序借助 Wasmtime 加载一个携带 Mono 运行时内核的 Wasm 模块从而在隔离沙箱中执行任意 .NET 代码。本文的 DotNetIsolator 源码剖析将聚焦两个最关键的技术点——ShadowStack 参数栈与C 原生互操作层为你彻底讲清宿主与隔离运行时之间的跨边界方法调用究竟是如何打通、传递数据、再返回结果的。一条调用链的全景宿主、Wasm 与 Mono 的三角关系在深入代码之前先建立整体地图。整个项目由三个工程组成src/DotNetIsolator/宿主侧 API负责创建运行时、实例化对象、查找并调用方法src/DotNetIsolator.WasmApp/被编译为 Wasm 的“运行时容器”内部运行 Mono 运行时内核src/DotNetIsolator.Guest/供隔离代码引用的“客人库”用于反向回调宿主。跨边界方法调用有两条方向完全相反的通道宿主 → 隔离运行时宿主序列化参数写入 Wasm 线性内存再调用 Wasm 导出函数如dotnetisolator_invoke_method驱动 C 层执行隔离运行时 → 宿主客人代码通过 internal call 触发call_host导入函数把请求交还给宿主进程。两条通道中间都少不了 ShadowStack 这块共用内存缓冲区。ShadowStack 源码解析一块 8KB 参数缓冲区的妙用先看宿主侧最容易被忽视却非常巧妙的设计——src/DotNetIsolator/ShadowStack.cs。const int Length 8 * 1024; // 只用于传递少量参数所以 8KB 绰绰有余它在 Wasm 线性内存里一次性malloc了 8KB 空间此后所有需要传给客端的小型标量参数都从这块空间里按需压栈、出栈PushT()按类型大小前进栈指针返回一个带地址的ShadowStackEntryTPopT(expectedAddress)回退指针并校验 push/pop 是否配对防止内存错乱Dispose()时一次性释放整块内存。它最典型的用途是传递错误信息输出参数。以IsolatedRuntime.CreateObject为例见src/DotNetIsolator/IsolatedRuntime.csvar errorMessageParam _shadowStack.Pushint(); var gcHandle _instantiateDotNetClass( CopyValue(assemblyName), CopyValue(namespace), CopyValue(monoClassName), errorMessageParam.Address); if (errorMessageParam.Value ! 0) { /* 读取并抛出 IsolatedException */ } finally { errorMessageParam.Pop(); }宿主把errorMessageParam.Address传给 C 函数C 层出错时用asprintf把错误字符串指针写进这个槽位宿主再通过ReadNullTerminatedString读回并抛出IsolatedException。整个过程零额外分配这正是 ShadowStack 存在的意义——高频的小参数传递不值得反复 malloc/free。为什么不用宿主侧托管堆因为宿主与客端运行在不同的地址空间里唯一共享的就是 Wasm 线性内存。ShadowStack 相当于在共享内存里划出的临时通信区配合ShadowStackEntryT见src/DotNetIsolator/ShadowStackEntry.cs用ref直接读写性能极佳。宿主到隔离运行时Invocation 结构体如何驱动 C 原生层调用一个隔离方法的主路径位于IsolatedMethod.Invokesrc/DotNetIsolator/IsolatedMethod.cs其流程分四步参数序列化用MessagePackSerializer.Typeless.Serialize把每个参数编码为字节数组写入共享内存CopyValueLengthPrefixed在 Wasm 内存中 malloc 一块长度前缀 数据的缓冲区返回地址构造 Invocation 结构体IsolatedRuntime.InvokeDotNetMethod把目标 GCHandle、方法指针、参数地址数组组装成一个Invocation结构体写入共享内存调用导出函数执行_invokeDotNetMethod(wasmPtr)即 Wasm 导出函数dotnetisolator_invoke_method。C 原生层如何执行这次调用进入src/DotNetIsolator.WasmApp/native/dotnetisolate.c你会看到RunnerInvocation结构体与宿主侧的Invocation逐字段对应。C 层做了三件关键事反序列化参数deserialize_param调用mono_wasm_invoke_method去执行客人代码里的Serialization.Deserialize见src/DotNetIsolator.WasmApp/Serialization.cs把字节还原成 Mono 对象固定与拆箱对还原出的对象创建 pinned GCHandle若是值类型则mono_object_unbox拆箱保证调用期间对象不被 GC 移动真正的方法调用mono_wasm_invoke_method(invocation-method_ptr, target, method_params, exc)完成执行随后serialize_return_value把返回值序列化回字节数组连同长度、GCHandle 一起写回RunnerInvocation。宿主侧拿到结果后用MessagePackSerializer.DeserializeTRes还原返回值并调用ReleaseGCHandle释放客端句柄一次跨边界调用就此闭环。值得注意的安全设计宿主反序列化返回值时故意不用 Typeless 模式只允许实例化TRes类型图中静态定义的类型防止不可信的客人代码诱导宿主创建任意类型。隔离运行时到宿主internal call 与 call_host 的逆向通道跨边界调用不是单向的。客人代码经常需要回调宿主例如输出日志、读取配置。这条逆向通道的起点在src/DotNetIsolator.Guest/DotNetIsolatorHost.cs客人调用DotNetIsolatorHost.Invoke把回调名与参数序列化成GuestToHostCall见src/DotNetIsolator.Guest/GuestToHostCall.cs通过fixed拿到字节数组指针调用Interop.CallHostInterop.CallHost是一个InternalCall声明src/DotNetIsolator.Guest/Interop.cs它没有托管实现由 C 层接管。C 层把 InternalCall 接到 Wasm 导入函数src/DotNetIsolator.WasmApp/native/host_callback.c只有寥寥几行却承担了承上启下的作用mono_add_internal_call(DotNetIsolator.Guest.Interop::CallHost, dotnetisolator_call_host);它把托管的CallHost映射到dotnetisolator_call_host——这个函数带import_module(dotnetisolator)与import_name(call_host)属性意味着它由宿主进程实现并注入。对应地IsolatedRuntimeHostsrc/DotNetIsolator/IsolatedRuntimeHost.cs在启动时用 Wasmtime 的Linker.DefineFunction(dotnetisolator, call_host, ...)注册了实现最终路由到IsolatedRuntime.AcceptCallFromGuest反序列化GuestToHostCall按回调名在_registeredCallbacks字典中查找委托逐个参数反序列化后DynamicInvoke执行宿主回调把返回值序列化写入共享内存返回成功/失败标志。有趣的是宿主回调出现异常时出于安全考虑并不会把原始异常信息暴露给不可信的客人代码而是统一返回 The call failed. See host console logs for details.只在宿主控制台打印完整堆栈。程序集加载同样走这条导入通道隔离运行时要执行任意程序集还依赖另一个导入函数request_assembly。src/DotNetIsolator.WasmApp/native/assembly_search_hook.c安装了 Mono 的装配搜索钩子当 Mono 需要加载程序集时通过request_assembly向宿主索要 DLL 字节宿主用WithAssemblyLoader注册的加载器返回字节流再由mono_image_open_from_data加载进 Mono 运行时。注意钩子内部用assembly_search_hook_in_progress标志防止递归死循环。参数序列化与 GCHandle跨边界的数据生命线贯穿两条通道的还有两条生命线MessagePack 序列化所有非平凡参数、返回值都以字节流形式穿越边界。宿主侧使用受限的 Contractless 解析器客人侧则用 Typeless 模式灵活性与安全性各取所需GCHandle 引用隔离对象在客端用MonoGCHandle表示宿主持有的IsolatedObject本质上只是一个句柄整数。dotnetisolator_release_object负责回收IsolatedRuntime.Dispose时统一释放 ShadowStack 与 Store确保不留泄漏。值得一提的还有src/DotNetIsolator.WasmApp/Program.cs它故意做成空入口只在预初始化阶段预热序列化代码路径真正的业务执行全部由宿主在运行时注入程序集驱动——这正体现了隔离运行时的设计哲学。总结一次调用的完整旅程把整条链路串起来一次宿主 → 隔离运行时的跨边界方法调用是这样的宿主用 MessagePack 序列化参数写入 Wasm 共享内存组装Invocation结构体调用 Wasm 导出dotnetisolator_invoke_methodC 原生层反序列化参数、固定 GCHandle、执行 Mono 方法、序列化返回值宿主读取结果、反序列化、释放句柄——完成闭环。而 ShadowStack 这块 8KB 的通信缓冲区则在每一环的出错处理、小型参数传递中默默发挥作用避免了海量的小内存分配。理解了这两块设计你就掌握了 DotNetIsolator 跨边界方法调用的完整心智模型无论是二次开发还是学习 WebAssembly 与 .NET 互操作都能事半功倍。【免费下载链接】DotNetIsolatorA library for running isolated .NET runtimes inside .NET项目地址: https://gitcode.com/gh_mirrors/do/DotNetIsolator创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
