SU1325488A2 - Device for monitoring program run - Google Patents

Abstract

The invention relates to automation and computing and can be used to monitor the code of a computer program operating in real time. The purpose of the invention is to expand the func

Description

of the device’s capabilities due to the possibility of checking the execution of cyclic program sections with an implicit number of loop repetitions. The device consists of counters 1,7,13 and 14 elements AND-HE 2 and 8, elements AND 3,4,9,10,12,17,18, 20 and 21, elements OR 5 and 22, comparison circuit 6, triggers 11.15 and 16 and the generator 19 single signals. The device allows to detect the following types of errors; discrepancy between the number of executed commands of the linear section of the program and the number of commands of the linear section; performance

one

The invention relates to the field of computer technology, can be used to control the course of a specialized computer program in automated control systems operating in real time, and is an improvement to the device by author. No. 1242967.

The aim of the invention is to expand the functionality of the device due to the possibility of checking the cyclic sections of programs with an implicit number of repetitions of the cycle.

FIG. 1 shows a block diagram of a device for monitoring program progress; in fig. 2 - structure of a special team.

The device (Fig. 1) contains the first counter 1, the first element AND-NOT 2, the first 3 and the second 4 elements AND, the first element OR 5, the comparison circuit 6, the second counter 7, the second element (AND-HE 8, the third 9 and a quarter 10 elements And, the first trigger 11, the fifth element And 12, the third 13 and fourth 14 counters, the second 15 and third 16 triggers, the first 17 And the second 18 multi-input elements And, the generator 19 single pulses, the seventh 20 and the sixth 21 elements And, the second element OR 22. The control of the input code entry on counter 1 is the input 23 of the device, the count input of the counter 1 is device 24 stroke, the installation input of counter 1 is the device input 25, the single outputs of counter 1 in the conditional jump command in the absence of conditions for its fulfillment; incorrect control transfer when executing the jump command; one branch of the program jumps from two program branches at different values m sign of the transition; the number of repetitions of the cycle is less than the explicitly specified; program looping; inconsistency in the number of cycle repetitions performed for cycles with implicit assignment of the number of cycle repetitions to an implicit number; Looping the program with an implicit number of repetitions of the cycle, 2 Il.

The device output 26, the second input 27 of the first element AND 3 is the input of the control end of the device, the second input 28 of the second element 4 is the input of the transition control sign, the first 29 and second 30 inputs of the comparison circuit 6 are the entrance signs of the transition and a one-bit sign of the condition, the output 31 is the output of the device malfunction, the single input 32 of the first trigger 11 is the input of the control of the cycle, the input 3.3 of the sign of repetition of the general and the information outputs of the counter 7 is the output 34 of the device, infor Device inputs 35 of the device, input 36 of the device of the sign of the transition condition, input 37 of the device of the control loop characteristic with an implicit number of repetitions, information outputs 38 and 39 of the counters 13 and 14 are included in the group of information outputs of the device.

The special command (Fig. 2) includes a field 40 in which the command code is written, a one-bit field 41 in which 1 is written if it is necessary to control the correctness of the conditional transition to the program section started by this special command, and O if the conditional correctness not monitored, a one-bit field 42 in which the value of the conditional transition flag is written, along which the program section must perform 31325488

A transition, a one-bit field 43 of the manda, is converted into an additional sign of controlling the cycle, in which 1 is written, if it is necessary to control the correctness of the cyclic program section that is started by a special command, and O, if the correctness of the execution of the cycle is not monitored , field 44, which records the number of commands Q to be executed on the program section, limited by a special command and the first one, met after it by a conditional branch command or a stop command, field 45, in which all bits of counter 1 must be recorded; the number of repetitions is cycled in one state. From the individual program area, a one-bit field 46 of the control sign with an implicit number of repetitions, in

It is sent to counter 1. At the end of each command, except for the conditional jump and stop command, a signal is received at input 24 of the device that causes the contents of counter 1 to increase by one.

When executing the stop command at the device input 27, a single signal of the end of control sign is generated. If the course of the program is not disturbed, i.e. not a single command was missed and not a single extra command was executed.

the course of the element AND-NOT 2 at the input of the element And 3 receives a zero signal and at its output does not form a single

which is recorded 1 if necessary 20 signal. If at least one command was missed during program execution, by the time the stop command is executed, not all bits of counter 1 are in the, single state, on

It is necessary to control the correctness of the execution of the cyclic section of the npoi- frame with an implicit number of repetitions, which is started by this command, and O, if the correctness of the 25 output element of the AND-NOT 2 is present during a cycle is not controlled, the single signal field. When a 47 is executed, in which the minimum stop command is entered, a single signal, a cycle of unspecified repetitions cycling to the device input 27, appears, and a field 48 in which the maximum number of repetitions is entered at the output of the And 3 element cycl-ao a single signal that arrives

at the input of the element OR 5. At the entrance of the elementary section of the program.

The device works as follows.

If there are no conditional commands in the program OR 5, a single signal is generated, which arrives at the device output 31 and indicates

transitions, the error can be indicated in advance during the program. If an extra command is executed when the program is executed, then even before the stop command is executed, the second input of the element OR 5 comes from the transfer output from the older section 40, and the counter 1 receives a single signal and a single signal is generated at the output 31 of the device.

If the program has conditional jump instructions, you can

45 indicate the number of commands executed in the program sections from the beginning of the program to the first conditional jump command, between the conditional jump commands and from the last program branch goat the number of commands to be executed. In this case, at the beginning of the program, a special command is put, in field 41 of which O is written, in field 44 - the number of commands to be executed in the program without considering the stop command, the fields 42, 43 and 45 are recorded in O. In this case, the progress control device The program works as follows.

When a special command is executed in the control unit of the digital computer, the code of the special command is analyzed. If in the field 41 special KOMA

Mandas is recorded, at input 28, QQ conditional jump commands up to the command

There is no single signal of the control of the transition, the element 4 is closed and the analysis of the correctness of the conditional transition is not stopped. In order to control the progress of the program, the first after each branch of the program, a special command must be executed. In that

leads At the inlet 25 of the postgg device, when executing a special control copying, the command entry signal is checked both for the correctness of the counter and the number of commands to be executed, the number of commands to be performed. - recorded in the field 44 of the special replenishment at the program section, before the command is converted, in addition, all bits of the counter 1 must be in a single state. With you-

It is sent to counter 1. At the end of each command, except for the conditional jump and stop command, a signal is received at input 24 of the device that causes the contents of counter 1 to increase by one.

When executing the stop command at the device input 27, a single signal of the end of control sign is generated. If the course of the program is not disturbed, i.e. not a single command was missed and not a single extra command was executed.

The mandas are converted; additionally, all bits of counter 1 must be in a single state. With you-

the course of the element AND-NOT 2 at the input of the element And 3 receives a zero signal and at its output does not form a single

Since at least one command has been missed, by the time the stop command is executed, not all of the bits in counter 1 are in a single state, on

output element AND NOT 2 there is a single signal. When executing the stop command, a single signal arriving at the device input 27 will form at the output of the element I 3 also a single signal that arrives

OR 5, a single signal is generated, which is fed to the output 31 of the device and indicates

stop. In order to control the progress of the program, the first after each branch of the program, a special command must be executed. In that

51325488

conditional jump or stop command When the conditional jump instruction is executed, a single signal arrives at input 27 of the end of control sign as in the execution of the stop command.

When executing a special command of the program section, where the machine commands are sent, in which when executing the special command; there is a field 42, where the reference value of the conditional transition signal is written. At the output of the comparison circuit 6, a single signal is formed if the values of the conditional transition signals do not coincide with the reference a): m T3 and zero control reduction by the command conditionally ig signal, if it is the same, i.e. which controls the correctness of the transition, the device controlling the progress of the program works as follows. I At the device input 28, a 15 unit signal is received, which removes the element AND 4. The signal from the output of the comparison circuit 6 arrives at the second input of the AND element 4, and the input signal 29 of which receives the conditional re-2o sign signal generated in the machine and the input 30 a single bit signal is received from the bit of the machine command register in which the catch transition is carried out correctly, the same signals arrive at the device inputs 29 and 30, and the output of circuit 6 is sent to the second input of the And 4 element a zero signal. If the subdirecting is performed incorrectly, then different signals are sent to the inputs 29 and 30 of the device and from the output of circuit 6 to the second input of the And 4 element a single signal arrives. From the output of the element And 4 a single signal is fed to the third input of the element OR 5 and generates at the output 31 of the device a single signal indicating

