US 5,511,172 AGranted

Speculative execution processor

AssigneeMatsushita Electric Ind. Co., Ltd.

InventorsKozo Kimura, Kosuki Yoshioka, Tokuzo Kiyohara

Life of this patent

Estimating the term…

Loading patent…

Abstract

The present invention discloses a speculative execution processor including a plurality of executing units for processing in parallel a plurality of instructions in an instruction sequence stored in its memory. The processor comprises an instruction type distinguishing device for distinguishing a type of a conditional branch instruction included in the unexecuted instruction sequence, the condition of the conditional branch instruction depending on another instruction, an instruction parallel-issuing device for issuing in parallel instructions included in a succeeding instruction sequence to be executed following the conditional branch instruction and/or instructions included in an instruction sequence to be executed after the branching to the executing units while whether or not to branch is not determined, a branching determining device for determining whether to branch when the another instruction is executed, and an execution result managing device for identifying whether the execution results of the instruction sequences are effective based on the determining results of the branching determining device.

Claims28

Dependent claims

A processor including a plurality of executing units for processing in parallel a plurality of instructions in an instruction sequence stored in its memory, the processor comprising:

instruction type distinguishing means for distinguishing a type of a conditional branch instruction included in the unexecuted instruction sequence, the condition of the conditional branch instruction depending on a prior instruction in the instruction sequence;
instruction parallel-issuing means for issuing in parallel for execution by executing units one of a first instruction sequence comprising an instruction sequence logically following the conditional branch instruction if branching does not occur, a second instruction sequence comprising an instruction sequence logically following the conditional branch instruction if branching does occur, and both of said first instruction sequence and said second instruction sequence, said instruction sequences being executed before a decision whether or not to branch is determined, a choice between one of the first, the second and both of said first instruction sequence and said second instruction sequence depending on the type of the conditional branch instruction;
a first instruction fetch buffer for temporarily storing the first instruction sequence:
a second instruction fetch buffer for temporarily storing the second instruction sequence:
instruction fetching means for fetching instructions stored in the memory and selectively writing them into the first instruction fetch buffer and the second instruction fetch buffer;
branching determining means for determining whether to branch after the prior instruction has been executed;
and
execution result managing means for identifying whether the execution results of the instruction sequences are valid based on the results of the branching determining means.

5 more elements

A processor including a plurality of executing units for processing in parallel a plurality of instructions in an instruction sequence stored in its memory, the processor comprising:

instruction type distinguishing means for distinguishing a type of a conditional branch instruction included in the unexecuted instruction sequence, the condition of the conditional branch instruction depending on another instruction;
instruction parallel-issuing means for issuing in parallel to executing units a first instruction sequence comprising an instruction sequence to be executed following the conditional branch instruction and/or a second instruction sequence comprising an instruction sequence to be executed after the branching before a decision whether or not to branch is determined, a choice between the first and/or the second instruction sequence depending on the type of the conditional branch instruction, the instruction parallel-issuing means comprising:
a plurality of decoding means for decoding the instructions and thence generating control signals outputted to the executing units;
transfer controlling means for transferring the instructions in the first instruction fetch buffer and the second instruction fetch buffer to the plurality of decoding means, one instruction to one decoding means;
mode adding means for adding a mode to each instruction transferred by the transfer controlling means, the mode indicating which instruction sequence the instruction belongs to by adding one mode to the instructions of the first instruction sequence and another mode to the instructions of the second instruction sequence;
branching determining means for determining whether to branch when the other instruction is executed;
execution result managing means for identifying whether the execution results of the instruction sequences are valid based on the results of the branching determining means;
a first instruction fetch buffer for temporarily storing the first instruction sequence;
a second instruction fetch buffer for temporarily storing the second instruction sequence;
and
instruction fetching means for fetching instructions stored in the memory and selectively writing them into the first instruction fetch buffer and the second instruction fetch buffer.

8 more elements

A processor including a plurality of executing units for processing in parallel a plurality of instructions in an instruction sequence stored in its memory, the processor comprising:

