[发明专利]对存储器隔离许可的类型系统支持

权利要求书

1.一种存储用于控制计算设备执行一种方法的计算机可执行指令的计算机可读存储介质，所述方法包括：

定义用于控制通过指向对象的引用访问类型成员的多个类型修饰符302；以及

对于类型名称的每次出现，关联所述多个类型修饰符中的一个304，其中所述多个类型修饰符中的每一个定义不同的访问许可以便限制对所述引用指向的所述对象的操作306。

2.如权利要求1所述的计算机可读存储介质，其特征在于，所述方法在类型的上下文中指定所述类型修饰符。

3.如权利要求1所述的计算机可读存储介质，其特征在于，所述受支持的许可包括：

不可变许可，其中不可变引用指向可能在各并发线程之间共享的对象，其中通过所述引用访问不改变的状态；

读许可，其中读引用指向不存在并发写的、可能在各并发线程之间共享的对象；以及

写许可，其中写引用指向作为不共享或者共享但包括独占访问的对象的对象。

4.如权利要求3所述的计算机可读存储介质，其特征在于，单次赋值的值通过不可变许可访问。

5.如权利要求3所述的计算机可读存储介质，其特征在于，读引用隐含不可变访问且允许可变字段的读取。

6.如权利要求3所述的计算机可读存储介质，其特征在于，对所述引用的写能够以安全并发完成。

7.如权利要求1所述的计算机可读存储介质，包括组合所述访问许可以便用根引用的所述访问许可保护对象关系图。

8.如权利要求8所述的计算机可读存储介质，其特征在于，从所述组合所得到的所述引用将不强于所述组合的最弱许可。

9.一种系统，包括：

计算设备100；以及

可操作上被耦合到所述计算设备100的命令性框架，其中所述命令性框架包括被配置为控制通过指向对象的引用访问类型成员的多个类型修饰符302；

其中所述多个类型修饰符中的一个与类型名称的每次出现相关联304；并且

其中所述多个类型修饰符中的每一个定义不同的访问许可以便限制对所述引用指向的所述对象的操作306。

10.如权利要求9所述的系统，其特征在于，所述访问许可包括：

不可变许可，其中不可变引用指向可能在各并发线程之间共享的对象，其中通过所述对象访问不改变的状态；

读许可，其中读引用指向不存在并发写的、可能在各并发线程之间共享的对象；以及

写许可，其中写引用指向作为不共享或者共享但包括独占访问的对象的对象。

11.如权利要求10所述的系统，其特征在于，所述不可变许可与不可变字段相关联。

12.如权利要求10所述的方法，其特征在于，所述读许可与读锁相关联。

13.如权利要求10所述的系统，其特征在于，所述写许可与独占锁相关联。

14.如权利要求9所述的系统，其特征在于，所述类型修饰符在类型的上下文中指定。

15.如权利要求9所述的系统，其特征在于，所述命令性框架包括用所述访问许可定义的隔离区域和在所述隔离区域之外的另一区域，其中所述隔离区域映射到程序作用域，并且其中所述另一区域被配置为选择性地忽略访问许可。