-
公开(公告)号:CN102177502B
公开(公告)日:2017-05-03
申请号:CN200980140371.7
申请日:2009-09-30
Applicant: 微软技术许可有限责任公司
CPC classification number: G06F8/73
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: 特定类型的类型定义,以使相应的对象图的不同部分可以具有在实例化期间被分配给那些部分的不同许可。这允许结构化许可被应用于那些已定义类型的对象图的实例化,从而允许对于对象图的哪些部分实施哪些访问许可进行细粒度控制。在一些实施例中,对象图的不同实例化可以不同地应用许可。
-
公开(公告)号:CN105144098B
公开(公告)日:2018-11-13
申请号:CN201480003944.2
申请日:2014-01-03
Applicant: 微软技术许可有限责任公司
Inventor: J·J·达菲 , J·P·帕森斯 , M·辛兹 , A·D·布罗姆菲尔德 , K·J·克瓦利纳
IPC: G06F8/30
Abstract: 本发明描述了可以在系统编程中提升安全性的语言扩展,在其中在该类型的所有实例不可变的情况下,整个类型可以被声明为不可变。不可变类型声明自动地使该类型的任何实例被视为不可变,并且自动使实例的所有直接或间接可达的成员(例如,字段、方法、属性)也被视为不可变。而且,允许实例的字段分配的任何构造时间引用不被允许超出实例变得对创建者可访问的点而继续存在。相应地,该实例以及相同类型的任何其他实例将会自构造时刻起不可变。将所有这种实例归类为不可变的能力是有利的,因为不可变性质允许由于资源访问安全而通常不会被允许的动作。
-
公开(公告)号:CN105144098A
公开(公告)日:2015-12-09
申请号:CN201480003944.2
申请日:2014-01-03
Applicant: 微软技术许可有限责任公司
Inventor: J·J·达菲 , J·P·帕森斯 , M·辛兹 , A·D·布罗姆菲尔德 , K·J·克瓦利纳
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: 特定类型的类型定义,以使相应的对象图的不同部分可以具有在实例化期间被分配给那些部分的不同许可。这允许结构化许可被应用于那些已定义类型的对象图的实例化,从而允许对于对象图的哪些部分实施哪些访问许可进行细粒度控制。在一些实施例中,对象图的不同实例化可以不同地应用许可。
-
-
-
-