-
公开(公告)号: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: 特定类型的类型定义,以使相应的对象图的不同部分可以具有在实例化期间被分配给那些部分的不同许可。这允许结构化许可被应用于那些已定义类型的对象图的实例化,从而允许对于对象图的哪些部分实施哪些访问许可进行细粒度控制。在一些实施例中,对象图的不同实例化可以不同地应用许可。
-
公开(公告)号:CN105210035A
公开(公告)日:2015-12-30
申请号:CN201480004086.3
申请日:2014-01-03
Applicant: 微软技术许可有限责任公司
Inventor: J·P·帕森斯 , J·J·达菲 , G·S·凯岑伯格 , A·D·布罗姆菲尔德 , Y·罗岑菲尔德
IPC: G06F9/45
Abstract: 通过指定表示资源的引用的寿命来提高系统编程中的安全性的语言扩展。根据语言扩展,寿命以这样的方式引用特定作用域,其中编译器生成将引用的寿命强制执行为基于特定作用域的寿命(例如,不比其长)的计算机可执行指令。相应地,可以预先指定资源寿命具有特定作用域。这会帮助执行资源管理,因为典型的受管理的语言程序可以允许资源无限制地存在。此外,由于资源具有定义的有限寿命,因此,它们可以更方便地在栈上(而不是在对上)被分配,以便更有效的处理。
-
公开(公告)号: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: 特定类型的类型定义,以使相应的对象图的不同部分可以具有在实例化期间被分配给那些部分的不同许可。这允许结构化许可被应用于那些已定义类型的对象图的实例化,从而允许对于对象图的哪些部分实施哪些访问许可进行细粒度控制。在一些实施例中,对象图的不同实例化可以不同地应用许可。
-
-