An instruction control method and apparatus in data processing

Abstract

Embodiments of the present application provide an instruction control method and device in data processing. The method is applied to a data processing system, and includes: obtaining target data information corresponding to a to-be-verified instruction in the data processing system; determining whether the to-be-verified instruction is related to a verification rule in the data processing system according to the target data information; if the determination is yes, adjusting a verification item value in the verification rule through the target data information, and determining whether the to-be-verified instruction passes the verification rule according to the verification item value and a verification item index in the verification rule; and if the determination is no, determining that the to-be-verified instruction passes the verification rule. The technical solution of the embodiments of the present application can shorten the time consumption of the data processing system for verifying the rationality of an instruction, thereby improving the timeliness of the data processing system when verifying the instruction, and the throughput capacity of the data processing system.

Description

Technical Field

[0001] This application relates to the field of data processing technology, and more specifically, to an instruction control method and apparatus for data processing. Background Technology

[0002] With the rapid development of science and technology, the number of instructions that data processing systems need to process simultaneously is constantly increasing, and the complexity of these instructions is also growing. For example, data processing systems in fields such as industrial robots, smart grids, finance and trade, aerospace, and military command all involve scenarios where a large number of instructions need to be processed simultaneously.

[0003] In related technologies, data processing systems typically verify the rationality of instructions based on preset verification rules when processing them. This ensures that the instructions are less prone to anomalies after execution, such as control deviations in industrial robots, abnormal voltage distribution in smart grids, and financial losses in the financial and trading sectors. Under these conditions, to meet the low-latency processing requirements of data processing systems, traditional data processing systems have gradually evolved towards parallel and distributed processing in the process of verifying instructions based on verification rules. However, when faced with high-concurrency, high-throughput instruction streams, data processing systems still experience resource bottlenecks, making it impossible to verify a large number of instructions in a timely manner, leading to a decrease in the timeliness of instruction verification. Summary of the Invention

[0004] To address the aforementioned technical problems, embodiments of this application provide an instruction control method, apparatus, computer-readable storage medium, and electronic device for data processing, thereby improving the timeliness of the data processing system in verifying the rationality of instructions.

[0005] Other features and advantages of this application will become apparent from the following detailed description, or may be learned in part from practice of this application.

[0006] According to one aspect of the embodiments of this application, an instruction control method in data processing is provided, applied to a data processing system. The method includes: acquiring target data information corresponding to an instruction to be verified in the data processing system; determining whether the instruction to be verified is related to a verification rule in the data processing system based on the target data information; if it is determined to be related, adjusting the verification item value in the verification rule through the target data information, and determining whether the instruction to be verified passes the verification rule based on the verification item value and the verification item index in the verification rule; if it is determined to be unrelated, determining that the instruction to be verified passes the verification rule.

[0007] According to one aspect of the embodiments of this application, an instruction control device for data processing is provided, applied to a data processing system, comprising: an acquisition module configured to acquire target data information corresponding to an instruction to be verified in the data processing system; an identification module configured to determine whether the instruction to be verified is related to a verification rule in the data processing system based on the target data information; a first execution module configured to, if determined to be related, adjust the verification item value in the verification rule through the target data information, and determine whether the instruction to be verified passes the verification rule based on the verification item value and the verification item index in the verification rule; and a second execution module configured to, if determined to pass, determine that the instruction to be verified passes the verification rule.

[0008] In some embodiments of this application, based on the foregoing scheme, the identification module is further configured to: obtain a preset relevance index corresponding to the verification rule; if it is determined that the target data information includes the preset relevance index, then it is determined that the instruction to be verified is related to the verification rule; if it is determined that the target data information does not include the preset relevance index, then it is determined that the instruction to be verified is not related to the verification rule.

[0009] In some embodiments of this application, based on the foregoing scheme, the identification module is further configured to: under the condition that the preset correlation index includes multiple related items, after obtaining the preset correlation index corresponding to the verification rule, determine whether the target data information includes each related item in the preset correlation index; if the determination is yes, then determine that the target data information includes the preset correlation index; if the determination is no, then determine that the target data information does not include the preset correlation index.

[0010] In some embodiments of this application, based on the foregoing scheme, the acquisition module is further configured to: group all instructions in the current instruction batch of the data processing system according to a preset division dimension to obtain multiple instruction groups; determine a target instruction group from the multiple instruction groups; wherein the target instruction group is an instruction group that contains unverified instructions among the multiple instruction groups; and use the instructions in the target instruction group as the instructions to be verified.

[0011] In some embodiments of this application, based on the foregoing scheme, the instruction control device in the data processing further includes a third execution module, configured to: after the instruction in the target instruction group is taken as the instruction to be verified, during the process of determining whether the instruction to be verified is related to the verification rules in the data processing system based on the target data information, if it is determined to be related, then determine the target instruction from the target instruction group; wherein, the target instruction is an instruction in the target instruction group that has not been verified; determine whether the target instruction is related to the verification rules based on the data information of the target instruction; if it is determined to be related, adjust the verification item value in the verification rules based on the data information of the target instruction, and determine whether the target instruction passes the verification rules based on the verification item value and the verification item index in the verification rules; if it is determined to be unrelated, determine that the target instruction passes the verification rules.

