-
公开(公告)号：CN105074667A
公开(公告)日：2015-11-18
申请号：CN201480004082.5
申请日：2014-01-03
Applicant: 微软技术许可有限责任公司
Inventor： G·S·凯岑伯格 , J·P·帕森斯 , A·D·布罗姆菲尔德 , J·J·达菲 , K·J·克瓦利纳
IPC: G06F9/52
CPC classification number: G06F17/30286 , G06F9/52
Abstract: 特定类型的类型定义，以使相应的对象图的不同部分可以具有在实例化期间被分配给那些部分的不同许可。这允许结构化许可被应用于那些已定义类型的对象图的实例化，从而允许对于对象图的哪些部分实施哪些访问许可进行细粒度控制。在一些实施例中，对象图的不同实例化可以不同地应用许可。
-
Patent Agency Ranking
公开(公告)号：CN102395979B
公开(公告)日：2016-04-20
申请号：CN201080017093.9
申请日：2010-04-01
Applicant: 微软技术许可有限责任公司
IPC: G06F9/52
CPC classification number: G06F9/52
Abstract: 用隔离许可修饰符标记对象引用。可以包括至少两种许可，且在示例中包括三种许可。在实现各许可时，定义用于控制通过指向对象的引用访问类型成员的类型修饰符。类型修饰符中的一个与类型名称的每次出现相关联。类型修饰符中的每一个定义不同的访问许可以便限制对引用指向的对象的操作。
-
公开(公告)号：CN105210035A
公开(公告)日：2015-12-30
申请号：CN201480004086.3
申请日：2014-01-03
Applicant: 微软技术许可有限责任公司
Inventor： J·P·帕森斯 , J·J·达菲 , G·S·凯岑伯格 , A·D·布罗姆菲尔德 , Y·罗岑菲尔德
IPC: G06F9/45
Abstract: 通过指定表示资源的引用的寿命来提高系统编程中的安全性的语言扩展。根据语言扩展，寿命以这样的方式引用特定作用域，其中编译器生成将引用的寿命强制执行为基于特定作用域的寿命(例如，不比其长)的计算机可执行指令。相应地，可以预先指定资源寿命具有特定作用域。这会帮助执行资源管理，因为典型的受管理的语言程序可以允许资源无限制地存在。此外，由于资源具有定义的有限寿命，因此，它们可以更方便地在栈上(而不是在对上)被分配，以便更有效的处理。
-
公开(公告)号：CN105164642A
公开(公告)日：2015-12-16
申请号：CN201480014378.5
申请日：2014-03-11
Applicant: 微软技术许可有限责任公司
Inventor： J·J·达菲 , J·P·帕森斯 , C·S·戈登 , A·D·布罗姆菲尔德 , M·塔耶费尔 , D·A·巴尔托落梅奥 , M·巴尼特
IPC: G06F9/45
CPC classification number: G06F8/41 , G06F8/436 , G06F8/52 , G06F9/45512 , G06F9/54
Abstract: 前端编译器将源代码编译成中间代码，该中间代码之后被编译成二进制代码。源代码定义执行作用域并包括合同。当在执行作用域的运行时遇到合同时，对该执行作用域的进一步执行以与该合同相关联的断言是否为真作为条件。前端编译器操作以便保留合同从而使该合同在语义上继续被结构化，以使得可以从中间语言代码去除该断言。该合同可因此继续被合同的语义分析所理解。因此，该断言可以被操作中间代码的静态分析工具理解。
-
公开(公告)号：CN105051695A
公开(公告)日：2015-11-11
申请号：CN201480003955.0
申请日：2014-01-03
Applicant: 微软技术许可有限责任公司
IPC: G06F9/54
CPC classification number: G06F15/167 , G06F9/544 , G06F12/0253
Abstract: 不可变缓冲区的环境和使用。计算实体获取数据或生成数据，并将该数据填充到缓冲区，在这之后该缓冲区被分类成不可变的。该分类保护填充在不可变缓冲区中的数据在该不可变缓冲区的寿命期间免于改变，并且还保护不可变缓冲区在该不可变缓冲区的寿命期间免于改变其物理地址。在不同的计算实体使用来自不可变缓冲区的数据时，它们通过视图提供实体所提供的视图来这样做。不可变缓冲区体系结构还可被用于流传输数据，其中流传输数据中的每一分量使用不可变缓冲区。因此，不同计算实体可以不同地查看不可变数据，而不必实际上复制该数据。
-
公开(公告)号：CN105074667B
公开(公告)日：2018-12-21
申请号：CN201480004082.5
申请日：2014-01-03
Applicant: 微软技术许可有限责任公司
Inventor： G·S·凯岑伯格 , J·P·帕森斯 , A·D·布罗姆菲尔德 , J·J·达菲 , K·J·克瓦利纳
IPC: G06F9/52
Abstract: 特定类型的类型定义，以使相应的对象图的不同部分可以具有在实例化期间被分配给那些部分的不同许可。这允许结构化许可被应用于那些已定义类型的对象图的实例化，从而允许对于对象图的哪些部分实施哪些访问许可进行细粒度控制。在一些实施例中，对象图的不同实例化可以不同地应用许可。
-
-
-
-
-
Search Results
16
records
(took 0.025 seconds)