The filling of a special command stores 25 (an error during the program.

with the value of a one-bit code recorded in field 42. If the conditional transition is carried out correctly, the same signals come to the inputs 29 and 30 of the device; from the output of circuit 6, the second input of the And 4 element receives a zero signal. If the conditional transition is incorrect, then different signals come to the inputs 29 and 30 of the device, from output 6 to the second input of element AND 4 a single signal comes in and from the output of element AND 4 a single signal goes to the third input of element OR 5. At output 31 of the device single signal.

When executing a special command of a program section to which control is transferred upon a conditional branch command, the device operates as follows. After decoding the special command code in the control unit's digital computer, in field 41 of which 1 is written, a single signal arrives at the input 28 of the program progress control device, which opens element 4 at the first input. At the second input of element 4, a signal comes from the output of the comparison circuit 6 , to the input 29 of which receives a conditional transition signal, formed1 {ёny in the car.

The input 30 of the comparison circuit 6 receives a signal from that bit of register

The command of the machine in which, when performing a special command; there is a field command, is field 42, where the reference value of the conditional jump signal is recorded. At the output of the comparison circuit 6, a single signal is formed if the values of the conditional transition signals do not coincide with the reference a): m C h and the zero signal if it matches, i.e.

If the transition is carried out correctly, then the same signals come to the inputs 29 and 30 of the device; from the output of the circuit 6 to the second input of the And 4 element, a zero signal arrives. If the subdirect transition is performed incorrectly, then different signals are sent to the inputs 29 and 30 of the device and from the output of circuit 6 to the second input of the And 4 element a single signal arrives. From the output of the element And 4 a single signal is fed to the third input of the element OR 5 and generates at the output 31 of the device a single signal indicating

