CN113746827B

CN113746827B - Real-time data link byte stream error-proofing method based on multi-band turing machine

Info

Publication number: CN113746827B
Application number: CN202111013281.0A
Authority: CN
Inventors: 曾壹; 李智; 张涛; 王涛; 宋鹏飞; 陈�峰; 赵宏涛; 王子维; 刘紫耀
Original assignee: China Academy of Railway Sciences Corp Ltd CARS; Signal and Communication Research Institute of CARS; Beijing Ruichi Guotie Intelligent Transport Systems Engineering Technology Co Ltd; Beijing Huatie Information Technology Co Ltd
Current assignee: China Academy of Railway Sciences Corp Ltd CARS; Signal and Communication Research Institute of CARS; Beijing Ruichi Guotie Intelligent Transport Systems Engineering Technology Co Ltd; Beijing Huatie Information Technology Co Ltd
Priority date: 2021-08-31
Filing date: 2021-08-31
Publication date: 2023-02-10
Anticipated expiration: 2041-08-31
Also published as: CN113746827A

Abstract

The invention discloses a real-time data link byte stream error-proofing method based on a multi-band turing machine, the whole scheme not only has the traditional communication buffer data reading and writing functions, but also can detect invalid byte stream from the receiving end and make failure-operable guidance, thereby avoiding the interference of illegal data, abnormal data and length error data to the data exchange of application layers and protecting the program.

Description

Real-time data link byte stream error-proofing method based on multi-band turing machine

Technical Field

The invention relates to the technical field of communication, in particular to a real-time data link byte stream error prevention method based on a multi-band turing machine.

Background

The TCP/IP protocol is a networking format commonly used between computers, and includes a link layer, a network layer, a transport layer and an application layer. The four layers correspond to hardware devices, data frame routing, packet grouping, communication details of application programs, and control functions in the computer network, respectively. On computers of different models and different operating systems, an application program uses a TCP/IP protocol to establish a reliable real-time data link on a transmission layer, and then completes data exchange through byte streams, thereby realizing service requests and responses in a computer network. The specific content and read-write method of the byte stream are specified by the specific scenario or communication protocol of the TCP/IP application layer.

The existing TCP/IP application layer byte stream data exchange method can be summarized as two flows of reading and writing as shown in fig. 1. The reading process firstly stores the byte stream transmitted by the data link into a communication cache of a program, and then processes effective data according to an application layer communication protocol; the writing process converts the effective data into a byte stream according to an application layer communication protocol, and then writes the byte stream into a communication cache to be transmitted by a data link.

According to the protocol, all valid data occupy a fixed byte length in the communication buffer and have a unique data number. The application layer communication protocol also specifies the ordering of different types of valid data in the communication cache, so that the TCP/IP application program can control the read-write behavior of the network data according to a fixed sequence and an information format.

The effective data types and read-write modes in the communication cache can be summarized as table 1, and table 1 is a specific method for controlling the communication cache by a TCP/IP application program, and a software developer usually directly encodes and writes a program according to the specification of an application layer protocol.

TABLE 1 description of the read/write modes of different types of data

The TCP/IP protocol is a transport layer service oriented to a data link, and the reading and writing of byte streams in a communication cache are controlled by an application layer. In the prior art, when the computer network connection is unstable or communication software fails, invalid byte streams will appear in the communication cache. Because a TCP/IP application program designed in the prior art cannot perform data validity determination and error-proofing process while reading and writing a byte stream, an invalid byte stream may generate severe interference on data exchange of an application layer, resulting in an unexpected behavior of the application program and even a breakdown.

Disclosure of Invention

The invention aims to provide a real-time data link byte stream error-proofing method based on a multi-band turing machine, which can detect invalid byte streams and conduct failure-operable guidance from the perspective of a receiving end.

The purpose of the invention is realized by the following technical scheme:

a real-time data link byte stream error-proofing method based on a multi-band turing machine comprises the following steps:

constructing a multi-band smart machine, performing read-write operation of communication cache through a state transfer function of the multi-band smart machine, detecting an invalid byte stream in the read-write operation or before the read-write operation, and returning to a read operation initial state or skipping related bytes when the invalid byte stream is detected; the state transition function is divided into five subroutines according to functions: main, mark, pullSym, readLen and ReadRan; wherein:

main subprogram for processing the initial and end states of the reading and writing operation of the multi-band smart machine, and switching to PullSym subprogram after the initial state of the reading and writing operation is processed;

a PullSym subroutine for pulling data symbols from the data symbol stack of the multi-band smart machine during a read operation, and entering a ReadLen subroutine, a ReadRan subroutine, or a Mark subroutine according to a data type identifier, or returning to a Main subroutine; the system is also used for pulling data symbols from the data symbol stack of the multi-band turing machine in the write operation and entering a Mark subprogram;

the Mark subprogram is used for marking data symbols on a communication cache belt according to the data type identification in the reading operation and detecting invalid byte streams through validity judgment, if the valid data passes the validity judgment, the valid data is read into the data symbols of the application program and then returned to the PullSym subprogram, or the data symbols are marked and the data reading is completed and then returned to the Main subprogram, and the terminal state is entered; the communication cache is also used for marking data symbols on the communication cache according to the data type identification in the write operation, obtaining the value of effective data through an operator and returning the value to the PullSym subprogram, or writing corresponding data after marking the data symbols and returning the corresponding data to the PullSym subprogram;

the ReadLen subprogram is a reading program of word length data, a protocol mark and length data, after the word length data, the protocol mark or the length data are marked, an invalid byte stream is detected through validity judgment, if the validity judgment is passed, the valid data is read into a data symbol of an application program, and then the valid data returns to the PullSym subprogram;

the ReadRan subprogram is a reading program of the cycle data, after the marking of the cycle data is completed, the invalid byte stream is detected through validity judgment, if the invalid byte stream passes the validity judgment, the valid data is read into a data symbol of an application program, and after the reading of the cycle data is completed, the PullSym subprogram is returned.

The technical scheme provided by the invention can be seen that the whole scheme not only has the traditional communication cache data reading and writing functions, but also can detect invalid byte streams from the angle of a receiving end and conduct invalidation-operable guidance, thereby avoiding the interference of illegal data, abnormal data and length error data on the data exchange of the application layer and protecting the program.

Drawings

In order to more clearly illustrate the technical solutions of the embodiments of the present invention, the drawings needed to be used in the description of the embodiments are briefly introduced below, and it is obvious that the drawings in the following description are only some embodiments of the present invention, and it is obvious for those skilled in the art to obtain other drawings based on the drawings without creative efforts.

FIG. 1 is a schematic diagram of a method for exchanging byte stream data of a TCP/IP application layer according to the background art of the present invention;

fig. 2 is a flowchart of a real-time data link byte stream error protection method based on a multi-band turing machine according to an embodiment of the present invention;

fig. 3 is a schematic diagram of a data group relationship of application layer communication protocol valid data according to an embodiment of the present invention;

fig. 4 is a schematic diagram of a multi-band turing machine model of a communication cache read-write flow according to an embodiment of the present invention;

fig. 5 is a flow chart of state transition of a multi-band turing machine according to an embodiment of the present invention.

Detailed Description

The technical solutions in the embodiments of the present invention are clearly and completely described below with reference to the drawings in the embodiments of the present invention, and it is obvious that the described embodiments are only a part of the embodiments of the present invention, and not all embodiments. All other embodiments, which can be derived by a person skilled in the art from the embodiments of the present invention without making any creative effort, shall fall within the protection scope of the present invention.

The terms that may be used herein are first described as follows:

the term "and/or" means that either or both can be achieved, for example, X and/or Y means that both cases include "X" or "Y" as well as three cases including "X and Y".

The terms "comprising," "including," "containing," "having," or other similar terms of meaning should be construed as non-exclusive inclusions. For example: including a feature (e.g., material, component, ingredient, carrier, formulation, material, dimension, part, component, mechanism, device, process, procedure, method, reaction condition, processing condition, parameter, algorithm, signal, data, product, or article of manufacture), is to be construed as including not only the particular feature explicitly listed but also other features not explicitly listed as such which are known in the art.

The error-proofing method for the byte stream of the real-time data link based on the multi-band turing machine provided by the invention is described in detail below. Details which are not described in detail in the embodiments of the invention belong to the prior art which is known to a person skilled in the art. The examples of the present invention, in which specific conditions are not specified, were carried out according to the conventional conditions in the art or conditions suggested by the manufacturer.

As shown in fig. 2, a method for preventing errors of a byte stream of a real-time data link based on a multi-band turing machine includes the following steps:

1. and constructing a multi-band turing machine.

2. And performing read-write operation of communication buffer memory through the state transfer function of the multi-band smart machine, and detecting invalid byte streams in the read-write operation or before the read-write operation.

3. When an invalid byte stream is detected, a read operation start state is returned or the relevant bytes are skipped.

In the embodiment of the invention, the state transfer function is divided into five subprograms according to functions: main, mark, pullSym, readLen and ReadRan; wherein:

the Mark subprogram is used for marking data symbols on the communication cache according to the data type identification in the reading operation and detecting invalid byte streams through validity judgment, if the validity judgment is passed, valid data is read into the data symbols of the application program and then returned to the PullSym subprogram, or the data symbols are marked and the data reading is completed and then returned to the Main subprogram, and the terminal state is entered; the communication cache is also used for marking data symbols on the communication cache according to the data type identification in the write operation, obtaining the value of effective data through an operator and returning the value to the PullSym subprogram, or writing corresponding data after marking the data symbols and returning the corresponding data to the PullSym subprogram;

the ReadRan subprogram is a reading program of the cyclic data, after the marking of the cyclic data is completed, the invalid byte stream is detected through validity judgment, if the invalid byte stream passes the validity judgment, the valid data is read into a data symbol of an application program, and after the cyclic data is read, the PullSym subprogram is returned.

In an embodiment of the present invention, the invalid byte stream includes: illegal data, abnormal data, and length error data.

Wherein the illegal data comprises: data in the byte stream that is not within the valid range specified by the communication protocol; the exception data includes: data within the byte stream that can cause the operating system to force the application to close; the length error data includes: data with inconsistent data length and actual length recorded by the byte stream;

the illegal data and the abnormal data are detected by validity judgment in the read-write operation (a specific mode will be described later); the length error data is detected before the read-write operation, the execution flow during the detection is consistent with the read operation flow, if the length calculation band B ₆ If the storage content is 0 before the completion of all the flags of the byte stream or if the storage content is not 0 after all the flags of the byte stream are completed, it indicates that the length error data is detected (a specific mode will be described later).

