公开(公告)号：CN101286123B

公开(公告)日：2013-02-06

申请号：CN200710306288.5

申请日：2007-12-28

Applicant: 英特尔公司

Inventor： B·萨哈 ,  A-R·阿德-塔巴塔巴伊 ,  C·王 ,  Y·吴 ,  W-Y·陈

IPC: G06F9/46

CPC classification number: G06F8/458 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/3834 ,  G06F9/3859 ,  G06F9/3863 ,  G06F9/467

Abstract: 在此描述了一种用于软件事务存储器(STM)系统中的高效且一致的验证/冲突检测的方法和装置。在加载操作之后插入版本检查屏障，以比较加载操作前后的加载值的版本。另外，全局时间戳(GTS)被用来跟踪最新提交的事务。每个事务都与在事务开始时被初始化为GTS值的局部时间戳(LTS)相关联。随着事务提交，将GTS更新为新值并将所修改的单元的版本设置为该新值。未决事务将在读屏障中确定的版本与它们的LTS进行比较。如果该版本大于它们的LTS，这指示出另一事务已在未决事务开始且初始化LTS之后被提交，则该未决事务验证其读集以保持高效且一致的事务执行。

公开(公告)号：CN101322103B

公开(公告)日：2013-01-02

申请号：CN200680045097.1

申请日：2006-12-14

Applicant: 英特尔公司

Inventor： H·H·阿卡瑞 ,  A-R·阿德-塔巴塔巴伊 ,  B·萨哈 ,  R·拉吉瓦

IPC: G06F9/52

CPC classification number: G06F9/467 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/3834 ,  G06F9/3842 ,  G06F9/3857 ,  G06F12/0831 ,  G06F12/1027

Abstract: 描述了用于提供无约束事务存储器系统的方法和装置。在一个实施例中，如果先前的一个硬件事务存储器(HTM)访问操作失败，则与一个软件事务存储器(STM)访问相对应的操作可被执行。

公开(公告)号：CN101317160B

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

申请号：CN200680044905.2

申请日：2006-12-15

Applicant: 英特尔公司

Inventor： L·彼得森 ,  B·萨哈 ,  A-R·阿德-塔巴塔巴伊

IPC: G06F11/14

CPC classification number: G06F11/141

Abstract: 描述了一种用于高效地执行嵌套事务的方法和装置。为事务的执行提供了硬件支持。此外，通过采用在本地存储器中记录紧接在当前嵌套事务之前的上一个值、以及存储与事务层次结构相关联的处理程序堆栈，有可能高效地执行嵌套事务。一旦嵌套事务内出现故障、中止、或无效事件/访问，在嵌套事务执行期间被写入的变量或存储单元的状态被回滚到紧接在该嵌套事务之前的状态，而不是一直回到在一个包含性事务之前所述变量或存储单元的原始状态。从而，可以在包含性事务内重新执行嵌套事务，而不会将包含式事务和嵌套事务扁平化而重新执行一切。

公开(公告)号：CN101322103A

公开(公告)日：2008-12-10

申请号：CN200680045097.1

申请日：2006-12-14

Applicant: 英特尔公司

Inventor： H·H·阿卡瑞 ,  A-R·阿德-塔巴塔巴伊 ,  B·萨哈 ,  R·拉吉瓦

IPC: G06F9/52

CPC classification number: G06F9/467 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/3834 ,  G06F9/3842 ,  G06F9/3857 ,  G06F12/0831 ,  G06F12/1027

Abstract: 描述了用于提供无约束事务存储器系统的方法和装置。在一个实施例中，如果先前的一个硬件事务存储器(HTM)访问操作失败，则与一个软件事务存储器(STM)访问相对应的操作可被执行。

公开(公告)号：CN101317160A

公开(公告)日：2008-12-03

申请号：CN200680044905.2

申请日：2006-12-15

Applicant: 英特尔公司

Inventor： L·彼得森 ,  B·萨哈 ,  A-R·阿德-塔巴塔巴伊

IPC: G06F11/14

CPC classification number: G06F11/141

Abstract: 描述了一种用于高效地执行嵌套事务的方法和装置。为事务的执行提供了硬件支持。此外，通过采用在本地存储器中记录紧接在当前嵌套事务之前的上一个值、以及存储与事务层次结构相关联的处理程序堆栈，有可能高效地执行嵌套事务。一旦嵌套事务内出现故障、中止、或无效事件/访问，在嵌套事务执行期间被写入的变量或存储单元的状态被回滚到紧接在该嵌套事务之前的状态，而不是一直回到在一个包含性事务之前所述变量或存储单元的原始状态。从而，可以在包含性事务内重新执行嵌套事务，而不会将包含式事务和嵌套事务扁平化而重新执行一切。

公开(公告)号：CN103765380B

公开(公告)日：2017-07-28

申请号：CN201280042605.6

申请日：2012-06-29

Applicant: 英特尔公司

Inventor： R·L·法雷尔 ,  A-R·阿德-塔巴塔巴伊 ,  A·科克