[0012] In some embodiments of this application, based on the foregoing scheme, the acquisition module is further configured to: acquire the number of instructions and the number of instruction groups in the current instruction batch; determine the expected verification cost based on the number of instructions, the number of instruction groups, and the instruction coverage ratio of the verification rule in the data processing system; wherein, the instruction coverage ratio is the ratio of the number of instruction groups obtained by grouping the instructions involved in the verification rule in the data processing system according to the preset division dimension to the number of instruction groups obtained by grouping all instructions supported by the data processing system according to the preset division dimension; if it is determined that the expected verification cost is lower than the number of instructions, then the instructions in the target instruction group are taken as the instructions to be verified; if it is determined that the expected verification cost is higher than the number of instructions, then the target instruction is determined from the target instruction group as the instructions to be verified.

[0013] In some embodiments of this application, based on the foregoing scheme, the acquisition module is further configured to: determine a mathematical expression for the expected verification cost based on the number of instructions, the number of instruction groups, and the instruction coverage ratio of the verification rule in the data processing system, including: ; Where X is the expected verification cost; C is the number of instruction groups; S is the number of instructions; and R is the instruction coverage ratio.

[0014] According to one aspect of the embodiments of this application, a computer-readable storage medium is provided, on which computer-readable instructions are stored, which, when executed by a computer's processor, cause the computer to perform the instruction control method in data processing as described in the above embodiments.

[0015] According to one aspect of the embodiments of this application, an electronic device is provided, including: one or more processors; and a storage device for storing one or more programs, which, when executed by the one or more processors, cause the electronic device to implement the instruction control method in data processing as described in the above embodiments.

[0016] In the technical solution of this application embodiment, by obtaining the target data information corresponding to the instruction to be verified in the data processing system, and then determining whether the instruction to be verified is related to the verification rules in the data processing system based on the target data information, if it is determined to be related, it indicates that the instruction to be verified belongs to the instruction in the data processing system that needs to be verified for reasonableness before execution. The verification item values ​​in the verification rules can be adjusted through the target data information, and the instruction to be verified is determined to pass the verification rules based on the verification item values ​​and the verification item indicators in the verification rules. If it is determined to be unrelated, it indicates that the instruction to be verified does not belong to the instruction in the data processing system that needs to be verified for reasonableness before execution. The instruction to be verified can be directly determined to pass the verification rules, thereby short-circuiting the verification process of whether the instruction to be verified passes the verification rules, shortening the time spent by the data processing system in verifying the reasonableness of the instruction, and thus improving the timeliness of the data processing system in verifying the instruction and the throughput capacity of the data processing system. Attached Figure Description

[0017] The accompanying drawings, which are incorporated in and form part of this specification, illustrate embodiments consistent with this application and, together with the description, serve to explain the principles of this application. It is obvious that the drawings described below are merely some embodiments of this application, and those skilled in the art can obtain other drawings based on these drawings without any inventive effort. In the drawings: Figure 1 This is a flowchart illustrating an instruction control method in data processing, as shown in an exemplary embodiment of this application; Figure 2 yes Figure 1 The flowchart in an example embodiment preceding step S120 in the illustrated embodiment; Figure 3 yes Figure 2 The flowchart of step S230 in the illustrated embodiment is shown in an example embodiment; Figure 4 This is a block diagram illustrating an instruction control device in data processing according to an exemplary embodiment of this application; Figure 5 This is a schematic diagram of the structure of an electronic device shown in an exemplary embodiment of this application. Detailed Implementation

[0018] Exemplary embodiments will now be described more fully with reference to the accompanying drawings. However, these exemplary embodiments can be implemented in many forms and should not be construed as limited to the examples set forth herein; rather, these embodiments are provided to make this application more comprehensive and complete, and to fully convey the concept of the exemplary embodiments to those skilled in the art.

[0019] Furthermore, the described features, structures, or characteristics can be combined in any suitable manner in one or more embodiments. Numerous specific details are provided in the following description to give a thorough understanding of embodiments of this application. However, those skilled in the art will recognize that the technical solutions of this application can be practiced without one or more of the specific details, or other methods, components, apparatuses, steps, etc., can be employed. In other instances, well-known methods, apparatuses, implementations, or operations are not shown or described in detail to avoid obscuring various aspects of this application.

[0020] The block diagrams shown in the accompanying drawings are merely functional entities and do not necessarily correspond to physically independent entities. That is, these functional entities can be implemented in software, in one or more hardware modules or integrated circuits, or in different network and / or processor devices and / or microcontroller devices.

[0021] The flowcharts shown in the accompanying drawings are merely illustrative and do not necessarily include all content and operations / steps, nor do they necessarily have to be performed in the described order. For example, some operations / steps can be broken down, while others can be combined or partially combined; therefore, the actual execution order may change depending on the specific circumstances.

[0022] It should be noted that "multiple" as mentioned in this article refers to two or more.

[0023] The technical solution of this application embodiment proposes an instruction control method in data processing, which is specifically referred to... Figure 1 As shown. The method includes at least steps S110 to S140, which are described in detail below: In step S110, the target data information corresponding to the instruction to be verified in the data processing system is obtained.

[0024] The data processing system refers to a system with data processing capabilities, such as robot control systems in the field of industrial robots, power grid distribution systems in the field of smart grids, and trading systems in the field of finance and trade. The instruction to be verified is an instruction submitted by the user to the data processing system, but whose rationality has not yet been verified by the data processing system. Data information includes instruction type, control objective, adjustment parameters, instruction action, control time, and other instruction-related information. Target data information is the data information of the instruction to be verified.

[0025] The instructions to be verified can be obtained from the log data of the data processing system, or from the cloud database corresponding to the data processing system. There are no restrictions on this.

