公开(公告)号：CN105103126B

公开(公告)日：2018-10-12

申请号：CN201480004110.3

申请日：2014-01-03

Applicant: 微软技术许可有限责任公司

Inventor： M·塔耶费尔

IPC: G06F8/41

Abstract: 描述了受管代码系统中的类型铸造。受管代码系统包括受管存储器以及位于受管存储器之外的共享存储器。受管存储器具有多个受管存储器部分，每一受管存储器部分对应于一计算实体，诸如进程。类型系统准许使用类型铸造从共享存储器获得数据以藉此向数据指派支持类型铸造的类型。该类型是满足允许该类型被指派同时维持类型安全性的某些要求的有效类型的铸造类型。

公开(公告)号：CN105103136A

公开(公告)日：2015-11-25

申请号：CN201480004068.5

申请日：2014-01-03

Applicant: 微软技术许可有限责任公司

Inventor： M·塔耶费尔

IPC: G06F12/02 ,  G06F13/28

CPC classification number: G06F12/0253 ,  G06F12/0261 ,  G06F12/12 ,  G06F12/1416

Abstract: 一种受管存储器，其中多个计算实体各自具有服从垃圾收集的对应的实体专用部分。不可变缓冲区位于受管存储器之外。对于给定的计算实体，对应的受管存储器部分包含能由特定的计算实体访问但不能由其他多个计算实体访问的实体专用对象。对于实体专用的受管存储器部分中的一个或多个，该部分还包括对共享存储器(诸如不可变缓冲区)的引用。该引用被结构化为被垃圾收集器忽略，尽管该引用可以表现为如受管存储器部分中的正常对象那样。因而，制造统一的存储器访问模型是可能的，在其中用于计算实体访问受管存储器中的常规对象的方法与该计算实体如何访问共享存储器类似。

公开(公告)号：CN105103134A

公开(公告)日：2015-11-25

申请号：CN201480004057.7

申请日：2014-01-03

Applicant: 微软技术许可有限责任公司

Inventor： M·塔耶费尔 ,  J·于 ,  J·J·达菲 ,  S·E·特洛布里奇 ,  A·D·布罗姆菲尔德

IPC: G06F11/36

CPC classification number: G06F11/0772 ,  G06F8/4442 ,  G06F11/3612

Abstract: 处理程序执行中的错误。该方法包括标识包括多个显式地标识出的失败状况的集合。该方法进一步包括确定已发生了这些显式标识出的失败状况中的一个或多个。结果，该方法进一步包括停止预定的第一计算执行范围，并向另一计算范围通知该失败状况。一替换实施例可在计算环境中实施，并包括处理错误的方法。该方法包括标识包括多个显式地标识出的失败状况的集合。该方法进一步包括确定已发生了不在该包括多个显式地标识出的失败状况的集合中的错误状况。作为结果，该方法进一步包括停止预定的第一计算执行范围，并向另一计算范围通知该失败状况。