WO2015096425A1

WO2015096425A1 - Method and apparatus for preventing register conflict

Info

Publication number: WO2015096425A1
Application number: PCT/CN2014/080553
Authority: WO
Inventors: 姜海明; 王治春
Original assignee: 中兴通讯股份有限公司
Priority date: 2013-12-23
Filing date: 2014-06-23
Publication date: 2015-07-02
Also published as: CN104731555A

Abstract

A method and an apparatus for preventing register conflict, wherein the method comprises: obtaining a life cycle of each variable of a program in a register; and detecting whether the life cycle of the each variable in the register overlaps another, and reporting an alarm if a detection result is yes. The apparatus comprises: an obtaining module, a detection module and an alarm module. The obtaining module is configured to obtain the life cycle of the each variable of the program in the register; the detection module is configured to detect whether the life cycle of the each variable in the register overlaps another, and send a notification to the alarm module if the detection result is yes; and the alarm module is configured to report an alarm when receiving the notification sent by the detection module.

Description

Method and device for avoiding register conflict

The present invention relates to the field of computers, and in particular, to a method and apparatus for avoiding register conflicts. Background technique

The use of electronic devices such as computers, mobile phones, and tablets is now very common. The software in these electronic devices is composed of programs written by programmers. Variables are used in the program. Variables are usually stored in registers. Take microcode as an example. Microcode is a kind of program. It is a set of instructions stored in a network processor. The microengine resides on the network processor. Medium is the core of the entire data forwarding layer. Registers are an important resource in the network processor microengine. Microcode programming uses registers to store temporary variables and implement various services based on forwarding logic. In the program, each variable has its own life cycle in the register, that is, the instruction cycle interval between when the variable is used and when the variable is no longer used. Since there are multiple variables in the program and the number of registers is limited, multiple variables are often placed in the same register. If the lifetimes of the two variables in the same register overlap, a register conflict will occur. .

Because the programmer does not know the use of the register during the process of writing the program, when the variable is defined, the use of the register is often determined by the feeling, which has the consequence that the register conflict often occurs. Summary of the invention

In order to solve the existing technical problems, embodiments of the present invention provide a method and apparatus for avoiding register conflicts.

An embodiment of the present invention provides a method for avoiding a register conflict, including: acquiring a life cycle of each variable in a register; detecting whether a life cycle of each variable in the register overlaps, and performing an alarm when the detection result is yes. In an embodiment of the invention, the step of obtaining the life cycle of each variable of the program in the register comprises: parsing the program with a regular expression to obtain a life cycle of each variable in the register.

In an embodiment of the present invention, the step of parsing a program by using a regular expression to obtain a life cycle of each variable in the register includes: parsing a program variable definition portion by using a regular expression, and acquiring each variable of the program and its register Definition; Use the regular expression to parse the program instruction line to obtain the life cycle of each variable; According to the variables of the program and its register definition, the life cycle of each variable in each register is counted.

In an embodiment of the present invention, the step of performing an alarm comprises: prompting an error by using a script to implement an alarm.

In an embodiment of the invention, the method further comprises: outputting a life cycle of each variable in the register to the text file when the life cycles of the variables in the register do not overlap.

The embodiment of the invention further provides an apparatus for avoiding register conflict, comprising: an obtaining module, a detecting module and an alarm module; the obtaining module is configured to obtain a life cycle of each variable of the program in the register; and the detecting module is configured to detect the Whether the life cycle of each variable in the register overlaps, and sends a notification to the alarm module when the detection result is yes; the alarm module is configured to perform an alarm after receiving the notification sent by the detection module.

In an embodiment of the present invention, the obtaining module further includes a parsing module, wherein the parsing module parses the program by using a regular expression to obtain a life cycle of each variable in the register.

In an embodiment of the present invention, the parsing module includes a first obtaining submodule, a second obtaining submodule, and a statistical submodule; the first obtaining submodule is configured to parse the program variable defining part by using a regular expression to obtain Each variable of the program and its register definition; the second acquisition sub-module is configured to parse the program instruction line by using a regular expression to obtain the life cycle of each variable; the statistical sub-module is configured to be defined according to each variable of the program and its register The life cycle of each variable counts the life cycle of each variable in each register. In an embodiment of the present invention, the alarm module implements an error by the script to implement an error.