[0026] In step S120, it is determined whether the instruction to be verified is related to the verification rules in the data processing system based on the target data information.

[0027] Among them, the verification rules are the verification rules used in the data processing system to verify the rationality of the instructions to be verified.

[0028] In the embodiments of this application, after obtaining the target data information corresponding to the instruction to be verified in the data processing system, it can be determined whether the instruction to be verified is related to the verification rules in the data processing system based on the target data information, so as to determine the rationality verification method of the instruction to be verified.

[0029] In some embodiments of this application, in order to determine whether a command to be verified is related to a verification rule based on target data information, a preset relevance index corresponding to the verification rule can be obtained first, and then it can be determined whether the target data information includes the preset relevance index, thereby determining whether the command to be verified is related to the verification rule. Specifically, if it is determined that the target data information includes the preset relevance index, then it is determined that the command to be verified is related to the verification rule. Conversely, if it is determined that the target data information does not include the preset relevance index, then it is determined that the command to be verified is not related to the verification rule.

[0030] The relevance indicators can be pre-configured by managers based on the control type of the verification rule. For example, when the verification rule is a parameter control type, the relevance indicators can be configured to include instruction type, control objective, instruction action, etc. When the verification rule is a time-limit control type, the relevance indicators can be configured to include instruction type, instruction time, etc. Pre-configured relevance indicators are the relevance indicators pre-configured by managers for the control type of the verification rule.

[0031] In some embodiments of this application, the preset relevance index corresponding to the verification rule may include the instruction type. Based on this, after obtaining the preset relevance index corresponding to the verification rule, it can be determined whether the instruction type in the target data information includes the instruction type in the preset relevance index. If the determination is yes, it indicates that the target data information belongs to the instruction type verified by the verification rule, and it can be determined that the target data information includes the preset relevance index, thus facilitating the indication that the instruction to be verified is related to the verification rule. Conversely, if the determination is no, it indicates that the target data information does not belong to the instruction type verified by the verification rule, and it can be determined that the target data information does not include the preset relevance index, thus facilitating the indication that the instruction to be verified is not related to the verification rule.

[0032] For example, assuming the preset relevance indicator includes instruction type A1, if the instruction type in the target data information is A1, then it can be determined that the instruction type in the target data information includes the instruction type in the preset relevance indicator, thus determining that the target data information includes the preset relevance indicator. If the instruction type in the target data information is A2, then it can be determined that the instruction type in the target data information does not include the instruction type in the preset relevance indicator, thus determining that the target data information does not include the preset relevance indicator.

[0033] In some embodiments of this application, the preset relevance index corresponding to the verification rule may include a control target. Based on this, after obtaining the preset relevance index corresponding to the verification rule, it can be determined whether the control target in the target data information includes the control target in the preset relevance index. If the determination is yes, it indicates that the target data information belongs to the control target verified by the verification rule, and it can be determined that the target data information includes the preset relevance index, thus facilitating the indication that the instruction to be verified is related to the verification rule. Conversely, if the determination is no, it indicates that the target data information does not belong to the control target verified by the verification rule, and it can be determined that the target data information does not include the preset relevance index, thus facilitating the indication that the instruction to be verified is not related to the verification rule.

[0034] For example, given that the control objective included in the preset correlation index is B1, if the control objective in the target data information is B1, then it can be determined that the control objective in the target data information includes the control objective in the preset correlation index, thus determining that the target data information includes the preset correlation index. If the control objective in the target data information is B2, then it can be determined that the control objective in the target data information does not include the control objective in the preset correlation index, thus determining that the target data information does not include the preset correlation index.

[0035] In some embodiments of this application, the preset relevance index corresponding to the verification rule may include instruction actions. Based on this, after obtaining the preset relevance index corresponding to the verification rule, it can be determined whether the instruction actions in the target data information include the instruction actions in the preset relevance index. If the determination is yes, it indicates that the target data information belongs to the instruction actions verified by the verification rule, and it can be determined that the target data information includes the preset relevance index, thus facilitating the indication that the instruction to be verified is related to the verification rule. Conversely, if the determination is no, it indicates that the target data information does not belong to the instruction actions verified by the verification rule, and it can be determined that the target data information does not include the preset relevance index, thus facilitating the indication that the instruction to be verified is not related to the verification rule.

[0036] For example, given that the instruction action included in the preset relevance indicator is C1, if the instruction action in the target data information is C1, then it can be determined that the instruction actions in the target data information include the instruction actions in the preset relevance indicator, thus determining that the target data information includes the preset relevance indicator. If the instruction action in the target data information is C2, then it can be determined that the instruction actions in the target data information do not include the instruction actions in the preset relevance indicator, thus determining that the target data information does not include the preset relevance indicator.

[0037] In some embodiments of this application, the preset relevance index corresponding to the verification rule may include multiple related items. Based on this, after obtaining the preset relevance index corresponding to the verification rule, it can be determined whether the target data information includes each related item in the preset relevance index. If the determination is yes, it indicates that the target data information is controlled by the verification rule, and it can be determined that the target data information includes the preset relevance index, thus indicating that the instruction to be verified is related to the verification rule. Conversely, if the determination is no, it indicates that the target data information does not need to be verified by the verification rule, and it can be determined that the target data information does not include the preset relevance index, thus indicating that the instruction to be verified is not related to the verification rule.