instruction type distinguishing means for distinguishing a type of a conditional branch instruction included in the unexecuted instruction sequence, the condition of the conditional branch instruction depending on another instruction, the instruction type distinguishing means distinguishing a first type of conditional branch instruction for which the possibilities of branching and non-branching are substantially equal, a second type of instruction for which the possibility for branching is good as compared to the first type, and a third type of instruction for which the possibility of non-branching is good as compared to the first type;
instruction parallel-issuing means for issuing in parallel to executing units a first instruction sequence comprising an instruction sequence to be executed following the conditional branch instruction and/or a second instruction sequence comprising an instruction sequence to be executed after the branching before a decision whether or not to branch is determined, a choice between the first and/or the second instruction sequence depending on the type of the conditional branch instruction, both the first instruction sequence and the second instruction sequence being issued in parallel when the conditional branch instruction is of the first type, only the second instruction sequence being issued in parallel when the conditional branch instruction is of the second type, and only the first instruction sequence being issued in parallel when the conditional branch instruction is of the third type, the instruction parallel-issuing means comprising:
a plurality of decoding means for decoding the instructions and thence generating control signals outputted to the executing units;
transfer controlling means for transferring the instructions in the first instruction fetch buffer and the second instruction fetch buffer to the plurality of decoding means, one instruction to one decoding means;
mode adding means for adding a mode to each instruction transferred from the transfer controlling means, which indicates which instruction sequence the instruction belongs to by adding one mode to the first instruction sequence and another mode to the second instruction sequence;
an instruction fetching means for fetching instructions stored in memory, the instruction fetching means comprising:
a program counter for outputting read-out addresses to the memory while incrementing its address;
conditional branch instruction detecting means for detecting a conditional branch instruction among the instructions fetched from the memory;
calculating means for calculating a branch address based on the conditional branch instruction detected by the conditional branch instruction detecting means;
and
fetch controlling means including a first fetch buffer and a second fetch buffer for writing the instructions into the first instruction fetch buffer while incrementing its address every time an instruction is fetched from the memory, and for writing the first instruction sequence into the first instruction fetch buffer and the second instruction sequence into the second instruction fetch buffer by writing the branch address calculated by the calculating means into the program counter when the conditional branch instruction is detected;
branching determining means for determining whether to branch when the other instruction is executed;
and
execution result managing means for identifying whether the execution results of the instruction sequences are valid based on the results of the branching determining means, the execution result managing means making one of the execution results of the first and the second instruction sequences valid and the other invalid based on the result of the branching determining means when the conditional branch instruction is of the first type, and making the execution results of the issued instruction sequence valid or invalid based on the result of the branching determining means when the conditional branch instruction is not one of the first type, the execution result managing means comprising:
temporary storing means for storing a set of the execution results of the executing units, the modes of the instructions, and data as to where these execution results are to be stored;
initial mode holding means for holding the mode of the conditional branch instruction issued by the instruction parallel-issuing means as an initial mode;
speculative execution type holding means for holding the type of the conditional branch instruction issued by the instruction parallel-issuing means;
and
speculative execution status indicating means for indicating by means of a flag that the condition of the conditional branch instruction issued by the instruction parallel-issuing means has not been decided;
data-dependence detecting means for detecting data-dependence among a plurality of the decoded instructions by referring to a plurality of decoding results of the decoding means, the execution result managing means functions comprising:
interacting with the instruction parallel-issuing means so that when the parallel-issuing means issues the conditional branch instruction to the branching determining means, at the same time it sets the mode thereof in the initial mode holding means, the type thereof in the speculative execution type holding means, the type thereof in the speculative execution type holding means, and the flag in the speculative status indicating means;
upon receipt of the result from the branching determining means clearing the execution results of the first instruction sequence by referring to the initial mode while transferring the execution results of the second instruction sequence their storage location when the speculative execution type holding means holds the first type of the instructions and the processor has determined to branch;
upon receipt of the result from the branch determining means clearing the execution results of the second instruction sequence while transferring the execution results of the first instruction sequence to their storage location when the speculative execution type holding means holds the first type of instruction and the processor determines not to branch;
transferring the execution results of the second instruction sequence to their storage location by referring to the initial mode when the speculative execution type holding means holds the second type of instruction and the processor has determined to branch;
clearing the execution results of the second instruction sequence from the temporary storing means when the speculative execution type holding means holds the second type of instruction and the processor determines not to branch;
transferring the execution results of the first instruction sequence to their storage location by referring to the initial mode when the speculative execution type holding means holds the third type of instruction and the processor has determined not to branch;
and
clearing the execution result of the first instruction sequence from the temporary storing means when the speculative execution type holding means holds the third type of instruction and the processor determines to branch
scoreboard managing means for managing which registers are in operation for the instructions being executed by the executing units;
availability detecting means for detecting the availability of the executing units;
and
instruction issuance allowing means for allowing the instruction parallel-issuing means to issue instructions identified as issuable ones based on the detecting result of the data-dependence detecting means, the status of the scoreboard managing means, and the detecting result of the availability detecting means into the executing units, while allowing the instruction parallel-issuing means to issue the conditional branch instruction to the branching determining means.

29 more elements

A processor including a plurality of executing units for processing in parallel a plurality of instructions in an instruction sequence stored in its memory, the processor comprising:

instruction type distinguishing means for distinguishing types of conditional branch instructions included in the unexecuted instruction sequence, the condition of each conditional branch instruction depending on a prior instruction in the instruction sequence, the instruction type distinguishing means distinguishing a first type of conditional branch instruction from among other types of conditional branch instructions, probabilities of branching and non-branching for the first type of conditional branch instruction being substantially equal;
instruction parallel-issuing means for issuing in parallel to executing units one of a first instruction sequence comprising an instruction sequence logically following the conditional branch instruction if branching does not occur, a second instruction sequence comprising an instruction sequence logically following the conditional branch instruction if branching does occur, and both of said first instruction sequence and said second instruction sequence, said instruction sequences being issued before a decision whether or not to branch is determined, a choice between one of the first, the second and both of said first instruction sequence and said second instruction sequence depending on the type of the conditional branch instruction, both the first instruction sequence and the second instruction sequence being issued in parallel when the conditional branch instruction is one of the first type of conditional branch instructions, and only one of the first instruction sequence and the second instruction sequence being issued to the executing units when the conditional branch instruction is not one of the first type of conditional branch instructions;
branching determining means for determining whether to branch after the prior instruction has been executed;
and
execution result managing means for making one of the execution results of the first instruction sequence and the second instruction sequence valid and the other invalid based on the result of the branching determining means when the conditional branch instruction is one of the first type of conditional branch instructions, and for making the execution results of the issued instruction sequence valid or invalid based on the result of the branching determining means when the conditional branch instruction is not one of the first type of conditional branch instructions.

2 more elements

Dependencies are inferred from the claim text.