The above-mentioned scheme of the embodiment of the invention not only has the traditional communication cache data reading and writing functions, but also can detect invalid byte streams and make invalidation-operable guidance from the receiving end, thereby avoiding the interference of illegal data, abnormal data and length error data on the data exchange of the application layer and protecting the program.

In order to show the technical scheme and the technical effects provided by the invention more clearly, the invention is described in detail in the following aspects of communication cache read-write flow analysis, a mathematical model of the communication cache read-write flow and a principle.

1. And analyzing the read-write flow of the communication cache.

At present, the valid data defined by the application layer communication protocol is generally divided into different data groups according to type codes, the data groups are ordered sequences formed by a plurality of valid data, and the ordering is based on data numbers specified by the application layer communication protocol. The relationship between different data sets can be represented as a tree structure as shown in fig. 3, which is called a protocol tree.

The position of each data group in the tree in fig. 3 can be determined by the sequence of type codes, and the data numbers in all groups in a single path satisfy the succession relationship. The data group at the root node typically contains a byte stream length field. Valid data read from and written to the communication cache may be abstractly expressed as data symbols operable within the application. The data symbols can store data and automatically record the storage time, the effective data type is specified by a communication protocol, and attribute information can be acquired through operators. Table 2 is a description of the operators and functions of the data symbols, which are available in the byte stream algorithm since the data symbols can be directly manipulated by the application.

TABLE 2 data symbol function and operator description

2. And (4) a mathematical model of a communication cache read-write flow.

The communication cache read-write flow of the application program provided by the embodiment of the invention is shown in table 3.

Table 3 communication buffer read-write flow of application program

In the reading and writing processes, the loading, emptying and data copying of the communication cache are easy to realize in an application program, and how to mark the communication cache as a data symbol under the known conditions is a difficult point of a byte stream error-proofing algorithm. The mathematical model of the communication cache read-write process can be formally expressed as a multi-band turing machine M meeting specific specifications, as shown in fig. 4, and mainly comprises: the device comprises a controller, a data symbol stack, a data buffer stack, a protocol position stack, a word length buffer zone, a loop calculation zone and a length calculation zone. The multi-band smart phone marks the communication buffer as a data symbol through a state transfer function.

1) The controller is used for storing state variables of the state transfer functions of the multi-band turing machine and controlling the conversion among the subprograms, and each subprogram outputs the corresponding state variable and the corresponding input variable after executing each process; wherein the state variables include: the method comprises the following steps of (1) a main state, a data type identifier, a data symbol stack state, a data buffer stack state and a protocol position stack state (the last four are all extension states), wherein the main state comprises a ready state, a reading state and a writing state of the multi-band turing machine; the input variables include: the controller currently points to the communication buffer zone position, the value of the word size buffer zone, and the value of the loop calculation zone.

2) Character length buffer belt B ₂ And a loop calculation band B ₄ And length calculating band B ₆ For temporarily storing local variables used in the read and write processes, each bin in the band represents a single byte of storage space. The content specifically contained by the local variables can be summarized as

Table 4.

TABLE 4 local variables used in the read-write procedure

3) Data symbol stack E ₁ Each cell of (a) represents a single data symbol, a data structure for storing valid data inside the application, a data buffer stack E ₃ And protocol location stack E ₅ For temporarily storing a byte stream, each bin represents a single byte.

In addition, communication buffer zone B in fig. 4 ₀ Corresponding to the communication cache, each bin represents a single byte in the cache.

In the embodiment of the invention, the multi-band smart machine is defined by using a seven-tuple form and is expressed as follows:

M＝(Q,Σ,Γ,δ,Q ₀ ,C,F)

wherein:

m represents a multi-band turing machine.

Q is a set of multi-band turing machine states

Is an ordered pair of five state components. q. q.s ₀ 、q ₁ 、q ₂ In turn, the components are arranged in sequenceIndicating ready state, read state, write state, t ₀ 、t ₁ 、

t ₃ 、t ₄ 、t ₅ 、t _B Is data type identification respectively representing ready, fixed length data, word length data, variable length data, cycle data, protocol mark, length data and null data, the last three components respectively corresponding to data symbol stack E ₁ Data buffer stack E ₃ And protocol location stack E ₅ I, e, epsilon are the state labels of the linear stack, respectively representing stack-in, stack-out and no-operation, considering that if the state labels of the linear stack are distinguished by the angle labels, the state function will not completely express the states of the plurality of linear stacks, and therefore, the text brackets [,,,,, etc.)]The different linear stack states in (A) are distinguished by the different filling positions, i.e. corresponding to the data symbol stack E in turn ₁ Data buffer stack E ₃ And protocol location stack E ₅ 。

Sigma is a finite set of input data symbols

Is an ordered pair of four input variables; beta is a beta _B Representing a blank symbol in the communication buffer band B ₀ The upper part shows that the grid is not loaded with the byte stream, and the communication buffer after the byte stream is loaded is signed by beta ₀ Represents; character length buffer band B ₂ And a loop calculation band B ₄ Sum Length calculation band B ₆ All the bytes in the table can be equivalently converted into integers, and the input contents of the three are respectively recorded as

References to content are all non-negative integers.

Γ is the complete set of signed symbols

Alpha represents a data symbol and represents that the byte on the communication cache band forms a matching relation with effective data stored in the application program;β _B in the word length buffer zone B ₂ And a loop calculation band B ₄ Sum Length calculation band B ₆ Upper indicates the initialization state.

And delta is a state transfer function of the multi-band turing machine, and is used for defining the normal state of reading and writing of the communication cache.

Q ₀ Is an initial state set of a multi-band Turing machine (q) ₀ ,t ₀ ,ε,ε,ε],β _B ,β _B ,β _B ,β _B ),([q ₀ ,t ₀ ,i,ε,ε],β _B ,β _B ,β _B ,β _B ) And (c) both represent the states of the turing machine before the communication buffer starts data reading and writing, respectively, the initial state being automatically set by the application, similar to the state of the linear stack, the bracket ([ 2 ]]The states of each cache band and the computation band in (v) are distinguished by the difference of the filling positions of the symbols, and the beta of the four positions _B Sequentially corresponding to communication buffer band B ₀ Character length buffer band B ₂ And a loop calculation band B ₄ And length calculating band B ₆ Beta in gamma _B Thus; it is noted that the specific positional sequence may also be adjusted by those skilled in the art according to actual situations or experience, and a practical example is provided here.

C is communication buffer band B ₀ Character length buffer band B ₂ And a loop calculation band B ₄ Sum Length calculation band B ₆ Blank symbol set [ beta ] used in _B }。

F is the termination state set of the multi-band turing machine { ([ q ] ₀ ,t _B ,ε,ε,ε],β _B ,β _B ,β _B ,β _B ) And the state is the final state of the turing machine after the turing machine finishes reading or writing the communication cache data.

3. The working principle.

As described above, in the embodiment of the present invention, the state transition function of the multi-band turing machine may be divided into five subroutines: main, mark, pullSym, readLen and ReadRan, wherein the Main subprogram processes the initial and termination states of the reading and writing operation of the Turing machine; the Mark subprogram is used for marking the data symbols on the communication buffer tape; the purpose of the PullSym subroutine is to pull data symbols from a stack of data symbols; the ReadLen subprogram is a reading program of word length data and protocol marks; the ReadRan subroutine is the process for cycling data. The interaction relationship between the five sub-programs and the interaction relationship between the sub-programs can be represented as a flow chart shown in fig. 5.

The flowchart shown in fig. 5 includes read and write flows of the communication buffer as a whole, where the read flow starts from (1) and ends from (6), and the write flow starts from (7) and ends from (8). When the states of the multi-band turing machine do not correspond to the numbers, it can be determined that the controller points to an invalid byte stream. After the invalid byte stream is detected from the receiving end, the application program performs invalidation-operable guidance with the purpose of maintaining the operating state, by forcing to return to the initial state (1) of the reading flow, or skipping the current byte and recording the error log. The data at the transmitting end is not checked for invalid byte streams.

The numbers in fig. 5 are the flow numbers of the state transition functions. The state transfer function is composed of state variables and input variables, wherein the state variables comprise a main state, a data type identifier, a data symbol stack state, a data buffer stack state and a protocol position stack state, and the input variables comprise a communication buffer zone position, a word length buffer zone numerical value and a cycle calculation zone numerical value pointed by the controller at present. And after each step is executed, outputting the multi-element group consisting of the state variables and the input variables. The controller can be in communication buffer zone B ₀ Up-shift, the direction of shift is marked by the last variable of the tuple, S denotes no shift, and R denotes shift to the right. Communication buffer zone B ₀ Each cell is blank symbol beta before loading _B . In the description of the procedure, l ₂ 、l ₄ And l ₆ Buffer zones B for respectively indicating character lengths ₂ And a loop calculation band B ₄ And length calculating band B ₆ Non-zero data in (1), satisfies the relation l ₂ ＞0、l ₄ > 0 and l ₆ ＞0。

The flow of steps of each subroutine will be described below with reference to fig. 5.

1. Main subprogram.

The Main sub-program comprises: a step of reading operation and a step of writing operation; wherein:

1) The step of the read operation includes:

step 1, δ ([ q ] ₀ ,t ₀ ,ε,ε,ε],β _B ,β _B ,β _B ,β _B )＝([q ₀ ,t ₀ ,ε,ε,i],β ₀ 0, S), enters the initial state of the read operation, communication buffer band B ₀ Loading byte stream, word length buffer band B ₂ And a loop calculation band B ₄ Is preset to 0 and the controller does not move.

Step 1 corresponds to flow (1) in fig. 5, and the numbers of the subsequent steps correspond one-to-one to the numbers of the flows in fig. 5.

In the above equation, the five state components in parentheses on the left side correspond to the multi-zone turing machine state set Q in the aforementioned seven-tuple, and sequentially represent turing machine ready, data type identifier ready, and data symbol stack E ₁ No-operation, data buffer stack E ₃ No operation, protocol location stack E ₅ Not operating;

the first four input variables outside the encircled numbers in the left side correspond to a complete set gamma of the multi-band turing machine with symbols in the seven-element group, and represent that the multi-band turing machine is in a communication cache band B ₀ Pointing to blank symbols, word length buffer zone B ₂ Pointing to blank symbols, calculating band B cyclically ₄ Pointing to blank symbols, length calculation band B ₆ Pointing to a blank symbol.

