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

1. 发明申请

WO2006103395A1 PREPARING INSTRUCTION GROUPS IN A PROCESSOR HAVING MULTIPLE ISSUE PORTS 审中-公开
标题翻译：在具有多个问题单位的处理者中准备指导小组
公开(公告)号：WO2006103395A1
公开(公告)日：2006-10-05
申请号：PCT/GB2006/001000
申请日：2006-03-17
申请人： TRANSITIVE LIMITED , LOVETT, William, Owen , HAIKNEY, David , EVANS, Matthew
发明人： LOVETT, William, Owen , HAIKNEY, David , EVANS, Matthew
IPC分类号： G06F9/45
CPC分类号： G06F9/3853 , G06F8/52 , G06F9/3885
摘要： During program code conversion, such as in a dynamic binary translator, automatic code generation provides target code (21) executable by a target processor (13). Multiple instruction ports (610) disperse a group of instructions to functional units (620) of the processor (13). Disclosed is a mechanism of preparing an instruction group (606) using a plurality of pools (700) having a hierarchical structure (711-715). Each pool (700) represents a different overlapping subset of the issue ports (610). Placing an instruction (600) into a particular pool (700) also reduces vacancies in any one or more subsidiary pools (700) in the hierarchy. In a preferred embodiment, a counter value (702) is associated with each pool (700) to track vacancies. A valid instruction group (606) is formed by picking the placed instructions (600) from the pools (700). The instruction groups are generated accurately and automatically. Decoding errors and stalls are minimised or completely avoided.
摘要翻译：在程序代码转换期间，例如在动态二进制转换器中，自动代码生成提供可由目标处理器（13）执行的目标代码（21）。多个指令端口（610）将一组指令分散到处理器（13）的功能单元（620）。公开了使用具有层次结构的多个池（700）来准备指令组（606）的机制（711-715）。每个池（700）表示发布端口的不同重叠子集（610）。将指令（600）放置到特定池（700）中也可以减少层级中任何一个或多个子池（700）中的空缺。在优选实施例中，计数器值（702）与每个池（700）相关联以跟踪空位。通过从池（700）拾取放置的指令（600）来形成有效指令组（606）。指令组可以准确，自动地生成。解码错误和失速被最小化或完全避免。

2. 发明申请

WO2012098478A1 UPDATING SOFTWARE 审中-公开
标题翻译：更新软件
公开(公告)号：WO2012098478A1
公开(公告)日：2012-07-26
申请号：PCT/IB2012/050111
申请日：2012-01-10
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION , IBM UNITED KINGDOM LIMITED , IBM (China) Investment Company Limited , WALKER, James, William , HAIKNEY, David , GILBERT, David, Alan
发明人： WALKER, James, William , HAIKNEY, David , GILBERT, David, Alan
IPC分类号： G06F9/06
CPC分类号： G06F8/656 , G06F8/60 , G06F8/65 , G06F8/70 , G06F8/71 , G06F9/4406 , G06F9/45558 , G06F11/3664 , G06F11/3688 , G06F21/575 , G06F2009/45562
摘要： This invention relates to a method and apparatus for updating software. In particular this invention relates to a method, system and computer program for updating an operating system in a hypervisor comprising: determining a new version of a component of the operating system; installing the new component version; measuring an identifying characteristic of the component and making it available to an attestation system; notifying the attestation system that a component has been updated to a new version whereby, when the attestation system finds that the identifying characteristic of the new component does not match a pre-stored attestation value it is aware that a legitimate mis-match could have occurred. The installing of the new version of the component comprises: identifying an updater associated with new version of the component; measuring an identifying characteristic of the identified updater; loading and installing the new version of the component; and making both the identifying measurement of the updater and the new version of the component available to the attestation system.
摘要翻译：本发明涉及一种更新软件的方法和装置。特别地，本发明涉及一种用于更新管理程序中的操作系统的方法，系统和计算机程序，包括：确定操作系统的组件的新版本; 安装新的组件版本; 测量组件的识别特性并使其可用于认证系统; 通知认证系统已将组件更新为新版本，由此，当认证系统发现新组件的识别特性与预先存储的认证值不匹配时，它知道可能发生合法的错误匹配。安装新版本的组件包括：识别与新版本的组件相关联的更新程序; 测量所识别的更新器的识别特性; 加载和安装新版本的组件; 并将认证系统的更新器和组件的新版本的识别测量结合起来。

3. 发明申请

WO2012065774A1 A METHOD FOR ATTESTING A PLURALITY OF DATA PROCESSING SYSTEMS 审中-公开
标题翻译：一种影响数据处理系统的多项式的方法
公开(公告)号：WO2012065774A1
公开(公告)日：2012-05-24
申请号：PCT/EP2011/066329
申请日：2011-09-20
申请人： INTERNATIONAL BUSINESS MACHINES CORPORATION , HAIKNEY, David , MACKINTOSH, David, Nigel , PEREZ, Jose, Juan, Palacios
发明人： HAIKNEY, David , MACKINTOSH, David, Nigel , PEREZ, Jose, Juan, Palacios
IPC分类号： G06F21/00
CPC分类号： G06F9/46 , G06F21/57
摘要： A method for attesting a plurality of data processing systems, comprising the steps of: generating a logical grouping for a data processing system, wherein the logical grouping is associated with a rule that describes a condition that must be met in order for the data processing system to be considered trusted; retrieving a list of one or more children associated with the logical grouping; attesting the or each child in order to determine whether the or each child is trusted; in response to the attesting step, applying the rule in order to determine whether the condition has been met in order for the data processing system to be considered trusted; and associating a plurality of logical groupings such that it can be determined whether an associated plurality of data processing systems can be considered trusted.
摘要翻译：一种用于证明多个数据处理系统的方法，包括以下步骤：为数据处理系统生成逻辑分组，其中所述逻辑分组与描述必须满足的条件的规则相关联，以便所述数据处理系统被认为是信任的检索与逻辑分组相关联的一个或多个子项的列表; 证明或每个孩子以确定该孩子或每个孩子是否被信任; 响应于认证步骤，应用规则以确定是否满足条件以使数据处理系统被认为是可信的; 以及关联多个逻辑分组，使得可以确定相关联的多个数据处理系统是否可以被认为是可信赖的。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式