简介
如概览页面中所述,主机代码会对沙盒化库进行 RPC 调用。沙盒化会导致进程之间的内存分离,因此主机代码无法直接访问沙盒化库中的内存。
为确保主机代码可以访问远程进程中的变量和内存块,并简化主逻辑代码的实现,SAPI 提供了一套全面的 C++ 类。不过,在许多情况下,您还能够使用原生 C 类型。
在将指针传递给简单类型和内存块(结构、数组)时,会出现对特殊类型(SAPI 类型)的需求。
例如,调用接受指针的函数时,必须将指针转换为沙盒化库内存中的相应指针。以下代码段直观呈现了这种情况。系统会创建一个 ::sapi::v::Array<int>
对象(而不是由三个整数组成的数组),然后在沙盒化库的 API 调用中传递该对象:
int arr[3] = {1, 2, 3};
sapi::v::Array<int> sarr(arr, ABSL_ARRAYSIZE(arr));
如需全面了解所有可用的 SAPI 类型,请查看 SAPI 项目源代码中的 var_*.h
头文件。这些头文件提供表示各种类型数据的类和模板,例如:
::sapi::v::UChar
表示已知的无符号字符::sapi::v::Array<int>
表示整数数组
SAPI 类型
本部分介绍了主机代码中常见的三种 SAPI 类型。
SAPI 指针
如果要沙盒的函数需要传递指针,则应从以下 PtrXXX()
方法之一获取此指针。这些方法是通过 SAPI 变量类实现的。
指针类型 | |
---|---|
::PtrNone() |
当传递到沙盒化 API 函数时,不会在主机代码进程和沙盒化库进程之间同步底层内存。 |
::PtrBefore() |
在沙盒化 API 函数调用发生之前同步它指向的对象的内存。 这意味着,指向变量的本地内存将在调用开始之前传输至沙盒化库进程中。 |
::PtrAfter() |
会在沙盒化 API 函数调用发生后同步其指向的对象的内存。 这意味着,指向变量的远程内存将在调用完成后传输到主机代码进程内存。 |
::PtrBoth() |
结合了 ::PtrBefore() 和 ::PtrAfter() 的功能。 |
点击此处可查看关于 SAPI 指针的文档。
SAPI 结构
模板 ::sapi::v::Struct
记录在 var_struct.h 中,它提供了一个可用于封装现有结构的构造函数。SAPI Struct 提供了 SAPI 指针中所述的所有方法来获取可用于沙盒化库调用的 ::sapi::v::Ptr
对象。
以下代码段展示了一个结构,它在初始化后传递给 zlib 示例中的沙盒化函数调用:
sapi::v::Struct<sapi::zlib::z_stream> strm;
…
if (ret = api.deflateInit_(strm.PtrBoth(), Z_DEFAULT_COMPRESSION,
version.PtrBefore(), sizeof(sapi::zlib::z_stream));
…
如果现有的结构体包含指针,这些指针将指向 Sandboxee 中的地址。因此,您必须先传输 Sandboxee 数据,然后主机代码才能访问这些数据。
SAPI 数组
模板 ::sapi::v::Array
记录在 var_array.h 中。它提供了两个构造函数,一个用于封装现有的元素数组,另一个用于动态创建数组。
以下代码段(取自 sum 示例)展示了如何使用用于封装不归此对象所有的数组的构造函数:
int arr[10];
sapi::v::Array<int> iarr(arr, ABSL_ARRAYSIZE(arr));
以下代码段展示了用于动态创建数组的构造函数的示例:
sapi::v::Array<uint8_t> buffer(PNG_IMAGE_SIZE(*image.mutable_data()));
SAPI Array 提供了 SAPI 指针中所述的所有方法来获取可用于沙盒化库调用的 ::sapi::v::Ptr
对象。