IPC: G06F9/06 ,  G06F9/44

CPC classification number: G06F9/544 ,  G06F9/545

Abstract: 用于促进在第一处理单元中执行的用户级应用程序为第二处理单元安全地对工作或任务进行排队，而不执行任何环变换的方法和系统。例如，在本发明的一个实施例中，第一处理单元执行一个或多个用户级应用程序，其中每个用户级应用程序具有将卸载到第二处理单元的任务。在本发明的一个实施例中，第一处理单元用信号通知第二处理单元处理来自每个用户级应用程序的任务，而不执行任何环变换。

公开(公告)号：CN103150206B

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

申请号：CN201210567556.X

申请日：2007-12-28

Applicant: 英特尔公司

Inventor： B·萨哈 ,  A-R·阿德-塔巴塔巴伊 ,  C·王 ,  Y·吴 ,  W-Y·陈

IPC: G06F9/46 ,  G06F9/52

CPC classification number: G06F8/458 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/3834 ,  G06F9/3859 ,  G06F9/3863 ,  G06F9/467

Abstract: 在此描述了一种用于软件事务存储器(STM)系统中的高效且一致的验证/冲突检测的方法和装置。在加载操作之后插入版本检查屏障，以比较加载操作前后的加载值的版本。另外，全局时间戳(GTS)被用来跟踪最新提交的事务。每个事务都与在事务开始时被初始化为GTS值的局部时间戳(LTS)相关联。随着事务提交，将GTS更新为新值并将所修改的单元的版本设置为该新值。未决事务将在读屏障中确定的版本与它们的LTS进行比较。如果该版本大于它们的LTS，这指示出另一事务已在未决事务开始且初始化LTS之后被提交，则该未决事务验证其读集以保持高效且一致的事务执行。

公开(公告)号：CN103150206A

公开(公告)日：2013-06-12

申请号：CN201210567556.X

申请日：2007-12-28

Applicant: 英特尔公司

Inventor： B·萨哈 ,  A-R·阿德-塔巴塔巴伊 ,  C·王 ,  Y·吴 ,  W-Y·陈

IPC: G06F9/46 ,  G06F9/52

CPC classification number: G06F8/458 ,  G06F9/3004 ,  G06F9/30087 ,  G06F9/3834 ,  G06F9/3859 ,  G06F9/3863 ,  G06F9/467

Abstract: 在此描述了一种用于软件事务存储器(STM)系统中的高效且一致的验证/冲突检测的方法和装置。在加载操作之后插入版本检查屏障，以比较加载操作前后的加载值的版本。另外，全局时间戳(GTS)被用来跟踪最新提交的事务。每个事务都与在事务开始时被初始化为GTS值的局部时间戳(LTS)相关联。随着事务提交，将GTS更新为新值并将所修改的单元的版本设置为该新值。未决事务将在读屏障中确定的版本与它们的LTS进行比较。如果该版本大于它们的LTS，这指示出另一事务已在未决事务开始且初始化LTS之后被提交，则该未决事务验证其读集以保持高效且一致的事务执行。

公开(公告)号：CN101495968B

公开(公告)日：2013-05-29

申请号：CN200780002017.9

申请日：2007-02-06

Applicant: 英特尔公司

Inventor： B·萨哈 ,  A-R·阿德-塔巴塔巴伊 ,  Q·雅各布森

IPC: G06F9/46

CPC classification number: G06F13/4243 ,  G06F9/3834 ,  G06F9/466 ,  G06F9/526

Abstract: 一种用于加速事务的执行的方法和装置。仅在第一次在事务中访问共享存储器行时，调用/执行与事务中的存储器访问所存取的共享存储器行相关联的屏障。提供了硬件支持，例如事务字段/事务位，以确定访问是否是在事务的未决状态期间对共享存储器行的第一次访问。另外，在积极操作模式中，在提交时不对表示存储在共享存储器行中的元素的版本的版本号进行存储和有效确认，以节省有效确认的成本。而且，即使在谨慎模式中，如果在事务的执行期间没有出现对所访问的共享存储器行的驱逐，则其存储版本号以执行有效确认，不会造成有效确认的开支。

公开(公告)号：CN101310258A

公开(公告)日：2008-11-19

申请号：CN200680042986.2

申请日：2006-12-06

Applicant: 英特尔公司

Inventor： B·萨哈 ,  A-R·阿德-塔巴塔巴伊

IPC: G06F9/52

CPC classification number: G06F9/467

Abstract: 对于在程序的基于软件的事务内存系统(STM)所定义的(STM定义的)临界区域中至少被访问一次的变量，通过以下操作来修改在任何STM定义的临界区域系统之外发生的对所述变量的访问，所述操作包括：开始基于硬件的基于事务内存的事务；在所述基于硬件的基于事务内存的事务内，检查所述变量当前是否被STM事务所拥有；如果所述变量当前不被STM事务所拥有，则执行所述访问，然后提交所述基于硬件的事务内存事务；以及如果所述变量当前被STM事务所拥有，则执行响应操作。