利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

36 条记录 (耗时 0.048 秒)

    EFFICIENT ROLLBACK AND RETRY OF CONFLICTED SPECULATIVE THREADS WITH HARDWARE SUPPORT
    4.
    发明申请
    EFFICIENT ROLLBACK AND RETRY OF CONFLICTED SPECULATIVE THREADS WITH HARDWARE SUPPORT 有权
    具有硬件支持的冲击式螺旋线的有效回滚和恢复

    公开(公告)号：US20140123152A1

    公开(公告)日：2014-05-01

    申请号：US13844402

    申请日：2013-03-15

    申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION

    发明人： Khaled A. Mohammed ,  Martin Ohmacht ,  Raul E. Silvera ,  Kai-Ting A. Wang

    IPC分类号： G06F9/50

    CPC分类号： G06F9/3861 ,  G06F9/3842 ,  G06F9/3851 ,  G06F9/3863 ,  G06F9/4843 ,  G06F9/4881 ,  G06F9/5011 ,  G06F9/52

    摘要： A method for rolling back speculative threads in symmetric-multiprocessing (SMP) environments is disclosed. In one embodiment, such a method includes detecting an aborted thread at runtime and determining whether the aborted thread is an oldest aborted thread. In the event the aborted thread is the oldest aborted thread, the method sets a high-priority request for allocation to an absolute thread number associated with the oldest aborted thread. The method further detects that the high-priority request is set and, in response, clears the high-priority request and sets an allocation token to the absolute thread number associated with the oldest aborted thread, thereby allowing the oldest aborted thread to retry a work unit associated with the absolute thread number. A corresponding apparatus and computer program product are also disclosed.

    摘要翻译： 公开了一种在对称多处理（SMP）环境中回滚推测线程的方法。 在一个实施例中，这种方法包括在运行时检测中止的线程并且确定被中止的线程是否是最旧的中止线程。 如果中止的线程是最早中止的线程，则该方法设置高优先级请求以分配给与最早中止线程相关联的绝对线程号。 该方法还检测到高优先级请求被设置，并且作为响应，清除高优先级请求并将分配令牌设置为与最早中止的线程相关联的绝对线程号，从而允许最早中止的线程重试工作 与绝对线程数相关的单位。 还公开了相应的装置和计算机程序产品。

    Transactional lock elision with delayed lock checking
    5.
    发明授权
    Transactional lock elision with delayed lock checking 有权
    事务锁定与延迟锁定检查

    公开(公告)号：US09529838B2

    公开(公告)日：2016-12-27

    申请号：US14227420

    申请日：2014-03-27

    申请人： International Business Machines Corporation

    发明人： Maged M. Michael ,  Marcel Mitran ,  Martin Ohmacht ,  Kai-Ting Amy Wang

    IPC分类号： G06F17/30 ,  G06F9/46 ,  G06F9/52

    CPC分类号： G06F9/524 ,  G06F3/0619 ,  G06F3/0637 ,  G06F3/0644 ,  G06F3/067 ,  G06F9/466 ,  G06F9/467 ,  G06F12/1475 ,  G06F17/30362 ,  G06F2212/1052

    摘要： Avoiding data conflicts includes initiating a transactional lock elision transaction containing a critical section, executing the transactional lock elision transaction including the critical section, and checking a status of a lock prior to a commit point in the transactional lock elision transaction executing, wherein the checking the status occurs after processing the critical section. A determination of whether the status of the lock checked is free is made and responsive to a determination the lock checked is free, a result of the transactional lock elision transaction is committed.

    摘要翻译： 避免数据冲突包括启动包含关键部分的事务锁定解决事务，执行包括关键部分的事务锁定解决事务，以及在事务锁定精灵事务执行之前的提交点之前检查锁定的状态，其中，检查 处理关键部分后发生状态。 确定所检查的锁的状态是否空闲，并且响应于所检查的锁定的确定是空闲的，事件锁定解除事务的结果被提交。

    Efficient rollback and retry of conflicted speculative threads using distributed tokens
    8.
    发明授权
    Efficient rollback and retry of conflicted speculative threads using distributed tokens 有权
    使用分布式令牌高效回滚并重试冲突的投机线索

    公开(公告)号：US08990819B2

    公开(公告)日：2015-03-24

    申请号：US13730427

    申请日：2012-12-28

    申请人： International Business Machines Corporation

    发明人： Martin Ohmacht ,  Raul E. Silvera ,  Mark G. Stoodley ,  Kai-Ting A. Wang

    IPC分类号： G06F9/48 ,  G06F9/44

    CPC分类号： G06F9/3861 ,  G06F9/3842 ,  G06F9/3863 ,  G06F9/4843 ,  G06F9/4881 ,  G06F9/5011 ,  G06F9/52

    摘要： A method for rolling back speculative threads in symmetric-multiprocessing (SMP) environments is disclosed. In one embodiment, such a method includes detecting an aborted thread at runtime and determining whether the aborted thread is an oldest aborted thread. In the event the aborted thread is the oldest aborted thread, the method sets a high-priority request for allocation to an absolute thread number associated with the oldest aborted thread. The method further detects that the high-priority request is set and, in response, modifies a local allocation token of the oldest aborted thread. The modification prompts the oldest aborted thread to retry a work unit associated with its absolute thread number. The oldest aborted thread subsequently initiates the retry of a successor thread by updating the successor thread's local allocation token. A corresponding apparatus and computer program product are also disclosed.

    摘要翻译： 公开了一种在对称多处理（SMP）环境中回滚推测线程的方法。 在一个实施例中，这种方法包括在运行时检测中止的线程并且确定被中止的线程是否是最旧的中止线程。 如果中止的线程是最早中止的线程，则该方法设置高优先级请求以分配给与最早中止线程相关联的绝对线程号。 该方法还检测到设置了高优先级请求，并且作为响应，修改了最早中止的线程的本地分配令牌。 修改提示最旧的中止线程重试与其绝对线程号相关联的工作单元。 最旧的中止线程随后通过更新后续线程的本地分配令牌来启动后续线程的重试。 还公开了相应的装置和计算机程序产品。

    MULTIPROCESSOR SYSTEM WITH MULTIPLE CONCURRENT MODES OF EXECUTION
    9.
    发明申请
    MULTIPROCESSOR SYSTEM WITH MULTIPLE CONCURRENT MODES OF EXECUTION 有权
    具有多个并发模式的多处理器系统

    公开(公告)号：US20140207987A1

    公开(公告)日：2014-07-24

    申请号：US14143783

    申请日：2013-12-30

    申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION

    发明人： Daniel Ahn ,  Luis H. Ceze ,  Dong Chen Chen ,  Alan Gara ,  Philip Heidelberger ,  Martin Ohmacht

    IPC分类号： G06F9/52

    CPC分类号： G06F9/524 ,  G06F12/08

    摘要： A multiprocessor system supports multiple concurrent modes of speculative execution. Speculation identification numbers (IDs) are allocated to speculative threads from a pool of available numbers. The pool is divided into domains, with each domain being assigned to a mode of speculation. Modes of speculation include TM, TLS, and rollback. Allocation of the IDs is carried out with respect to a central state table and using hardware pointers. The IDs are used for writing different versions of speculative results in different ways of a set in a cache memory.

    摘要翻译： 多处理器系统支持多种并发模式的推测执行。 投机标识号（ID）从可用数字池中分配给投机线程。 池被分为域，每个域被分配到一种投机模式。 投机模式包括TM，TLS和回滚。 对于中央状态表并使用硬件指针执行ID的分配。 ID用于以高速缓冲存储器中的集合的不同方式写入不同版本的推测结果。