In an embodiment of the invention, the apparatus further includes a text output module; when the life cycle of each variable in the register does not overlap, the detection module will notify the text output module, and the text output module outputs the life of each variable in the register. Cycle into a text file.

The embodiment of the present invention further provides a computer readable storage medium, the storage medium comprising a set of computer executable instructions for performing a method for avoiding register conflicts according to an embodiment of the present invention. The beneficial effects of the embodiments of the present invention are:

A method and apparatus for avoiding register conflicts provided by an embodiment of the present invention can avoid register conflicts during program running. The method of the embodiment of the present invention specifically includes: acquiring a life cycle of each variable of the program in the register; detecting whether the life cycle of each variable in the register overlaps, and performing an alarm when the detection result is YES; In the programming process or after writing the first draft of the program, the specific life cycle of each variable of the program in the register is obtained. When the variables in the register are found to overlap, the programmer is alerted, so that the programmer knows that there is a conflict in the register, so that the time can be timely. The program is modified to make the variables of the program in the registers no longer overlap. Compared with the prior art, the method of the embodiment of the present invention can effectively avoid the conflict of the registers during the running of the program, and improve the programming. effectiveness. DRAWINGS

1 is a schematic flowchart of a method according to Embodiment 1 of the present invention;

2 is a schematic flowchart of a method according to Embodiment 3 of the present invention;

3 is a partial content of a microcode file according to Embodiment 3 of the present invention;

4 is a text file of an output variable life cycle according to Embodiment 3 of the present invention; FIG. 5 is a schematic structural diagram of an apparatus according to Embodiment 4 of the present invention. detailed description

The present invention will be further described in detail below with reference to the accompanying drawings.

Embodiment 1:

This embodiment provides a method for avoiding register conflicts. The flow of the method is shown in Figure 1:

Step S101: Start.

Step S102: Acquire a life cycle of each variable of the program in the register.

The main solution of the embodiment of the present invention is to prevent a program conflict between the programs written by the programmer during the running process, so generally the programmer obtains the register during the process of writing the program or after the programmer writes the first draft of the program. The life cycle of each variable.

The following uses a concrete example to illustrate the meaning of the life cycle of a variable. For example, the program defines a destination IP address of a variable storage message, named destlp, stored in register R1. If destlp is used starting from the mth line in the program, the nth line is used, and its lifetime value is nm. , and after the nth row, the register R1 is released and can be defined as other variables. The mth line above is the starting position of the life cycle, the nth line is the end position of the life cycle, and n-m is the life cycle value of the variable. Therefore, the life cycle of a variable includes the starting position, the ending position, and the lifetime value of the variable.

There are several ways to get the life cycle of each variable in a program, because most scripting languages currently have regular expression parsing functions, such as python, perl, and so on. So you can use regular expressions to parse the program to get the life cycle of each variable in the register. Specifically, the variable definition part in the parsing program obtains the variable and its register definition (ie, the register in which the variable is located); parses the instruction line of the program, and obtains the life cycle of each variable; finally, according to each variable and its register definition, each variable The life cycle counts the life cycle of each variable in each register.

Step S103: detecting whether the life cycle of each variable in the register overlaps, if yes, executing step S104, if not, executing step S105; The detection step can be performed by the programmer during the process of writing the program, or after the programmer has written the first draft of the program. Correspondingly, when the detecting step is performed by the programmer during the process of writing the program, if it is detected that the life cycles of the variables in the register overlap, the programmer is alerted in time.

There are several ways to detect, and the best ones can be performed by: judging whether the start position or end position of the life cycle of a variable in the register is at the beginning of the life cycle of another variable in the same register. Between termination positions, if yes, there is overlap.

Step S104: an alarm;

