专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

WO2011086034A1 ARCHITECTURAL SUPPORT FOR AUTOMATED ASSERTION CHECKING 审中-公开
标题翻译：建筑支持自动检测
公开(公告)号：WO2011086034A1
公开(公告)日：2011-07-21
申请号：PCT/EP2011/050153
申请日：2011-01-07
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION , IBM UNITED KINGDOM LIMITED , ELNOZAHY, Elmootazbellah, Nabil , STEPHENSON, Mark, William
发明人： ELNOZAHY, Elmootazbellah, Nabil , STEPHENSON, Mark, William
IPC分类号： G06F11/36
CPC分类号： G06F11/3692
摘要： A mechanism is provided for automatic detection of assertion violations. An application may write assertion tuples to the assertion checking mechanism. An assertion tuple forms a Boolean expression (predicate or invariant) that the developer of the application wishes to check. If the assertion defined by the tuple remains true, then the application does not violate the assertion. For any instruction that stores a value to a memory location or register at a target address, the assertion checking mechanism compares the target address to the addresses specified in the assertion tuples. If the target address matches one of the tuple addresses, then the assertion checking mechanism reads a value from the other address in the tuple. The assertion checking mechanism then recomputes the assertion using the retrieved value along with the value to be stored. If the assertion checking mechanism detects an assertion violation, the assertion checking mechanism raises an exception.
摘要翻译：提供了用于自动检测断言违规的机制。应用程序可以将断言元组写入断言检查机制。断言元组形成应用程序开发人员希望检查的布尔表达式（谓词或不变量）。如果由元组定义的断言保持为真，则应用程序不会违反断言。对于将值存储到存储器位置或在目标地址处注册的任何指令，断言检查机制将目标地址与断言元组中指定的地址进行比较。如果目标地址与元组地址中的一个匹配，则断言检查机制从元组中的另一个地址读取一个值。断言检查机制然后使用检索到的值重新计算断言以及要存储的值。如果断言检查机制检测到断言违例，则断言检查机制引发异常。

2. 发明申请

WO2011000748A3 RESOURCE ALLOCATION IN VIRTUALIZED ENVIRONMENTS 审中-公开
标题翻译：虚拟化环境中的资源分配
公开(公告)号：WO2011000748A3
公开(公告)日：2011-02-24
申请号：PCT/EP2010058884
申请日：2010-06-23
申请人： IBM , IBM UK , ELNOZAHY ELMOOTAZBELLAH NABIL , SPEIGHT WILLIAM EVAN , ZHANG LIXIN , RAJAMONY RAMAKRISHNAN
发明人： ELNOZAHY ELMOOTAZBELLAH NABIL , SPEIGHT WILLIAM EVAN , ZHANG LIXIN , RAJAMONY RAMAKRISHNAN
IPC分类号： G06F9/455 , G06F9/50
CPC分类号： G06F9/50 , G06F9/455 , G06F9/5005 , G06F9/5011 , G06F9/5061 , G06F13/00
摘要： A method, a system, an apparatus, and a computer program product for allocating resources of one or more shared devices to one or more partitions of a virtualization environment within a data processing system. At least one user defined resource assignment is received for one or more devices associated with the data processing system. One or more registers, associated with the one or more partitions are dynamically set to execute the at least one resource assignment, whereby the at least one resource assignment enables a user defined quantitative measure (number and/or percentage) of devices to operate when the one or more transactions are executed via the partition. The system enables the one or more devices to execute one or more transactions at a bandwidth/capacity that is less than or equal to the user defined resource assignment and minimizes performance interference among partitions.
摘要翻译：一种用于将一个或多个共享设备的资源分配给数据处理系统内的虚拟化环境的一个或多个分区的方法，系统，装置和计算机程序产品。接收与数据处理系统相关联的一个或多个设备的至少一个用户定义的资源分配。与所述一个或多个分区相关联的一个或多个寄存器被动态地设置为执行所述至少一个资源分配，由此所述至少一个资源分配能够使用户定义的定量量度（数量和/或百分比）一个或多个事务通过分区执行。该系统使得一个或多个设备能够以小于或等于用户定义的资源分配的带宽/容量执行一个或多个事务并且使分区之间的性能干扰最小化。

3. 发明申请

