[发明专利]跨越信任边界的存储器解除分配

权利要求书

1.一种跨越第一软件组件与至少第二软件组件之间的信任边界的存储器解除分配方法，所述方法包括：

在所述第一软件组件与所述第二软件组件之间共享一些存储器；

使用共享存储器实现存储器中的消息传递设施；

通过以下操作使用所述第一软件组件来从所述共享存储器中解除分配存储器，所述存储器已由所述第二软件组件分配：

使至少一个分配从所述消息传递设施被释放；

使用本地解除分配机制释放所述至少一个分配，同时验证对由与所述共享存储器内的存储器分配相关的数据结构所拥有的存储器的存储器访问在所述共享存储器内。

2.根据权利要求1所述的方法，其中所述第一软件组件中的线程使所述至少一个分配从所述消息传递设施被释放，并且所述线程使用本地解除分配机制释放所述至少一个分配，所述本地解除分配机制是所述线程的分配器，所述分配器在所述共享存储器中拥有存储器块。

3.根据权利要求2所述的方法，所述方法是在所述第一软件组件与所述第二软件组件之间没有跨信任边界调用的情况下被执行的。

4.根据权利要求1或权利要求2所述的方法，包括：使所述至少一个分配从所述消息传递设施中的队列被释放，所述队列与分配要被释放的所述分配的分配器相关联。

5.根据前述权利要求中任一项所述的方法，所述方法由线程执行，并且其中要被释放的所述分配已被标识为先前由所述线程进行的分配。

6.根据前述权利要求中任一项所述的方法，其中所述验证是通过以下来完成的：进行在所述至少一个分配的所述释放期间执行的所述存储器访问在共享范围内的范围检查。

7.根据前述权利要求中任一项所述的方法，其中要被释放的所述分配已经由所述第二软件组件的线程添加到所述消息传递设施。

8.根据权利要求7所述的方法，其中要被释放的所述分配被添加到所述消息传递设施，作为要被释放的一批分配的一部分。

9.根据权利要求7所述的方法，其中要被释放的所述分配已经被添加到从所述消息传递设施处的多个队列中选择的队列，所述队列与分配要被释放的所述分配的分配器相关联。

10.根据权利要求9所述的方法，其中所述队列已经通过使用分配器索引标识分配要被释放的所述分配的所述分配器来选择。

11.根据前述权利要求中任一项所述的方法，其中所述存储器中的消息传递设施是无锁的。

12.根据前述权利要求中任一项所述的方法，其中所述存储器中的消息传递设施包括多生产者、单消费者队列。

13.根据前述权利要求中任一项所述的方法，其中所述存储器中的消息传递设施包括所述共享存储器中的分配器索引和所述第一软件组件的存储器中的第二分配器索引，所述第二分配器索引不是所述共享存储器的一部分。

14.根据前述权利要求中任一项所述的方法，其中所述存储器中的消息传递设施包括将不同范围的存储器区域映射到所述软件组件中的每个软件组件的单个规范分配器索引。

15.一种装置，包括：

由信任边界分隔的第一软件组件和第二软件组件：

存储器，所述存储器中的至少一些存储器在所述第一软件组件与所述第二软件组件之间被共享；

存储器中的消息传递设施，使用所述共享存储器实现；并且

其中所述第一软件组件被配置为通过以下操作从所述共享存储器中解除分配存储器，所述存储器已由所述第二软件组件分配：

使至少一个分配从所述消息传递设施被释放；以及

使用本地解除分配机制释放所述至少一个分配，同时验证对由与所述共享存储器内的存储器分配相关的数据结构所拥有的存储器的存储器访问在所述共享存储器内。