The alarm mode can prompt the programmer to give an error through the script, or can prompt the programmer to give an error by issuing an alarm sound. When an error is prompted to the programmer through a script, the script contains information including: overlapping variables, registers in which the variables are located. Preferably, in order to enable the programmer to modify the program as soon as possible to solve the problem of variable life cycle overlap, the script may also include the position where the variable life cycle overlaps, for example: variables ₁ and ₂ overlap, and the specific overlap occurs in the register. Lines 4 to 7 of R _Q.

Step S105: End.

In another embodiment of the present invention, another method is provided, and the specific process of the method is basically the same as the above method, except that: in the method, when the life cycles of variables in the register do not overlap, Then the life cycle of each variable in the output register is in a text file, and the text file contains: the life cycle of the variable, the occupied register, and the like. This makes it easy for programmers to look for free register resources when modifying code and adding variables. The text file representing the life cycle of each variable can be expressed as a table, a graph, or the like. Embodiment 2:

In order to better explain the contents of the life cycle of each variable in the register obtained in the above method, and how to detect whether the life cycle of each variable in the register overlaps, the following describes a specific operation process: Five variables are defined in the program written by the programmer, namely VI, V2, V3, V4,

V5, after the programmer has finished writing the program, parsing the program and obtaining the life cycle of the five variables, as shown in Table 1:

The life cycle information of V3, and the life cycle information of variables V4 and V5 in the program R1. After the life cycle is acquired, it is detected whether the life cycles of the variables in the register overlap. When detecting, the register R0 and the register R1 may be detected in turn, or both registers may be simultaneously detected. After detecting the register R0, it is found that the initial position of the variable V2 is in the second line, which is between the initial position and the end position of the variable VI, so it is determined that the life cycle of the variable VI overlaps with the life cycle of V2. At this point, the programmer is alerted and the life cycle of the variable VI is overlapped with the life cycle of V2, which needs to be adjusted.

Although the initial position of the life cycle of the variable V4 is the same as the initial position of the life cycle of the variable VI, the end position is the same as the end position of the life cycle of the variable VI, but because the registers they use are not the same, So there is no overlap between the variable VI and the life cycle of variable V4. Embodiment 3:

In order to better illustrate the method provided by the present invention, the following describes the specific embodiment, please See Figure 2. In this embodiment, the program is parsed by using a regular expression to obtain the life cycle of each variable in the register, and the program is a condensing code program.

The variable definition part of the code file begins with assign and is used to specify a register for each variable. Assume that the register resources available for microcode are R0, R1; the total number of lines in the microcode file is 21. Part of the code is shown in Figure 3 (for convenience of description, a simplified representation of assign in Figure 3).

Step S201: start;

Step S202: parsing the program variable definition part by using a regular expression, and acquiring each variable of the program and its register definition; according to the content of the above code, the instruction behavior variable starting with the assign defines the command line, and the code is performed by using the regular expression. The variables that can be obtained by parsing and their registers are defined as: Variables VI, V2, V3, V4 occupy register R0; Variables V5, V6 occupy register R1.

Step S203: parsing the program instruction line by using a regular expression to obtain the life cycle of each variable, the life cycle of the variable VI is the 0th line to the 3rd line; the life cycle of the variable V2 is the 7th line to the 8th line; The life cycle of V3 is line 10 to line 13; the life cycle of variable V4 is line 18 to line 21; the life cycle of variable V5 is line 1 to line 5; the life cycle of variable V6 is line 8 Go to line 10.

Step S204: According to each variable and its register definition, and the life cycle of each variable, the life cycle of each variable in each register is counted; the statistical result is: the variables VI, V2, V3, V4 occupy the register R0; the life cycle of the variable VI is the first Line 0 to line 3; the life cycle of variable V2 is line 7 to line 8; the life cycle of variable V3 is line 10 to line 13; the life cycle of variable V4 is line 18 to line 21. The variables V5 and V6 occupy the register R1; the life cycle of the variable V5 is the 1st line to the 5th line; the life cycle of the variable V6 is the 8th line to the 10th line.

Step S205: Detect whether the life cycle of each variable in the register overlaps, and if yes, go to step S206; if no, go to step S207. Because there is no overlap in the life cycle of the variables in the registers R0 and R1 in this embodiment, the process goes to step S207;