Five state components in brackets on the right side correspond to the multi-band turing machine state set Q in the seven tuples, and sequentially represent turing machine ready, data type identification ready and data symbol stack E ₁ No operation, data buffer stack E ₃ No operation, protocol location stack E ₅ Stacking;

the first four input variables outside the middle part of the right side and including the number correspond to a complete set gamma of the multi-band turing machine with symbols in the seven tuples, and represent that the multi-band turing machine is in a communication cache band B ₀ Buffer zone B for indicating blank symbol and word length ₂ The content of the pointer byte is 0, and the band B is circularly calculated ₄ The content of the pointer byte is 0, and the length calculation band B ₆ The content of the pointer byte is 0.

The last variable outside the middle-bracketed right corresponds to the multi-band turing machine controller in the communication cache band B ₀ Upward, indicates that the controller is not moving.

The symbols appearing in the subsequent steps have similar meanings and are not described in detail one by one.

Step 2, δ ([ q ] ₀ ,t ₀ ,ε,ε,i],β ₀ ,0,0,0)＝([q ₁ ,t _B ,ε,ε,e],β ₀ ,L _E5 ,0,p _l S), protocol location stack E ₅ Loading type code of root node of protocol tree and word length position p of byte stream length field in root node data group _l Protocol location stack E ₅ Content L of _E5 Move to the word length buffer zone B ₂ Data type identification changed to null data t _B (ii) a As described above, the protocol tree is a tree structure formed by different data groups, the data groups are obtained by dividing valid data according to type codes, and the data groups in the protocol tree are used as nodes.

Step 3, δ ([ q ] ₁ ,t _B ,ε,ε,e],β ₀ ,l ₂ ,0,l ₆ )＝([q ₁ ,t _B ,i,ε,ε],β ₀ ,0,0,l ₆ S), the application executes a function Tree (-), the argument of which is the word size buffer zone B ₂ Content l of ₂ At this time,/ ₂ Is the type code of the protocol tree node, and the obtained data group is loaded to the data symbol stack E in the form of a data symbol sequence ₁ Length calculation band B ₆ The content of (a) is not changed; and the function Tree (-) is used for acquiring the data group from the protocol Tree according to the type code and recording the current position of the protocol Tree.

Step 4, δ ([ q ] ₁ ,t _B ,i,ε,ε],β ₀ ,0,0,l ₆ )＝([q ₀ ,t ₀ ,e,ε,ε],β ₀ ,0,0,l ₆ S), data set loading to data symbol stack E ₁ Then, the data type identification of the controller is changed to ready t ₀ Enter PullSym subroutine, length calculation band B ₆ Is not changed.

Step 5, δ ([ q ] ₁ ,t _B ,ε,ε,ε],β ₀ ,0,0,l ₆ )＝([q ₁ ,t _B ,ε,ε,e],β ₀ ,L _E5 ,0,l ₆ S), the step is skipped to by the PullSym subprogram, specifically, the type of the loaded data symbol in the step 9 of the PullSym subprogram is null data t _B The step is shifted to, and the protocol position stack E is carried out ₅ Content L of _E5 Move to the word length buffer zone B ₂ Length calculation band B ₆ After the content of (2) is not changed, the process proceeds to step 3.

Step 6, δ ([ q ] ₁ ,t _B ,ε,ε,ε],β _B ,0,0,0)＝([q ₀ ,t _B ,ε,ε,ε],β _B ,β _B ,β _B ,β _B S), the step jumps into by the Mark subprogram, enters the ending state of the reading operation, finishes the reading operation, and the word length buffer zone B ₂ And a loop calculation band B ₄ And resetting.

2) The step of writing comprises:

step 7, δ ([ q ] ₀ ,t ₀ ,i,ε,ε],β _B ,β _B ,β _B ,β _B )＝([q ₂ ,t ₀ ,e,ε,ε],β _B 0, S), entering an initial state of write operation, executing a function Load (-) by an application program, giving an argument of the function Load (-) by the application program, and loading acquired effective data to a data symbol stack E in a data symbol sequence form ₁ And then the method is transferred into a PullSym subprogram (specifically, step 11 in the PullSym subprogram), wherein the function Load () is used for loading all the pre-sent valid data, and the ordering of all the valid data conforms to the specification of the application layer communication protocol.

Step 8, δ ([ q ] ₂ ,t _B ,ε,ε,ε],β _B ,0,0,0)＝([q ₀ ,t _B ,ε,ε,ε],β _B ,β _B ,β _B ,β _B S), the step skips to enter by the PullSym subprogram, enters the termination state of the write operation, completes the read operation, and the word length buffer zone B ₂ And a loop calculation band B ₄ And resetting.

2. PullSym subroutine.

In the embodiment of the invention, the PullSym subprogram respectively executes different steps for read operation and write operation; wherein:

1) The performing step for the read operation includes:

step 9, δ ([ q ] ₀ ,t ₀ ,e,ε,ε],β ₀ ,0,0,l ₆ )＝([q ₁ ,t(α),ε,ε,ε],β ₀ ,l(α),0,l ₆ S), when the data type of the controller is marked as ready t ₀ Time, data symbol stack E ₁ Popping up a data symbol alpha, a data type identifier and a word length buffer zone B ₂ Type and word length of data symbol and length calculation band B are loaded by operators t (-) and l (-) respectively ₆ Is not changed. The subsequent steps differ according to the type of the data symbol loaded by the operator t (-), as described in table 5.

TABLE 5 description of the steps subsequent to step 9

Step 10,

This step is carried over from step 33 in the ReadLen subroutine when the data type identifier of the controller is word length data

Time, data symbol stack E ₁ Popping a data symbol alpha, identifying the type of the data symbol loaded by an operator t (-), and a data buffer stack E ₃ Content L of _E3 Move to the word length buffer zone B ₂ Length calculation band B ₆ And (4) the content is not changed, and the Mark subprogram is entered according to the read data type identification.

2) The step of performing for the write operation comprises:

step 11, δ ([ q ] ₂ ,t ₀ ,e,ε,ε],β _B ,0,0,0)＝([q ₂ ,t(α),ε,ε,ε],β _B L (α), 0, S) when the data type of the controller is identified as ready t ₀ Time, data symbol stack E ₁ Ejecting a data symbol alpha, a data type identifier and a word length buffer band B ₂ And loading the type and the word length of the data symbol through operators t (-) and l (-) respectively, and entering a Mark subprogram according to the data type identification. When the type and word length of the loaded data symbol are t _B And 0, the flow proceeds to step (8) to end the write flow.

Step 12,

This step is carried over from step 22 in the Mark subroutine when the data type identifier of the controller is word length data

Time, data symbol stack E ₁ Popping up a data symbol alpha, loading the data symbol type by the data type identification through an operator t (-), and buffering a word length buffer band B ₂ Is stored in ₂ And if not, marking to enter a Mark subprogram according to the data type.

3. Mark subprogram.

In the embodiment of the invention, the Mark subprogram respectively executes different steps for read operation and write operation; wherein:

1) The step of performing for the read operation comprises:

step 13, δ ([ q ] ₁ ,t ₁ ,ε,ε,ε],β ₀ ,l ₂ ,0,l ₆ )＝([q ₁ ,t ₁ ,ε,ε,ε],α,l ₂ -1,0,l ₆ 1, R), this step is jumped in by the read operation of the PullSym subroutine (specifically, the aforementioned step 9), when the data type of the controller is identified as fixed-length data t ₁ And the character length buffer zone B ₂ When the memory content of (2) is not 0, the communication buffer pointed to by the controller is signed by beta ₀ Marking the data symbol alpha as the current one, and marking the word length buffer band B after the marking is finished ₂ Of (1) storage content l ₂ Subtract 1, calculate band B ₆ Non-zero data l in (1) ₆ Minus 1, the controller moves to the right.

Step 14, δ ([ q ] ₁ ,t ₁ ,ε,ε,ε],β ₀ ,0,0,l ₆ )＝([q ₀ ,t ₀ ,e,ε,ε],β ₀ ,0,0,E(α)*l ₆ S), after step 13 is executed, buffer zone B is formed when word length is longer ₂ Is stored in ₂ When the value is 0, the controller finishes marking the fixed-length data, executes validity judgment E (alpha), reads the valid data after the judgment is passed into the data symbol of the application program, and returns to the PullSym subprogram to read the next data symbol.

Step 15,

This step is entered by a read jump of the PullSym subroutine (specifically, step 10), when the data type identifier of the controller is variable-length data

And the character length buffer belt B ₂ Is stored in ₂ When not 0, the controller points to the communication buffer with a symbol beta ₀ Will be marked as the current data symbol alpha, after marking is completed l ₂ Minus 1,l ₆ Minus 1, the controller moves to the right.

Step 16,

After step 15, buffer zone B is written to ₂ Is stored in ₂ When the value is 0, the controller finishes marking the variable-length data, executes validity judgment E (alpha), judges that valid data after passing is read into the data symbol of the application program, and returns to the PullSym subprogram to read the next data symbol.

Step 17, δ ([ q ] ₁ ,t ₁ ,ε,ε,ε],β _B ,0,0,0)＝([q ₁ ,t _B ,ε,ε,ε],β _B 0, s), after step 13 is executed, when the data symbol of the pointing position of the controller is β _B Hour and word length buffer zone B ₂ Is stored in ₂ To 0, the data type identification will be changed to null data t _B The program returns to the Main subroutine (specifically, returns to the step 6) to end the reading process.

Step 18,

After step 15, when the data symbol of the pointing position of the controller is β _B Hour and word length buffer zone B ₂ Is stored in ₂ To 0, the data type identification will be changed to null data t _B The program returns to the Main subroutine (specifically, returns to the step 6) to end the reading process.

2) The step of performing for the write operation comprises:

step 19, δ ([ q ] ₂ ,t ₁ ,ε,ε,ε],β _B ,l ₂ ,0,0)＝([q ₂ ,t ₁ ,ε,ε,ε],α,l ₂ -1,0, R) when the data type of the controller is identified as fixed-length data t ₁ And the character length buffer belt B ₂ Is stored in ₂ If not 0, the controller points to the communication buffer band B ₀ Blank symbol beta of _B Will be marked as the current data symbol alpha, after marking is completed l ₂ Minus 1, the controller moves to the right.

Step 20, δ ([ q ] ₂ ,t ₁ ,ε,ε,ε],β _B ,0,0,0)＝([q ₂ ,t ₀ ,e,ε,ε],β _B 0, S), after step 19 is performed, when the word length buffer zone B ₂ Is stored in ₂ When 0, the controller has buffered the communication with the band B ₀ Blank symbol of (2) _B Marking as a data symbol alpha, returning to the PullSym subprogram (specifically, the step 11) to write the next data symbol; at the same time, the marked bytes will be written to data and sent to the network via the TCPIP protocol.