[0038] For example, given that the preset correlation index includes multiple related items such as instruction type, control target, and instruction action, and the instruction type is A1, the control target is B1, and the instruction action is C1: If the instruction type in the target data information is A1, the control target is B1, and the instruction action is C1, then it can be determined that the target data information includes each related item in the preset correlation index, thus confirming that the target data information includes the preset correlation index. If any one of the instruction type, control target, or instruction action in the target data information changes, then it can be determined that the target data information does not include each related item in the preset correlation index, thus confirming that the target data information does not include the preset correlation index.

[0039] In step S130, if it is determined to be yes, the value of the verification item in the verification rule is adjusted by the target data information, and the verification item value and the verification item index in the verification rule are used to determine whether the instruction to be verified passes the verification rule.

[0040] In some embodiments of this application, during the process of determining whether the instruction to be verified is related to the verification rules in the data processing system based on the target data information, if it is determined to be related, it indicates that the instruction to be verified belongs to the instruction in the data processing system that needs to be verified for reasonableness before execution. The verification item values ​​in the verification rules can be adjusted based on the target data information, and the verification item values ​​and the verification item indicators in the verification rules can be used to determine whether the instruction to be verified passes the verification rules.

[0041] For example, under the verification rule that the parameter value of control target B1 must not exceed 1000, the verification item value in the verification rule is the parameter value corresponding to control target B1, and the verification item index in the verification rule is the parameter value corresponding to control target B1 being lower than 1000. If the current parameter value of control target B1 is 200, and the instruction to be verified is to increase the parameter value of control target B1 by 500, then the verification item value in the verification rule adjusted using the target data information is 700. Therefore, based on the verification item value, it can be determined that after the instruction to be verified is applied, the parameter value corresponding to control target B1 is lower than 1000. In other words, based on the verification item value and the verification item index, it can be determined that the instruction to be verified passes the verification rule.

[0042] If the instruction to be verified is to increase the parameter value of control target B1 by 2000, then the verification item value in the verification rule adjusted based on the target data information is 2200. Therefore, based on the verification item value, it can be determined that after the instruction to be verified is applied, the parameter value corresponding to control target B1 is higher than 1000. In other words, based on the verification item value and the verification item indicator, it can be determined that the instruction to be verified cannot pass the verification rule; that is, the instruction to be verified is a violation and should be cancelled.

[0043] In step S140, if the determination is no, then the instruction to be verified is determined to pass the verification rule.

[0044] In some embodiments of this application, during the process of determining whether the instruction to be verified is related to the verification rules in the data processing system based on the target data information, if it is determined that it is not, it indicates that the instruction to be verified does not belong to the instructions in the data processing system that need to be verified for reasonableness before execution. Therefore, it can be directly determined that the instruction to be verified passes the verification rules. In the process of the data processing system verifying whether the instruction to be verified is reasonable, the verification process of whether the instruction to be verified passes the verification rules can be bypassed. That is, the verification item values ​​in the verification rules are adjusted by adjusting the verification item values ​​and the verification item indicators in the verification rules to determine whether the instruction to be verified passes the verification rules. This shortens the time spent by the data processing system to verify the reasonableness of the instruction, thereby improving the timeliness of the data processing system when verifying the instruction and the throughput capacity of the data processing system when processing the instruction.

[0045] For example, if the preset relevance index corresponding to verification rule P1 indicates that its instruction type is A1, control target is B1, and instruction action is C1, then when the target data information of the instruction X1 to be verified indicates that its instruction type is A1, control target is B1, and instruction action is C1, the verification item values ​​in verification rule P1 are adjusted according to the target data information of the instruction X1 to be verified, and the verification item values ​​and the verification item index in the verification rule are used to determine whether the instruction X1 to be verified passes verification rule P1.

[0046] When the target data information of the instruction X2 to be verified indicates that its instruction type is A2, the control target is B2, and the instruction action is C2, it can be determined that the instruction X2 to be verified is unrelated to the verification rule P1. That is, the instruction X2 to be verified is not controlled by the verification rule P1, thus directly determining that the instruction X2 to be verified passes the verification rule P1. The target data information of the instruction X2 to be verified is then short-circuited to adjust the verification item values ​​in the verification rule P1. Based on the verification item values ​​and the verification item indicators in the verification rule, it is determined whether the instruction X2 to be verified passes the verification process of the verification rule P1, thereby shortening the time spent by the data processing system to perform reasonableness verification on the instruction X2 to be verified.

[0047] See Figure 2 , Figure 2 This is an instruction control method in data processing illustrated according to another exemplary embodiment. For example... Figure 2 As shown, in Figure 2 Before step S120 in the illustrated embodiment, the method may further include steps S210 to S230, which are described in detail below: Step S210: Group all instructions in the current instruction batch of the data processing system according to the preset division dimensions to obtain multiple instruction groups; Step S220: Determine the target instruction group from multiple instruction groups; Step S230: Select the instructions in the target instruction group as the instructions to be verified.

[0048] The preset division dimensions can be flexibly configured as needed. For example, the preset division dimensions can be set to any one of the control targets, command actions, or command types in the data information; or, the preset division dimensions can be set to any combination of control targets, command actions, or command types in the data information, without any restrictions.

[0049] The target instruction group is an instruction group that contains unverified instructions among multiple instruction groups.

[0050] In the above process, before determining whether the instruction to be verified is related to the verification rules in the data processing system based on the target data information, all instructions in the current instruction batch of the data processing system can be grouped according to a preset division dimension to obtain multiple instruction groups. Then, the target instruction group is determined from the multiple instruction groups, and finally, the instructions in the target instruction group are used as the instructions to be verified. This allows the data processing system to perform batch verification of the rationality of instructions while ensuring the accuracy of the verification of the rationality of instructions. This further shortens the time spent by the data processing system in verifying the rationality of the instructions to be verified and improves the throughput of the data processing system.