Step S206: The alarm and the alarm mode use a script to prompt the user to make an error. Step S207: Output the life cycle of each variable in the register to the text file, and the output text file is presented in the form of a table, as shown in FIG.

Step S208: End. Embodiment 4:

The embodiment provides an apparatus for avoiding register conflicts, including: an obtaining module 10, a detecting module 20, and an alarm module 30, as shown in FIG. 5; the obtaining module 10 is configured to acquire a life cycle of each variable in the register; The detecting module 20 is configured to detect whether the life cycle of each variable in the register overlaps, and send a notification to the alarm module 30 when the detection result is yes; the alarm module 30 is configured to: after receiving the notification sent by the detecting module 20 Alarm.

The main solution of the embodiment of the present invention is to prevent the program written by the programmer from having a register conflict. Therefore, generally, the programmer acquires the register after acquiring the module 10 in the process of writing the program or after the programmer writes the first draft of the program. The life cycle of each variable. The detection module can be whether the life cycle of each variable in the detection register overlaps during the programming of the programmer or after the programmer has written the first draft of the program. Correspondingly, if the detection process of the detection module 20 is performed during the programming process by the programmer, if the detection module 20 detects that the life cycles of the variables in the register overlap, the alarm module 30 is notified in time.

The detecting module 20 can determine whether the start position or the end position of the life cycle of a variable in the register is in the beginning of the life cycle of another variable in the same register. Between the positions to determine whether the life cycle of each variable in the register overlaps.

The above alarm module 30 can prompt the programmer to give an error through a script, or can prompt the programmer to give an error by issuing an alarm sound. When an error is prompted to the programmer through a script, the script contains information including: overlapping variables, registers in which the variables are located. Preferably, in order to enable the programmer to modify the program as soon as possible to solve the problem of variable life cycle overlap, the script may also include the position where the variable life cycle overlaps, for example: the variable VI and V2 overlap, and the specific overlapping position is in the register. Lines 4 to 7 of R0.

The obtaining module 10 further includes a parsing module. Since most of the scripting languages currently have regular expression parsing functions, such as python, perl, etc., the regular expression can be used to parse the program to obtain the life cycle of each variable in the register; The module is configured to use a regular expression to parse the program to obtain the life cycle of each variable in the register. The parsing module includes a first obtaining submodule, a second obtaining submodule, and a statistical submodule; the first obtaining submodule is configured to obtain a variable of the program and a register definition thereof by using a regular expression to parse the program (ie, where the variable is located) The second acquisition sub-module is configured to obtain a life cycle of each variable by parsing the program by using a regular expression; the statistical sub-module is configured to, according to each variable and its register definition, the life cycle of each variable is counted in each register. The life cycle of each variable.

The device further includes a text output module; when the life cycle of each variable in the register does not overlap, the detection module will inform the text output module, and the text output module outputs the life cycle of each variable in the register to the text file, and the text file can be expressed. For tables, graphics, etc.

It should be noted that the foregoing obtaining module 10, the detecting module 20, the alarm module 30, the parsing module, the first obtaining submodule, the second obtaining submodule, the statistical submodule, and the output module may all be central to the device that avoids register conflicts. A CPU (Central Processing Unit), a Microprocessor (MPU), a Digital Signal Processor (DSP), or a Field-Programmable Gate Array (FPGA).

An embodiment of the present invention further provides a computer readable storage medium, where the storage medium includes a The group of computer executable instructions for performing the method of avoiding register conflicts in accordance with an embodiment of the present invention. Those skilled in the art will appreciate that embodiments of the present invention can be provided as a method, system, or computer program product. Accordingly, the present invention can take the form of a hardware embodiment, a software embodiment, or a combination of software and hardware aspects. Moreover, the invention can take the form of a computer program product embodied on one or more computer usable storage media (including but not limited to disk storage and optical storage, etc.) in which computer usable program code is embodied.

