变量指南

简介

概览页面中所述,主机代码会对沙盒化库进行 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 对象。