-
公开(公告)号:CN105103136B
公开(公告)日:2018-07-27
申请号:CN201480004068.5
申请日:2014-01-03
申请人: 微软技术许可有限责任公司
发明人: M·塔耶费尔
CPC分类号: G06F12/0253 , G06F12/0261 , G06F12/12 , G06F12/1416
摘要: 种受管存储器,其中多个计算实体各自具有服从垃圾收集的对应的实体专用部分。不可变缓冲区位于受管存储器之外。对于给定的计算实体,对应的受管存储器部分包含能由特定的计算实体访问但不能由其他多个计算实体访问的实体专用对象。对于实体专用的受管存储器部分中的个或多个,该部分还包括对共享存储器(诸如不可变缓冲区)的引用。该引用被结构化为被垃圾收集器忽略,尽管该引用可以表现为如受管存储器部分中的正常对象那样。因而,制造统的存储器访问模型是可能的,在其中用于计算实体访问受管存储器中的常规对象的方法与该计算实体如何访问共享存储器类似。
-
公开(公告)号:CN102395979B
公开(公告)日:2016-04-20
申请号:CN201080017093.9
申请日:2010-04-01
申请人: 微软技术许可有限责任公司
IPC分类号: G06F9/52
CPC分类号: G06F9/52
摘要: 用隔离许可修饰符标记对象引用。可以包括至少两种许可,且在示例中包括三种许可。在实现各许可时,定义用于控制通过指向对象的引用访问类型成员的类型修饰符。类型修饰符中的一个与类型名称的每次出现相关联。类型修饰符中的每一个定义不同的访问许可以便限制对引用指向的对象的操作。
-
公开(公告)号:CN105164642A
公开(公告)日:2015-12-16
申请号:CN201480014378.5
申请日:2014-03-11
申请人: 微软技术许可有限责任公司
发明人: J·J·达菲 , J·P·帕森斯 , C·S·戈登 , A·D·布罗姆菲尔德 , M·塔耶费尔 , D·A·巴尔托落梅奥 , M·巴尼特
IPC分类号: G06F9/45
CPC分类号: G06F8/41 , G06F8/436 , G06F8/52 , G06F9/45512 , G06F9/54
摘要: 前端编译器将源代码编译成中间代码,该中间代码之后被编译成二进制代码。源代码定义执行作用域并包括合同。当在执行作用域的运行时遇到合同时,对该执行作用域的进一步执行以与该合同相关联的断言是否为真作为条件。前端编译器操作以便保留合同从而使该合同在语义上继续被结构化,以使得可以从中间语言代码去除该断言。该合同可因此继续被合同的语义分析所理解。因此,该断言可以被操作中间代码的静态分析工具理解。
-
公开(公告)号:CN105051695A
公开(公告)日:2015-11-11
申请号:CN201480003955.0
申请日:2014-01-03
申请人: 微软技术许可有限责任公司
IPC分类号: G06F9/54
CPC分类号: G06F15/167 , G06F9/544 , G06F12/0253
摘要: 不可变缓冲区的环境和使用。计算实体获取数据或生成数据,并将该数据填充到缓冲区,在这之后该缓冲区被分类成不可变的。该分类保护填充在不可变缓冲区中的数据在该不可变缓冲区的寿命期间免于改变,并且还保护不可变缓冲区在该不可变缓冲区的寿命期间免于改变其物理地址。在不同的计算实体使用来自不可变缓冲区的数据时,它们通过视图提供实体所提供的视图来这样做。不可变缓冲区体系结构还可被用于流传输数据,其中流传输数据中的每一分量使用不可变缓冲区。因此,不同计算实体可以不同地查看不可变数据,而不必实际上复制该数据。
-
公开(公告)号:CN105164642B
公开(公告)日:2019-02-19
申请号:CN201480014378.5
申请日:2014-03-11
申请人: 微软技术许可有限责任公司
发明人: J·J·达菲 , J·P·帕森斯 , C·S·戈登 , A·D·布罗姆菲尔德 , M·塔耶费尔 , D·A·巴尔托落梅奥 , M·巴尼特
IPC分类号: G06F9/4401
摘要: 前端编译器将源代码编译成中间代码,该中间代码之后被编译成二进制代码。源代码定义执行作用域并包括合同。当在执行作用域的运行时遇到合同时,对该执行作用域的进一步执行以与该合同相关联的断言是否为真作为条件。前端编译器操作以便保留合同从而使该合同在语义上继续被结构化,以使得可以从中间语言代码去除该断言。该合同可因此继续被合同的语义分析所理解。因此,该断言可以被操作中间代码的静态分析工具理解。
-
公开(公告)号:CN105229600A
公开(公告)日:2016-01-06
申请号:CN201480003951.2
申请日:2014-01-03
申请人: 微软技术许可有限责任公司
CPC分类号: G06F9/4411 , G06F9/4403 , G06F9/545
摘要: 对硬件驱动程序施加限制。该方法包括从系统内核将I/O资源分配给系统的根总线。从根总线,该方法还包括将I/O资源的子集分配给设备总线。将I/O资源的子集分配给设备总线包括将设备总线限于只能分配被根总线分配给它的I/O资源。从该设备总线,该方法包括通过设备接口将I/O资源分配给设备。
-
公开(公告)号:CN105103126A
公开(公告)日:2015-11-25
申请号:CN201480004110.3
申请日:2014-01-03
申请人: 微软技术许可有限责任公司
发明人: M·塔耶费尔
IPC分类号: G06F9/45
CPC分类号: G06F12/0813 , G06F8/315 , G06F8/437 , G06F9/30192 , G06F12/145
摘要: 描述了受管代码系统中的类型铸造。受管代码系统包括受管存储器以及位于受管存储器之外的共享存储器。受管存储器具有多个受管存储器部分,每一受管存储器部分对应于一计算实体,诸如进程。类型系统准许使用类型铸造从共享存储器获得数据以藉此向数据指派支持类型铸造的类型。该类型是满足允许该类型被指派同时维持类型安全性的某些要求的有效类型的铸造类型。
-
公开(公告)号:CN105051695B
公开(公告)日:2019-07-02
申请号:CN201480003955.0
申请日:2014-01-03
申请人: 微软技术许可有限责任公司
IPC分类号: G06F9/54
CPC分类号: G06F15/167 , G06F9/544 , G06F12/0253
摘要: 不可变缓冲区的环境和使用。计算实体获取数据或生成数据,并将该数据填充到缓冲区,在这之后该缓冲区被分类成不可变的。该分类保护填充在不可变缓冲区中的数据在该不可变缓冲区的寿命期间免于改变,并且还保护不可变缓冲区在该不可变缓冲区的寿命期间免于改变其物理地址。在不同的计算实体使用来自不可变缓冲区的数据时,它们通过视图提供实体所提供的视图来这样做。不可变缓冲区体系结构还可被用于流传输数据,其中流传输数据中的每一分量使用不可变缓冲区。因此,不同计算实体可以不同地查看不可变数据,而不必实际上复制该数据。
-
公开(公告)号:CN101689136B
公开(公告)日:2016-03-30
申请号:CN200880022262.0
申请日:2008-06-12
申请人: 微软技术许可有限责任公司
发明人: M·塔耶费尔
IPC分类号: G06F12/00
CPC分类号: G06F9/526 , G06F9/4488
摘要: 公开了用于提供事务存储器的对象模型的各种技术和方法。事务存储器的对象模型允许将事务语义与程序流分开。使用该对象模型创建的存储器事务对象可在实例化执行范围之外生存,这允许提供和控制关于存储器事务的附加细节。事务存储器甚至可得到不直接展示事务存储器构造的语言的支持。通过在一个或多个基类库中定义该对象模型并且允许不直接支持事务存储器的语言通过该对象模型使用事务存储器来使之成为可能。
-
公开(公告)号:CN105229600B
公开(公告)日:2019-07-05
申请号:CN201480003951.2
申请日:2014-01-03
申请人: 微软技术许可有限责任公司
IPC分类号: G06F9/4401 , G06F9/54
CPC分类号: G06F9/4411 , G06F9/4403 , G06F9/545
摘要: 对硬件驱动程序施加限制。该方法包括从系统内核将I/O资源分配给系统的根总线。从根总线,该方法还包括将I/O资源的子集分配给设备总线。将I/O资源的子集分配给设备总线包括将设备总线限于只能分配被根总线分配给它的I/O资源。从该设备总线,该方法包括通过设备接口将I/O资源分配给设备。
-
-
-
-
-
-
-
-
-