Step 21,

When the data type of the controller is marked as word length data

And the character length buffer zone B ₂ Is stored in ₂ When not 0, the communication buffer zone B pointed by the controller ₀ Blank symbol of (2) _B The data symbol alpha to be marked as the current is markedAfter formation ₂ Subtracting 1, and moving the controller to the right;

step 22,

After step 21, buffer B is written ₂ Is stored in ₂ When 0, the character length buffer zone B ₂ Loading valid data stored by the current data symbol alpha through an operator v (·), and returning to the PullSym subprogram (specifically, the step 12) to write the next data symbol; the marked bytes will be written to data and sent to the network via the TCPIP protocol.

Step 23,

When the data type of the controller is identified as variable-length data

And the character length buffer zone B ₂ Is stored in ₂ When not 0, the communication buffer zone B pointed by the controller ₀ Blank symbol beta of _B Will be marked as the current data symbol alpha, after marking is completed l ₂ Minus 1, the controller moves to the right.

Step 24,

After step 23, buffer zone B with word size is formed ₂ Is stored in ₂ When 0, the controller has buffered the communication with the band B ₀ Blank symbol of (2) _B Marked as data symbol a, returns to PullSym subroutine (specifically step 11 described above) to write the next data symbol, while the marked bytes will be written to data and sent to the network via the TCPIP protocol.

Step 25, δ ([ q ] ₂ ,t ₃ ,ε,ε,ε],β _B ,l ₂ ,0,0)＝([q ₂ ,t ₃ ,ε,ε,ε],α,

l

₂ 1,0, R) when the data type of the controller is identified as cycle data t ₃ And the character length buffer belt B ₂ Is stored in ₂ When the value is not equal to 0, the value is,controller directed communication buffer band B ₀ Blank symbol of (2) _B Will be marked as the current data symbol alpha, after marking is completed l ₂ Minus 1, the controller moves to the right.

Step 26, δ ([ q ] ₂ ,t ₃ ,ε,ε,ε],β _B ,0,0,0)＝([q ₂ ,t ₀ ,e,ε,ε],β _B 0, s), after step 25 is performed, when the word length buffer zone B is present ₂ Is stored in ₂ When 0, the controller has buffered the communication with the band B ₀ Blank symbol of (2) _B Marked as data symbol a, the return PullSym subroutine (specifically step 11 described above) writes the next data symbol, and at the same time, the marked bytes will be written to data and sent to the network via the TCPIP protocol.

Step 27, δ ([ q ] ₂ ,t ₄ ,ε,ε,ε],β _B ,l ₂ ,0,0)＝([q ₂ ,t ₄ ,ε,ε,ε],α,

l

₂ 1,0, R) when the data type of the controller is identified as the protocol label t ₄ And the character length buffer belt B ₂ Is stored in ₂ When not 0, the controller points to the blank symbol beta of the communication buffer zone _B Will be marked as the current data symbol alpha, after marking is completed l ₂ Minus 1, the controller moves to the right.

Step 28, δ ([ q ] ₂ ,t ₄ ,ε,ε,ε],β _B ,0,0,0)＝([q ₂ ,t ₀ ,e,ε,ε],β _B 0, s), after step 27 is performed, when the word size buffer zone B is present ₂ Is stored in ₂ When 0, the controller has buffered the communication with the band B ₀ Blank symbol of (2) _B Marking as a data symbol alpha, returning to a PullSym subprogram (specifically, the step 11) to write the next data symbol, and simultaneously, writing the marked byte into data and sending the data to the network through a TCPIP protocol;

step 29, δ ([ q ] ₂ ,t ₅ ,ε,ε,ε],β _B ,l ₂ ,0,0)＝([q ₂ ,t ₅ ,ε,ε,ε],α,

l

₂ 1,0, R) when the data type of the controller is identified as length data t ₅ And the character length buffer belt B ₂ Is stored in ₂ If not 0, the controller points to the communication buffer band B ₀ Symbol beta _B Will be marked as the current data symbol alpha, after marking is completed l ₂ Minus 1, the controller moves to the right.

Step 30, δ ([ q ] ₂ ,t ₅ ,ε,ε,ε],β _B ,0,0,0)＝([q ₂ ,t ₀ ,e,ε,ε],β _B 0, s), after step 29 is performed, when the word size buffer zone B is filled ₂ Is stored in ₂ When 0, the controller has buffered the communication with the band B ₀ Blank symbol of (2) _B Marked as data symbol a, the return PullSym subroutine (specifically step 11 described above) writes the next data symbol, and at the same time, the marked bytes will be written to data and sent to the network via the TCPIP protocol.

4. ReadLen subroutine.

In the embodiment of the present invention, the step of executing the ReadLen subroutine includes:

step 31,

When the data type is identified as word length data

And the character length buffer belt B ₂ Is stored in ₂ When not 0, the controller sets the data buffer stack E ₃ Is in the stack state and proceeds to step 32.

Step 32,

Controller directed communication buffer signed beta ₀ The data symbol alpha to be marked as current, the byte pointed to by the controller is stored in the data buffer stack E ₃ After marking,/ ₂ Minus 1, non-zero data l in the length calculation band ₆ Minus 1, the controller moves to the right.

Step 33,

After step 32, the long buffer zone B is formed ₂ Is stored in ₂ When the data length is 0, the controller finishes marking the word length data, executes validity judgment E (alpha), reads valid data after the judgment is passed into a data symbol, and stores the valid data of the data symbol alpha into a data buffer stack E ₃ And then returns to the PullSym subroutine (specifically, step 10) to read the next data symbol.

Step 34, δ ([ q ] ₁ ,t ₄ ,ε,ε,ε],β ₀ ,l ₂ ,0,l ₆ )＝([q ₁ ,t ₄ ,ε,ε,i],β ₀ ,l ₂ ,0,l ₆ S), when the data type is marked as a protocol tag t ₄ And the character length buffer belt B ₂ Is stored in ₂ When not 0, the controller sets the protocol position stack E ₅ Is in the stack state and proceeds to step 35.

Step 35, δ ([ q ] ₁ ,t ₄ ,ε,ε,i],β ₀ ,l ₂ ,0,l ₆ )＝([q ₁ ,t ₄ ,ε,ε,i],α,l ₂ -1,0,l ₆ -1, r), controller directed communication buffer signed β ₀ The data symbol alpha to be marked as current, the byte pointed to by the controller is stored in the protocol location stack E ₅ After marking,/, is ₂ Minus 1,l ₆ Minus 1, the controller moves to the right.

Step 36, δ ([ q ] ₁ ,t ₄ ,ε,ε,i],β ₀ ,0,0,l ₆ )＝([q ₁ ,t ₀ ,e,ε,ε],β ₀ ,0,0,E(α)*l ₆ S), after step 35 is executed, buffer zone B is written to word length ₂ Is stored in ₂ When the number is 0, the controller finishes marking the protocol mark, executes validity judgment E (alpha), reads valid data after the judgment is passed into a data symbol of the application program, and stores the valid data of the data symbol alpha into a protocol position stack E ₅ And then returns to the PullSym subroutine (specifically, step 9) to read the next data symbol.

Step 37, δ ([ q ] ₁ ,t ₅ ,ε,ε,ε],β ₀ ,l ₂ ,0,l ₆ )＝([q ₁ ,t ₅ ,ε,i,ε],β ₀ ,l ₂ ,0,l ₆ S), when the data type is markedIdentified as length data t ₅ And the character length buffer belt B ₂ Is stored in ₂ When not 0, the controller sets the protocol position stack E ₅ Is in the stacked state and proceeds to step 38.

Step 38, δ ([ q ] ₁ ,t ₅ ,ε,i,ε],β ₀ ,l ₂ ,0,l ₆ )＝([q ₁ ,t ₅ ,ε,i,ε],α,l ₂ -1,0,l ₆ R), controller directed communication buffer signed beta ₀ The data symbol alpha to be marked as current, the byte pointed to by the controller is stored in the data buffer stack E ₃ After marking,/ ₂ Minus 1,l ₆ Without change, the controller moves to the right.

Step 39, δ ([ q ] ₁ ,t ₅ ,ε,i,ε],β ₀ ,0,0,l ₆ )＝([q ₁ ,t ₀ ,e,ε,ε],β ₀ ,0,0,E(α)*L _E3 S), after step 38 is executed, buffer zone B is written to word length ₂ Is stored in ₂ When the data is 0, the controller finishes marking the length data, executes validity judgment E (alpha), and reads valid data after the judgment is passed into a data symbol of the application program; storing the valid data of the data symbol alpha to the data buffer stack E ₃ And the storage content is marked as l _E3 Then moved to the length calculation band B ₆ And then returns to the PullSym subroutine (specifically, step 9) to read the next data symbol.

5. ReadRan subroutine.

In the embodiment of the present invention, the steps executed by the ReadRan subroutine sequentially include:

step 40, δ ([ q ] ₁ ,t ₃ ,ε,ε,ε],β ₀ ,l ₂ ,0,l ₆ )＝([q ₁ ,t ₃ ,ε,i,ε],β ₀ ,l ₂ ,0,l ₆ S), when the data type is identified as cycle data t ₃ And the character length buffer belt B ₂ Is stored in ₂ When not 0, the controller sets the data buffer stack E ₃ Is in the stacked state.

Step 41, δ ([ q ] ₁ ,t ₃ ,ε,i,ε],β ₀ ,l ₂ ,0,l ₆ )＝([q ₁ ,t ₃ ,ε,i,ε],α,l ₂ -1,0,l ₆ -1, r), controller directed communication buffer signed β ₀ The byte pointed to by the controller, which will be marked as the current data symbol alpha, will be stored in the data buffer stack E ₃ After marking,/, is ₂ Minus 1, non-zero data l in the length calculation band ₆ Minus 1, the controller moves to the right.

Step 42, δ ([ q ] ₁ ,t ₃ ,ε,i,ε],β ₀ ,0,0,l ₆ )＝([q ₁ ,t ₃ ,i,ε,ε],β ₀ ,l _E3 ,r(α),E(α)*l ₆ S), the controller has completed marking of the cycle data, performs validity determination E (α), and determines that valid data after passing is read into the data symbol; buffer data on stack E ₃ Data storage content l of _E3 Move to the word length buffer zone B ₂ The end point r (alpha) of the number of the current cycle data is loaded into the cycle calculation band B ₄ Data symbol stack E ₁ Set to a stacked state if l _E3 If the content of (1) is 0, the read cyclic data content is 0, go to step 45, if l is _E3 If the content of (1) is not 0, the process proceeds to step 43.

