公开(公告)号：CN102402479B

公开(公告)日：2015-09-16

申请号：CN201110306939.7

申请日：2011-09-27

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

Inventor： A·格林高泽 ,  H·K·罗德

IPC: G06F11/36

CPC classification number: G06F11/3608 ,  G06F8/443 ,  G06F8/75

Abstract: 一种用于静态分析的中间表示结构。对源或程序代码的中间表示的分析。访问并静态地分析源或程序代码的初始中间表示的初始版本。对于该初始版本的一个或多个部分，分析组件查询提供了与该部分相对应的补充中间表示的分析时间解决组件。该补充的中间表示提供了有关该部分的进一步的清晰性，并且还被分析。如果找到缺陷，就报告它们。

公开(公告)号：CN102664746B

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

申请号：CN201110436632.9

申请日：2011-12-13

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

Inventor： H·K·罗德 ,  M·克纳 ,  K·K-B·马

IPC: H04L12/24

CPC classification number: G06F9/44 ,  G06F8/71 ,  G06F9/30 ,  G06F9/38 ,  G06F9/445 ,  G06F9/46 ,  H04L41/0859 ,  H04L41/0873 ,  H04L41/0893

Abstract: 本发明涉及用于分布式数据中心各分量的在全局上健全且一致的配置管理。数据中心配置需要被管理。配置引擎(CE)管理群集和/或数据中心的配置数据。CE允许用户登出、编辑、以及登入各配置分量。通过数据合同在各配置分量之间放置版本化的接口。CE支持确保跨各配置分量和版本的全局一致性的约束表达式，将数据中心中的变更与各配置分量中的结构变更隔离，并启用部分配置分支以允许启用配置回退的活动快照。CE确保在登入时各类型是一致的并且各约束是被满足的，以首先消除不健全或不一致的配置。在数据中心中的活动的配置变更时，可对一时间窗口同时部署配置的多个版本。在这些过渡窗口期间，配置的托管集合被准许具有多个活动的版本，以反映数据中心中的真实情况。