WO2011147777A2 OPTIMIZING ENERGY CONSUMPTION AND APPLICATION PERFORMANCE IN A MULTI-CORE MULTI-THREADED PROCESSOR SYSTEM 审中-公开
标题翻译：优化多核处理器系统中的能源消耗和应用性能
公开(公告)号：WO2011147777A2
公开(公告)日：2011-12-01
申请号：PCT/EP2011/058365
申请日：2011-05-23
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION , IBM UNITED KINGDOM LIMITED , ELNOZAHY, Elmootazbellah, Nabil , HANSON, Heather, Lynn , RAWSON III, Freeman, Leigh , ALLEN-WARE, Malcolm, Scott
发明人： ELNOZAHY, Elmootazbellah, Nabil , HANSON, Heather, Lynn , RAWSON III, Freeman, Leigh , ALLEN-WARE, Malcolm, Scott
IPC分类号： G06F9/50
CPC分类号： G06F9/4893 , G06F1/3203 , G06F1/329 , G06F9/5044 , G06F9/5094 , G06F2209/508 , Y02D10/126 , Y02D10/22 , Y02D10/24
摘要： A mechanism is provided for scheduling application tasks. A scheduler receives a task that identifies a desired frequency and a desired maximum number of competing hardware threads. The scheduler determines whether a user preference designates either maximization of performance or minimization of energy consumption. Responsive to the user preference designating the performance, the scheduler determines whether there is an idle processor core in a plurality of processor cores available. Responsive to no idle processor being available, the scheduler identifies a subset of processor cores having a smallest load coefficient. From the subset of processor cores, the scheduler determines whether there is at least one processor core that matches desired parameters of the task. Responsive to at least one processor core matching the desired parameters of the task, the scheduler assigns the task to one of the at least one processor core that matches the desired parameters.
摘要翻译：提供了一种调度应用程序任务的机制。调度器接收标识期望频率和期望的最大数量的竞争硬件线程的任务。调度器确定用户偏好是指性能的最大化还是能量消耗的最小化。响应于指定性能的用户偏好，调度器确定在多个处理器核心中是否存在可用的空闲处理器核心。响应于没有空闲处理器可用，调度器识别具有最小负载系数的处理器核心的子集。从处理器核心的子集中，调度器确定是否存在与任务的期望参数匹配的至少一个处理器核心。响应于至少一个与任务的期望参数匹配的处理器核心，调度器将该任务分配给与期望参数匹配的至少一个处理器核心中的一个。

4. 发明申请

WO2011000748A2 RESOURCE ALLOCATION IN VIRTUALIZED ENVIRONMENTS 审中-公开
标题翻译：虚拟环境中的资源分配
公开(公告)号：WO2011000748A2
公开(公告)日：2011-01-06
申请号：PCT/EP2010/058884
申请日：2010-06-23
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION , IBM UNITED KINGDOM LIMITED , ELNOZAHY, Elmootazbellah, Nabil , SPEIGHT, William, Evan , ZHANG, Lixin , RAJAMONY, Ramakrishnan
发明人： ELNOZAHY, Elmootazbellah, Nabil , SPEIGHT, William, Evan , ZHANG, Lixin , RAJAMONY, Ramakrishnan
IPC分类号： G06F9/455
CPC分类号： G06F9/50 , G06F9/455 , G06F9/5005 , G06F9/5011 , G06F9/5061 , G06F13/00
摘要： A method, a system, an apparatus, and a computer program product for allocating resources of one or more shared devices to one or more partitions of a virtualization environment within a data processing system. At least one user defined resource assignment is received for one or more devices associated with the data processing system. One or more registers, associated with the one or more partitions are dynamically set to execute the at least one resource assignment, whereby the at least one resource assignment enables a user defined quantitative measure (number and/or percentage) of devices to operate when the one or more transactions are executed via the partition. The system enables the one or more devices to execute one or more transactions at a bandwidth/capacity that is less than or equal to the user defined resource assignment and minimizes performance interference among partitions.
摘要翻译：一种用于将一个或多个共享设备的资源分配给数据处理系统内的虚拟化环境的一个或多个分区的方法，系统，设备和计算机程序产品。为与数据处理系统相关联的一个或多个设备接收至少一个用户定义的资源分配。与所述一个或多个分区相关联的一个或多个寄存器被动态地设置为执行所述至少一个资源分配，由此所述至少一个资源分配使得用户定义的定量测量（数量和/或百分比）能够在设备一个或多个事务通过分区执行。该系统使得一个或多个设备能够以小于或等于用户定义的资源分配的带宽/容量来执行一个或多个事务，并且最小化分区之间的性能干扰。

5. 发明申请

