会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明授权
    • Software assisted nested hardware transactions
    • 软件辅助嵌套硬件事务
    • US07730286B2
    • 2010-06-01
    • US11323092
    • 2005-12-30
    • Leaf PetersenBratin SahaAli-Reza Adl-tabatabai
    • Leaf PetersenBratin SahaAli-Reza Adl-tabatabai
    • G06F9/46
    • 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.
    • 这里描述用于有效执行嵌套事务的方法和装置。 提供了执行交易的硬件支持。 另外,通过在本地存储器中的当前嵌套事务之前使用先前的值记录以及与事务层次结构相关联的处理程序堆栈的存储,可以有效地执行嵌套事务。 在嵌套事务中出现故障,中止或无效事件/访问时,在嵌套事务执行期间写入的变量或内存位置的状态将回滚到嵌套事务之前,而不是一直返回到 包含事务之前的变量或内存位置的原始状态。 因此,嵌套事务可能会在封闭事务中重新执行,而不会使包围和嵌套事务变扁,以重新执行所有事务。
    • 2. 发明申请
    • 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.
    • 这里描述用于有效执行嵌套事务的方法和装置。 提供了执行交易的硬件支持。 另外,通过在本地存储器中的当前嵌套事务之前使用先前的值记录以及与事务层次结构相关联的处理程序堆栈的存储,可以有效地执行嵌套事务。 在嵌套事务中出现故障,中止或无效事件/访问时,在嵌套事务执行期间写入的变量或内存位置的状态将回滚到嵌套事务之前,而不是一直返回到 包含事务之前的变量或内存位置的原始状态。 因此,嵌套事务可能会在封闭事务中重新执行,而不会使包围和嵌套事务变扁,以重新执行所有事务。
    • 5. 发明授权
    • Safe code-motion of dangerous instructions during compiler optimization
    • 编译器优化过程中危险指令的安全代码运动
    • US07810086B2
    • 2010-10-05
    • US11172675
    • 2005-06-30
    • Brian R. MurphyVijay S. MenonTatiana ShpeismanAli-Reza Adl-TabatabaLeaf Petersen
    • Brian R. MurphyVijay S. MenonTatiana ShpeismanAli-Reza Adl-TabatabaLeaf Petersen
    • G06F9/45
    • G06F8/443
    • A compiler can perform aggressive code motion optimization by respecting value dependence of safety values inserted into the intermediate representation of a computer program. In one embodiment, the present invention includes converting a computer program into an intermediate representation, the intermediate representation containing at least one safety check ensuring the safety of at least one dangerous instruction. In one embodiment, the invention further includes defining a safety value in the intermediate representation as the safety check and including the safety value as a safety argument of the dangerous instruction. In one embodiment, it is determined that the safety check is redundant. In response, in one embodiment, the invention includes updating the safety argument of the dangerous instruction, and eliminating the safety check from the intermediate representation during the safety check elimination optimization. Other embodiments are described and claimed.
    • 编译器可以通过考虑插入到计算机程序的中间表示中的安全值的值依赖性来执行积极的代码运动优化。 在一个实施例中,本发明包括将计算机程序转换为中间表示,所述中间表示包含至少一个确保至少一个危险指令的安全性的安全检查。 在一个实施例中,本发明还包括将中间表示中的安全值定义为安全检查,并将安全值作为危险指令的安全性参数。 在一个实施例中,确定安全检查是多余的。 作为响应,在一个实施例中,本发明包括更新危险指令的安全性参数,并且在安全检查消除优化期间从中间表示中消除安全检查。 描述和要求保护其他实施例。
    • 6. 发明申请
    • Safe code-motion of dangerous instructions during compiler optimization
    • 编译器优化过程中危险指令的安全代码运动
    • US20070006187A1
    • 2007-01-04
    • US11172675
    • 2005-06-30
    • Brian MurphyVijay MenonTatiana ShpeismanAli-Reza Adl-TabatabaLeaf Petersen
    • Brian MurphyVijay MenonTatiana ShpeismanAli-Reza Adl-TabatabaLeaf Petersen
    • G06F9/45
    • G06F8/443
    • A compiler can perform aggressive code motion optimization by respecting value dependence of safety values inserted into the intermediate representation of a computer program. In one embodiment, the present invention includes converting a computer program into an intermediate representation, the intermediate representation containing at least one safety check ensuring the safety of at least one dangerous instruction. In one embodiment, the invention further includes defining a safety value in the intermediate representation as the safety check and including the safety value as a safety argument of the dangerous instruction. In one embodiment, it is determined that the safety check is redundant. In response, in one embodiment, the invention includes updating the safety argument of the dangerous instruction, and eliminating the safety check from the intermediate representation during the safety check elimination optimization. Other embodiments are described and claimed.
    • 编译器可以通过考虑插入到计算机程序的中间表示中的安全值的值依赖性来执行积极的代码运动优化。 在一个实施例中,本发明包括将计算机程序转换为中间表示,所述中间表示包含至少一个确保至少一个危险指令的安全性的安全检查。 在一个实施例中,本发明还包括将中间表示中的安全值定义为安全检查,并将安全值作为危险指令的安全性参数。 在一个实施例中,确定安全检查是多余的。 作为响应,在一个实施例中,本发明包括更新危险指令的安全性参数,并且在安全检查消除优化期间从中间表示中消除安全检查。 描述和要求保护其他实施例。