Step 43, δ ([ q ] ₁ ,t ₃ ,i,ε,ε],β ₀ ,l ₂ ,l ₄ ,l ₆ )＝([q ₁ ,t ₃ ,i,ε,ε],β ₀ ,l ₂ ,l ₄ -1,l ₆ S), when the data type is identified as cycle data t ₃ And the character length buffer belt B ₂ And a loop calculation band B ₄ When the storage content of (2) is not 0, the band B is cyclically calculated ₄ Is stored in ₄ Is a data number of a communication protocol and can uniquely correspond to a data symbol a operable in a program. Adding alpha to the data symbol stack E ₁ After, l ₄ Subtract by 1, if l ₄ Equals the number starting point s (α) of the current cycle data, and proceeds to step 44, otherwise step 43 is executed again.

Step 44, δ ([ q ] ₁ ,t ₃ ,i,ε,ε],β ₀ ,l ₂ ,s(α),l ₆ )＝([q ₁ ,t ₃ ,i,ε,ε],β ₀ ,l ₂ -1,r(α),l ₆ S) when calculating band B ₄ Is stored in ₄ A word length buffer zone B for numbering the start s (alpha) of the current cycle data ₂ Is stored in ₂ Subtracting 1, loading the numbering end point r (alpha) of the current cycle data into a cycle calculation band B ₄ If l is ₂ If 0, go to step 45, if l ₂ If it is greater than 0, the process proceeds to step 43.

Step 45, δ ([ q ] ₁ ,t ₃ ,i,ε,ε],β ₀ ,0,l ₄ ,l ₆ )＝([q ₁ ,t ₃ ,e,ε,ε],β ₀ ,0,l ₄ ,l ₆ S), as long as character buffer zone B ₂ When the memory content of (2) is 0, the data symbol stack E ₁ And adjusting the stack pushing state into the stack popping state.

Step 46, δ ([ q ] ₁ ,t ₃ ,e,ε,ε],β ₀ ,0,l ₄ ,l ₆ )＝([q ₁ ,t ₃ ,e,ε,ε],β ₀ ,0,l ₄ -1,l ₆ S) buffer zone B with equivalent length ₂ When the memory content of (2) is 0, the data symbol stack E ₁ And executing the pop operation. The purpose of the pop operation is to empty the preloaded data symbols so that the number of repetitions of the data symbols in the loop is equal to the memory content l of the data buffer stack loaded in step 39 _E3 And (5) the consistency is achieved. Because the step (3) loads the data symbol stack E ₁ In time, the data symbols within the specified range of the cycle data are preloaded once, and if the preloaded data is popped without executing the pop operation, the data symbols are stacked E ₁ The accumulated number of data symbols in the buffer stack can not be equal to the storage content l of the data buffer stack loaded in step 39 _E3 A matching relationship is formed, resulting in a failure of the read flow.

Step 47, δ ([ q ] ₁ ,t ₃ ,e,ε,ε],β ₀ ,0,s(α),l ₆ )＝([q ₀ ,t ₀ ,e,ε,ε],β ₀ ,0,0,l ₆ And S), after the pop operation is finished, returning to the PullSym subprogram (specifically, the step 9) to read the next data symbol.

The above is the interaction relationship between the interior of the five subprograms and the subprograms, and for convenience of understanding, four application cases of normal data reception, normal data transmission, data content error and data length error are introduced below by combining the interaction relationship between the interior of the five subprograms and the subprograms.

Since the data link itself may also generate disturbance to cause invalid data to appear in the byte stream, only the receiving end detects illegal data, abnormal data and length error data and performs failure-operable direction, and the transmitting end does not perform detection operation of invalid byte stream. The content of the data received and sent by the communication buffer in each case conforms to the data set specifications described in tables 6, 7, and 8. The definition of data group 0, data groups 0-1, and data groups 0-1-3 comes from the application layer proprietary communication protocol actually used in some large-scale distributed hard real-time system.

Data numbering	Data type	Description of the invention
			1	t ₅	Data length
2	t ₄	Type code
			3	t ₁	Version number
4	t ₁	Time

TABLE 6 definition of data set 0

TABLE 7 definition of data sets 0-1

TABLE 8 definition of data sets 0-1-3

1. The data receives the case normally.

The byte stream received by the communication cache conforms to the specifications of the application layer private communication protocol. When data is normally received, there is no illegal data, abnormal data, and length error data in the byte stream. An example of the implementation is as follows:

1) Executing step 1 and step 2, finishing the initialization of the reading process and loading the type code of the root node of the protocol tree to a protocol position stack E ₅ 。

2) Step 3 and step 4 are executed, and the data symbols of the data group 0 are loaded to the data symbol stack E ₁ Protocol location stack E ₅ And (4) emptying.

3) Step 9, step 37, step 38, step 39 are executed, and the slave data symbol stack E ₁ Pull data with number 1 and type length t ₅ The data symbol of (2). Communication buffer marked bytes are stored in data symbols, length calculation band B ₆ The load is marked byte by the total length of the byte stream.

4) Executing the

steps

9, 34, 35 and 36, and stacking the data symbols E ₁ The pull number is 2 and the type is the protocol label t ₄ The data symbol of (2). Communication buffer marked bytes into data symbols, protocol location stack E ₅ The type code marked byte as the next data group is loaded.

5) Executing step 9, step 13 and step 14, and stacking E from the data symbols ₁ The drawing number is 3 and the type is fixed lengthData t ₁ The data symbols of (2). The marked bytes of the communication buffer are stored in data symbols. The data symbol processing flow of number 4 corresponds to 3.

6) Executing step 9, step 5, step 3 and step 4, and acquiring a protocol position stack E ₅ After the contents of (1), load the data symbols of data groups 0-1 into a data symbol stack E ₁ Protocol location stack E ₅ And (4) emptying.

7) Step 9, step 13 and step 14 are executed, and the slave data symbol stack E ₁ The pull number is 5 and the type is fixed length data t ₁ The data symbols of (2). The marked bytes of the communication buffer are stored in data symbols.

8) Step 9, step 34, step 35, step 36 are executed, and the slave data symbol stack E ₁ The pull number is 6 and the type is the protocol label t ₄ The data symbol of (2). Communication buffer marked bytes into data symbols, protocol location stack E ₅ The type code is loaded with the tagged byte as the next data group.

9) Executing the

steps

9, 31, 32, 33, 10, 15 and 16 to obtain the data symbol stack E ₁ Sequentially pulling data with number of 7 and type of word length

And data symbols of type 8 and variable length data

The data symbol of (2). Communication buffer marked bytes are stored in data symbols, word length buffer band B ₂ And a data buffer stack E ₃ Emptied after use is complete.

10 Step 9, step 5, step 3, step 4 are executed to obtain the protocol location stack E ₅ After the contents of (2), load the data symbols of data groups 0-1-3 onto data symbol stack E ₁ Protocol location stack E ₅ And (4) emptying.

11 Step 9, step 13, step 14 are performed from the data symbol stack E ₁ The drawing number is 9 and the type is fixed length data t ₁ The data symbol of (2). Communication cache tagged byte storesAnd inputting data symbols. The data symbol processing flow of number 10 corresponds to 9.

12 Step 9, step 40, step 41, step 42, step 43, step 44, step 45, step 46, step 47 are performed from the data symbol stack E ₁ Pull number 11 and type cycle data t ₃ The data symbol of (2). Circular calculation band B ₄ Loading the marked bytes as a number of cycles, and then inserting the data symbols into the data symbol stack E in reverse order ₁ Each time the inserted data symbols are numbered 19, 18, 17, 16, 15, 14, 13 and 12 in sequence. If the number of cycles is 0, step 46 can ensure that the number of insertions is consistent with the number of cycles read in the byte stream.

13 Step 9, step 13, step 14 are performed from the data symbol stack E ₁ The drawing number is 12 and the type is fixed length data t ₁ The data symbols of (2). The marked bytes of the communication buffer are stored in data symbols.

14 Step 9, step 31, step 32, step 33, step 10, step 15, step 16 are performed from the data symbol stack E ₁ Sequentially pulling data with serial number of 13 and type of word length

And 14 and the type is variable length data

15 Step 9, step 13, step 14 are performed from the data symbol stack E ₁ Drawing a fixed-length data t with the number of 15 ₁ The data symbol of (2). The marked bytes of the communication buffer are stored in data symbols.

16 Step 9, step 40, step 41, step 42, step 43, step 44, step 45, step 46, step 47 are performed from the data symbol stack E ₁ Pull number 16 and type cycle data t ₃ The data symbol of (2). Loop calculation band B ₄ Loading quiltMarking bytes as the number of cycles, and then inserting data symbols into the data symbol stack in reverse order ₁ Each inserted data symbol is numbered 19, 18 and 17 in that order. If the number of loops is 0, step 46 can ensure that the number of insertions is identical to the number of loops read in the byte stream.

17 Step 9, step 13, step 14 are executed from the data symbol stack E ₁ The drawing number is 17 and the type is fixed length data t ₁ The data symbols of (2). The marked bytes of the communication buffer are stored in data symbols.

18 Step 9, step 31, step 32, step 33, step 10, step 15, step 16 are performed from the data symbol stack E ₁ Sequentially pulling data with 18 serial numbers and word length types

And data symbol of type 19 and variable length data

The data symbol of (2). Communication buffer marked bytes into data symbols, word length buffer band B ₂ And a data buffer stack E ₃ Emptied after use is complete.

19 From data symbol stack E ₁ And continuously pulling data symbols, and marking communication buffer and storing data according to the data type until all the byte streams are marked.

20 Step 18 and step 6 are executed, the multi-belt turing machine is reset and stopped in a receiving state, and the reading process is finished.

2. The data is sent to the case normally.

The effective data ordering pre-sent by the application program conforms to the specification of the communication protocol of the application layer. When the values of data numbers 11 and 16 in Table 8 are 2 and 1, respectively, the loaded sequence is α ₁ α ₂ α ₃ α ₄ α ₅ α ₆ α ₇ α ₈ α ₉ α ₁₀ α ₁₁ α ₁₂ α ₁₃ α ₁₄ α ₁₅ α ₁₆ α ₁₇ α ₁₈ α ₁₉ α ₁₂ α ₁₃ α ₁₄ α ₁₅ α ₁₆ α ₁₇ α ₁₈ α ₁₉ When data is normally transmitted, each data symbol α _i ,i∈[1,19]The prestored data are all in the valid range, and the execution example is as follows:

