会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Method for guaranteeing program correctness using fine-grained hardware speculative execution
    • 使用细粒度硬件推测执行来保证程序正确性的方法
    • US09195550B2
    • 2015-11-24
    • US13020228
    • 2011-02-03
    • Dan TsafrirRobert W. Wisniewski
    • Dan TsafrirRobert W. Wisniewski
    • G06F11/08G06F11/14G06F9/38G06F12/08G06F9/46G06F9/52
    • G06F11/1489G06F9/3851G06F9/466G06F9/467G06F9/528G06F12/0842G06F12/0846
    • A method for checking program correctness may include executing a program on a main hardware thread in speculative execution mode on a hardware execution context on a chip having a plurality of hardware execution contexts. In this mode, the main hardware thread's state is not committed to main memory. Correctness checks by a plurality of helper threads are executed in parallel to the main hardware thread. Each helper thread runs on a separate hardware execution context on the chip in parallel with the main hardware thread. The correctness checks determine a safe point in the program up to which the operations executed by the main hardware thread are correct. Once the main hardware thread reaches the safe point, the mode of execution of the main hardware thread is switched to non-speculative. The runtime then causes the main thread to re-enter speculative mode of execution.
    • 用于检查程序正确性的方法可以包括在具有多个硬件执行上下文的芯片上的硬件执行上下文上以推测执行模式在主硬件线程上执行程序。 在这种模式下,主硬件线程的状态不会被提供给主内存。 多个辅助线程的正确性检查与主硬件线程并行执行。 每个辅助线程与主要硬件线程并行运行在芯片上的单独硬件执行环境上。 正确性检查确定程序中的安全点,主要硬件线程执行的操作是正确的。 一旦主要硬件线程到达安全点,主硬件线程的执行模式切换为非投机模式。 然后运行时使主线程重新输入推测的执行模式。
    • 7. 发明申请
    • METHOD FOR GUARANTEEING PROGRAM CORRECTNESS USING FINE-GRAINED HARDWARE SPECULATIVE EXECUTION
    • 使用细粒度分布式执行程序保证程序正确性的方法
    • US20120204065A1
    • 2012-08-09
    • US13020228
    • 2011-02-03
    • Dan TsafrirRobert W. Wisniewski
    • Dan TsafrirRobert W. Wisniewski
    • G06F11/36
    • G06F11/1489G06F9/3851G06F9/466G06F9/467G06F9/528G06F12/0842G06F12/0846
    • A method for checking program correctness may include executing a program on a main hardware thread in speculative execution mode on a hardware execution context on a chip having a plurality of hardware execution contexts. In this mode, the main hardware thread's state is not committed to main memory. Correctness checks by a plurality of helper threads are executed in parallel to the main hardware thread. Each helper thread runs on a separate hardware execution context on the chip in parallel with the main hardware thread. The correctness checks determine a safe point in the program up to which the operations executed by said main hardware thread are correct. Once the main hardware thread reaches the safe point, the mode of execution of the main hardware thread is switched to non-speculative. The runtime then causes the main thread to re-enter speculative mode of execution.
    • 用于检查程序正确性的方法可以包括在具有多个硬件执行上下文的芯片上的硬件执行上下文上以推测执行模式在主硬件线程上执行程序。 在这种模式下,主硬件线程的状态不会被提供给主内存。 多个辅助线程的正确性检查与主硬件线程并行执行。 每个辅助线程与主要硬件线程并行运行在芯片上的单独硬件执行环境上。 正确性检查确定程序中的安全点,所述主要硬件线程执行的操作是正确的。 一旦主要硬件线程到达安全点,主硬件线程的执行模式切换为非投机模式。 然后运行时使主线程重新输入推测的执行模式。
    • 8. 发明申请
    • METHOD AND APPARATUS FOR A HIERARCHICAL SYNCHRONIZATION BARRIER IN A MULTI-NODE SYSTEM
    • 多节点系统中分层同步障碍的方法与装置
    • US20120179896A1
    • 2012-07-12
    • US12987523
    • 2011-01-10
    • Valentina SalapuraRobert W. Wisniewski
    • Valentina SalapuraRobert W. Wisniewski
    • G06F9/30
    • G06F9/522G06F9/30087G06F9/3851
    • A hierarchical barrier synchronization of cores and nodes on a multiprocessor system, in one aspect, may include providing by each of a plurality of threads on a chip, input bit signal to a respective bit in a register, in response to reaching a barrier; determining whether all of the plurality of threads reached the barrier by electrically tying bits of the register together and “AND”ing the input bit signals; determining whether only on-chip synchronization is needed or whether inter-node synchronization is needed; in response to determining that all of the plurality of threads on the chip reached the barrier, notifying the plurality of threads on the chip, if it is determined that only on-chip synchronization is needed; and after all of the plurality of threads on the chip reached the barrier, communicating the synchronization signal to outside of the chip, if it is determined that inter-node synchronization is needed.
    • 在一个方面,多处理器系统上的核心和节点的层级屏障同步可以包括:响应于达到屏障,将芯片上的多个线程中的每一个提供给寄存器中的相应位的输入比特信号; 确定所有多个线程是否通过将所述寄存器的位电一体化并将所述输入位信号“AND”到达所述障碍物; 确定是否仅需要片上同步或者是否需要节点间同步; 响应于确定芯片上的所有多个线程到达屏障,通知芯片上的多个线程,如果确定仅需要片上同步; 并且如果确定需要节点间同步,则在芯片上的所有多个线程到达屏障之后,将同步信号传送到芯片外部。
    • 10. 发明申请
    • HARDWARE SUPPORT FOR SOFTWARE CONTROLLED FAST MULTIPLEXING OF PERFORMANCE COUNTERS
    • 软件支持软件控制性能计数器的快速多路复用
    • US20110173588A1
    • 2011-07-14
    • US12684429
    • 2010-01-08
    • Valentina SalapuraRobert W. Wisniewski
    • Valentina SalapuraRobert W. Wisniewski
    • G06F9/44
    • G06F11/348G06F2201/88
    • Hardware support for software controlled fast multiplexing of performance counters may include a plurality of performance counters operable to collect one or more counts of one or more selected activities, and a plurality of registers operable to store a set of performance counter configurations. A state machine may be operable to automatically select a register from the plurality of registers for reconfiguring the one or more performance counters in response to receiving a first signal. The state machine may be further operable to reconfigure the one or more performance counters based on a configuration specified in the selected register. The state machine yet further may be operable to copy data in selected one or more of the plurality of performance counters to a memory location, or to copy data from the memory location to the counters, in response to receiving a second signal. The state machine may be operable to store or restore the counter values and state machine configuration in response to a context switch event.
    • 用于性能计数器的软件控制快速复用的硬件支持可以包括可操作以收集一个或多个所选活动的一个或多个计数的多个性能计数器,以及可操作以存储一组性能计数器配置的多个寄存器。 状态机可操作以响应于接收第一信号而自动地从多个寄存器中选择一个寄存器来重新配置一个或多个性能计数器。 状态机可以进一步可操作以基于所选择的寄存器中指定的配置重新配置一个或多个性能计数器。 状态机还可以用于响应于接收第二信号,将多个性能计数器中选定的一个或多个性能计数器中的数据复制到存储器位置,或者将数据从存储器位置复制到计数器。 状态机可以用于响应于上下文切换事件来存储或恢复计数器值和状态机配置。