公开(公告)号：CN102314394A

公开(公告)日：2012-01-11

申请号：CN201110190783.0

申请日：2011-06-27

Applicant: 微软公司

Inventor： Y·张 ,  H·沙菲 ,  K·S·赛德奇

IPC: G06F11/36

CPC classification number: G06F11/3636 ,  G06F11/3624

Abstract: 本发明描述了数据范围化的动态数据竞争检测。公开了带有减小运行时开销的数据范围化能力的动态共享存储器数据竞争检测工具。该工具允许用户使用对库中所提供的作为竞争检测工具的一部分的函数的显式调用来将对存储器位置的分析限制于其感兴趣的堆和/或栈变量。操纵应用程序代码来在所有存储器指令处插入探测，并且与数据竞争检测库链接以执行数据范围化的竞争检测。

公开(公告)号：CN102289347A

公开(公告)日：2011-12-21

申请号：CN201110170811.2

申请日：2011-06-14

Applicant: 微软公司

Inventor： E·G·埃塞 ,  I·奥斯特罗夫斯基 ,  P·纳格帕尔 ,  H·S·伊尔蒂兹 ,  H·沙菲 ,  W·T·科尔伯恩

IPC: G06F3/048 ,  G06F9/46

CPC classification number: G06F11/323 ,  G06F11/3409 ,  G06F11/3476 ,  G06F2201/86

Abstract: 本发明延及用于使用用户可见事件来指示并行操作的方法、系统和计算机程序产品。事件标记可被用来指示执行的抽象的外层以及展示并行处理系统(包括提供数据并行性的系统)的内部细节。事件标记可被用来示出各种执行特性，包括用于指示执行程序(例如，查询)的开始和结束的更高级标记。在执行程序(查询)内部，各单独的分叉/联合操作可以用标记的各子级来指示以展示它们的操作。执行引擎所作出的附加决定，如在各元素最初生产时、在各查询重叠或嵌套时、在查询被取消时、在查询转成串行操作时、在需要提早归并或重新划分时，也可被展示。