1) Executing step 7, completing the initialization of the writing process and loading the pre-sent content to the data symbol stack E in the form of data symbols ₁ . All symbols are arranged according to data numbering and storage time sequence.

2) Executing step 11, step 29 and step 30, and stacking E from the data symbols ₁ The pull number is 1 and the type is length data t ₅ The data symbols of (2). And writing the valid data stored in the data symbol into a communication buffer.

3) Executing step 11, step 27 and step 28, and stacking E from the data symbols ₁ The pull number is 2 and the type is the protocol label t ₄ The data symbols of (2). And writing the valid data stored in the data symbol into a communication buffer.

4) Executing step 11, step 19 and step 20, and stacking E from the data symbols ₁ Drawing number of 3 and type of fixed length data t ₁ The data symbol of (2). And writing the valid data stored in the data symbol into a communication buffer. The data symbol processing flow of

numbers

4 and 5 is identical to 3.

5) Step 11, step 27 and step 28 are executed, and the slave data symbol stack E ₁ The pull number is 6 and the type is the protocol label t ₄ The data symbol of (2). And writing the valid data stored in the data symbol into a communication buffer.

6) Executing the

steps

11, 21, 22, 12, 23 and 24, and stacking the data symbols E ₁ Sequentially pulling data with number of 7 and type of word length

And data symbols of type 8 and variable length data

The data symbols of (2). Storing the data symbol content with number 7 into word length buffer zone B ₂ Then, it is followed byAnd writing into the communication cache. Buffer zone B according to word length for data symbol number 8 ₂ Writing the stored word length data into a communication buffer, word length buffer band B ₂ Emptied after use is complete.

7) Executing step 11, step 19 and step 20, and stacking E from the data symbols ₁ The drawing number is 9 and the type is fixed length data t ₁ The data symbols of (2). And writing the valid data stored in the data symbol into a communication buffer. The data symbol processing flow of number 10 corresponds to 9.

8) Executing step 11, step 25 and step 26, and stacking E from the data symbols ₁ Pull number 11 and type cycle data t ₃ The data symbols of (2). And writing the valid data stored in the data symbol into a communication buffer. Since the value stored in the data number 11 is 2, the contents of the data numbers 12 to 19 appear 2 times in the loaded contents.

9) Executing step 11, step 19 and step 20, and stacking E from the data symbols ₁ The drawing number is 12 and the type is fixed length data t ₁ The data symbol of (2). And writing the valid data stored in the data symbol into a communication buffer.

10 Step 11, step 21, step 22, step 12, step 23, step 24 are performed from the data symbol stack E ₁ Sequentially pulling data with serial number of 13 and type of word length

And 14 and the type is variable length data

The data symbols of (2). The data symbol content with the number of 13 is stored in a word length buffer band B ₂ And then writing into the communication buffer. Buffer zone B of data symbols numbered 14 according to word length ₂ Writing the stored word length data into communication buffer, word length buffer band B ₂ Emptied after use is complete.

11 Step 11, step 19, step 20 are performed from the data symbol stack E ₁ The drawing number is 15 and the type is fixed length data t ₁ The data symbols of (2). Communication of valid data writes stored within data symbolsAnd (4) caching.

12 Step 11, step 25, step 26 are performed from the stack of data symbols E ₁ Pull number 16 and type cycle data t ₃ The data symbol of (2). And writing the valid data stored in the data symbol into a communication buffer. Since the value stored in the data number 16 is 1, the contents of the data numbers 17 to 19 appear 1 time in the loaded contents. If the value stored in the data number 16 is 0, the contents of the data numbers 17 to 19 do not appear.

13 Step 11, step 19, step 20 are performed from the data symbol stack E ₁ The drawing number is 17 and the type is fixed length data t ₁ The data symbols of (2). And writing the valid data stored in the data symbol into a communication buffer.

14 Step 11, step 21, step 22, step 12, step 23, step 24 are performed from the data symbol stack E ₁ Sequentially pulling data with 18 serial numbers and word length types

And data symbol of type 19 and variable length data

The data symbols of (2). The data symbol content with the number of 18 is stored in a word length buffer band B ₂ And then writing into the communication buffer. Buffer zone B according to word length for data symbol number 19 ₂ Writing the stored word length data into a communication buffer, word length buffer band B ₂ Emptied after use is complete.

15 From the data symbol stack E ₁ Pulling the rest data symbols in sequence, writing the data into the cache according to the data type mark until the data symbol stack E ₁ Is empty.

16 Step 11 and step 8 are executed, the multi-band turing machine is reset and stopped in the receiving state, and the writing process is finished.

3. Data content error case.

Invalid data in the byte stream can be detected and a fail-actionable guided flow can be executed in the receiving flow. When illegal data or abnormal data exists in the byte stream, the execution example is as follows:

1) Data symbols numbered 3, 4, 5, 9, 10, 12, 15, 17: step 13 is executed to read the type as fixed-length data t ₁ Then, the process proceeds to step 14, and a validity determination E (α) is performed. If there is data or an outlier in the marked byte stream that is outside the valid range, the operator E (α) will return 0, resulting in step 14 in the length calculation band B ₆ Count 0 in (1). Because the state transfer function has no connection rule, the multi-band turing machine will stop in the non-acceptance state, and will execute the failure-operable guiding flow, the concrete method is to force to return to the initial state or skip the current byte, and then record the error log.

2) Data symbols numbered 7, 13, 18: the step 32 of reading data of type word length is executed

Then, the process proceeds to step 33, and validity determination E (α) is performed. If there is data or an outlier in the marked byte stream that is outside the valid range, the operator E (α) will return 0, resulting in step 33 in the length calculation band B ₆ Count 0 in (1). Because the state transfer function has no connection rule, the multi-band turing machine is stopped in a non-acceptance state, and a failure-operable guide flow is executed.

3) Data symbols numbered 8, 14, 19: step 15 of reading data t of variable length type is executed ₂ After the data symbol of 1, the flow proceeds to step 16 and validity determination E (α) is performed. If there are data or outliers in the marked byte stream that are outside the valid range, the operator E (α) will return 0, resulting in step 16 in the length calculation band B ₆ The number of the particles is 0. Because the state transfer function has no connection rule, the multi-band turing machine will stop in the non-acceptance state, and will execute the failure-operable guiding flow, the concrete method is to force to return to the initial state or skip the current byte, and then record the error log.

4) Data symbols numbered 11, 16: step 41 is executed to read the type of cycle data t ₃ After the data symbolThe routine proceeds to step 42 and validity determination E (α) is performed. If there are data or outliers in the marked byte stream that are outside the valid range, the operator E (α) will return 0, resulting in step 42 in the length calculation band B ₆ Count 0 in (1). Because the state transfer function has no connection rule, the multi-band turing machine is stopped in a non-acceptance state, and the failure-operable guide logic is executed.

5) Data symbols numbered 2, 6: the step 35 is executed to read the type as protocol flag t ₄ Then, the process proceeds to step 35, and a validity determination E (α) is performed. If there is data or an outlier in the marked byte stream that is outside the valid range, the operator E (α) will return 0, resulting in step 36 in the length calculation band B ₆ Count 0 in (1). Because the state transfer function has no connection rule, the multi-band turing machine will stop in the non-acceptance state, and will execute the failure-operable guide logic, the specific method is to force to return to the initial state or skip the current byte, and then record the error log.

6) Data symbol numbered 1: step 38 is performed to read the type as length data t ₅ Then, the process proceeds to step 39, and a validity determination E (α) is performed. If there are data or outliers in the marked byte stream that are outside the valid range, the operator E (α) will return 0, resulting in step 39 in the length calculation band B ₆ The number of the particles is 0. Because the state transfer function has no connection rule, the multi-band turing machine will stop in the non-acceptance state, and will execute the failure-operable guide logic, the specific method is to force to return to the initial state or skip the current byte, and then record the error log.

4. Data length error case.

When detecting data with a length error, the steps executed are the same as those when the data is normally read. The application program first detects the data with the length error once, and if no error exists, the byte stream reading process is executed.

Since the purpose of executing the reading process is changed into length check, the multi-band turing machine can only mark and read word length data

Cycle data t ₃ Protocol label t ₄ And length data t ₅ Only mark unread fixed-length data t ₁ Variable length data

The content of (1). If the length calculation band B ₆ If the storage content is 0 before all the marks of the byte stream are finished or the storage content is not 0 after all the marks of the byte stream are finished, the algorithm detects the data with the wrong length, the multi-belt turing machine is stopped in a non-receiving state, the algorithm executes failure-operable guide logic, and the specific method is to force the multi-belt turing machine to return to an initial state or skip the current byte and then record an error log.

The four application cases of normal data receiving, normal data sending, data content error and data length error show that the method provided by the invention has the function of reading and writing the real-time data link byte stream by the traditional method, and realizes the detection and invalidation of invalid byte stream and the operable guide process on the basis. The method provided by the invention is manufactured according to the application layer private communication protocol actually used in a large-scale distributed hard real-time system, and the beneficial effects brought by the method can be summarized as follows:

1) Allowing TCP/IP applications to perform invalidity detection and invalidation of illegal data-an operationally directed process. The process is carried out simultaneously with the reading process of the real-time data link byte stream, so that the situation that invalid data further causes unexpected behaviors of the application program can be prevented.

2) Allowing the TCP/IP application to perform the detection of invalidity and invalidation of anomalous data-an operational guided flow. The process and the reading process of the real-time data link byte stream are carried out simultaneously, so that invalid data can be prevented from further causing application program crash.

3) The TCP/IP application program is allowed to determine in advance whether the whole real-time data link byte stream is data with wrong length before the data reading flow begins.

Through the description of the above embodiments, it is clear to those skilled in the art that the above embodiments may be implemented by software, or by software plus a necessary general hardware platform. With this understanding, the technical solutions of the embodiments can be embodied in the form of a software product, which can be stored in a non-volatile storage medium (which can be a CD-ROM, a usb disk, a removable hard disk, etc.), and includes several instructions for enabling a computer device (which can be a personal computer, a server, or a network device, etc.) to execute the methods according to the embodiments of the present invention.

It is obvious to those skilled in the art that, for convenience and simplicity of description, the above division of each functional module is only used for illustration, and in practical applications, the above function distribution may be completed by different functional modules according to needs, that is, the internal structure of the system is divided into different functional modules to complete all or part of the above described functions.

