会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 73. 发明申请
    • Software assisted nested hardware transactions
    • 软件辅助嵌套硬件事务
    • US20070162520A1
    • 2007-07-12
    • US11323092
    • 2005-12-30
    • Leaf PetersenBratin SahaAli-Reza Adl-tabatabai
    • Leaf PetersenBratin SahaAli-Reza Adl-tabatabai
    • G06F17/30
    • G06F11/141
    • A method and apparatus for efficiently executing nested transactions is herein described. Hardware support for execution of transactions is provided. Additionally, through the use of logging previous values immediately before a current nested transaction in a local memory and storage of a stack of handlers associated with a hierarchy of transactions, nested transactions are potentially efficiently executed. Upon a failure, abort, or invalidating event/access within a nested transaction, the state of variables or memory locations written to during execution of the nested transaction are rolled-back to immediately before the nested transaction, instead of all the way back to an original state of the variables or memory locations before an enclosing transaction. As a result, nested transactions may be re-executed within enclosing transactions, without flattening the enclosing and nested transactions to re-execute everything.
    • 这里描述用于有效执行嵌套事务的方法和装置。 提供了执行交易的硬件支持。 另外,通过在本地存储器中的当前嵌套事务之前使用先前的值记录以及与事务层次结构相关联的处理程序堆栈的存储,可以有效地执行嵌套事务。 在嵌套事务中出现故障,中止或无效事件/访问时,在嵌套事务执行期间写入的变量或内存位置的状态将回滚到嵌套事务之前,而不是一直返回到 包含事务之前的变量或内存位置的原始状态。 因此,嵌套事务可能会在封闭事务中重新执行,而不会使包围和嵌套事务变扁,以重新执行所有事务。
    • 74. 发明申请
    • Protecting shared variables in a software transactional memory system
    • 保护软件事务内存系统中的共享变量
    • US20070156780A1
    • 2007-07-05
    • US11305634
    • 2005-12-16
    • Bratin SahaAli-Reza Adl-Tabatabai
    • Bratin SahaAli-Reza Adl-Tabatabai
    • G06F17/30
    • G06F9/467
    • For a variable accessed at least once in a software-based transactional memory system (STM) defined (STM-defined) critical region of a program, modifying an access to the variable that occurs outside any STM-defined critical region system by starting a hardware based transactional memory based transaction, within the hardware based transactional memory based transaction, checking if the variable is currently owned by a STM transaction, checking if the variable is currently owned by a STM transaction; if the variable is not currently owned by a STM transaction, performing the access and then committing the hardware based transactional memory transaction; and if the variable is currently owned by a STM transaction, performing a responsive action.
    • 对于在程序的基于软件的事务存储系统(STM)定义(STM)定义的关键区域中至少访问一次的变量,通过启动硬件来修改对任何STM定义的关键区域系统之外发生的变量的访问 在基于硬件的基于事务内存的事务中,检查变量当前是否由STM事务拥有,检查变量当前是否由STM事务拥有; 如果该变量当前不属于STM事务,则执行该访问,然后提交基于硬件的事务内存事务; 并且如果变量当前由STM事务所拥有,则执行响应动作。
    • 79. 发明授权
    • Mechanism for software transactional memory commit/abort in unmanaged runtime environment
    • 在非托管运行时环境中软件事务内存提交/中止的机制
    • US08132158B2
    • 2012-03-06
    • US11648005
    • 2006-12-28
    • Cheng WangYoufeng WuBratin SahaAli-Reza Adl-Tabatabai
    • Cheng WangYoufeng WuBratin SahaAli-Reza Adl-Tabatabai
    • G06F9/44
    • G06F9/3004G06F9/30087G06F9/3842G06F9/3863G06F9/466
    • A method and apparatus for ensuring integrity of transaction exit functions is herein described. Dead local data in a transaction is prevented from overwriting local variables associated with a transaction exit function. In a write-buffering Software Transactional Memory (STM) system, a commit function is associated with a private stack to store local variables to ensure write-back of local dead data in a write-buffer does not corrupt the commit function. Similarly, in a roll-back STM, an abort function is associated with a private stack to store local variables to ensure the roll-back of a program stack with local dead data from a write log does not corrupt the abort function. Alternatively, one stack may be used for the transaction including a first function and an exit function. Here, local dead variables are detected and prevented from overwriting local variables of the exit function.
    • 这里描述了用于确保交易退出功能的完整性的方法和装置。 防止事务中的死地方数据覆盖与事务退出功能相关联的局部变量。 在写缓冲软件事务内存(STM)系统中,提交函数与专用堆栈相关联,以存储局部变量,以确保写缓冲区中的本地死数据的写回不会损坏提交函数。 类似地,在回滚STM中,中止功能与专用堆栈相关联以存储局部变量,以确保来自写入日志的本地死亡数据的程序堆栈的回滚不会破坏中止功能。 或者,可以将一个堆栈用于包括第一功能和退出功能的交易。 这里,检测并防止局部死变量覆盖退出函数的局部变量。