Lightweight transactional memory for data parallel programming
    1.
    发明授权
    Lightweight transactional memory for data parallel programming 有权
    用于数据并行编程的轻量级事务存储器

    公开(公告)号:US08806495B2

    公开(公告)日:2014-08-12

    申请号:US11824311

    申请日:2007-06-29

    IPC分类号: G06F9/46

    摘要: Described is a technology by which alternative use for transactional memory is provided, namely implementing atomic work items that are run asynchronously from their creation in a thread. Described are mechanisms by which threads control the work items that they have created. Atomic work items are scheduled on worker threads managed by the language's runtime system. Atomic work items can use retry to express condition synchronization, providing a general mechanism for controlling when and in what order they are executed. Work items may be grouped, with coordination managed among the grouped work items. Also described by way of example is a highly-parallel implementation of a Chaff satisfiability solver, comprising an example of an important group of applications, including theorem provers and constraint optimization systems.

    摘要翻译: 描述了一种通过其提供事务性存储器的替代使用的技术,即实现从线程中的创建异步运行的原子工作项。 描述了线程控制他们创建的工作项的机制。 原子工作项目被安排在由语言运行时系统管理的工作线程上。 原子工作项可以使用重试来表达条件同步,提供一种通用机制来控制它们执行的时间和顺序。 工作项目可以分组,在分组的工作项目之间进行协调管理。 还通过示例的方式描述了Chaff可满足性求解器的高度并行实现,其包括重要的应用组的示例,包括定理验证器和约束优化系统。

    Compiler support for optimizing decomposed software transactional memory operations
    2.
    发明授权
    Compiler support for optimizing decomposed software transactional memory operations 有权
    编译器支持优化分解的软件事务内存操作

    公开(公告)号:US08799882B2

    公开(公告)日:2014-08-05

    申请号:US11389451

    申请日:2006-03-23

    IPC分类号: G06F9/45

    CPC分类号: G06F9/466 G06F8/443

    摘要: A software transactional memory system is described which utilizes decomposed software transactional memory instructions as well as runtime optimizations to achieve efficient performance. The decomposed instructions allow a compiler with knowledge of the instruction semantics to perform optimizations which would be unavailable on traditional software transactional memory systems. Additionally, high-level software transactional memory optimizations are performed such as code movement around procedure calls, addition of operations to provide strong atomicity, removal of unnecessary read-to-update upgrades, and removal of operations for newly-allocated objects. During execution, multi-use header words for objects are extended to provide for per-object housekeeping, as well as fast snapshots which illustrate changes to objects. Additionally, entries to software transactional memory logs are filtered using an associative table during execution, preventing needless writes to the logs. Finally a garbage collector with knowledge of the software transactional memory system compacts software transactional memory logs during garbage collection.

    摘要翻译: 描述了一种软件事务存储系统,其利用分解的软件事务存储器指令以及运行时优化来实现有效的性能。 分解的指令允许具有指令语义的知识的编译器执行在传统的软件事务存储器系统上不可用的优化。 此外,执行高级软件事务内存优化,例如围绕过程调用的代码移动,添加提供强原子性的操作,去除不必要的读取到更新升级以及删除新分配的对象的操作。 在执行期间,对象的多用标题字进行扩展,以提供每个对象的内务管理,以及快速快照,用于说明对象的更改。 此外,软件事务内存日志的条目在执行期间使用关联表进行过滤,从而防止对日志的不必要的写入。 最后,具有软件事务内存系统知识的垃圾收集器在垃圾收集期间压缩了软件事务内存日志。

    System and method for generating a dynamic prioritized contact list
    3.
    发明授权
    System and method for generating a dynamic prioritized contact list 有权
    用于生成动态优先级联系人列表的系统和方法

    公开(公告)号:US08009678B2

    公开(公告)日:2011-08-30

    申请号:US11084463

    申请日:2005-03-17

    IPC分类号: H04L12/28

    摘要: A system and method for generating a dynamic prioritized contact list for a communication device. The dynamic prioritized contact list may vary over the course of the day to provide an optimized contact list for a time interval. A prioritized contact list generator determines a current time interval. The prioritized contact list generator monitors communications from one or more past time intervals to determine contact priority for the current time interval. A prioritized contact list is generated for the current time interval based on the contact priority. The prioritized contact list generator automatically updates the dynamic prioritized contact list with priority changes when the current time interval expires.

    摘要翻译: 一种用于为通信设备生成动态优先联系人列表的系统和方法。 动态优先联系人列表可能会在一天中变化,以便在一段时间间隔内提供优化的联系人列表。 优先联系人列表生成器确定当前时间间隔。 优先联系人列表生成器监视来自一个或多个过去时间间隔的通信,以确定当前时间间隔的联系人优先级。 基于联系优先级,为当前时间间隔生成优先级联系人列表。 当前时间间隔到期时,优先联系人列表生成器会自动更新具有优先级更改的动态优先级联系人列表。

    Filtering of transactional memory operations using associative tables
    4.
    发明授权
    Filtering of transactional memory operations using associative tables 有权
    使用关联表过滤事务内存操作

    公开(公告)号:US07590806B2

    公开(公告)日:2009-09-15

    申请号:US11390540

    申请日:2006-03-23

    IPC分类号: G06F13/00 G06F13/28

    摘要: A software transactional memory system is described which utilizes decomposed software transactional memory instructions as well as runtime optimizations to achieve efficient performance. The decomposed instructions allow a compiler with knowledge of the instruction semantics to perform optimizations which would be unavailable on traditional software transactional memory systems. Additionally, high-level software transactional memory optimizations are performed such as code movement around procedure calls, addition of operations to provide strong atomicity, removal of unnecessary read-to-update upgrades, and removal of operations for newly-allocated objects. During execution, multi-use header words for objects are extended to provide for per-object housekeeping, as well as fast snapshots which illustrate changes to objects. Additionally, entries to software transactional memory logs are filtered using an associative table during execution, preventing needless writes to the logs. Finally a garbage collector with knowledge of the software transactional memory system compacts software transactional memory logs during garbage collection.

    摘要翻译: 描述了一种软件事务存储系统,其利用分解的软件事务存储器指令以及运行时优化来实现有效的性能。 分解的指令允许具有指令语义的知识的编译器执行在传统的软件事务存储器系统上不可用的优化。 此外,执行高级软件事务内存优化,例如围绕过程调用的代码移动,添加提供强原子性的操作,去除不必要的读取到更新升级以及删除新分配的对象的操作。 在执行期间,对象的多用标题字进行扩展,以提供每个对象的内务管理,以及快速快照,用于说明对象的更改。 此外,软件事务内存日志的条目在执行期间使用关联表进行过滤,从而防止对日志的不必要的写入。 最后,具有软件事务内存系统知识的垃圾收集器在垃圾收集期间压缩了软件事务内存日志。

    System and method for automatically populating appointment fields
    5.
    发明授权
    System and method for automatically populating appointment fields 有权
    用于自动填充约会字段的系统和方法

    公开(公告)号:US07487456B2

    公开(公告)日:2009-02-03

    申请号:US11100674

    申请日:2005-04-06

    IPC分类号: G06F3/00

    CPC分类号: G06Q10/109

    摘要: A system and method for automatically populating appointment fields of an appointment template. A messaging client provides a message having message data associated with one or more fields. A field populator automatically transfers the message data associated with the one or more fields to an appropriate field of an appointment response. Time and place data is automatically transferred from a scheduler to an appropriate field of an appointment response.

    摘要翻译: 一种用于自动填充约会模板的约会字段的系统和方法。 消息传递客户端提供具有与一个或多个字段相关联的消息数据的消息。 字段填充程序自动将与一个或多个字段相关联的消息数据传送到约定响应的适当字段。 时间和地点数据将自动从调度程序传输到约会响应的适当字段。

    System and method for zooming an object through spiral interaction
    6.
    发明授权
    System and method for zooming an object through spiral interaction 有权
    通过螺旋交互来缩放对象的系统和方法

    公开(公告)号:US07456849B2

    公开(公告)日:2008-11-25

    申请号:US11106901

    申请日:2005-04-15

    IPC分类号: G09G5/00 G06F3/033

    摘要: A system and method for zooming an object through a spiral movement of a pointer. The method provides three-dimensional interaction with an object in response to a two-dimensional pointer input. The method includes monitoring pointer movements to determine whether a movement indicates a spiral movement. When a spiral movement is determined an object is zoomed. A clockwise spiral movement may zoom an object inwardly and a counterclockwise movement may zoom an object outwardly. A non-spiral movement may pan the object.

    摘要翻译: 一种用于通过指针的螺旋运动来缩放对象的系统和方法。 该方法响应于二维指针输入提供与对象的三维交互。 该方法包括监视指针运动以确定运动是否指示螺旋运动。 当确定螺旋运动时,物体被放大。 顺时针螺旋运动可以向内缩放物体,逆时针运动可以向外放大物体。 非螺旋运动可以平移对象。

    Lightweight transactional memory for data parallel programming
    7.
    发明申请
    Lightweight transactional memory for data parallel programming 有权
    用于数据并行编程的轻量级事务存储器

    公开(公告)号:US20080120455A1

    公开(公告)日:2008-05-22

    申请号:US11824311

    申请日:2007-06-29

    IPC分类号: G06F13/00 G06F12/00 G06F13/28

    摘要: Described is a technology by which alternative use for transactional memory is provided, namely implementing atomic work items that are run asynchronously from their creation in a thread. Described are mechanisms by which threads control the work items that they have created. Atomic work items are scheduled on worker threads managed by the language's runtime system. Atomic work items can use retry to express condition synchronization, providing a general mechanism for controlling when and in what order they are executed. Work items may be grouped, with coordination managed among the grouped work items. Also described by way of example is a highly-parallel implementation of a Chaff satisfiability solver, comprising an example of an important group of applications, including theorem provers and constraint optimization systems.

    摘要翻译: 描述了一种通过其提供事务性存储器的替代使用的技术,即实现从线程中的创建异步运行的原子工作项。 描述了线程控制他们创建的工作项的机制。 原子工作项目被安排在由语言运行时系统管理的工作线程上。 原子工作项可以使用重试来表达条件同步,提供一种通用机制来控制它们执行的时间和顺序。 工作项目可以分组,在分组的工作项目之间进行协调管理。 还通过示例的方式描述了Chaff可满足性求解器的高度并行实现,其包括重要的应用组的示例,包括定理验证器和约束优化系统。

    Apparatus and method for generating reports from a shared list of parameters
    8.
    发明申请
    Apparatus and method for generating reports from a shared list of parameters 有权
    用于从共享参数列表生成报告的装置和方法

    公开(公告)号:US20070143332A1

    公开(公告)日:2007-06-21

    申请号:US11304503

    申请日:2005-12-14

    IPC分类号: G06F17/00

    CPC分类号: G06Q10/10

    摘要: A computer readable medium comprises executable instructions to form a list of parameters for a report. The list of parameters is compared to existing lists of parameters. A selected list of parameters is designated. A report is generated with the selected list of parameters.

    摘要翻译: 计算机可读介质包括可执行指令以形成报告的参数列表。 将参数列表与现有参数列表进行比较。 指定选定的参数列表。 使用所选参数列表生成报告。

    Scalable storage devices
    9.
    发明授权
    Scalable storage devices 有权
    可扩展存储设备

    公开(公告)号:US08677068B2

    公开(公告)日:2014-03-18

    申请号:US13702976

    申请日:2011-06-17

    IPC分类号: G06F13/00 G06F13/28 G06F12/10

    摘要: Techniques using scalable storage devices represent a plurality of host-accessible storage devices as a single logical interface, conceptually aggregating storage implemented by the devices. A primary agent of the devices accepts storage requests from the host using a host-interface protocol, processing the requests internally and/or forwarding the requests as sub-requests to secondary agents of the storage devices using a peer-to-peer protocol. The secondary agents accept and process the sub-requests, and report sub-status information for each of the sub-requests to the primary agent and/or the host. The primary agent optionally accumulates the sub-statuses into an overall status for providing to the host. Peer-to-peer communication between the agents is optionally used to communicate redundancy information during host accesses and/or failure recoveries. Various failure recovery techniques reallocate storage, reassign agents, recover data via redundancy information, or any combination thereof.

    摘要翻译: 使用可伸缩存储设备的技术将多个主机可访问存储设备表示为单个逻辑接口,在概念上聚合由设备实现的存储。 设备的主代理使用主机接口协议接收来自主机的存储请求,在内部处理请求和/或使用对等协议将请求作为子请求转发到存储设备的次要代理。 辅助代理接受和处理子请求,并将每个子请求的子状态信息报告给主代理和/或主机。 主代理可选地将子状态累加到提供给主机的总体状态。 代理之间的对等通信可选地用于在主机访问和/或故障恢复期间传送冗余信息。 各种故障恢复技术重新分配存储,重新分配代理,通过冗余信息恢复数据,或其任何组合。