WO2011147777A3 OPTIMIZING ENERGY CONSUMPTION AND APPLICATION PERFORMANCE IN A MULTI-CORE MULTI-THREADED PROCESSOR SYSTEM 审中-公开
标题翻译：优化多核处理器系统中的能源消耗和应用性能
公开(公告)号：WO2011147777A3
公开(公告)日：2012-11-22
申请号：PCT/EP2011058365
申请日：2011-05-23
申请人： IBM , IBM UK , ELNOZAHY ELMOOTAZBELLAH NABIL , HANSON HEATHER LYNN , RAWSON III FREEMAN LEIGH , ALLEN-WARE MALCOLM SCOTT
发明人： ELNOZAHY ELMOOTAZBELLAH NABIL , HANSON HEATHER LYNN , RAWSON III FREEMAN LEIGH , ALLEN-WARE MALCOLM SCOTT
IPC分类号： G06F9/48 , G06F1/32 , G06F9/50
CPC分类号： G06F9/4893 , G06F1/3203 , G06F1/329 , G06F9/5044 , G06F9/5094 , G06F2209/508 , Y02D10/126 , Y02D10/22 , Y02D10/24
摘要： A mechanism is provided for scheduling application tasks. A scheduler receives a task that identifies a desired frequency and a desired maximum number of competing hardware threads. The scheduler determines whether a user preference designates either maximization of performance or minimization of energy consumption. Responsive to the user preference designating the performance, the scheduler determines whether there is an idle processor core in a plurality of processor cores available. Responsive to no idle processor being available, the scheduler identifies a subset of processor cores having a smallest load coefficient. From the subset of processor cores, the scheduler determines whether there is at least one processor core that matches desired parameters of the task. Responsive to at least one processor core matching the desired parameters of the task, the scheduler assigns the task to one of the at least one processor core that matches the desired parameters.
摘要翻译：提供了一种调度应用程序任务的机制。调度器接收标识期望频率和期望的最大数量的竞争硬件线程的任务。调度器确定用户偏好是指性能的最大化还是能量消耗的最小化。响应于指定性能的用户偏好，调度器确定在多个处理器核心中是否存在可用的空闲处理器核心。响应于没有空闲处理器可用，调度器识别具有最小负载系数的处理器核心的子集。从处理器核心的子集中，调度器确定是否存在与任务的期望参数匹配的至少一个处理器核心。响应于至少一个与任务的期望参数匹配的处理器核心，调度器将该任务分配给与期望参数匹配的至少一个处理器核心中的一个。

6. 发明申请

WO2011147884A1 FAST REMOTE COMMUNICATION AND COMPUTATION BETWEEN PROCESSORS 审中-公开
标题翻译：处理器之间的快速远程通信和计算
公开(公告)号：WO2011147884A1
公开(公告)日：2011-12-01
申请号：PCT/EP2011/058582
申请日：2011-05-25
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION , IBM UNITED KINGDOM LIMITED , CARTER, John, Bruce , ZHANG, Lixin , RAJAMANI, Karthick , SPEIGHT, William, Evan , ELNOZAHY, Elmootazbellah, Nabil , GHEITH, Ahmed , VAN HENSBERGEN, Eric
发明人： CARTER, John, Bruce , ZHANG, Lixin , RAJAMANI, Karthick , SPEIGHT, William, Evan , ELNOZAHY, Elmootazbellah, Nabil , GHEITH, Ahmed , VAN HENSBERGEN, Eric
IPC分类号： G06F9/46 , G06F15/167
CPC分类号： G06F9/544
摘要： A method, system, and computer usable program product for fast remote communication and computation between processors are provided in the preferred embodiments. A direct core to core communication unit (DCC) is configured to operate with a first processor, the first processor being a remote processor. A memory associated with the DCC receives a set of bytes, the set of bytes being sent from a second processor. An operation specified in the set of bytes is executed at the remote processor such that the operation is invoked without causing a software thread to execute.
摘要翻译：在优选实施例中提供了用于处理器之间的快速远程通信和计算的方法，系统和计算机可用程序产品。核心通信单元（DCC）的直接核心被配置为与第一处理器一起操作，第一处理器是远程处理器。与DCC相关联的存储器接收一组字节，该字节集合是从第二处理器发送的。在远程处理器中执行在该组字节中指定的操作，使得在不使软件线程执行的情况下调用该操作。

7. 发明申请

WO2011131469A1 DEBUGGING MULTITHREADED CODE 审中-公开
标题翻译：调试多项代码
公开(公告)号：WO2011131469A1
公开(公告)日：2011-10-27
申请号：PCT/EP2011/055029
申请日：2011-03-31
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION , IBM UNITED KINGDOM LIMITED , ELNOZAHY, Elmootazbellah, Nabil , GHEITH, Ahmed
发明人： ELNOZAHY, Elmootazbellah, Nabil , GHEITH, Ahmed
IPC分类号： G06F11/36
CPC分类号： G06F9/3824 , G06F11/3636 , G06F11/3648
摘要： Mechanisms are provided for debugging application code using a content addressable memory. The mechanisms receive an instruction in a hardware unit of a processor of the data processing system, the instruction having a target memory address that the instruction is attempting to access. A content addressable memory (CAM) associated with the hardware unit is searched for an entry in the CAM corresponding to the target memory address. In response to an entry in the CAM corresponding to the target memory address being found, a determination is made as to whether information in the entry identifies the instruction as an instruction of interest. In response to the entry identifying the instruction as an instruction of interest, an exception is generated and sent to one of an exception handler or a debugger application. In this way, debugging of multithreaded applications may be performed in an efficient manner.
摘要翻译：提供了使用内容可寻址存储器调试应用程序代码的机制。机构在数据处理系统的处理器的硬件单元中接收指令，该指令具有指令尝试访问的目标存储器地址。搜索与硬件单元相关联的内容可寻址存储器（CAM），以对应于目标存储器地址的CAM中的条目。响应于与所找到的目标存储器地址相对应的CAM中的条目，确定条目中的信息是否将该指令识别为感兴趣的指令。响应于将该指令识别为感兴趣的指令的条目，生成异常并将其发送到异常处理程序或调试器应用程序之一。以这种方式，可以以有效的方式执行多线程应用程序的调试。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式