公开(公告)号：CN102279765B

公开(公告)日：2016-08-03

申请号：CN201110170869.7

申请日：2011-06-13

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

Inventor： S·比斯沃斯 ,  D·L·德特勒夫斯 ,  B·T·福斯托尔 ,  R·克里希纳斯瓦米 ,  K·B·弗雷

IPC: G06F9/45

CPC classification number: G06F9/45516

Abstract: 在此描述托存预编译系统，该托存预编译系统提供了允许提前编译在主机中运行的托管代码的方式。在可获得任何配置设置之后，主机在应用程序运行时触发提前编译。主机可以选择要编译哪些模块、何时编译它们、以及在什么地方持久存储所生成的映像。在检测到模块加载时，主机能够触发预编译，为加载器提供模块现有的预编译映像，或者不做任何事情。运行时环境/平台确认任何主机供应的预编译映像的完整性，并提供应用程序编程接口(API)以便告知主机映像何时变得无效和加载失败。该平台也提供API以便使主机在与主机相关的任何时刻触发对二进制代码的编译，并同步地或在后台进程中生成映像。

公开(公告)号：CN102270128B

公开(公告)日：2016-12-07

申请号：CN201110159919.1

申请日：2011-06-03

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

Inventor： R·拜尔斯 ,  F·佩斯彻-盖里 ,  R·克里希纳斯瓦米

IPC: G06F9/44 ,  G06F9/45

CPC classification number: G06F8/36 ,  G06F8/75

Abstract: 本发明公开了库一致性检查器。库管理系统可比较编程库之间的合约，以标识库之间的并集、交集及差集。管理系统可带有合约分析器，该合约分析器可从现有的库中移除合约定义以形成库合约。库合约可作为编程环境内的第一类项来管理，并且可被用作比较库的现有版本与新版本的参考。库管理系统可使用两个或多个相交的库来创建引用库，以供程序员编写应用程序以及其他用途。