-
公开(公告)号：US06834359B2
公开(公告)日：2004-12-21
申请号：US09960154
申请日：2001-09-21
申请人： Harald Boehm , Joachim von Buttlar , Axel Horsch , Joerg Kayser , Stefan Koerner , Martin Kuenzel
发明人： Harald Boehm , Joachim von Buttlar , Axel Horsch , Joerg Kayser , Stefan Koerner , Martin Kuenzel
IPC分类号： G06F1100
CPC分类号： G06F11/261
摘要： A method for verifying the correctness of the functional behavior of a processor cooperating with software is provided. Furthermore, the method allows verification of a CPU having at least a part of its instruction set implemented with microcode. First, the microcode is independently tested by using a functional emulator performing in the same way as the processor hardware according to the processor's functional specification. Then, the microcode is tested by using a hardware emulator behaving in the same way as the processor hardware according to the design of the processor's logic gates. Finally, the microcode is tested against the actual processor hardware. This method allows the functionality of a newly designed CPU to be checked in a simulation, even before actual system integration. Advantageously, many problems in this area, relating to the interaction of the microcode and the processor hardware can be found before the actual processor hardware is manufactured. Furthermore, the ongoing verification of the newly designed CPU using the method according to the present invention allows detection of problems with the processor hardware at a relatively early stage.
摘要翻译： 提供了一种用于验证与软件协作的处理器的功能行为的正确性的方法。 此外，该方法允许用微码验证具有其指令集的至少一部分的CPU。 首先，通过使用根据处理器的功能规范以与处理器硬件相同的方式执行的功能仿真器来独立测试微代码。 然后，根据处理器逻辑门的设计，通过使用硬件仿真器以与处理器硬件相同的方式进行微代码测试。 最后，微代码是针对实际的处理器硬件进行测试的。 该方法允许在仿真中检查新设计的CPU的功能，甚至在实际系统集成之前。 有利地，可以在制造实际的处理器硬件之前找到涉及微代码和处理器硬件的交互的该领域中的许多问题。 此外，使用根据本发明的方法的新设计的CPU的持续验证允许在较早的阶段检测处理器硬件的问题。
-
2.发明授权公开(公告)号：US08838943B2
公开(公告)日：2014-09-16
申请号：US12840707
申请日：2010-07-21
CPC分类号： G06F9/30029 , G06F9/30032 , G06F9/30145 , G06F9/30167 , G06F9/30185 , G06F9/30189 , G06F9/342
摘要： A rotate then operate instruction having a T bit is fetched and executed wherein a first operand in a first register is rotated by an amount and a Boolean operation is performed on a selected portion of the rotated first operand and a second operand in of a second register. If the T bit is ‘0’ the selected portion of the result of the Boolean operation is inserted into corresponding bits of a second operand of a second register. If the T bit is ‘1’, in addition to the inserted bits, the bits other than the selected portion of the rotated first operand are saved in the second register.
摘要翻译： 旋转，然后操作具有T位的指令被执行，其中第一寄存器中的第一操作数旋转一个量，并且对旋转的第一操作数的选定部分执行布尔运算，并且在第二寄存器中执行第二操作数 。 如果T位为“0”，则将布尔运算结果的选定部分插入到第二寄存器的第二个操作数的相应位中。 如果T位为“1”，除了插入的位之外，所转动的第一个操作数的选定部分以外的其他位被保存在第二个寄存器中。
-
公开(公告)号：US07457985B2
公开(公告)日：2008-11-25
申请号：US11223701
申请日：2005-09-09
申请人： Joachim von Buttlar , Janet R. Easton , Kenneth J. Oakes , Andrew W. Piechowski , Martin Taubert , John Trotter
发明人： Joachim von Buttlar , Janet R. Easton , Kenneth J. Oakes , Andrew W. Piechowski , Martin Taubert , John Trotter
IPC分类号： G06F11/00
CPC分类号： G06F11/362
摘要： Disclosed is a method for detecting errors in a computer system including a processing unit to perform tasks to change items. The method comprises the steps of assigning a task control block to the processing unit, and using the task control block to keep track of items being changed by the processing unit. The method comprises the further steps of at defined times, checking the task control block to identify items being changed by the processing unit, and checking the states of said identified items to determine if those states are correct. The preferred embodiment of the invention detects an error when it arises (where possible), and utilizes an infrastructure that allows simple and periodic consistency checks (for example, at designated code points) that detect the error before it causes follow-on problems.
摘要翻译： 公开了一种用于检测包括处理单元的计算机系统中的错误的方法，该处理单元执行改变项目的任务。 该方法包括以下步骤：向处理单元分配任务控制块，并且使用任务控制块来跟踪由处理单元改变的项目。 该方法还包括步骤：在定义的时间，检查任务控制块以识别由处理单元改变的项目，以及检查所识别的项目的状态，以确定这些状态是否正确。 本发明的优选实施例在出现时（如果可能的话）检测到错误，并且利用允许在导致后续问题之前检测错误的简单和周期性一致性检查（例如，在指定的代码点）的基础设施。
-
4.发明申请公开(公告)号：US20100299506A1
公开(公告)日：2010-11-25
申请号：US12840707
申请日：2010-07-21
CPC分类号： G06F9/30029 , G06F9/30032 , G06F9/30145 , G06F9/30167 , G06F9/30185 , G06F9/30189 , G06F9/342
摘要： A rotate then operate instruction having a T bit is fetched and executed wherein a first operand in a first register is rotated by an amount and a Boolean operation is performed on a selected portion of the rotated first operand and a second operand in of a second register. If the T bit is ‘0’ the selected portion of the result of the Boolean operation is inserted into corresponding bits of a second operand of a second register. If the T bit is ‘1’, in addition to the inserted bits, the bits other than the selected portion of the rotated first operand are saved in the second register.
摘要翻译： 旋转，然后操作具有T位的指令被执行，其中第一寄存器中的第一操作数旋转一定量，并且对旋转的第一操作数的所选部分执行布尔运算，并且在第二寄存器中的第二操作数 。 如果T位为“0”，则将布尔运算结果的选定部分插入到第二寄存器的第二个操作数的相应位中。 如果T位为“1”，除了插入的位之外，所转动的第一个操作数的选定部分以外的其他位被保存在第二个寄存器中。
-
公开(公告)号：US20090182982A1
公开(公告)日：2009-07-16
申请号：US11972689
申请日：2008-01-11
IPC分类号： G06F9/315
CPC分类号： G06F9/30018 , G06F9/30032 , G06F9/30076 , G06F9/30145 , G06F9/30167 , G06F9/30181
摘要： A rotate then operate instruction having a Z bit is fetched and executed wherein a first operand in a first register is rotated by an amount. If the Z bit is ‘0’ the selected portion of the result of the Boolean operation is inserted into corresponding bits of a second operand of a second register. If the Z bit is ‘1’, in addition to the inserted bits bits other than the inserted bits of the second operand are set to zeros.
摘要翻译： 旋转，然后操作具有Z位的指令被执行，其中第一寄存器中的第一操作数旋转一定量。 如果Z位为“0”，则将布尔运算结果的选定部分插入到第二个寄存器的第二个操作数的相应位中。 如果Z位为“1”，则除了第二个操作数的插入位之外的插入位除外，它们都被设置为零。
-
6.发明授权Method and system for state tracking and recovery in multiprocessing computing systems 有权多处理计算系统中状态跟踪和恢复的方法和系统公开(公告)号：US07996585B2
公开(公告)日：2011-08-09
申请号：US11223733
申请日：2005-09-09
申请人： Janet R. Easton , Elke Nass , Kenneth J. Oakes , Andrew W. Piechowski , Martin Taubert , John S. Trotter , Ambrose Verdibello , Joachim von Buttlar , Robert Whalen, Jr.
发明人： Janet R. Easton , Elke Nass , Kenneth J. Oakes , Andrew W. Piechowski , Martin Taubert , John S. Trotter , Ambrose Verdibello , Joachim von Buttlar , Robert Whalen, Jr.
CPC分类号： G06F11/008 , G06F11/0715 , G06F11/0724 , G06F11/0766
摘要： Disclosed are a method and system of tracking real time use of I/O control blocks on a processing unit basis, in a multiprocessing system, such that in the case of a processing unit failure, a list accurately and concisely identifies the control blocks that need to be recovered. This eliminates the need to scan all the I/O control blocks, greatly reducing the overall system recovery time and minimizing impact to the rest of the running system. The preferred embodiment of the invention uses a task control block structure to record which I/O control blocks are in use by each Processing Unit. Also, the lock word structure defined in the I/O control blocks is provided with an index back into the task control block to facilitate managing the task control block entries.
摘要翻译： 公开了一种在多处理系统中基于处理单元跟踪I / O控制块的实时使用的方法和系统，使得在处理单元故障的情况下，列表精确和简洁地识别需要的控制块 要恢复 这样就不需要扫描所有的I / O控制块，大大降低了整个系统的恢复时间，并最大限度地减少了对其他运行系统的影响。 本发明的优选实施例使用任务控制块结构来记录每个处理单元使用哪个I / O控制块。 此外，在I / O控制块中定义的锁定字结构被提供回到任务控制块中的索引，以便于管理任务控制块条目。
-
7.发明授权公开(公告)号：US07895419B2
公开(公告)日：2011-02-22
申请号：US11972679
申请日：2008-01-11
CPC分类号： G06F9/30029 , G06F9/30032 , G06F9/30145 , G06F9/30167 , G06F9/30185 , G06F9/30189 , G06F9/342
摘要： A rotate then operate instruction having a T bit is fetched and executed wherein a first operand in a first register is rotated by an amount and a Boolean operation is performed on a selected portion of the rotated first operand and a second operand in of a second register. If the T bit is ‘0’ the selected portion of the result of the Boolean operation is inserted into corresponding bits of a second operand of a second register. If the T bit is ‘1’, in addition to the inserted bits, the bits other than the selected portion of the rotated first operand are saved in the second register.
摘要翻译： 旋转，然后操作具有T位的指令被执行，其中第一寄存器中的第一操作数旋转一个量，并且对旋转的第一操作数的选定部分执行布尔运算，并且在第二寄存器中执行第二操作数 。 如果T位为“0”，则将布尔运算结果的选定部分插入到第二寄存器的第二个操作数的相应位中。 如果T位为“1”，除了插入的位之外，所转动的第一个操作数的选定部分以外的其他位被保存在第二个寄存器中。
-
8.发明授权Method and system to detect errors in computer systems by using state tracking 有权通过使用状态跟踪来检测计算机系统中的错误的方法和系统公开(公告)号：US07752497B2
公开(公告)日：2010-07-06
申请号：US12206996
申请日：2008-09-09
申请人： Joachim von Buttlar , Janet R. Easton , Kenneth J. Oakes , Andrew W. Piechowski , Martin Taubert , John S. Trotter
发明人： Joachim von Buttlar , Janet R. Easton , Kenneth J. Oakes , Andrew W. Piechowski , Martin Taubert , John S. Trotter
IPC分类号： G06F11/00
CPC分类号： G06F11/362
摘要： Disclosed are a method and system for detecting errors in a computer system including a processing unit to perform tasks to change items. The method comprises the steps of assigning a task control block to the processing unit, and using the task control block to keep track of items being changed by the processing unit. The method comprises the further steps of at defined times, checking the task control block to identify items being changed by the processing unit, and checking the states of said identified items to determine if those states are correct. The preferred embodiment of the invention detects an error when it arises (where possible), and utilizes an infrastructure that allows simple and periodic consistency checks (for example, at designated code points) that detect the error before it causes follow-on problems.
摘要翻译： 公开了一种用于检测包括处理单元的计算机系统中的错误的方法和系统，该处理单元执行改变项目的任务。 该方法包括以下步骤：向处理单元分配任务控制块，并且使用任务控制块来跟踪由处理单元改变的项目。 该方法还包括步骤：在定义的时间，检查任务控制块以识别由处理单元改变的项目，以及检查所识别的项目的状态，以确定这些状态是否正确。 本发明的优选实施例在出现时（如果可能的话）检测到错误，并且利用允许在导致后续问题之前检测错误的简单和周期性一致性检查（例如，在指定的代码点）的基础设施。
-
9.发明申请公开(公告)号：US20090182981A1
公开(公告)日：2009-07-16
申请号：US11972679
申请日：2008-01-11
IPC分类号： G06F9/315
CPC分类号： G06F9/30029 , G06F9/30032 , G06F9/30145 , G06F9/30167 , G06F9/30185 , G06F9/30189 , G06F9/342
摘要： A rotate then operate instruction having a T bit is fetched and executed wherein a first operand in a first register is rotated by an amount and a Boolean operation is performed on a selected portion of the rotated first operand and a second operand in of a second register. If the T bit is ‘0’ the selected portion of the result of the Boolean operation is inserted into corresponding bits of a second operand of a second register. If the T bit is ‘1’, in addition to the inserted bits, the bits other than the selected portion of the rotated first operand are saved in the second register.
摘要翻译： 旋转，然后操作具有T位的指令被执行，其中第一寄存器中的第一操作数旋转一个量，并且对旋转的第一操作数的选定部分执行布尔运算，并且在第二寄存器中执行第二操作数 。 如果T位为“0”，则将布尔运算结果的选定部分插入到第二寄存器的第二个操作数的相应位中。 如果T位为“1”，除了插入的位之外，所转动的第一个操作数的选定部分以外的其他位被保存在第二个寄存器中。
-
10.发明申请METHOD AND SYSTEM TO DETECT ERRORS IN COMPUTER SYSTEMS BY USING STATE TRACKING 有权通过状态跟踪来检测计算机系统中的错误的方法和系统公开(公告)号：US20090006892A1
公开(公告)日：2009-01-01
申请号：US12206996
申请日：2008-09-09
申请人： Joachim von Buttlar , Janet R. Easton , Kenneth J. Oakes , Andrew W. Piechowski , Martin Taubert , John S. Trotter
发明人： Joachim von Buttlar , Janet R. Easton , Kenneth J. Oakes , Andrew W. Piechowski , Martin Taubert , John S. Trotter
IPC分类号： G06F11/00
CPC分类号： G06F11/362
摘要： Disclosed are a method and system for detecting errors in a computer system including a processing unit to perform tasks to change items. The method comprises the steps of assigning a task control block to the processing unit, and using the task control block to keep track of items being changed by the processing unit. The method comprises the further steps of at defined times, checking the task control block to identify items being changed by the processing unit, and checking the states of said identified items to determine if those states are correct. The preferred embodiment of the invention detects an error when it arises (where possible), and utilizes an infrastructure that allows simple and periodic consistency checks (for example, at designated code points) that detect the error before it causes follow-on problems.
摘要翻译： 公开了一种用于检测包括处理单元的计算机系统中的错误的方法和系统，该处理单元执行改变项目的任务。 该方法包括以下步骤：向处理单元分配任务控制块，并且使用任务控制块来跟踪由处理单元改变的项目。 该方法还包括步骤：在定义的时间，检查任务控制块以识别由处理单元改变的项目，以及检查所识别的项目的状态，以确定这些状态是否正确。 本发明的优选实施例在出现时（如果可能的话）检测到错误，并且利用允许在导致后续问题之前检测错误的简单和周期性一致性检查（例如，在指定的代码点）的基础设施。
-
-
-
-
-
-
-
-
-
搜索结果
10 条记录 (耗时 0.027 秒)
