-
1.发明授权公开(公告)号：US07934203B2
公开(公告)日：2011-04-26
申请号：US11139232
申请日：2005-05-27
申请人： William O. Lovett , David Haikney , Matthew Evans
发明人： William O. Lovett , David Haikney , Matthew Evans
CPC分类号： G06F9/45516 , 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 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 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 minimized or completely avoided.
摘要翻译： 在程序代码转换期间，例如在动态二进制转换器中，自动代码生成提供可由目标处理器13执行的目标代码21.多个指令端口610将一组指令分散到处理器13的功能单元620中。公开了一种机制 使用具有分层结构711-715的多个池700准备指令组606。 每个池代表问题端口610的不同重叠子集。将指令600放置到特定池700中还可以降低层级中任何一个或多个子池中的空位。 在优选实施例中，计数器值702与每个池700相关联以跟踪空位。 通过从池700拾取所放置的指令600来形成有效指令组606.准确且自动地生成指令组。 解码错误和失速被最小化或完全避免。
-
2.发明申请公开(公告)号：US20060224863A1
公开(公告)日：2006-10-05
申请号：US11139232
申请日：2005-05-27
申请人： William Lovett , David Haikney , Matthew Evans
发明人： William Lovett , David Haikney , Matthew Evans
IPC分类号： G06F9/30
CPC分类号： G06F9/45516 , 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 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 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中。公开了使用具有层次结构711-715的多个池700来准备指令组606的机制。 每个池代表问题端口610的不同的重叠子集。 将指令600放入特定池700还可以降低层级中的任何一个或多个子池中的空缺。 在优选实施例中，计数器值702与每个池700相关联以跟踪空位。 通过从池700拾取放置的指令600来形成有效指令组606。 指令组可以准确，自动地生成。 解码错误和失速被最小化或完全避免。
-
3.发明授权Architecture for generating intermediate representations for program code conversion 失效用于生成用于程序代码转换的中间表示的架构公开(公告)号：US07921413B2
公开(公告)日：2011-04-05
申请号：US11593442
申请日：2006-11-06
IPC分类号： G06F9/45
CPC分类号： G06F9/45516
摘要： An improved architecture for a program code conversion apparatus and method for generating intermediate representations for program code conversion. The program code conversion apparatus determines which types of IR nodes to generate in an intermediate representation (IR) of subject code (10) to be translated. Depending upon the particular subject and target computing environments involved in the conversion, the program code conversion apparatus utilizes either base nodes, complex nodes, polymorphic nodes, and architecture specific nodes, or some combination thereof, in generating the intermediate representation.
摘要翻译： 一种用于生成用于程序代码转换的中间表示的程序代码转换装置和方法的改进的架构。 程序代码转换装置确定要转换的主题代码（10）的中间表示（IR）中要生成哪种类型的IR节点。 根据转换中涉及的特定主题和目标计算环境，程序代码转换装置在生成中间表示时使用基本节点，复杂节点，多态节点和架构特定节点或其某种组合。
-
4.发明授权Processing attestation data associated with a plurality of data processing systems 有权处理与多个数据处理系统相关联的证明数据公开(公告)号：US09075994B2
公开(公告)日：2015-07-07
申请号：US13460080
申请日：2012-04-30
CPC分类号： G06F21/57 , G06F9/4401 , G06F2009/45587 , G06F2221/034
摘要： An attestation technique is provided for processing attestation data associated with a plurality of data processing systems. A first data processing system is operable for receiving a request for attestation from a requester. In response to receiving the request, the first data processing system is further operable for retrieving a list of one or more children, wherein the one or more children include the second data processing system; retrieving and storing attestation data associated with each of the one or more children; retrieving and storing attestation data associated with the first data processing system; and sending to the requester a concatenated response containing the attestation data associated with the first data processing system and the child attestation data associated with the one or more children.
摘要翻译： 提供了一种用于处理与多个数据处理系统相关联的认证数据的证明技术。 第一数据处理系统可操作用于从请求者接收认证请求。 响应于接收到请求，第一数据处理系统还可操作用于检索一个或多个子项的列表，其中所述一个或多个子节点包括第二数据处理系统; 检索和存储与所述一个或多个孩子中的每一个相关联的证明数据; 检索和存储与第一数据处理系统相关联的证明数据; 以及向所述请求者发送包含与所述第一数据处理系统相关联的认证数据和与所述一个或多个孩子相关联的所述儿童认证数据的连接响应。
-
公开(公告)号：US20130305364A1
公开(公告)日：2013-11-14
申请号：US13988051
申请日：2011-09-20
IPC分类号： G06F21/57
摘要： A technique for attesting a plurality of data processing systems includes generating a logical grouping for a data processing system. 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. A list of one or more children associated with the logical grouping is retrieved. The one or more children are attested to determine whether each of the one or more children is trusted. In response to the attesting, the rule is applied to determine whether the condition has been met in order for the data processing system to be considered trusted. A plurality of logical groupings is associated to determine whether an associated plurality of data processing systems can be considered trusted.
摘要翻译： 用于证明多个数据处理系统的技术包括为数据处理系统生成逻辑分组。 逻辑分组与描述必须满足的条件的规则相关联，以便将数据处理系统视为可信任的。 检索与逻辑分组关联的一个或多个子项的列表。 一个或多个孩子被证明以确定一个或多个孩子中的每一个是否被信任。 响应于证明，应用规则来确定是否满足条件以使数据处理系统被认为是可信任的。 多个逻辑分组被相关联以确定相关联的多个数据处理系统是否可以被认为是可信赖的。
-
6.发明授权Architecture for generating intermediate representations for program code conversion 有权用于生成用于程序代码转换的中间表示的架构公开(公告)号：US08104027B2
公开(公告)日：2012-01-24
申请号：US12128368
申请日：2008-05-28
IPC分类号： G06F9/45
CPC分类号： G06F9/45516
摘要： An improved architecture for a program code conversion apparatus and method for generating intermediate representations for program code conversion. The program code conversion apparatus determines which types of IR nodes to generate in an intermediate representation (IR) of subject code (10) to be translated. Depending upon the particular subject and target computing environments involved in the conversion, the program code conversion apparatus utilizes either base nodes, complex nodes, polymorphic nodes, and architecture specific nodes, or some combination thereof, in generating the intermediate representation.
摘要翻译： 一种用于生成用于程序代码转换的中间表示的程序代码转换装置和方法的改进的架构。 程序代码转换装置确定要转换的主题代码（10）的中间表示（IR）中要生成哪种类型的IR节点。 根据转换中涉及的特定主题和目标计算环境，程序代码转换装置在生成中间表示时使用基本节点，复杂节点，多态节点和架构特定节点或其某种组合。
-
公开(公告)号：US09317276B2
公开(公告)日：2016-04-19
申请号：US13980342
申请日：2012-01-10
申请人： David A. Gilbert , David Haikney , James W. Walker
发明人： David A. Gilbert , David Haikney , James W. Walker
CPC分类号： G06F8/60 , G06F8/65 , G06F8/656 , G06F8/70 , G06F8/71 , G06F9/4406 , G06F9/45558 , G06F11/3664 , G06F11/3688 , G06F21/575 , G06F2009/45562
摘要： This invention relates to 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.
摘要翻译： 本发明涉及更新管理程序中的操作系统，包括：确定操作系统的组件的新版本; 安装新的组件版本; 测量组件的识别特性并使其可用于认证系统; 通知认证系统已将组件更新为新版本，由此，当认证系统发现新组件的识别特性与预先存储的认证值不匹配时，它意识到可能发生合法的错误匹配 。 安装新版本的组件包括：识别与新版本的组件相关联的更新程序; 测量所识别的更新器的识别特性; 加载和安装新版本的组件; 并将认证系统的更新器和组件的新版本的识别测量结合起来。
-
公开(公告)号：US20140026124A1
公开(公告)日：2014-01-23
申请号：US13980342
申请日：2012-01-10
申请人： David A. Gilbert , David Haikney , James W. Walker
发明人： David A. Gilbert , David Haikney , James W. Walker
IPC分类号： G06F9/445
CPC分类号： G06F8/60 , G06F8/65 , G06F8/656 , G06F8/70 , G06F8/71 , G06F9/4406 , G06F9/45558 , G06F11/3664 , G06F11/3688 , G06F21/575 , G06F2009/45562
摘要： This invention relates to 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.
摘要翻译： 本发明涉及更新管理程序中的操作系统，包括：确定操作系统的组件的新版本; 安装新的组件版本; 测量组件的识别特性并使其可用于认证系统; 通知认证系统已将组件更新为新版本，由此，当认证系统发现新组件的识别特性与预先存储的认证值不匹配时，它意识到可能发生合法的错误匹配 。 安装新版本的组件包括：识别与新版本的组件相关联的更新程序; 测量所识别的更新器的识别特性; 加载和安装新版本的组件; 并将认证系统的更新器和组件的新版本的识别测量结合起来。
-
公开(公告)号：US09612855B2
公开(公告)日：2017-04-04
申请号：US13347374
申请日：2012-01-10
申请人： David Gilbert , David Haikney , David Mackintosh
发明人： David Gilbert , David Haikney , David Mackintosh
CPC分类号： G06F9/45558 , G06F9/45533 , G06F9/4856 , G06F9/5088 , G06F2009/4557
摘要： A system, method, and computer program product for controlling migration of a VM operable on a first site and a second site. The system includes an identify component for identifying the second site; a request component for sending a consent request message to a software component, wherein the consent request message comprises at least one of an identifier of the VM and an identifier of the second site; a calculate component, operable on the software component and responsive to receiving the consent request message, for determining consent for the second site; a send component, responsive to a positive determination, for sending a consent message; and a migrate component, responsive to receiving the consent message, for migrating the VM from the first site to the second site.
-
公开(公告)号：US09489232B2
公开(公告)日：2016-11-08
申请号：US13988051
申请日：2011-09-20
摘要： A technique for attesting a plurality of data processing systems includes generating a logical grouping for a data processing system. 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. A list of one or more children associated with the logical grouping is retrieved. The one or more children are attested to determine whether each of the one or more children is trusted. In response to the attesting, the rule is applied to determine whether the condition has been met in order for the data processing system to be considered trusted. A plurality of logical groupings is associated to determine whether an associated plurality of data processing systems can be considered trusted.
-
-
-
-
-
-
-
-
-
搜索结果
15 条记录 (耗时 0.021 秒)
