Method, Computer Program, Computer-Readable Data Carrier And Computing Device For Deterministic Execution Of An Instruction Set As Well As Apparatus Comprising Same
Dossier Overview
Applicant
Airbus S.A.S.
Inventor
Sascha Uhrig
IPC Classification
CPC Classification
A method for deterministic execution of an instruction set (I) containing instructions (M) to be carried out by a processing unit of the computing device includes the steps of executing a predefined number of pre-branch instructions (A) up to a conditional branch (C) of the instruction set (I) containing at least one branch condition determining a subsequent instruction which is to be executed after the conditional branch (C); predicting at least one of the pre-branch instructions (A) and/or a target instruction (T) to be executed as the subsequent instruction if the at least one condition is met; and inserting the at least one predicted pre-branch instruction (A) and/or the target instruction (T) into the instruction set (I) after the conditional branch (C). A computer program, computer-readable data-carrier, computing device, and apparatus, such as a vehicle, in particular an aircraft may be configured to perform the method.
Original (Chinese)
A method for deterministic execution of an instruction set (I) containing instructions (M) to be carried out by a processing unit of the computing device includes the steps of executing a predefined number of pre-branch instructions (A) up to a conditional branch (C) of the instruction set (I) containing at least one branch condition determining a subsequent instruction which is to be executed after the conditional branch (C); predicting at least one of the pre-branch instructions (A) and/or a target instruction (T) to be executed as the subsequent instruction if the at least one condition is met; and inserting the at least one predicted pre-branch instruction (A) and/or the target instruction (T) into the instruction set (I) after the conditional branch (C). A computer program, computer-readable data-carrier, computing device, and apparatus, such as a vehicle, in particular an aircraft may be configured to perform the method.
External Resources