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

说明书

背景

用于共享存储器的多处理器的并发编程可以包括供多个线程访问相同的数据的能力。多个线程在涉及在各处理器当中共享存储器系统的多个处理器、多个处理器核或其他类别的并行硬件体系结构上执行。共享存储器模型是多线程化通信的最常见的部署方法。在这样的系统中，并发线程可以尝试访问和修改共享存储器中的相同数据，且常常使用对实际共享硬件设备上的存储器位置和输入/输出的修改来实现功能。这两种技术都有副作用。由于同时访问这些共享资源，副作用可以在并发编程中引起竞争情况和其他不期望的效果。

实现并发编程中的主要困难涉及管制对这些共享资源的访问以便避免不期望的效果。开发者常常依赖于一种形式的同步来得到并发安全性。同步常常涉及锁的使用，锁是确保数据不能被同时访问的悲观并发控制机制的一种形式；这保证读取数据的线程将不会看到正被另一线程更新的状态。同步常常以性能和可扩展性为代价提供安全性。诸如那些基于乐观并发控制(例软件事务存储器)等的较新的同步技术提供了比锁优越的性能和可扩展性。但是所有现代同步机制，即使是乐观并发控制，都最终在并发编程中引起问题：在线程等待另一线程时，可扩展性下降；共享存储器系统使用在各线程共享对存储器的访问时其性能显著下降的高速缓存；等等。

概述

提供本概述以便以简化的形式介绍将在以下的详细描述中进一步描述的一些概念。本概述并不旨在标识出所要求保护的主题的关键特征或必要特征，也不旨在用于限定所要求保护的主题的范围。

用隔离许可修饰符标记对象引用，隔离许可修饰符指示该引用的什么接收者可以处置该引用指向的对象。多种许可可以被包括在一个许可集中。贯穿本公开内容使用的示例中，该集合中包括三种许可。更具体地，许可包括不可变许可、读许可和写许可。例如，不可变引用指向可能在并发线程之间共享的对象，其中通过该引用访问不改变的状态。读引用指向不存在并发写的、可能在并发线程之间共享的对象。并且，写引用指向不共享或者共享但是包括独占访问的对象。

附图简述

包括附图来提供了对各实施例的进一步理解，且这些附图被合并在本发明书内并构成其一部分。附图示出各实施例，并且与说明书一起用于解释本发明的原理。其他实施例和各实施例的许多预期优点将随着参考下面的详细描述进行更好的理解而得到认识。附图的元素不一定相对于彼此而缩放。相同的附图标记指代对应的类似部分。

图1是示出示例计算系统的框图。

图2是示出在诸如图1的计算系统等的计算系统上操作的托管环境的一个示例实施例的框图。

图3是示出诸如图2的托管环境等的托管环境的方法的示例实施例的流程图。

详细描述

在以下具体实施例中，对附图进行了参考，附图构成了实施例的一部分且在其中作为示例示出了可在其中实践本发明的各特定实施例。就此，诸如“顶部”、“底部”、“前方”、“后方”、“前导”、“尾部”等的方向性术语参考正在描述的附图的方向来使用。因为实施例的各组件可位于多个不同的方向，所以方向性术语出于说明的目的来使用而不是限制。可以理解，可以使用其它实施例并且可以做出结构上或逻辑上的改变而不背离本发明的范围。因此，以下详细描述并不旨在限制，并且本发明的范围由所附权利要求来限定。应该理解，此处描述的各示例性实施例的特征可相互组合，除非另外具体注明。

图1示出了可用作操作环境并且包括诸如计算设备100之类的计算设备的示例性计算机系统。在一基本配置中，计算设备100通常包括具有至少两个处理单元(即，处理器102)的处理器体系结构以及存储器104。取决于计算设备的确切配置和类型，存储器104可以是易失性的(如随机存取存储器(RAM))、非易失性的(诸如只读存储器(ROM)、闪存等)或两者的某种组合。该基本配置在图1中由虚线106来例示。该计算设备可采取若干形式中的一种或多种。这些形式包括个人计算机、服务器、手持式设备、消费电子产品能(诸如视频游戏控制台)或其他设备。