[0051] For example, under the condition that the preset division dimension is the control target, all instructions in the current instruction batch of the data processing system can be grouped according to the control target. That is, instructions with the same control target are grouped into the same group to obtain multiple instruction groups. Then, the instruction group that includes instructions that have not yet been verified is determined from the multiple instruction groups as the target instruction group. Finally, the instructions in the target instruction group are taken as instructions to be verified.

[0052] In some embodiments of this application, after taking the instructions in the target instruction group as the instructions to be verified, in the process of determining whether the instructions to be verified are related to the verification rules in the data processing system based on the target data information, if it is determined to be related, it means that it cannot be directly determined that the instructions to be verified pass the verification rules, and it is necessary to verify the instructions to be verified through the verification rules to determine whether they are reasonable. However, since the instructions to be verified include all the instructions in the target instruction group, considering that there may be individual instructions that violate the rules in all the instructions in the target instruction group, the target instruction can be determined from the target instruction group, and then the data information of the target instruction can be used to determine whether the target instruction is related to the verification rules, so as to determine the reasonableness verification method of the target instruction. If the result is positive, the values ​​of the verification items in the verification rules are adjusted based on the data information of the target instruction. The validity of the target instruction is then determined based on the values ​​of the verification items and the indicators of the verification items in the verification rules. If the result is negative, the target instruction is deemed to have passed the verification rules, thus short-circuiting the verification process of whether the target instruction has passed the verification rules. Furthermore, by determining whether all instructions in the target instruction group are related to the verification rules, the rationality verification method for each instruction is adjusted to ensure that the data processing system avoids executing illegal instructions while reducing the time spent by the data processing system to perform rationality verification of instructions.

[0053] The target instruction is the instruction in the target instruction group that has not been verified.

[0054] In the above process, the method for determining whether a target instruction is related to the verification rule based on the data information of the target instruction can refer to the embodiment described in step S120 above. The method for adjusting the verification item values ​​in the verification rule based on the data information of the target instruction, and determining whether the target instruction passes the verification rule based on the verification item values ​​and the verification item indicators in the verification rule, can refer to the embodiment described in step S130 above. Further details will not be elaborated here.

[0055] Referring to the example above, when the control node corresponding to the target instruction group is A1, if it is determined from the target data information of the instruction to be verified that the instruction to be verified is related to the verification rules in the data processing system, then the target instruction group needs to be verified by the verification rules to determine whether it is reasonable. Therefore, the unverified instructions in the target instruction group can be identified as target instructions. Then, based on the data information of the target instructions, it can be determined whether the target instructions are related to the verification rules. If it is determined to be related, then the target instruction belongs to the instruction in the data processing system that needs to be verified by the verification rules. The verification item values ​​in the verification rules are adjusted based on the data information of the target instructions, and the target instruction passes the verification rules based on the verification item values ​​and the verification item indicators in the verification rules. If it is determined to be unrelated, then the target instruction does not belong to the instruction in the data processing system that needs to be verified by the verification rules before execution. Therefore, the target instruction is directly determined to pass the verification rules, thus bypassing the verification process of determining whether the target instruction passes the verification rules.

[0056] See Figure 3 , Figure 3 Is Figure 2 The flowchart of step S230 in the illustrated embodiment is shown in an exemplary embodiment. Figure 3 As shown, the process of using the instructions in the target instruction group as instructions to be verified may include steps S310 to S340, which are described in detail below: In step S310, the number of instructions and the number of instruction groups in the current instruction batch are obtained.

[0057] The instruction count refers to the total number of instructions in the current instruction batch. The instruction group count refers to the total number of instruction groups obtained by grouping all instructions in the current instruction batch according to a preset division dimension.

[0058] In step S320, the expected verification cost is determined based on the number of instructions, the number of instruction groups, and the instruction coverage ratio of the verification rules in the data processing system.

[0059] The instruction coverage ratio is the ratio of the number of instruction groups obtained after grouping the instructions involved in the verification rules in the data processing system according to the preset division dimensions to the number of instruction groups obtained after grouping all the instructions supported by the data processing system according to the preset division dimensions.

[0060] The method for determining the expected verification cost based on the number of instructions, the number of instruction groups, and the instruction coverage ratio corresponding to the verification rule can be flexibly configured as needed. In one example, the verification cost corresponding to the number of instructions, the number of instruction groups, and the instruction coverage ratio can be obtained from the preset memory as the expected verification cost. In other words, the preset memory can pre-store the verification costs corresponding to different numbers of instructions under different numbers of instruction groups and different instruction coverage ratios.

[0061] In another example, the expected verification cost can also be directly calculated based on the number of instructions, the number of instruction groups, and the instruction coverage ratio of verification rules in the data processing system. The mathematical expression for determining the expected verification cost based on the number of instructions, the number of instruction groups, and the instruction coverage ratio of verification rules in the data processing system is as follows: ; Where X is the expected verification cost; C is the number of instruction groups; S is the number of instructions; and R is the instruction coverage ratio.

[0062] In step S330, if it is determined that the expected verification cost is lower than the number of instructions, then the instructions in the target instruction group are taken as instructions to be verified.