The above description is only for the preferred embodiment of the present invention, but the scope of the present invention is not limited thereto, and any changes or substitutions that can be easily conceived by those skilled in the art within the technical scope of the present invention are included in the scope of the present invention. Therefore, the protection scope of the present invention should be subject to the protection scope of the claims.

Claims

1. A real-time data link byte stream error-proofing method based on a multi-band turing machine is characterized by comprising the following steps:

constructing a multi-band smart machine, performing read-write operation of communication cache through a state transfer function of the multi-band smart machine, detecting invalid byte streams in the read-write operation or before the read-write operation, and returning to a read operation initial state or skipping related bytes when the invalid byte streams are detected; the state transfer function is divided into five subroutines according to functions: main, mark, pullSym, readLen and ReadRan; wherein:

the ReadLen subprogram is a reading program of word length data, protocol marks and length data, after the word length data, the protocol marks or the length data are marked, invalid byte streams are detected through validity judgment, if the validity judgment is passed, valid data are read into a data symbol of an application program, and then the valid data are returned to the PullSym subprogram;

2. The method of claim 1, wherein the multi-band smart machine comprises: the device comprises a controller, a data symbol stack, a data buffer stack, a protocol position stack, a word length buffer zone, a cycle calculation zone and a length calculation zone;

the controller is used for storing state variables of the state transfer functions of the multi-belt turing machine and controlling the conversion among subprograms, and each subprogram outputs corresponding state variables and input variables after executing each flow; wherein the state variables include: the system comprises a main state, a data type identifier, a data symbol stack state, a data buffer stack state and a protocol position stack state, wherein the main state comprises a ready state, a reading state and a writing state of the multi-band turing machine; the input variables include: the position of a communication buffer zone, the numerical value of a word length buffer zone and the numerical value of a circular calculation zone which are currently pointed by the controller;

character length buffer band B ₂ And a loop calculation band B ₄ And length calculating band B ₆ The local variables are used for temporarily storing the local variables used in the reading and writing process;

data symbol stack E ₁ Each cell of (a) represents a single data symbol, a data structure for storing valid data inside the application, a data buffer stack E ₃ And protocol location stack E ₅ For temporarily storing the byte stream.

3. The method of claim 2, wherein the invalid byte stream comprises: illegal data, abnormal data, and length error data;

the illegal data and the abnormal data are detected through validity judgment in read-write operation; the length error data is detected before the read-write operation, the execution flow during the detection is consistent with the read operation flow, if the length calculation band B ₆ The content is 0 before the byte stream is completely marked, or the byte stream is stored after the byte stream is completely markedIf not 0, it indicates that the length error data is detected.

4. The method of claim 2, wherein the real-time data link byte stream error proofing is defined using a seven-tuple form, expressed as:

M＝(Q,Σ,Γ,δ,Q ₀ ,C,F)

wherein:

m represents a multi-band turing machine;

q is a set of multi-band turing machine states

q ₀ 、q ₁ 、q ₂ Sequentially indicating a ready state, a read state, a write state, t ₀ 、t ₁ 、

t ₃ 、t ₄ 、t ₅ 、t _B Is data type identification respectively representing ready, fixed length data, word length data, variable length data, cycle data, protocol mark, length data and null data, the last three components respectively corresponding to data symbol stack E ₁ Data buffer stack E ₃ And protocol location stack E ₅ I, e and epsilon are state identifiers of the linear stack and respectively represent stack entering, stack exiting and no operation;

sigma is a finite set of input data symbols

Is an ordered pair of four input variables; beta is a beta _B Representing a blank symbol in the communication buffer band B ₀ The upper part shows that the grid is not loaded with the byte stream, and the communication buffer after the byte stream is loaded is signed by beta ₀ Representing; character length buffer belt B ₂ And a loop calculation band B ₄ And length calculating band B ₆ All the bytes can be equivalently converted into integers, and the input contents of the three are respectively recorded as

Refers to content as all non-negative integers;

Γ is a signed complete set

Alpha represents a data symbol and represents that the byte on the communication cache band forms a matching relation with effective data stored in the application program; beta is a _B In the word length buffer zone B ₂ And a loop calculation band B ₄ Sum Length calculation band B ₆ Up represents the initialization state;

δ is the state transfer function of the multi-band turing machine;

Q ₀ is the initial state set of the multi-band turing machine { ([ q ] ₀ ,t ₀ ,ε,ε,ε],β _B ,β _B ,β _B ,β _B ),([q ₀ ,t ₀ ,i,ε,ε],β _B ,β _B ,β _B ,β _B ) And the two states respectively represent the states of the Turing machine before the communication buffer starts to read and write data, and beta at four positions _B Sequentially corresponding to communication buffer zone B ₀ Word length buffer belt B ₂ And a loop calculation band B ₄ Sum Length calculation band B ₆ ；

C is communication buffer band B ₀ Word length buffer belt B ₂ And a loop calculation band B ₄ And length calculating band B ₆ Blank symbol set [ beta ] used in _B }；

F is the termination state set { ([ q ]) of the multi-band Turing machine ₀ ,t _B ,ε,ε,ε],β _B ,β _B ,β _B ,β _B ) And the state is the final state of the turing machine after the turing machine finishes reading or writing the communication cache data.

5. The method for preventing errors of the real-time data link byte stream based on the multi-band turing machine according to the claim 2, 3 or 4, characterized in that the Main sub-program comprises: a step of reading operation and a step of writing operation; wherein:

the step of the read operation includes:

step 1, entering the initial state of read operation, and communicating a buffer band B ₀ Loading byte stream, word length buffer zone B ₂ And a loop calculation band B ₄ The storage content of (2) is preset to 0, and the controller does not move;

step 2, protocol position stack E ₅ Loading type code of root node of protocol tree and word length position p of byte stream length field in data group of root node _l Protocol location stack E ₅ Content L of _E5 Move to the word length buffer zone B ₂ The data type identification is changed to null data t _B (ii) a The protocol tree is a tree structure formed by different data groups, the data groups are obtained by dividing effective data according to type codes, and the data groups in the protocol tree are used as nodes;

step 3, the application program executes a function Tree (-) of which the argument is a word length buffer zone B ₂ Content of (1) ₂ The acquired data set is loaded in the form of a sequence of data symbols into a stack of data symbols E ₁ Length calculation band B ₆ The content of (a) is not changed; the function Tree (-) is used for acquiring a data group from the protocol Tree according to the type code and recording the current position of the protocol Tree;

step 4, loading the data group to a data symbol stack E ₁ Then, the data type identification of the controller is changed to ready t ₀ Enter PullSym subroutine, length calculation band B ₆ The content of (2) is not changed;

and 5, jumping into the step by the PullSym subprogram, wherein the type of the loaded data symbol in the PullSym subprogram is null data t _B The protocol position stack E is shifted to the present step ₅ Content L of _E5 Move to the word length buffer zone B ₂ Length calculation band B ₆ After the content is not changed, the step 3 is carried out;

6, the step jumps into the Mark subprogram, enters the termination state of the reading operation, finishes the reading operation, and the word length buffer zone B ₂ And a loop calculation band B ₄ Resetting;

the step of writing comprises:

step 7, entering the initial state of the write operation, and executing the function Loa by the application programd (-) and the argument of the function Load (-) is given by an application program, and the obtained valid data is loaded to a data symbol stack E in the form of a data symbol sequence ₁ The function Load (-) is used for loading all the effective data which are sent in advance, and the sequence of all the effective data accords with the specification of an application layer communication protocol;

step 8, the PullSym subprogram jumps into the step, enters the termination state of the write operation, completes the read operation, and the word length buffer zone B ₂ And a loop calculation band B ₄ And (5) resetting.

6. The real-time data link byte stream error proofing method based on multi-zone turing machine according to the claim 2, 3 or 4, characterized in that the PullSym subprogram executes different steps for each of the read operation and the write operation; wherein:

the step of performing for the read operation comprises:

step 9, when the data type of the controller is marked as ready t ₀ Time, data symbol stack E ₁ Popping up a data symbol alpha, a data type identifier and a word length buffer zone B ₂ The type of data symbol and the word length, length calculation band B are loaded by operators t (-) and l (-) respectively ₆ The content of (2) is not changed, and the subsequent steps are transferred into different subprograms according to different types of loading data symbols of an operator t (·);

step 10, the step is transferred by ReadLen subprogram, when the data type of the controller is marked as word length data

Time, data symbol stack E ₁ Popping a data symbol alpha, identifying the type of the data symbol loaded by an operator t (-), and a data buffer stack E ₃ Content L of _E3 Move to the word length buffer zone B ₂ Length calculation band B ₆ The content is not changed, and a Mark subprogram is entered according to the read data type identification;

the step of performing for the write operation comprises:

step 11, when the data type of the controller is marked asReady t ₀ Time, data symbol stack E ₁ Popping up a data symbol alpha, a data type identifier and a word length buffer zone B ₂ Loading the type and the word length of a data symbol through an operator t (-) and an operator l (-) respectively, and entering a Mark subprogram according to data type identification; when the type and word length of the loaded data symbol are null data t _B When the sum is 0, the Main subprogram is switched into, and the ending state of the write operation is entered;

step 12, when the data type of the controller is marked as word length data

Time, data symbol stack E ₁ Popping up a data symbol alpha, loading the data symbol type by the data type identification through an operator t (-), and buffering a word length buffer band B ₂ Is stored in ₂ And unchanged, entering a Mark subprogram according to the data type identification.

7. The error protection method for the byte stream of the real-time data link based on the multi-band turing machine according to the claim 2, 3 or 4, characterized in that the Mark subprogram executes different steps for each of the read operation and the write operation; wherein:

the performing step for the read operation includes:

step 13, the step is entered by the read operation jump of the PullSym subprogram, when the data type identifier of the controller is fixed-length data t ₁ And the character length buffer belt B ₂ When the memory content of (2) is not 0, the communication buffer pointed to by the controller is signed by beta ₀ Marking the data symbol alpha as the current one, and marking the word length buffer band B after the marking is finished ₂ Of (2) storage content l ₂ Minus 1, length calculation band B ₆ Non-zero data l in ₆ Subtracting 1, and moving the controller to the right;

step 14, after step 13, buffer zone B with word length is formed ₂ Is stored in ₂ When the data is 0, the controller finishes marking the fixed-length data, executes validity judgment E (alpha), reads the valid data after the judgment is passed into the data symbol of the application program, and returns to the PullSym subprogram; wherein, when the validity is judgedThe operator E (-) of (1) represents whether the data is out of the valid range or has an abnormal value;