The present invention has been described with reference to flowchart illustrations and/or block diagrams of methods, apparatus (system), and computer program products according to embodiments of the invention. It will be understood that each flow and/or block of the flowchart and/or block diagrams, and combinations of flow and / or blocks in the flowcharts and / or block diagrams can be implemented by computer program instructions. These computer program instructions can be provided to a processor of a general purpose computer, special purpose computer, embedded processor, or other programmable data processing device to produce a machine for the execution of instructions for execution by a processor of a computer or other programmable data processing device. Means for implementing the functions specified in one or more of the flow or in a block or blocks of the flow chart.

The computer program instructions can also be stored in a computer readable memory that can direct a computer or other programmable data processing device to operate in a particular manner, such that the instructions stored in the computer readable memory produce an article of manufacture comprising the instruction device. The apparatus implements the functions specified in one or more blocks of a flow or a flow and/or block diagram of the flowchart.

These computer program instructions can also be loaded onto a computer or other programmable data processing device such that a series of operational steps are performed on a computer or other programmable device to produce computer-implemented processing for execution on a computer or other programmable device. The instructions provide steps for implementing the functions specified in one or more of the flow or in a block or blocks of a flow diagram. It is to be understood that the specific embodiments of the invention are limited only by the description. It will be apparent to those skilled in the art that the present invention may be made without departing from the spirit and scope of the invention.

Claims

claims

1. A method to avoid register conflicts, including:

Get the life cycle of each variable in the register of the program;

Detect whether the life cycles of each variable in the register overlap, and issue an alarm when the detection result is yes.

2. The method of avoiding register conflicts as claimed in claim 1, wherein the step of obtaining the life cycle of each variable in the register of the program includes:

Use regular expressions to parse the program to obtain the life cycle of each variable in the register.

3. The method of avoiding register conflicts as claimed in claim 2, wherein the step of using regular expressions to parse the program to obtain the life cycle of each variable in the register includes:

Use regular expressions to parse the program variable definition part and obtain the program variables and their register definitions;

Use regular expressions to parse the program instruction line to obtain the life cycle of each variable; calculate the life cycle of each variable in each register based on the definition of each variable of the program and its register, and the life cycle of each variable.

4. The method for avoiding register conflicts as claimed in claim 1, wherein the step of alerting includes: prompting an error to the user through a script to implement the alert.

5. The method for avoiding register conflicts according to any one of claims 1 to 4, wherein the method further includes: when the life cycles of the variables in the register do not overlap, outputting the program's values for each variable in the register. The lifetime of the variable into a text file.

6. A device to avoid register conflicts, including: an acquisition module, a detection module and an alarm module;

The acquisition module is configured to obtain the life cycle of each variable in the register of the program; the detection module is configured to detect whether the life cycles of each variable in the register overlap, and send a notification to the alarm module when the detection result is yes. ; The alarm module is configured to alarm after receiving the notification sent by the detection module.

7. The device for avoiding register conflicts according to claim 6, wherein the acquisition module further includes a parsing module, and the parsing module uses regular expressions to parse the program to obtain the life cycle of each variable in the register.

8. The device for avoiding register conflicts as claimed in claim 7, wherein the analysis module includes a first acquisition sub-module, a second acquisition sub-module and a statistics sub-module;

The first acquisition sub-module is configured to use regular expressions to parse the program variable definition part and obtain each variable of the program and its register definition;

The second acquisition sub-module is configured to use regular expressions to parse the program instruction line and obtain the life cycle of each variable;

The statistics submodule is configured to count the life cycle of each variable in each register according to each variable of the program and its register definition, and the life cycle of each variable.

9. The device for avoiding register conflicts as claimed in claim 6, wherein the alarm module implements the alarm by prompting errors to the user through a script.

10. The device for avoiding register conflicts according to any one of claims 6 to 9, further comprising a text output module; when the life cycles of the variables in the register do not overlap, the detection module will inform the text output module, The text output module outputs the life cycle of each variable in the register of the program to a text file.

11. A computer-readable storage medium, the storage medium includes a set of computer-executable instructions, the instructions are used to execute the method of avoiding register conflicts according to any one of claims 1-5.