[0063] In the embodiments of this application, considering that the process of determining whether the instruction to be verified is related to the verification rule based on the target data information requires computation, and given that the instructions in the target instruction group are the instructions to be verified, if it is determined that the instructions to be verified are related to the verification rule in the data processing system, it is also necessary to determine whether all instructions in the target instruction group pass the verification rule one by one. This makes determining whether the instruction to be verified is related to the verification rule based on the target data information a redundant operation, thus prolonging the time consumed by the data processing system to perform reasonableness verification on the instructions. Based on this, after determining the expected verification cost, if it is determined that the expected verification cost is lower than the number of instructions, it means that after determining the target instruction group from multiple instruction groups, the processing cost corresponding to the implementation method of determining whether the instructions in the target instruction group are related to the verification rule as instructions to be verified is lower than the processing cost corresponding to the implementation method of determining whether each instruction is related to the verification rule as an instruction to be verified. Therefore, the instructions in the target instruction group can be used as instructions to be verified to further shorten the time consumed by the data processing system to perform reasonableness verification on the instructions.

[0064] In step S340, if it is determined that the expected verification cost is higher than the number of instructions, then the target instruction is selected as the instruction to be verified from all instructions in the current instruction batch.

[0065] In the embodiments of this application, after determining the expected verification cost, if it is determined that the expected verification cost is higher than the number of instructions, it indicates that after determining the target instruction group from multiple instruction groups, the processing cost corresponding to the implementation of determining whether the instructions in the target instruction group are related to the verification rule as instructions to be verified is higher than the processing cost corresponding to the implementation of determining whether each instruction is related to the verification rule as an instruction to be verified. Therefore, the unverified target instructions can be determined from the target instruction group as instructions to be verified, thereby determining whether all instructions in the current instruction batch are related to the verification rule one by one, thereby ensuring that the time spent by the data processing system to perform reasonableness verification on instructions is not easily prolonged.

[0066] The following describes an apparatus embodiment of this application, which can be used to execute the instruction control method in the data processing described above. For details not disclosed in the apparatus embodiments of this application, please refer to the embodiments of the instruction control method in the data processing described above.

[0067] Figure 4 A block diagram of an instruction control device 100 in data processing according to an embodiment of this application is shown.

[0068] Reference Figure 4 As shown, an instruction control device 100 for data processing according to an embodiment of this application is applied to a data processing system and includes: an acquisition module 110 configured to acquire target data information corresponding to an instruction to be verified in the data processing system; an identification module 120 configured to determine whether the instruction to be verified is related to a verification rule in the data processing system based on the target data information; a first execution module 130 configured to, if determined to be related, adjust the verification item value in the verification rule through the target data information, and determine whether the instruction to be verified passes the verification rule based on the verification item value and the verification item index in the verification rule; and a second execution module 140 configured to, if determined to be unrelated, determine that the instruction to be verified passes the verification rule.

[0069] In some embodiments of this application, based on the foregoing scheme, the identification module 120 is further configured to: obtain a preset relevance index corresponding to the verification rule; if it is determined that the target data information includes the preset relevance index, then it is determined that the instruction to be verified is related to the verification rule; if it is determined that the target data information does not include the preset relevance index, then it is determined that the instruction to be verified is not related to the verification rule.

[0070] In some embodiments of this application, based on the foregoing scheme, the identification module 120 is further configured to: under the condition that the preset correlation index includes multiple related items, after obtaining the preset correlation index corresponding to the verification rule, determine whether the target data information includes each related item in the preset correlation index; if the determination is yes, then determine that the target data information includes the preset correlation index; if the determination is no, then determine that the target data information does not include the preset correlation index.

[0071] In some embodiments of this application, based on the foregoing scheme, the acquisition module 110 is further configured to: group all instructions in the current instruction batch of the data processing system according to a preset division dimension to obtain multiple instruction groups; determine a target instruction group from the multiple instruction groups; wherein, the target instruction group is an instruction group that contains unverified instructions among the multiple instruction groups; and take the instructions in the target instruction group as instructions to be verified.

[0072] In some embodiments of this application, based on the foregoing scheme, the instruction control device 100 in data processing further includes a third execution module, configured to: after taking the instructions in the target instruction group as instructions to be verified, in the process of determining whether the instructions to be verified are related to the verification rules in the data processing system based on the target data information, if it is determined to be related, then determine the target instruction from the target instruction group; wherein, the target instruction is an instruction in the target instruction group that has not been verified; determine whether the target instruction is related to the verification rules based on the data information of the target instruction; if it is determined to be related, adjust the verification item value in the verification rules based on the data information of the target instruction, and determine whether the target instruction passes the verification rules based on the verification item value and the verification item index in the verification rules; if it is determined to be unrelated, then determine that the target instruction passes the verification rules.

[0073] In some embodiments of this application, based on the foregoing scheme, the acquisition module 110 is further configured to: acquire the number of instructions and the number of instruction groups in the current instruction batch; determine the expected verification cost based on the number of instructions, the number of instruction groups, and the instruction coverage ratio of the verification rules in the data processing system; wherein, the instruction coverage ratio is the ratio between the number of instruction groups obtained after grouping the instructions involved in the verification rules in the data processing system according to a preset division dimension and the number of instruction groups obtained after grouping all instructions supported by the data processing system according to a preset division dimension; if it is determined that the expected verification cost is lower than the number of instructions, then the instructions in the target instruction group are taken as instructions to be verified; if it is determined that the expected verification cost is higher than the number of instructions, then the target instruction is determined from the target instruction group as the instruction to be verified.