(an error during the program.

0

five

0

0

five

If there are cyclic sections in the program and you can specify the number of repetitions of the cycle in advance, then a special command is placed in front of the cyclic section, in the field 43 which is written 1, in the field 45 - the number of repetitions of the cycle in the additional code. The first command of the cyclic section is a special command, in field 41 of which O is recorded, and in field 44, the number of commands to be executed in the cyclic section without taking into account the conditional branch command, in fields 42, 43 and 45 are written O. The first command of the program section, on which control is transferred after exiting the cycle, a special command is put, in field 41 of which 1 is written, in field 42 a reference value of the conditional transition signal is written, and in the remaining fields x (43, 44 and 45) O.

In this case, the program control unit operates in the following way.

With the initial cycle settings in the control unit of the digital computer, the code analysis of the special command is performed. If the special command field 43 is written 1, a single signal of the control character of the loop is sent to the input 32 of the device, which sets the trigger 11 to the single state and zeroes all bits of the counter 7 on

After this, a code from the floor of the 45th special command is entered. During the next execution of the cyclic section (cycle body), the special command code is analyzed in the control unit of the digital computer. Since O is written in field 41, the device

You do not receive a single signal from the transition control feature, element 4 is closed, and the analysis of the correctness of the conditional transition is not performed. The input 25 of the device receives a signal resetting the counter 1 to the zero state. At the device input 23, a control signal is received to enter a code to a counter, according to which the direct code of the number of commands to be executed in the cyclic section recorded in the special command field 44 is converted to an additional one and goes to counter 1. At the end of each command, except commands of the conditional transition, to the input 24 of the device receives a signal, by which the contents of counter 1 is increased by one.

When executing a conditional jump command, a single conditional jump signal is generated at the input 33 of the device, which is fed to the inputs of the first 3 and third 9 I elements. If the progress of the cyclic section is not violated, i.e no command is missed and none one extra command, then all the bits of counter 1 should be. be in one state. From the output of the element AND-NOT 2 to the input of the element 3, the zero signal arrives and no single signal is generated at its output.

If at executing the cyclic part of the program at least one command was missed, then at the output of the element

that AND-NO 2 a single signal is formed, the frame is looped, then to the second input

The signal that forms at the output of the AND 3 element is also a single signal, which enters the input of the element OR 5. At the output of the element OR 5, a single signal is generated, which arrives at the output 31 of the device and indicates an error during the program. If an extra command is executed when executing the program, then even before executing the transition command to the beginning of the cycle, a single signal arrives from the high bit of counter 1 to the second input of the SH-5 element, and at the output 31 of the device it forms 50

55

the element OR 6 from the transfer output from the high bit of the counter 7 receives a single signal and a single signal is generated at the output 31 of the device.

The proposed device is able to control the course of the program and if there are any alarms. When working off the shortcuts, the contents of the main registers of the machine are stored in memory. From the outputs 26 and 34 of the program control unit, connected to the outputs of the unit bits, respectively, of the counters 1 and 7, the codes located on

0

Q 5

with a single error signal. A single signal of the conditional transition from input 33 is fed to the input of element AND 9, which is opened by the resolving potential from the output of trigger 11. At the output of element 9, a signal is generated that arrives at the counting input of counter 7, by which its content is increased by one.

When exiting the cycle, a special command is executed on the conditional jump command in the control unit of the digital computer that is executed first after exiting the loop. In fields x 41 and 42 of this special command, 1 is recorded, which in the form of single signals comes from the inputs 28 and 30 of the device to the first and second inputs of the And 12 element, opened at the first input by the output potential of the trigger 11. The And 12 element triggers and causes the output signal, which sets the trigger 11 in О О and inputs to the element 5 And 10. If the program flow is not disturbed, i.e. Since the cycle is completed a specified number of times, all bits of counter 7 must be in a single state. From the output of the element AND-NE 8 to the input of the element AND 10, a zero signal arrives and no single signal is generated at its output. If the cycle has been performed a number of times less than the specified one, then when exiting the cycle, not all bits of counter 7 are in the same state 0

five

0

Institute, at the output of the element AND-NO 8 there is a single signal that will form at the output of the element And 10 also a single signal, which is fed to the input of the element. OR 5. At the output of the element OR 5, a single signal is generated, which arrives at the output 31 of the device and indicates an error during the program. If the program is looped, then the second input

the element OR 6 from the transfer output from the high bit of the counter 7 receives a single signal and a single signal is generated at the output 31 of the device.

The proposed device is able to control the course of the program and if there are any alarms. When working off interruptions, the contents of the main registers of the machine are stored in memory. From the outputs 26 and 34 of the program control unit, connected to the outputs of the unit bits, respectively, of the counters 1 and 7, the codes located on

counters are received and stored in the corresponding memory locations of the machine. When returning to the interrupted program, it is necessary to restore on the counters 1 and 7 the information that is at the moment of arrival of the interruption signal. This is done by executing a special command, in fields x 44 and 45 of which the codes that were recorded in the memory are recorded.

If the program contains iterative cycles for which the cycle repetition number depends on the values of the original data, it is impossible to specify in advance for each such cycle the exact number of repetitions.

In this case, proceed as follows.

The areas of the original data are determined; the second sets pine trees into one, which are 1-, 2 -..., N-triggers 15 and 16, and zero

multiple repetition of the cycle. According to the function of all the bits of the counters 13 and 14, the distribution of the input quantities is computed. 19 single pulse generator

The probability of hitting the source at a high potential at a single

data in each of these areas. The output of the trigger 15 generates distribution functions that distribute the corrective signal of entering the codes of the output variables with a different number of repetitions of the cycle.

Such a number N O reversal is determined, according to which the additional code of the minimum number of repetitions of the cycle recorded in the field 47 of special cycles of the cycle for which the command is executed is entered into the counter

Ver condition () 4J, where K is the number of repetitions of the cycle; S is a predetermined positive number that determines the admissible error of calculating the distribution function of the output quantity.

By setting the value of the confidence probability 7, the input value falls within the input data intervals,.

13, and the reverse code of the maximum number of repetitions of the cycle, recorded in the field of the 48th special command, is entered into the counter 14,

When executing a conditional jump command, a single conditional jump signal is formed at the beginning of the cycle at the device input 33, which is squandered by the minimum H "and the maximum 40 is input to the input of the element 21, co-optimal N,

number of repetitions

ry open resolving potential from the trigger output, 15. At the output of the element And 21, a signal is generated that arrives at the counting inputs of the counters 13 and 45 1 by which their contents increase by one.

cycle to obtain results with certainty (Y, not less than the specified.

To control the progress of the cyclic sections of the program with an implicit number of repetitions of the cycle, a special command is placed before the cyclic section, in field 46 of which 1 is written, in field 47 - the minimum number

repetitions of the cycle in the additional co-gg computer are performed by analyzing, in field 48 - the maximum number of repetitions of the cycle in the reverse code. The first command of the cyclic section is a special command, in field 41 of which O is written, in field 44 the number of commands to be subject (they are executed in the cyclic section without taking into account the conditional jump command, in fields 42, 43, 45, 46, 47 and 48 are written in

the main command executed first after exiting the loop. In the field 41 of this command, 1 is recorded, which as a single signal comes from the input gg, 36 of the device to the input of the element AND 20, the second input of which is controlled by the potential of the single output of the trigger. If the number of repetitions of the program section KTvN,, where is the minimum

.

10 The first team of the program site where the transfer takes place.

after the exit from the cycle, a special command is put, in field 41 of which 1 is recorded, in field 42 a reference value of the conditional transition signal is recorded, and in the remaining fields (43 - 48) O.

In this case, the program control the progress of the programs works as follows.

Before starting the execution of the cycle in the computer control unit, an analysis is made of the progress of the special command. If field 46 is recorded as 1, a single signal of the control character of the cycle with an implicit number of repetitions is received at the input 37 of the device, the coral signal of entering the codes to

counters, according to which the additional code of the minimum number of repetitions of the cycle recorded in the field 47 special points13, and the reverse code of the maximum number of repetitions of the cycle recorded in the field 48 of the special command is entered into counter 14,

When the conditional jump command is executed, a single conditional jump signal is generated at the device input 33 at the beginning of the cycle, which is immediately open by the resolving potential from the trigger output, 15. At the output of the element 21, a signal is generated that arrives at the counting inputs of counters 13 and 45 1 by which their contents increase by one.

When exiting a loop, a conditional jump command is executed in the control-command device that is executed first after exiting the loop. In the field 41 of this command, 1 is recorded, which as a single signal comes from the input gg, 36 of the device to the input of the element AND 20, the second input of which is controlled by the potential of the single output of the trigger. If the number of repetitions of the program section KTvN,, where is the minimum of 1325488 2

Claims (1)

given the number of repetitions, the whole claims of the discharge of the counter 13 are in one unit. The device for controlling the progress of the predictive state, resulting in a frame according to the autor. No. 1242967, of the T-l-input element I 17, which is designed so that, with the aim of generating a signal at the output, the functional capabilities of the O trigger 16, the lows of the device due to the potential of the cue potential at the output of which is checked by the cyclic plots of the sixth element I 20, the obstacles with an implicit number repeats the signal of the acceleration of the cycle, the third and the clever transition of the loop are entered, the fourth counters, the second and third stupid from the input 36 of the device . triggers, single pulse generator, first and second multi-input If the cyclic portion of the program is AND, the second OR element, the shes- hem is executed a number of times K. H „„ „, then the 15th and seventh elements of AND, the input of the pr-value code of the counter is not equal to the max control loop of the device’s cycle of the connection, resulting in output from the single inputs of the second and the course of the multi-input element And 17 the third trigger, with the inputs of the initial signal, the installation of the installation of the third and fourth zero trigger trigger 16, 20 counters, the direct output of the second trigger and the high potential at the trigger trigger output 16 will hold the sixth element of the single-pulse rator Both first and 20 in the open state. In this input of the sixth AND element, the input of the case when exiting the cycle by a command of repeating the cycle of a conditional transition device from input 36 is 25 connected to the second input of the sixth element to input of the AND element 20 and that second input The third element of the cycle control signal with an implicitly set AND, the output of the sixth element AND the combined number of repetitions, the element AND 20 is not connected with the counting inputs of the third and is triggered and the output generates the fourth counters, the output is generated with a signal that arriving at the input zo P single impulses the second element OR 22 forms the inputs of the third and fourth entry at the device output 31 of a counter error signal, a group of information inputs of the cyclic prediction portion of which is connected to an input group with an implicit number of repeat inputs of the device, rhenium. If the number of repetitions of the loop is the output of the third and fourth K / N, the trigger 16 is in the numerical counters connected to the inputs of the corresponding Ip the left state and closes with a low first and second multi-input potential at the input of the sixth element And the output, the first multi- And 20, preventing the passage through the input element And is connected to the input signal of the conditional transition of the third trigger, and from the cycle and, accordingly, the output of which is connected to the percussion of the program error error by the input of the seventh AND element, the output of the OR 22 and 5 elements. If the number of the repeat is connected to the first input of the cyclic part ka program of the element OR, the output of the second will reach R +1, i.e. exceeds the 5th input element AND is connected to the second value of the maximum specified number of red inputs of the second element OR, one unit, the value of all bits of the stroke of which is connected to the fifth input of the counter 14 becomes single, in the first first element OR, the sign of the result which triggers the second multi-condition of the device transition, the input element I 31 is connected and the g is working. with the second input of the seventh element AND the signal which, passing through the second and with the input of setting zero the second element OR 22 to the input of the first timer, group of bit outputs of the OR 5 terminal, will generate an error signal of the third and fourth counters of the cyclic sections of the first and second groups of information programs. device inputs. FIG. 2