step 15, this step is entered by the read operation jump of the PullSym subprogram, when the data type of the controller is identified as variable-length data

And the character length buffer belt B ₂ Is stored in ₂ When not 0, the controller points to the communication buffer with a symbol beta ₀ Will be marked as the current data symbol alpha, after marking is completed l ₂ Minus 1,l ₆ Subtracting 1, the controller moves to the right;

step 16, after step 15, buffer zone B with word length is formed ₂ Is stored in ₂ When the data is 0, the controller finishes marking the variable-length data, executes effectiveness judgment E (alpha), reads the passed effective data into the data symbol of the application program, and returns to the PullSym subprogram;

step 17, after step 13, when the controller points to the communication buffer zone B ₀ The data symbol of the position is a blank symbol beta _B Hour and word length buffer zone B ₂ Is stored in ₂ To 0, the data type identification will be changed to null data t _B The program returns to the Main subprogram to finish the reading process; step 18, after step 15, when the data symbol of the communication buffer zone pointed by the controller is a blank symbol β _B Hour and word length buffer zone B ₂ Is stored in ₂ To 0, the data type identification will be changed to null data t _B The program returns to the Main subprogram to finish the reading process;

the step of performing for the write operation comprises:

step 19, when the data type of the controller is marked as fixed-length data t ₁ And a character long buffer zone B ₂ Is stored in ₂ If not 0, the controller points to the communication buffer band B ₀ Blank symbol of (2) _B Will be marked as the current data symbol alpha, after marking is completed l ₂ Subtracting 1, and moving the controller to the right;

step 20, after step 19 is executed, when the word length is equal toBuffer zone B ₂ Is stored in ₂ When 0, the controller has buffered the communication with the band B ₀ Blank symbol of (2) _B Marking as a data symbol alpha, returning to a PullSym subprogram, and simultaneously writing the marked bytes into data and sending the data to a network through a TCPIP protocol;

step 21, when the data type of the controller is marked as word length data

And the character length buffer belt B ₂ Is stored in ₂ If not 0, the controller points to the communication buffer band B ₀ Blank symbol beta of _B Will be marked as the current data symbol alpha, after marking is completed l ₂ Subtracting 1, and moving the controller to the right;

step 22, after step 21, buffer zone B with word length is formed ₂ Is stored in ₂ When 0, the character length buffer zone B ₂ Loading valid data stored by the current data symbol alpha through an operator v (·), returning to a PullSym subprogram, and simultaneously writing the marked bytes into data and sending the data to a network through a TCPIP protocol;

step 23, when the data type of the controller is marked as variable-length data

And the character length buffer zone B ₂ Is stored in ₂ When not 0, the communication buffer zone B pointed by the controller ₀ Blank symbol of (2) _B Marking the current data symbol alpha as a mark I ₂ Subtracting 1, the controller moves to the right;

step 24, after step 23, buffer zone B with word length is formed ₂ Is stored in ₂ When 0, the controller has buffered the communication with the band B ₀ Blank symbol of (2) _B Marking as a data symbol alpha, returning to a PullSym subprogram, and simultaneously writing the marked bytes into data and sending the data to a network through a TCPIP protocol;

step 25, when the data type of the controller is marked as cycle data t ₃ And are combinedAnd the character length buffer zone B ₂ Is stored in ₂ If not 0, the controller points to the communication buffer band B ₀ Blank symbol beta of _B Will be marked as the current data symbol alpha, after marking is completed l ₂ Subtracting 1, the controller moves to the right;

step 26, after step 25, buffer zone B with word length ₂ Is stored in ₂ When 0, the controller has buffered the communication with the band B ₀ Blank symbol of (2) _B Marking as a data symbol alpha, returning to a PullSym subprogram, and simultaneously writing marked bytes into data and sending the data to a network through a TCPIP protocol;

step 27, when the data type of the controller is marked as the protocol mark t ₄ And the character length buffer belt B ₂ Is stored in ₂ When not 0, the communication buffer zone B pointed by the controller ₀ Blank symbol beta of _B Marking the current data symbol alpha as a mark I ₂ Subtracting 1, the controller moves to the right;

step 28, after step 27, buffer B with word length is taken ₂ Is stored in ₂ When 0, the controller has buffered the communication with B ₀ Blank symbol of (2) _B Marking as a data symbol alpha, returning to a PullSym subprogram, and simultaneously writing the marked bytes into data and sending the data to a network through a TCPIP protocol;

step 29, when the data type of the controller is marked as length data t ₅ And a character long buffer zone B ₂ Is stored in ₂ When not 0, the communication buffer zone B pointed by the controller ₀ Blank symbol of (2) _B Will be marked as the current data symbol alpha, after marking is completed l ₂ Subtracting 1, the controller moves to the right;

step 30, after step 29, buffer zone B with word length is formed ₂ Is stored in ₂ When 0, the controller has buffered the communication with B ₀ Blank symbol of (2) _B Marked as data symbol a, the PullSym subroutine is returned, while the marked bytes will be written to data and sent to the network via the TCPIP protocol.

8. The method for preventing errors of the real-time data link byte stream based on the multi-band turing machine according to the claim 2, 3 or 4, characterized in that the ReadLen sub-program executes the steps of:

step 31, when the data type is marked as word length data

And the character length buffer zone B ₂ Is stored in ₂ When not 0, the controller sets the data buffer stack E ₃ Is in the stack state and proceeds to step 32;

step 32, the controller directed communication buffer is signed beta ₀ The data symbol alpha to be marked as current, the byte pointed to by the controller is stored in the data buffer stack E ₃ After marking,/ ₂ Minus 1, non-zero data l in the length calculation band ₆ Subtracting 1, the controller moves to the right;

after step 33, step 32 is executed, the long buffer zone B is formed ₂ Is stored in ₂ When the data length is 0, the controller finishes marking the word length data, executes validity judgment E (alpha), reads valid data after the judgment is passed into a data symbol, and stores the valid data of the data symbol alpha into a data buffer stack E ₃ Then returning to the PullSym subprogram; wherein, the operator E (-) during the validity judgment represents whether the data exceeds the valid range or has an abnormal value;

step 34, when the data type is identified as the protocol mark t ₄ And a character long buffer zone B ₂ Is stored in ₂ When not 0, the controller sets the protocol position stack E ₅ Is in the stack state and proceeds to step 35;

step 35, the controller directed communication buffer is signed by β ₀ The data symbol alpha to be marked as current, the byte pointed to by the controller is stored in the protocol location stack E ₅ After marking,/ ₂ Minus 1,l ₆ Subtracting 1, the controller moves to the right;

step 36, after step 35, buffer zone B with word length is formed ₂ Is stored in ₂ When it is 0, controlMarking the protocol mark by the device, executing validity judgment E (alpha), reading valid data after the judgment is passed into a data symbol of the application program, and storing the valid data of the data symbol alpha into a protocol position stack E ₅ Then returning to the PullSym subprogram;

step 37, when the data type is marked as length data t ₅ And the character length buffer belt B ₂ Is stored in ₂ When not 0, the controller sets the protocol position stack E ₅ Is in the stack state and proceeds to step 38;

step 38, the controller directs the communication buffer to be signed beta ₀ The data symbol alpha to be marked as current, the byte pointed to by the controller is stored in the data buffer stack E ₃ After marking,/ ₂ Minus 1,l ₆ The controller moves to the right without changing;

step 39, after step 38, buffer zone B with word length is formed ₂ Is stored in ₂ When the data is 0, the controller finishes marking the length data, executes validity judgment E (alpha), and reads valid data after the judgment is passed into a data symbol of the application program; storing the valid data of the data symbol alpha to the data buffer stack E ₃ Then moved to the length calculation band B ₆ And then returns to the PullSym subroutine.

9. The method as claimed in claim 2, 3 or 4, wherein the ReadRan subroutine performs the steps of:

step 40, when the data type is marked as cycle data t ₃ And the character length buffer belt B ₂ Is stored in ₂ When not 0, the controller sets the data buffer stack E ₃ Is in a stack entering state;

step 41, the controller directed communication buffer is signed beta ₀ The data symbol alpha to be marked as current, the byte pointed to by the controller is stored in the data buffer stack E ₃ After marking,/ ₂ Minus 1, length calculating the non-zero data l in the band ₆ Subtracting 1, the controller moves to the right;

step 42, controlThe device finishes marking the cycle data, executes validity judgment E (alpha), and reads the valid data after the judgment is passed into the data symbol; buffer data on stack E ₃ Data storage content l of _E3 Move to the word length buffer zone B ₂ The end point r (alpha) of the number of the current cycle data is loaded into the cycle calculation band B ₄ Data symbol stack E ₁ Setting to a stack entering state; if the data storage content l _E3 If the content of (1) is 0, the read cyclic data content is 0, go to step 45, if the data storage content l _E3 If not, go to step 43; wherein, an operator E (-) during the validity judgment represents whether the judgment data exceeds the valid range or has an abnormal value;

step 43, when the data type is identified as cycle data t ₃ And the character length buffer belt B ₂ And a loop calculation band B ₄ When the storage content of (2) is not 0, the band B is cyclically calculated ₄ Is stored in ₄ Is a data number of a communication protocol, can uniquely correspond to a data symbol alpha operable in a program, and adds the data symbol alpha into a data symbol stack E ₁ Then, the content l is stored ₄ Subtract 1 if the content l is stored ₄ Equal to the number starting point s (α) of the current cycle data, go to step 44, otherwise go to step 43 again;

step 44, calculating the band B in a loop ₄ Is stored in ₄ A word length buffer zone B for numbering the start s (alpha) of the current cycle data ₂ Is stored in ₂ Subtracting 1, loading the numbering end point r (alpha) of the current cycle data into a cycle calculation band B ₄ (ii) a If the content l is stored ₂ If it is 0, go to step 45, if store content l ₂ If the value is more than 0, the step 43 is carried out;

step 45, buffer zone B when word length ₂ When the stored content of (2) is 0, the data symbol stack E ₁ The stack pushing state is adjusted to be a stack pulling state;

step 46, buffer zone B when word size ₂ When the stored content of (2) is 0, the data symbol stack E ₁ Executing pop operation, emptying the pre-loaded data symbols, and enabling the repetition times of the data symbols in the circulation and the storage loaded into the data buffer stack in the ReadLen subprogramContainer _E3 The consistency is achieved;

and step 47, returning to the PullSym subprogram after the pop operation is finished.