-
公开(公告)号:CN101495976B
公开(公告)日:2011-11-09
申请号:CN200680026687.X
申请日:2006-07-28
申请人: 微软公司
发明人: T·L·哈里斯
IPC分类号: G06F13/00
CPC分类号: G06F9/467 , Y10S707/99938 , Y10S707/99939
摘要: 一种事务存储器编程接口允许线程在事务内直接并安全地访问一个或多个共享存储器位置,同时维护控制结构来管理一个或多个其它并发线程对这些相同位置的存储器访问。该线程访问的每一存储器位置与一登记记录相关联,并且每一线程维护其存储器访问的事务日志。在一事务内,读操作直接在存储器位置上执行,而写操作直接在存储器位置而非某一中间缓冲区上尝试。该线程可检测存储器位置的登记记录与线程的事务日志之间的不一致性,以确定事务内的存储器访问是否不可靠以及是否应重试事务。
-
公开(公告)号:CN101467134B
公开(公告)日:2011-03-30
申请号:CN200780021274.7
申请日:2007-06-07
申请人: 特拉博斯股份有限公司
发明人: 马蒂·哈利沃里
CPC分类号: G06F12/0246 , G06F9/466 , G06F9/467 , G06F11/1471 , G06F11/1474 , G06Q20/341 , G06Q20/346 , G06Q20/35765 , G07F7/084 , G07F7/1008
摘要: 本发明涉及用于在闪存类型存储器设备中处理事务的方法和装置,其中该事务是包括一个或多个子操作的数据更新和/或改变操作,为了将所讨论的事务视为已全部成功完成,必须成功地执行全部所述子操作。在根据本发明的方案中,不仅将存在于闪存类型存储器设备中的存储块的特定于存储块的状态信息(131)用来管理存在于该存储块中的负载数据(141),也用来管理整个事务。因此,不需要一个独立的对事务的状态簿记,从而减少了事务中所需的读取和写入操作的数量。
-
公开(公告)号:CN101807169A
公开(公告)日:2010-08-18
申请号:CN201010144199.7
申请日:2005-09-30
申请人: 英特尔公司
IPC分类号: G06F12/02
CPC分类号: G06F12/0806 , G06F9/3004 , G06F9/30043 , G06F9/30087 , G06F9/30145 , G06F9/3834 , G06F9/3857 , G06F9/3859 , G06F9/467 , G06F9/528 , G06F12/0831 , G06F12/084 , G06F12/0848 , G06F2212/60 , G06F2212/621
摘要: 本发明的实施方案涉及在计算机系统中事务型存储器访问的混合硬件软件实现。包括事务型缓存和常规缓存在内的处理器被用在包括策略管理器的计算机系统中,所述策略管理器选择第一模式(硬件模式)和第二模式(软件模式)之一来实现事务型存储器访问。在硬件模式中,事务型缓存被用来执行读写存储器操作,在软件模式中,常规缓存被用来执行读写存储器操作。
-
公开(公告)号:CN101788922A
公开(公告)日:2010-07-28
申请号:CN200910005955.5
申请日:2009-01-22
申请人: 国际商业机器公司
发明人: 王华勇
IPC分类号: G06F9/46
CPC分类号: G06F9/467 , G06F9/3842 , G06F9/3851 , G06F9/528
摘要: 一种在支持同时多线程的处理器中执行事务的方法,包括:建立用于执行事务的主软件线程和用于执行屏障功能的辅助软件线程,利用多个硬件线程执行主软件线程和辅助软件线程;执行主软件线程;如果主软件线程遇到需要读取/写入数据的事务加载/存储操作,则判断是否需要执行屏障功能;如果需要执行屏障功能,则执行以下步骤:停止主软件线程;激活辅助软件线程以执行屏障功能;在辅助软件线程执行屏障功能完成之后,退出辅助软件线程;以及继续执行主软件线程。由此,本发明利用多个硬件线程实现屏障功能,从而避免了重新编译过程中带来的麻烦,并且保证了在数据访问过程中对冲突的检测。
-
公开(公告)号:CN101689138A
公开(公告)日:2010-03-31
申请号:CN200880022416.6
申请日:2008-06-16
申请人: 微软公司
IPC分类号: G06F12/00
CPC分类号: G06F17/30356 , G06F9/467 , G06F17/30362
摘要: 公开了用于在事务存储器系统中检测嵌套子事务的错误地破坏的父事务的各种技术和方法。在回退嵌套事务时,在给定嵌套事务由于回退而每一次释放写锁定时跟踪释放计数。例如,可以使用写异常中止补偿映射来跟踪每一嵌套事务的释放计数。嵌套事务释放写锁定的次数被记录在它们相应的写异常中止补偿映射中。可以在父事务的确认期间使用释放计数来确定失败的乐观读取事实上是否有效。如果嵌套子事务的聚集的释放计数是造成版本号差的原因,则乐观读取是有效的。
-
公开(公告)号:CN101681293A
公开(公告)日:2010-03-24
申请号:CN200880018481.1
申请日:2008-05-30
申请人: 微软公司
IPC分类号: G06F12/00
摘要: 公开了用于在事务存储器系统中创建和/或定位事务代码块的各种技术和方法。诸如软件开发者等用户可以用标识符来装饰特定函数以便指示该特定函数是事务安全的。接着创建软件应用程序中的被标记为事务安全的每一个函数的普通版本和事务版本。创建未被标记为事务安全的每一个函数的普通版本。对于被标记为事务安全的每一个函数的普通版本,该普通版本中的存根指针指向事务版本。然后取决于执行上下文来调用该函数的适当的版本。
-
公开(公告)号:CN101587447A
公开(公告)日:2009-11-25
申请号:CN200810109178.4
申请日:2008-05-23
申请人: 国际商业机器公司
IPC分类号: G06F9/46
CPC分类号: G06F9/528 , G06F9/30087 , G06F9/30189 , G06F9/3834 , G06F9/3842 , G06F9/467 , G06F2209/507
摘要: 本发明提供了一种具有溢出预测机制的支持事务存储的系统,包括:预测单元,用于根据事务先前执行的执行结束状态预测所述事务的下一次执行模式;执行单元,用于在预测单元所预测的执行模式下执行所述事务,其中所述执行模式包括溢出模式和非溢出模式。根据本发明,可以在事务执行之前预测事务是否将溢出,从而节省了为了判断溢出所必须执行的一次运行,并因此提高了性能。
-
公开(公告)号:CN101495976A
公开(公告)日:2009-07-29
申请号:CN200680026687.X
申请日:2006-07-28
申请人: 微软公司
发明人: T·L·哈里斯
IPC分类号: G06F13/00
CPC分类号: G06F9/467 , Y10S707/99938 , Y10S707/99939
摘要: 一种事务存储器编程接口允许线程在事务内直接并安全地访问一个或多个共享存储器位置,同时维护控制结构来管理一个或多个其它并发线程对这些相同位置的存储器访问。该线程访问的每一存储器位置与一登记记录相关联,并且每一线程维护其存储器访问的事务日志。在一事务内,读操作直接在存储器位置上执行,而写操作直接在存储器位置而非某一中间缓冲区上尝试。该线程可检测存储器位置的登记记录与线程的事务日志之间的不一致性,以确定事务内的存储器访问是否不可靠以及是否应重试事务。
-
公开(公告)号:CN101326494A
公开(公告)日:2008-12-17
申请号:CN200680046532.2
申请日:2006-12-05
申请人: 英特尔公司
发明人: A·-R·阿德尔-塔巴塔拜 , B·萨哈 , R·L·哈森 , H·阿卡里 , R·拉瓦
IPC分类号: G06F9/52
CPC分类号: G06F9/467 , G06F12/0815 , G06F2212/507
摘要: 提供了用于协调硬件事务存储器事务和软件事务存储器事务对存储单元的访问的方法、系统和程序。在硬件事务存储器中执行的硬件事务发起访问存储单元的请求。响应由在软件事务存储器中执行的一个软件事务进行的操作,将错误返回到硬件事务请求。
-
公开(公告)号:CN101286123A
公开(公告)日:2008-10-15
申请号:CN200710306288.5
申请日:2007-12-28
申请人: 英特尔公司
发明人: B·萨哈 , A-R·阿德-塔巴塔巴伊 , C·王 , Y·吴 , W-Y·陈
IPC分类号: G06F9/46
CPC分类号: G06F8/458 , G06F9/3004 , G06F9/30087 , G06F9/3834 , G06F9/3859 , G06F9/3863 , G06F9/467
摘要: 在此描述了一种用于软件事务存储器(STM)系统中的高效且一致的验证/冲突检测的方法和装置。在加载操作之后插入版本检查屏障,以比较加载操作前后的加载值的版本。另外,全局时间戳(GTS)被用来跟踪最新提交的事务。每个事务都与在事务开始时被初始化为GTS值的局部时间戳(LTS)相关联。随着事务提交,将GTS更新为新值并将所修改的单元的版本设置为该新值。未决事务将在读屏障中确定的版本与它们的LTS进行比较。如果该版本大于它们的LTS,这指示出另一事务已在未决事务开始且初始化LTS之后被提交,则该未决事务验证其读集以保持高效且一致的事务执行。
-
-
-
-
-
-
-
-
-