[0074] In some embodiments of this application, based on the foregoing scheme, the acquisition module 110 is further configured to: determine a mathematical expression for the expected verification cost based on the number of instructions, the number of instruction groups, and the instruction coverage ratio of the verification rules in the data processing system, including: ; Where X is the expected verification cost; C is the number of instruction groups; S is the number of instructions; and R is the instruction coverage ratio.

[0075] It should be noted that the instruction control device 100 in the data processing provided in the above embodiments and the instruction control method in the data processing provided in the above embodiments belong to the same concept. The specific way in which each module and unit performs operations has been described in detail in the method embodiments, and will not be repeated here.

[0076] Embodiments of this application also provide an electronic device, including a processor and a memory, wherein the memory stores computer-readable instructions that, when executed by the processor, implement the instruction control method in the aforementioned data processing.

[0077] Figure 5 A schematic diagram of the structure of a computer system suitable for implementing the electronic device of the present application is shown.

[0078] It should be noted that, Figure 5 The computer system 200 of the electronic device shown is merely an example and should not impose any limitation on the functionality and scope of use of the embodiments of this application.

[0079] like Figure 5 As shown, the computer system 200 includes a Central Processing Unit (CPU) 201, which can perform various appropriate actions and processes based on programs stored in Read-Only Memory (ROM) 202 or programs loaded from storage portion 208 into Random Access Memory (RAM) 203, such as performing the methods described in the above embodiments. The RAM 203 also stores various programs and data required for system operation. The CPU 201, ROM 202, and RAM 203 are interconnected via a bus 204. An Input / Output (I / O) interface 205 is also connected to the bus 204.

[0080] The following components are connected to I / O interface 205: an input section 206 including a keyboard, mouse, etc.; an output section 207 including a cathode ray tube (CRT), liquid crystal display (LCD), etc., and speakers, etc.; a storage section 208 including a hard disk, etc.; and a communication section 209 including a network interface card such as a LAN (Local Area Network) card, modem, etc. The communication section 209 performs communication processing via a network such as the Internet. A drive 210 is also connected to I / O interface 205 as needed. Removable media 211, such as a disk, optical disk, magneto-optical disk, semiconductor memory, etc., are installed on drive 210 as needed so that computer programs read from them can be installed into storage section 208 as needed.

[0081] Specifically, according to embodiments of this application, the processes described above with reference to the flowcharts can be implemented as computer software programs. For example, embodiments of this application include a computer program product comprising a computer program carried on a computer-readable medium, the computer program including a computer program for performing the methods shown in the flowcharts. In such embodiments, the computer program can be downloaded and installed from a network via communication section 209, and / or installed from removable medium 211. When the computer program is executed by central processing unit (CPU) 201, it performs various functions defined in the system of this application.

[0082] It should be noted that the computer-readable medium shown in the embodiments of this application can be a computer-readable signal medium, a computer-readable storage medium, or any combination thereof. A computer-readable storage medium can be, for example,, but not limited to, an electrical, magnetic, optical, electromagnetic, infrared, or semiconductor system, apparatus, or device, or any combination thereof. More specific examples of a computer-readable storage medium may include, but are not limited to: an electrical connection having one or more wires, a portable computer disk, a hard disk, random access memory (RAM), read-only memory (ROM), erasable programmable read-only memory (EPROM), flash memory, optical fiber, portable compact disc read-only memory (CD-ROM), optical storage device, magnetic storage device, or any suitable combination thereof. In this application, a computer-readable storage medium can be any tangible medium containing or storing a program that can be used by or in conjunction with an instruction execution system, apparatus, or device. In this application, a computer-readable signal medium can include a data signal propagated in baseband or as part of a carrier wave, carrying a computer-readable computer program. The transmitted data signal can take various forms, including but not limited to electromagnetic signals, optical signals, or any suitable combination thereof. The computer-readable signal medium can also be any computer-readable medium other than a computer-readable storage medium, which can send, propagate, or transmit a program for use by or in connection with an instruction execution system, apparatus, or device. The computer program contained on the computer-readable medium can be transmitted using any suitable medium, including but not limited to wireless, wired, etc., or any suitable combination thereof.

[0083] The flowcharts and block diagrams in the accompanying drawings illustrate the architecture, functionality, and operation of possible implementations of systems, methods, and computer program products according to various embodiments of this application. Each block in a flowchart or block diagram may represent a module, segment, or portion of code, which contains one or more executable instructions for implementing a specified logical function. It should also be noted that in some alternative implementations, the functions indicated in the blocks may occur in a different order than those indicated in the drawings. For example, two consecutively indicated blocks may actually be executed substantially in parallel, and they may sometimes be executed in reverse order, depending on the functions involved. It should also be noted that each block in a block diagram or flowchart, and combinations of blocks in a block diagram or flowchart, can be implemented using a dedicated hardware-based system that performs the specified function or operation, or using a combination of dedicated hardware and computer instructions.

[0084] The units described in the embodiments of this application can be implemented in software or hardware, and the described units can also be located in a processor. The names of these units do not necessarily limit the specific unit itself.

[0085] In another aspect, this application also provides a computer-readable storage medium, which may be included in the electronic device described in the above embodiments; or it may exist independently and not assembled into the electronic device. The computer-readable storage medium carries one or more programs, which, when executed by the electronic device, cause the electronic device to perform the methods described in the above embodiments.

[0086] It should be noted that although several modules or units for the device used to perform actions have been mentioned in the detailed description above, this division is not mandatory. In fact, according to the embodiments of this application, the features and functions of two or more modules or units described above can be embodied in one module or unit. Conversely, the features and functions of one module or unit described above can be further divided and embodied by multiple modules or units.

