公开(公告)号：CN103620553A

公开(公告)日：2014-03-05

申请号：CN201280028424.8

申请日：2012-05-29

Applicant: 微软公司

Inventor： A·K·阿加瓦尔 ,  W·朱 ,  Y·莱瓦诺尼

IPC: G06F9/30 ,  G06F9/45

CPC classification number: G06F9/44521 ,  G06F8/443 ,  G06F9/44542 ,  G06F9/4552

Abstract: 本发明涉及用于在运行时处绑定可执行代码的方法、系统和计算机程序产品。本发明的实施例包括对代码指定方面的后绑定以改善执行性能。运行时基于运行时信息动态地绑定较低级代码以优化较高级算法的执行。对执行性能有必要（例如，较高）影响的较高级算法的方面可以是后绑定的目标。通过使用对具有必要执行性能影响的方面的后绑定可以用最小的运行时间成本实现改善的性能。

公开(公告)号：CN102637136A

公开(公告)日：2012-08-15

申请号：CN201110428634.3

申请日：2011-12-19

Applicant: 微软公司

Inventor： A·K·阿加瓦尔 ,  T·P·多舍尔 ,  P·梅比

IPC: G06F9/45

CPC classification number: G06F11/3624 ,  G06F8/41

Abstract: 本发明公开了融合来自不同编译器阶段的调试信息。本发明涉及用于融合来自不同编译器阶段的调试信息的各方法、系统和计算机程序产品。本发明的各实施例在代码生成过程中将来自多个不同编译阶段的调试信息融合为单个调试信息集。该单个调试信息集直接在输入至第一编译阶段的指令和符号(例如，源代码)与从最后的编译阶段输出的指令和符号(例如，机器码)之间映射。

公开(公告)号：CN103620554A

公开(公告)日：2014-03-05

申请号：CN201280029279.5

申请日：2012-06-05

Applicant: 微软公司

Inventor： A·K·阿加瓦尔 ,  W·朱 ,  Y·莱瓦诺尼

IPC: G06F9/30 ,  G06F9/46 ,  G06F12/00

CPC classification number: G06F8/51 ,  G06F9/44536

Abstract: 本发明涉及用于将缓冲区别名化的方法、系统和计算机程序产品。本发明的实施例通过如下方式来支持缓冲区别名化：引入源程序的缓冲区访问与目标可执行物理缓冲区之间的间接等级；以及在运行时将逻辑缓冲区访问绑定到实际物理缓冲区访问。可以将多种支持缓冲区的运行时别名化的技术用在原本不允许目标可执行代码的单独定义的缓冲区之间的这样的运行时别名化的系统中。源程序中的逻辑缓冲区访问到目标可执行代码中定义的实际物理缓冲区之间的绑定被延迟直到运行时。