[0087] Through the above description of the embodiments, those skilled in the art will readily understand that the exemplary embodiments described herein can be implemented by software or by combining software with necessary hardware. Therefore, the technical solutions according to the embodiments of this application can be embodied in the form of a software product, which can be stored in a non-volatile storage medium (such as a CD-ROM, USB flash drive, external hard drive, etc.) or on a network, including several instructions to cause a computing device (such as a personal computer, server, touch terminal, or network device, etc.) to execute the methods according to the embodiments of this application.

[0088] Other embodiments of this application will readily occur to those skilled in the art upon consideration of the specification and practice of the embodiments disclosed herein. This application is intended to cover any variations, uses, or adaptations of this application that follow the general principles of this application and include common knowledge or customary techniques in the art not disclosed herein.

[0089] It should be understood that this application is not limited to the precise structure described above and shown in the accompanying drawings, and various modifications and changes can be made without departing from its scope. The scope of this application is limited only by the appended claims.

Claims

1. A method for instruction control in data processing, characterized in that, Applied to a data processing system, the method includes: Obtain the target data information corresponding to the instruction to be verified in the data processing system; Based on the target data information, determine whether the instruction to be verified is related to the verification rules in the data processing system; If it is determined to be yes, then the value of the verification item in the verification rule is adjusted through the target data information, and the verification item value and the verification item index in the verification rule are used to determine whether the instruction to be verified passes the verification rule. If the result is negative, then the instruction to be verified is determined to have passed the verification rule.

2. The method according to claim 1, characterized in that, The step of determining whether the instruction to be verified is related to the verification rules in the data processing system based on the target data information includes: Obtain the preset relevance index corresponding to the verification rule; If it is determined that the target data information includes the preset correlation index, then it is determined that the instruction to be verified is related to the verification rule; If it is determined that the target data information does not include the preset correlation index, then it is determined that the instruction to be verified is not related to the verification rule.

3. The method according to claim 2, characterized in that, The preset relevance index includes multiple relevance items. After obtaining the preset relevance index corresponding to the verification rule, the method further includes: Determine whether the target data information includes each of the preset correlation indicators; If the determination is yes, then the target data information is determined to include the preset correlation index; If the determination is negative, then the target data information does not include the preset correlation index.

4. The method according to claim 1, characterized in that, The step of obtaining the target data information corresponding to the instruction to be verified in the data processing system includes: The data processing system groups all instructions in the current instruction batch according to a preset division dimension to obtain multiple instruction groups; A target instruction group is determined from the plurality of instruction groups; wherein the target instruction group is an instruction group among the plurality of instruction groups that contains unverified instructions; The instructions in the target instruction group are used as the instructions to be verified.

5. The method according to claim 4, characterized in that, After selecting the instructions in the target instruction group as the instructions to be verified, the method further includes: In the process of determining whether the instruction to be verified is related to the verification rules in the data processing system based on the target data information, if it is determined to be related, then the target instruction is determined from the target instruction group; wherein, the target instruction is the instruction in the target instruction group that has not been verified. Determine whether the target instruction is related to the verification rule based on the data information of the target instruction; If it is determined to be yes, then the value of the verification item in the verification rule is adjusted according to the data information of the target instruction, and the target instruction is determined to pass the verification rule based on the value of the verification item and the verification item index in the verification rule; If the result is negative, then the target instruction is determined to have passed the verification rule.

6. The method according to claim 5, characterized in that, The step of using the instructions in the target instruction group as the instructions to be verified includes: Obtain the number of instructions and the number of instruction groups in the current instruction batch; The expected verification cost is determined based on the number of instructions, the number of instruction groups, and the instruction coverage ratio of the verification rule in the data processing system; wherein, the instruction coverage ratio is the ratio of the number of instruction groups obtained by grouping the instructions involved in the verification rule in the data processing system according to the preset division dimension to the number of instruction groups obtained by grouping all instructions supported by the data processing system according to the preset division dimension. If it is determined that the expected verification cost is lower than the number of instructions, then the instructions in the target instruction group are selected as the instructions to be verified. If it is determined that the expected verification cost is higher than the number of instructions, then a target instruction is selected from the target instruction group as the instruction to be verified.

7. The method according to claim 6, characterized in that, The mathematical expression for determining the expected verification cost based on the number of instructions, the number of instruction groups, and the instruction coverage ratio of the verification rule in the data processing system includes: ; Where X is the expected verification cost; C is the number of instruction groups; S is the number of instructions; and R is the instruction coverage ratio.

8. A command control device for data processing, characterized in that, Applied to data processing systems, including: The acquisition module is configured to acquire target data information corresponding to the instruction to be verified in the data processing system; The identification module is configured to determine, based on the target data information, whether the instruction to be verified is related to the verification rules in the data processing system; The first execution module is configured to, if determined to be yes, adjust the value of the verification item in the verification rule through the target data information, and determine whether the instruction to be verified passes the verification rule based on the value of the verification item and the verification item index in the verification rule. The second execution module is configured to determine that the instruction to be verified passes the verification rule if the determination is negative.

9. A computer-readable storage medium, characterized in that, It stores computer-readable instructions that, when executed by the computer's processor, cause the computer to perform the instruction control method in data processing as described in any one of claims 1 to 7.

10. An electronic device, characterized in that, include: One or more processors; A storage device for storing one or more programs, which, when executed by one or more processors, cause the electronic device to implement the instruction control method in data processing as claimed in any one of claims 1 to 7.

Images