CN112988689A

CN112988689A - State checking method and device, electronic equipment and computer readable storage medium

Info

Publication number: CN112988689A
Application number: CN201911312978.0A
Authority: CN
Inventors: 黄硕; 姚文辉; 黄东平
Original assignee: Alibaba Group Holding Ltd
Current assignee: Alibaba Group Holding Ltd
Priority date: 2019-12-18
Filing date: 2019-12-18
Publication date: 2021-06-18
Anticipated expiration: 2039-12-18
Also published as: CN112988689B

Abstract

The embodiment of the disclosure discloses a state checking method, a state checking device, electronic equipment and a computer readable storage medium, wherein the state checking method comprises the following steps: acquiring a state verification parameter, and calculating a current state verification value according to the state verification parameter to be used as a main member expected verification value; synchronously sending the expected check value of the main member to the slave members, so that the slave members determine state check results according to the expected check value of the main member and the calculated check value of the slave members; and receiving the status check result returned by the slave member. According to the technical scheme, the state can be verified without other tools, excessive system resources do not need to be consumed, timeliness and correctness of verification operation can be guaranteed, unnecessary loss caused by fault amplification is avoided, historical verification data can be recorded conveniently and reliably, and information can be traced conveniently.

Description

State checking method and device, electronic equipment and computer readable storage medium

Technical Field

The present disclosure relates to the field of distributed system technologies, and in particular, to a state checking method and apparatus, an electronic device, and a computer-readable storage medium.

Background

In a distributed system, in order to realize high availability and strong consistency of roles, a state machine replication method is often used for realizing state synchronization, the method is that a plurality of instances of one system role form a group, a main member (Leader) and a plurality of slave members (Follower) are dynamically elected, the main member records the modification of the own state machine, namely the key memory state, into a Log write-in file (LogEntry) and replicates the Log write-in file (LogEntry) to all the members including the main member, the Log write-in file (loglog) is durably written into the respective Log files, and after the Log contents are consistent among the members through a distributed consistency algorithm, the modification of the Log write-in file is applied to the own memory state one by one according to a Log index (LogIndex). Theoretically, the log files with consistent contents negotiated among the members ensure that the members can obtain the same state after writing the log files according to the uniform and deterministic logic application logs, namely the state machines among the members are consistent. However, in engineering practice, due to the influence of factors such as program versions, operating environments, software defects and the like among members, the states generated after the members write files by using the same log may not be consistent, and further, serious problems such as data errors may be caused. Therefore, the consistency of the states among the members needs to be checked, and the problem of inconsistent states is detected in time in the testing process and even the production process, so as to prevent the problem from further expanding.

The solution adopted in the prior art is as follows: and (3) enabling each member to generate a full state file periodically, loading the file by using a tool one by one member, writing all subsequent logs into the file to a same log index, generating a state abstract value at the moment, comparing whether the abstract values obtained by the members are the same or not, and if not, indicating that the state is inconsistent. This solution has several drawbacks: 1. resource consumption: additional tools and system resources are required to transmit, load, and generate the digest value; 2. the timeliness is poor: calculating the time consumption of the abstract of the full state, which results in long time consumption for finding the consistency problem and larger time window for expanding the problem; 3. the correctness is difficult to guarantee: the log positions of the full state files generated among the members are not necessarily the same, the states of the same log positions among the members can be obtained only by applying a log writing file after a part of the full state files by a tool, but the logic used by the application log writing file is not necessarily the same as the logic actually operated by the members; 4. history is difficult to trace: the history of state verification cannot be conveniently and reliably stored for subsequent analysis.

Disclosure of Invention

The embodiment of the disclosure provides a state checking method and device, electronic equipment and a computer readable storage medium.

In a first aspect, a method for checking a status is provided in an embodiment of the present disclosure.

Specifically, the state verification method includes:

acquiring a state verification parameter, and calculating a current state verification value according to the state verification parameter to be used as a main member expected verification value;

synchronously sending the expected check value of the main member to the slave members, so that the slave members determine state check results according to the expected check value of the main member and the calculated check value of the slave members;

and receiving the status check result returned by the slave member.

With reference to the first aspect, in a first implementation manner of the first aspect, the obtaining the state check parameter is implemented as:

generating an initial log write-in file in response to receiving a state verification request, wherein the initial log write-in file comprises state verification parameters;

writing the initial log write file into a log file, and synchronously writing the initial log write file into a log file of a slave member;

and responding to the application of the initial log write file, and acquiring the state checking parameter.

With reference to the first aspect and the first implementation manner of the first aspect, in a second implementation manner of the first aspect, the obtaining the state check parameter is implemented as:

determining a preset state check file, wherein the preset state check file comprises a preset state check triggering condition and a preset state check parameter;

and acquiring the preset state verification parameters in response to the preset state verification triggering condition being triggered.

With reference to the first aspect, the first implementation manner of the first aspect, and the second implementation manner of the first aspect, in a third implementation manner of the first aspect, an embodiment of the present invention provides that the current state check value is a full state check value or an incremental state check value.

With reference to the first aspect, the first implementation manner of the first aspect, the second implementation manner of the first aspect, and the third implementation manner of the first aspect, in a fourth implementation manner of the first aspect, when the current state check value is an incremental state check value, the calculating according to the state check parameter to obtain the current state check value is implemented as:

acquiring check incremental information and a previous state check value;

and calculating to obtain the current incremental state check value according to the check incremental information and the previous state check value.

With reference to the first aspect, the first implementation manner of the first aspect, the second implementation manner of the first aspect, the third implementation manner of the first aspect, and the fourth implementation manner of the first aspect, in a fifth implementation manner of the first aspect, the synchronizing and sending the expected check value of the master member to the slave member is implemented as:

generating a verification log write-in file in response to the calculation of the expected verification value of the main member, wherein the verification log write-in file comprises the expected verification value of the main member;

and writing the check log write file into a log file, and synchronously writing the check log write file into a log file of a slave member, so that when the check log write file is applied, an expected check value of the master member can be obtained.

In a second aspect, a method for checking a status is provided in the embodiments of the present disclosure.

Specifically, the state verification method includes:

acquiring a state checking parameter, and calculating according to the state checking parameter to obtain a current state checking value as a member checking value;

acquiring an expected check value of a main member, and determining a state check result according to the calculated check value of the member and the expected check value of the main member;

and returning a state checking result to the main member.

With reference to the second aspect, in a first implementation manner of the second aspect, the obtaining the status check parameter is implemented as:

acquiring an initial log write-in file synchronously written in, wherein the initial log write-in file comprises a state verification parameter;

With reference to the second aspect and the first implementation manner of the second aspect, in a second implementation manner of the second aspect, the obtaining the state check parameter is implemented as:

With reference to the second aspect, the first implementation manner of the second aspect, and the second implementation manner of the second aspect, in a third implementation manner of the second aspect, the current state check value is a full state check value or an incremental state check value.

With reference to the second aspect, the first implementation manner of the second aspect, the second implementation manner of the second aspect, and the third implementation manner of the second aspect, in a fourth implementation manner of the second aspect, in the embodiment of the present invention, when the current state check value is an incremental state check value, the calculating according to the state check parameter to obtain the current state check value is implemented as:

acquiring check incremental information and a previous state check value;

With reference to the second aspect, the first implementation manner of the second aspect, the second implementation manner of the second aspect, the third implementation manner of the second aspect, and the fourth implementation manner of the second aspect, in a fifth implementation manner of the second aspect, the obtaining of the expected check value of the main member is implemented as:

acquiring a synchronously written check log write-in file, wherein the check log write-in file contains the expected check value of the main member;

and acquiring the expected check value of the main member in response to the check log write file being applied.

In a third aspect, a method for checking a status is provided in the embodiments of the present disclosure.

Specifically, the state verification method includes:

acquiring state verification parameters by the master member and the slave members, calculating to obtain a current state verification value according to the state verification parameters, and respectively using the current state verification value as a master member expected verification value and a slave member calculated verification value;

the master member synchronously sends the expected check value of the master member to the slave members, and the slave members determine the state check result of the slave members according to the expected check value of the master member and the calculated check value of the slave members;

and returning the state checking result to the master member from the slave member.

With reference to the third aspect, in a first implementation manner of the third aspect, the obtaining, by the master member and the slave member, the status check parameter is implemented as:

the method comprises the steps that a main member responds to a received state verification request and generates an initial log write-in file, wherein the initial log write-in file comprises state verification parameters;

the master member writes the initial log write-in file into a log file, and synchronously writes the initial log write-in file into a log file of a slave member;

and the master member and the slave member respond to the application of the initial log write file and acquire the state checking parameters.

With reference to the third aspect and the first implementation manner of the third aspect, in a second implementation manner of the third aspect, the obtaining, by the master member and the slave member, the status check parameter is implemented as:

determining a preset state check file by a master member and a slave member, wherein the preset state check file comprises a preset state check triggering condition and a preset state check parameter;

and responding to the triggering condition of the preset state verification, and acquiring the preset state verification parameters by the master member and the slave member.

With reference to the third aspect, the first implementation manner of the third aspect, and the second implementation manner of the third aspect, in a third implementation manner of the third aspect, in the embodiment of the present invention, the current state check value is a full state check value or an incremental state check value.

With reference to the third aspect, the first implementation manner of the third aspect, the second implementation manner of the third aspect, and the third implementation manner of the third aspect, in a fourth implementation manner of the third aspect, when the current state check value is an incremental state check value, the calculating according to the state check parameter to obtain the current state check value is implemented as:

acquiring check incremental information and a previous state check value;

With reference to the third aspect, the first implementation manner of the third aspect, the second implementation manner of the third aspect, the third implementation manner of the third aspect, and the fourth implementation manner of the third aspect, in a fifth implementation manner of the third aspect, an embodiment of the present invention is that, in a fifth implementation manner of the third aspect, the master member synchronously sends the expected check value of the master member to the slave member, and the implementation manner is that:

in response to the calculation of the expected check value of the main member, the main member generates a check log write file, wherein the check log write file contains the expected check value of the main member;

the master member writes the check log write-in file into a log file, and synchronously writes the check log write-in file into a log file of the slave member;

the slave member obtains the master member expected check value in response to the check log write file being applied.

In a fourth aspect, a status checking apparatus is provided in the embodiments of the present disclosure.

Specifically, the state verifying apparatus includes:

the first acquisition module is configured to acquire a state verification parameter, and a current state verification value is obtained through calculation according to the state verification parameter and is used as a main member expected verification value;

the first sending module is configured to synchronously send the expected check value of the master member to the slave members, so that the slave members determine state check results according to the expected check value of the master member and the calculated check value of the slave members;

a receiving module configured to receive the status check result returned from the member.

With reference to the fourth aspect, in a first implementation manner of the fourth aspect, the portion of the first obtaining module that obtains the status check parameter is configured to:

With reference to the fourth aspect and the first implementation manner of the fourth aspect, in a second implementation manner of the fourth aspect, the part of the first obtaining module that obtains the state check parameter is configured to:

With reference to the fourth aspect, the first implementation manner of the fourth aspect, and the second implementation manner of the fourth aspect, in a third implementation manner of the fourth aspect, the current state check value is a full state check value or an incremental state check value.

With reference to the fourth aspect, the first implementation manner of the fourth aspect, the second implementation manner of the fourth aspect, and the third implementation manner of the fourth aspect, in a fourth implementation manner of the fourth aspect, in an embodiment of the present invention, when the current state check value is an incremental state check value, a part of the first obtaining module, where the current state check value is obtained by calculation according to the state check parameter, is configured to:

acquiring check incremental information and a previous state check value;

With reference to the fourth aspect, the first implementation manner of the fourth aspect, the second implementation manner of the fourth aspect, the third implementation manner of the fourth aspect, and the fourth implementation manner of the fourth aspect, in a fifth implementation manner of the fourth aspect, the first sending module of the embodiment of the present invention includes:

a generating submodule configured to generate a verification log write-in file in response to the expected verification value of the primary member being calculated, wherein the verification log write-in file contains the expected verification value of the primary member;

the sending submodule is configured to write the check log write file into a log file, and synchronously write the check log write file into a log file of a slave member, so that when the check log write file is applied, an expected check value of the master member can be obtained.

In a fifth aspect, a status checking apparatus is provided in the embodiments of the present disclosure.

Specifically, the state verifying apparatus includes:

the second acquisition module is configured to acquire the state verification parameters and calculate a current state verification value according to the state verification parameters to serve as the member verification value;

the determining module is configured to acquire an expected check value of a main member and determine a state check result according to the calculated check value of the member and the expected check value of the main member;

a return module configured to return a status check result to the primary member.

With reference to the fifth aspect, in a first implementation manner of the fifth aspect, the part of the second obtaining module that obtains the status check parameter is configured to:

With reference to the fifth aspect and the first implementation manner of the fifth aspect, in a second implementation manner of the fifth aspect, the part of the second obtaining module that obtains the state check parameter is configured to:

With reference to the fifth aspect, the first implementation manner of the fifth aspect, and the second implementation manner of the fifth aspect, in a third implementation manner of the fifth aspect, the current state check value is a full state check value or an incremental state check value.

With reference to the fifth aspect, the first implementation manner of the fifth aspect, the second implementation manner of the fifth aspect, and the third implementation manner of the fifth aspect, in a fourth implementation manner of the fifth aspect, when the current state check value is an incremental state check value, a part of the second obtaining module that calculates the current state check value according to the state check parameter is configured to:

acquiring check incremental information and a previous state check value;

With reference to the fifth aspect, the first implementation manner of the fifth aspect, the second implementation manner of the fifth aspect, the third implementation manner of the fifth aspect, and the fourth implementation manner of the fifth aspect, in a fifth implementation manner of the fifth aspect, an embodiment of the present invention provides that, in a part of the determining module, which obtains an expected check value of the primary member, the part is configured to:

In a sixth aspect, a status checking apparatus is provided in the embodiments of the present disclosure.

Specifically, the state verifying apparatus includes:

the third acquisition module is configured to acquire the state verification parameters from the master member and the slave member, calculate the current state verification value according to the state verification parameters and respectively serve as the expected verification value of the master member and the calculated verification value of the slave member;

the second sending module is configured to synchronously send the expected check value of the master member to the slave members, and the slave members calculate check values according to the expected check value of the master member and the slave members to determine the state check results of the slave members;

a return module configured to return a status check result from the member to the master member.

With reference to the sixth aspect, in a first implementation manner of the sixth aspect, the third obtaining module is configured to obtain, by the master member and the slave member, the status check parameter, and is configured to:

With reference to the sixth aspect and the first implementation manner of the sixth aspect, in a second implementation manner of the sixth aspect, the portions of the third obtaining module, where the master member and the slave member obtain the status check parameter, are configured to:

With reference to the sixth aspect, the first implementation manner of the sixth aspect, and the second implementation manner of the sixth aspect, in a third implementation manner of the sixth aspect, the current state check value is a full state check value or an incremental state check value.

With reference to the sixth aspect, the first implementation manner of the sixth aspect, the second implementation manner of the sixth aspect, and the third implementation manner of the sixth aspect, in a fourth implementation manner of the sixth aspect, when the current state check value is an incremental state check value, a part of the third obtaining module, where the current state check value is obtained by calculation according to the state check parameter, is configured to:

acquiring check incremental information and a previous state check value;

With reference to the sixth aspect, the first implementation manner of the sixth aspect, the second implementation manner of the sixth aspect, the third implementation manner of the sixth aspect, and the fourth implementation manner of the sixth aspect, in a fifth implementation manner of the sixth aspect, in an embodiment of the present invention, in the second sending module, the part, where the master member synchronously sends the expected check value of the master member to the slave member, is configured to:

In a seventh aspect, an embodiment of the present disclosure provides an electronic device, including a memory and a processor, where the memory is configured to store one or more computer instructions, where the one or more computer instructions are executed by the processor to implement the method steps of the above status checking method.

In an eighth aspect, an embodiment of the present disclosure provides a computer-readable storage medium for storing computer instructions for a state checking apparatus, where the computer instructions include computer instructions for executing the state checking method described above as related to the state checking apparatus.

The technical scheme provided by the embodiment of the disclosure can have the following beneficial effects:

according to the technical scheme, the state verification parameters are obtained through triggering of state verification operation, each member obtains the corresponding state verification value through calculation according to the synchronous state verification parameters, and the state verification result is determined through comparison of the state verification values. According to the technical scheme, the state can be verified without other tools, excessive system resources do not need to be consumed, timeliness and correctness of verification operation can be guaranteed, unnecessary loss caused by fault amplification is avoided, historical verification data can be recorded conveniently and reliably, and information can be traced conveniently.

It is to be understood that both the foregoing general description and the following detailed description are exemplary and explanatory only and are not restrictive of the disclosure.

Drawings

Other features, objects, and advantages of the present disclosure will become more apparent from the following detailed description of non-limiting embodiments when taken in conjunction with the accompanying drawings. In the drawings:

FIG. 1 illustrates a flow diagram of a status checking method according to an embodiment of the present disclosure;

FIG. 2 shows a flow chart of step S102 of the status checking method according to the embodiment shown in FIG. 1;

FIG. 3 shows a flow diagram of a status checking method according to another embodiment of the present disclosure;

FIG. 4 illustrates a flow diagram of a status checking method according to yet another embodiment of the present disclosure;

FIG. 5 illustrates an overall flow diagram of a status checking method according to an embodiment of the present disclosure;

FIG. 6 shows a block diagram of a status checking device according to an embodiment of the present disclosure;

FIG. 7 is a block diagram of a first sending module 602 of the status checking apparatus according to the embodiment shown in FIG. 6;

fig. 8 illustrates a block diagram of a status checking apparatus according to another embodiment of the present disclosure;

fig. 9 illustrates a block diagram of a status checking apparatus according to still another embodiment of the present disclosure;

FIG. 10 shows a block diagram of an electronic device according to an embodiment of the present disclosure;

FIG. 11 is a schematic block diagram of a computer system suitable for use in implementing a status checking method according to an embodiment of the present disclosure.

Detailed Description

Hereinafter, exemplary embodiments of the present disclosure will be described in detail with reference to the accompanying drawings so that those skilled in the art can easily implement them. Also, for the sake of clarity, parts not relevant to the description of the exemplary embodiments are omitted in the drawings.

In the present disclosure, it is to be understood that terms such as "including" or "having," etc., are intended to indicate the presence of the disclosed features, numbers, steps, behaviors, components, parts, or combinations thereof, and are not intended to preclude the possibility that one or more other features, numbers, steps, behaviors, components, parts, or combinations thereof may be present or added.

It should be further noted that the embodiments and features of the embodiments in the present disclosure may be combined with each other without conflict. The present disclosure will be described in detail below with reference to the accompanying drawings in conjunction with embodiments.

According to the technical scheme provided by the embodiment of the disclosure, the state verification parameters are obtained through triggering of the state verification operation, each member obtains the corresponding state verification value according to the synchronous state verification parameters, and the state verification result is determined through comparison of the state verification values. According to the technical scheme, the state can be verified without other tools, excessive system resources do not need to be consumed, timeliness and correctness of verification operation can be guaranteed, unnecessary loss caused by fault amplification is avoided, historical verification data can be recorded conveniently and reliably, and information can be traced conveniently.

Fig. 1 shows a flow chart of a status checking method according to an embodiment of the present disclosure, which is applicable to a master member side. As shown in fig. 1, the status checking method includes the following steps S101 to S103:

in step S101, a state verification parameter is obtained, and a current state verification value is calculated according to the state verification parameter and is used as a primary member expected verification value;

in step S102, the expected check value of the master member is synchronously sent to the slave members, so that the slave members determine a state check result according to the expected check value of the master member and the calculated check value of the slave member;

in step S103, the status check result returned from the member is received.

In the distributed system, in order to achieve high availability and strong consistency of roles, a state machine replication method is often used to achieve state synchronization, and theoretically, log files with consistent contents negotiated among members ensure that the members obtain the same state after writing the log files according to a uniform and deterministic logic application log, that is, state machines among the members are consistent. However, in engineering practice, due to the influence of factors such as program versions, operating environments, software defects and the like among members, the states generated after the members write files by using the same log may not be consistent, and further, serious problems such as data errors may be caused. Therefore, the consistency of the states among the members needs to be checked, and the problem of inconsistent states is detected in time in the testing process and even the production process, so as to prevent the problem from further expanding. However, the solution adopted in the prior art has the defects of resource consumption, poor timeliness, difficult guarantee of correctness and difficult history tracing.

In view of the above drawbacks, in this embodiment, a state verification method is provided, in which a state verification parameter is obtained by triggering a state verification operation, each member obtains a corresponding state verification value according to a synchronous state verification parameter, and determines a state verification result through comparison of the state verification values. According to the technical scheme, the state can be verified without other tools, excessive system resources do not need to be consumed, timeliness and correctness of verification operation can be guaranteed, unnecessary loss caused by fault amplification is avoided, historical verification data can be recorded conveniently and reliably, and information can be traced conveniently.

In an optional implementation manner of this embodiment, the master member (Leader) refers to a master member in a distributed system, and performs information transmission and operation cooperation with multiple slave members (Follow) in the distributed system to ensure consistency of cluster data.

In an optional implementation manner of this embodiment, the status check parameter refers to a parameter required for calculating the status check value, and is subsequently synchronized to all members, and the status check parameter may include one or more of the following parameters: the state summary calculation Algorithm used, for example, whether the MD5 Algorithm (Message-Digest Algorithm 5) or the crc (cyclic Redundancy check) Algorithm is used; adopting a full state calculation mode or an incremental state calculation mode; when an incremental state calculation mode is adopted, incremental information and a previous state abstract value used for incremental state calculation are used, wherein the incremental information comprises an error code (Errorcode) when a log entry file (LogEntry) is applied within preset historical time, code path marking information when the log entry file is applied within preset historical time, and the like.

In an optional implementation manner of this embodiment, the expected check value of the master member is a current state check value that needs to be checked and is calculated by the master member according to the obtained state check parameter, the check value is used as the expected check value of the master member, the master member and the slave members are synchronized subsequently, each slave member calculates a calculated check value of the slave member according to the synchronously obtained state check parameter, then the synchronously obtained expected check value of the master member is compared with the calculated check value of the slave member calculated by each slave member, so that a check result of the current state check can be obtained, if the expected check value of the master member is the same as the calculated check value of the slave member calculated by each slave member, the check is considered to be successful, the current check is ended, and if the expected check value of the master member is different from the calculated check value of the slave member, an alarm process can be started and the continued execution of the slave.

In an optional implementation manner of this embodiment, the status checking result may be embodied in the form of a text, a message, or the like, or may be embodied in the form of a sound, an audio, a video, or the like.

In an optional implementation manner of this embodiment, the step of obtaining the status check parameter in step S101 may be implemented as:

In this implementation manner, the state verification method supports a mode of active triggering by a user, that is, the state verification of the distributed system is performed according to the active triggering of the user, and a corresponding state verification parameter is obtained. Specifically, in response to receiving a state verification request sent by a user, for example, an initial log write file is generated, where the initial log write file includes state verification parameters required by the current state verification, and the state verification parameters may be carried by the state verification request or generated according to the state verification request; then writing the initial log write-in file into a log file of a master member, and synchronously writing the initial log write-in file into a log file of a slave member; when the initial log write file is applied, the state verification parameters can be obtained.

In an optional implementation manner of this embodiment, the status verification request may be a status verification request initiated by a user, or a status verification request initiated by a system automatically.

In an optional implementation manner of this embodiment, in order to implement effective and accurate data synchronization, when an initial log write file is generated, a corresponding log index (LogIndex) is further generated for the generated initial log write file to uniquely identify the initial log write file, so that the master member and the slave member can identify the applied log write file and the applied result according to the log index of the initial log write file, and further perform targeted calculation, comparison, and processing.

In another optional implementation manner of this embodiment, the step of obtaining the state check parameter in step S101 may further be implemented as:

In this implementation, the state checking method supports a mode of periodically triggering state checking according to a log index or other guiding information. Specifically, a preset state verification file comprising a preset state verification trigger condition and a preset state verification parameter is determined; and then starting state verification operation to acquire the preset state verification parameters when detecting that the preset state verification triggering condition is triggered. The preset state verification triggering condition refers to preset condition data which can be triggered to start state verification operation. The meaning of the preset state verification parameter is similar to that of the state verification parameter in the previous implementation manner, except that in the present implementation manner, the preset state verification parameter is preset and stored, and when the preset state verification trigger condition is triggered, the preset state verification parameter can be acquired. For example, the information in the preset state check file may be represented as "triggering an ErrorCode increment MD5 check every K logindexs starting from LogIndex Y", where in the preset state check file, the state check triggering condition is as follows: starting from LogIndex Y, triggering every K LogIndex at intervals, wherein the state checking parameters are as follows: the ErrorCode, increment, MD5, i.e. the state check is implemented by using an increment check method for the ErrorCode and using an MD5 check algorithm to check the state.

As mentioned above, the state checking method may adopt a full state calculation manner or an incremental state calculation manner. Therefore, the current state check value may be a full state check value or an incremental state check value. When the current state check value is a full state check value, that is, a full state calculation mode is adopted, a linux fork mechanism can be used for performing full state calculation in a new process according to the state check parameters, and the full state check value is obtained and used as the current state check value. When the current state check value is an incremental state check value, namely an incremental state calculation mode is adopted, firstly, check incremental information and a previous state check value are obtained according to the state check parameter; and then calculating to obtain a current increment state check value as a current state check value according to the check increment information and the previous state check value.

In an optional implementation manner of this embodiment, as shown in fig. 2, the step S102 of synchronously sending the expected check value of the master member to the slave member includes the following steps S201 to S202:

in step S201, in response to the expected check value of the primary member being calculated, generating a check log write file, where the check log write file includes the expected check value of the primary member;

in step S202, the verification log write file is written into a log file, and the verification log write file is synchronously written into a log file of a slave member, so that when the verification log write file is applied, the expected verification value of the master member can be obtained.

In order to send the expected check value of the master member calculated by the master member to all the slave members as a reference value, so that the slave members can compare the expected check value with the calculated check value of the slave member and confirm the state check result of each slave member, in the implementation manner, the completion of the calculation of the expected check value of the master member is taken as the time point of synchronization of the expected check value of the master member, namely, in response to the calculation of the expected check value of the master member, a check log write file containing the expected check value of the master member is generated; and then writing the verification log write file into a log file, and synchronously writing the verification log write file into a log file of a slave member, so that when the verification log write file is applied by the slave member, the expected verification value of the master member can be obtained.

In order to achieve effective and accurate data synchronization, in this implementation manner, also for achieving effective and accurate data synchronization, when an initial log write file is generated, a log index corresponding to a certain state check operation is generated for the generated initial log write file, and a log index corresponding to the state check operation is also configured for a primary member expected check value included in the check log write file, where the log index of the primary member expected check value may be the same as or corresponding to the log index of the initial log write file so as to be identifiable as being associated with the same state check operation, and after a subsequent slave member completes calculation of a primary member calculated check value corresponding to the above state check operation, the primary member calculated check value associated with the same state check operation is compared with the primary member expected check value, thereby obtaining a status check result.

Fig. 3 shows a flow chart of a status checking method according to another embodiment of the present disclosure, which may be applied to the slave member side. As shown in fig. 3, the status checking method includes the following steps S301 to S303:

in step S301, a state verification parameter is obtained, and a current state verification value is obtained by calculation according to the state verification parameter and is used as the member verification value;

in step S302, obtaining an expected check value of the main member, and determining a status check result according to the calculated check value of the member and the expected check value of the main member;

in step S303, a status check result is returned to the master member.

In an optional implementation manner of this embodiment, the step of obtaining the state check parameter in step S201 may be implemented as:

In an optional implementation manner of this embodiment, the initial log write file including the status verification parameter is generated by the master member and written into the log file thereof, and then synchronously written into the log file of the slave member, and after the initial log write file is applied, the required status verification parameter can be obtained

In an optional implementation manner of this embodiment, in order to implement effective and accurate data synchronization, the initial log write file is further configured with a corresponding log index (LogIndex) to uniquely identify the initial log write file, so that the master member and the slave member can identify the applied log write file and the applied result according to the log index of the initial log write file, and further perform targeted calculation, comparison, and processing. Assuming that the log index of a certain initial log write-in file is X, after each member is applied to the initial log write-in file and acquires the state check parameter, the current state check value calculated according to the state check parameter can be marked as the state check value corresponding to the log index X and recorded, so as to perform consistency comparison of the subsequent members on the corresponding state check value of the log index X.

In another optional implementation manner of this embodiment, the step of obtaining the status check parameter in step S201 may be implemented as:

In this implementation, the state checking method supports a mode of periodically triggering state checking according to a log index or other guiding information. Specifically, a preset state verification file comprising a preset state verification trigger condition and a preset state verification parameter is determined; and then starting state verification operation to acquire the preset state verification parameters when detecting that the preset state verification triggering condition is triggered.

Similar to the above embodiments, the state checking method may adopt a full state calculation manner or an incremental state calculation manner. Therefore, the current state check value may be a full state check value or an incremental state check value. When the current state check value is a full state check value, that is, a full state calculation mode is adopted, a linux fork mechanism can be used for performing full state calculation in a new process according to the state check parameters, and the full state check value is obtained and used as the current state check value. When the current state check value is an incremental state check value, namely an incremental state calculation mode is adopted, firstly, check incremental information and a previous state check value are obtained according to the state check parameter; and then calculating to obtain a current increment state check value as a current state check value according to the check increment information and the previous state check value.

In an optional implementation manner of this embodiment, the step of obtaining the expected check value of the main member in step S202 may be implemented as:

The verification log writing file is generated after a main member obtains a main member expected verification value through calculation and calculation, the main member writes the verification log into the log file and then synchronizes the verification log into the log file of the slave member, and when the verification log writing file is applied, the main member expected verification value can be obtained to be compared with the member calculation verification value obtained through calculation of each slave member, and the state verification result of each slave member is confirmed.

It is mentioned above that for an efficient and accurate data synchronization the initial log write file is configured with a log index, in this implementation also for an efficient and accurate data synchronization the verification log write file is configured with the same or a corresponding log index to be identifiable as being associated with the same status verification operation.

It should be noted that, some technical terms or technical features related to fig. 3 and the related embodiments thereof are the same as or similar to those mentioned in the above-mentioned embodiments, and the corresponding explanation and description can refer to the description of the above-mentioned embodiments, and the description of the present invention is not repeated herein.

Fig. 4 is a flowchart illustrating a status checking method according to still another embodiment of the present disclosure, which is applicable to a system consisting of a master member and a slave member. As shown in fig. 4, the status checking method includes the following steps S401 to S403:

in step S401, the master member and the slave member acquire a state verification parameter, and calculate a current state verification value according to the state verification parameter, and respectively serve as a master member expected verification value and a slave member calculation verification value;

in step S402, the master member synchronously sends the expected check value of the master member to the slave members, and the slave members determine the status check result of the slave members according to the expected check value of the master member and the calculated check value of the slave members;

in step S403, the slave member returns a status check result to the master member.

In an optional implementation manner of this embodiment, the step of obtaining the status check parameter by the master member and the slave member in step S401 is implemented as:

In another optional implementation manner of this embodiment, the step of obtaining the status check parameter by the master member and the slave member in step S401 is implemented as:

In an optional implementation manner of this embodiment, the current state check value is a full state check value or an incremental state check value.

In an optional implementation manner of this embodiment, when the current state verification value is an incremental state verification value, the step of calculating the current state verification value according to the state verification parameter in step S401 is implemented as:

acquiring check incremental information and a previous state check value;

In an optional implementation manner of this embodiment, the step of the master member synchronously sending the expected check value of the master member to the slave member in step S402 is implemented as:

It should be noted that, some technical terms or technical features related to fig. 4 and the related embodiments thereof are the same as or similar to those mentioned in the above-mentioned embodiments, and the corresponding explanation and description can refer to the description of the above-mentioned embodiments, and the description of the present invention is not repeated herein.

Fig. 5 is an overall flowchart of a status verification method according to an embodiment of the present disclosure, and as shown in fig. 5, after receiving a status verification request, a master member generates an initial log write file containing status verification parameters, and then synchronously writes the initial log write file into a log file of the master member and a log file of a slave member, and once the initial log write file is applied subsequently, both the master member and the slave member can obtain the status verification parameters; the master member calculates a current state check value according to the state check parameters to serve as a master member expected check value, and synchronously sends the calculated master member expected check value to the slave members; and the slave member calculates the current state check value according to the obtained state check parameter to be used as the member check value, compares the current state check value with the received expected check value of the master member to determine a state check result, and finally returns the state check result to the master member.

The following are embodiments of the disclosed apparatus that may be used to perform embodiments of the disclosed methods.

Fig. 6 is a block diagram illustrating a configuration of a status checking apparatus according to an embodiment of the present disclosure, which may be implemented as a main member, and may be implemented as part or all of an electronic device through software, hardware, or a combination of the two. As shown in fig. 6, the state verifying apparatus includes:

a first obtaining module 601, configured to obtain a state verification parameter, and obtain a current state verification value according to the state verification parameter, as a primary member expected verification value;

a first sending module 602, configured to synchronously send the expected check value of the master member to a slave member, so that the slave member determines a status check result according to the expected check value of the master member and a calculated check value of the slave member;

a receiving module 603 configured to receive the status check result returned from the member.

In view of the above drawbacks, in this embodiment, a status verification apparatus is provided, where the apparatus obtains status verification parameters through triggering of status verification operations, and each member obtains a corresponding status verification value through calculation according to the synchronized status verification parameters, and determines a status verification result through comparison of the status verification values. According to the technical scheme, the state can be verified without other tools, excessive system resources do not need to be consumed, timeliness and correctness of verification operation can be guaranteed, unnecessary loss caused by fault amplification is avoided, historical verification data can be recorded conveniently and reliably, and information can be traced conveniently.

In an optional implementation manner of this embodiment, the part of the first obtaining module 601 that obtains the status check parameter may be configured to:

In this implementation manner, the state verification apparatus supports a mode of active triggering by a user, that is, performs state verification of the distributed system according to the active triggering by the user, and obtains a corresponding state verification parameter. Specifically, in response to receiving a state verification request sent by a user, for example, an initial log write file is generated, where the initial log write file includes state verification parameters required by the current state verification, and the state verification parameters may be carried by the state verification request or generated according to the state verification request; then writing the initial log write-in file into a log file of a master member, and synchronously writing the initial log write-in file into a log file of a slave member; when the initial log write file is applied, the state verification parameters can be obtained.

In another optional implementation manner of this embodiment, the portion of the first obtaining module 601 that obtains the status check parameter may be further configured to:

In this implementation, the state checking means supports a mode of timing-triggering state checking according to a log index or other guidance information. Specifically, a preset state verification file comprising a preset state verification trigger condition and a preset state verification parameter is determined; and then starting state verification operation to acquire the preset state verification parameters when detecting that the preset state verification triggering condition is triggered. The preset state verification triggering condition refers to preset condition data which can be triggered to start state verification operation. The meaning of the preset state verification parameter is similar to that of the state verification parameter in the previous implementation manner, except that in the present implementation manner, the preset state verification parameter is preset and stored, and when the preset state verification trigger condition is triggered, the preset state verification parameter can be acquired. For example, the information in the preset state check file may be represented as "triggering an ErrorCode increment MD5 check every K logindexs starting from LogIndex Y", where in the preset state check file, the state check triggering condition is as follows: starting from LogIndex Y, triggering every K LogIndex at intervals, wherein the state checking parameters are as follows: the ErrorCode, increment, MD5, i.e. the state check is implemented by using an increment check method for the ErrorCode and using an MD5 check algorithm to check the state.

As mentioned above, the state checking device may adopt a full state calculation manner or an incremental state calculation manner. Therefore, the current state check value may be a full state check value or an incremental state check value. When the current state check value is a full state check value, that is, a full state calculation mode is adopted, a linux fork mechanism can be used for performing full state calculation in a new process according to the state check parameters, and the full state check value is obtained and used as the current state check value. When the current state check value is an incremental state check value, namely an incremental state calculation mode is adopted, firstly, check incremental information and a previous state check value are obtained according to the state check parameter; and then calculating to obtain a current increment state check value as a current state check value according to the check increment information and the previous state check value.

In an optional implementation manner of this embodiment, as shown in fig. 7, the first sending module 602 includes:

a generating sub-module 701 configured to generate a check log write-in file in response to the expected check value of the main member being calculated, where the check log write-in file includes the expected check value of the main member;

the sending sub-module 702 is configured to write the verification log write file into a log file, and synchronously write the verification log write file into a log file of a slave member, so that when the verification log write file is applied, the expected verification value of the master member can be obtained.

Fig. 8 is a block diagram illustrating a configuration of a status checking apparatus according to another embodiment of the present disclosure, which may be implemented as a slave member, and may be implemented as part or all of an electronic device through software, hardware, or a combination of the two. As shown in fig. 8, the state verifying apparatus includes:

a second obtaining module 801 configured to obtain a state verification parameter, and calculate a current state verification value according to the state verification parameter, as a member verification value;

a determining module 802, configured to obtain an expected check value of a main member, and determine a status check result according to the calculated check value of the member and the expected check value of the main member;

a return module 803 configured to return the status check result to the primary member.

In an optional implementation manner of this embodiment, the part of the second obtaining module 801 that obtains the status check parameter may be configured to:

In another optional implementation manner of this embodiment, the part of the second obtaining module 801 that obtains the status check parameter may be configured to:

In this implementation, the state checking means supports a mode of timing-triggering state checking according to a log index or other guidance information. Specifically, a preset state verification file comprising a preset state verification trigger condition and a preset state verification parameter is determined; and then starting state verification operation to acquire the preset state verification parameters when detecting that the preset state verification triggering condition is triggered.

Similar to the above embodiments, the state checking device may adopt a full state calculation manner or an incremental state calculation manner. Therefore, the current state check value may be a full state check value or an incremental state check value. When the current state check value is a full state check value, that is, a full state calculation mode is adopted, a linux fork mechanism can be used for performing full state calculation in a new process according to the state check parameters, and the full state check value is obtained and used as the current state check value. When the current state check value is an incremental state check value, namely an incremental state calculation mode is adopted, firstly, check incremental information and a previous state check value are obtained according to the state check parameter; and then calculating to obtain a current increment state check value as a current state check value according to the check increment information and the previous state check value.

In an optional implementation manner of this embodiment, the portion of the determining module 802 that obtains the expected check value of the primary member may be configured to:

It should be noted that, some technical terms or technical features related to fig. 8 and the related embodiments thereof are the same as or similar to those mentioned in the above-mentioned embodiments, and the corresponding explanation and description can refer to the description of the above-mentioned embodiments, and the description of the present invention is not repeated herein.

Fig. 9 is a block diagram illustrating a configuration of a status checking apparatus according to still another embodiment of the present disclosure, which may be implemented as a system consisting of a master member and a slave member, and may be implemented as part or all of an electronic device by software, hardware, or a combination of the two. As shown in fig. 9, the state verifying apparatus includes:

a third obtaining module 901, configured to obtain the status verification parameters from the master member and the slave member, and calculate the current status verification value according to the status verification parameters, and respectively serve as the expected verification value of the master member and the calculated verification value of the slave member;

a second sending module 902, configured to send the expected check value of the master member to the slave members synchronously, and the slave members determine a slave member status check result according to the expected check value of the master member and the calculated check value of the slave members;

a return module 903 configured to return the status check result from the member to the primary member.

In an optional implementation manner of this embodiment, the parts of the third obtaining module 901, where the master member and the slave member obtain the status check parameter, are configured to:

In another optional implementation manner of this embodiment, the parts of the third obtaining module 901, where the master member and the slave member obtain the status check parameter, are configured to:

In an optional implementation manner of this embodiment, when the current state verification value is an incremental state verification value, a part of the third obtaining module 901, which obtains the current state verification value by calculation according to the state verification parameter, is configured to:

acquiring check incremental information and a previous state check value;

In an optional implementation manner of this embodiment, a part of the second sending module 902, where the master member synchronously sends the expected check value of the master member to the slave member, is configured to:

It should be noted that, some technical terms or technical features related to fig. 9 and the related embodiments thereof are the same as or similar to those mentioned in the above-mentioned embodiments, and the corresponding explanation and description can refer to the description of the above-mentioned embodiments, and the description of the present invention is not repeated herein.

The present disclosure also discloses an electronic device, fig. 10 shows a block diagram of the electronic device according to an embodiment of the present disclosure, and as shown in fig. 10, the electronic device 1000 includes a memory 1001 and a processor 1002; wherein,

the memory 1001 is used to store one or more computer instructions that are executed by the processor 1002 to implement the above-described method steps.

As shown in fig. 11, the computer system 1100 includes a processing unit 1101, which can execute various processes in the above-described embodiments according to a program stored in a Read Only Memory (ROM)1102 or a program loaded from a storage section 1108 into a Random Access Memory (RAM) 1103. In the RAM1103, various programs and data necessary for the operation of the system 1100 are also stored. The processing unit 1101, the ROM1102, and the RAM1103 are connected to each other by a bus 1104. An input/output (I/O) interface 1105 is also connected to bus 1104.

The following components are connected to the I/O interface 1105: an input portion 1106 including a keyboard, mouse, and the like; an output portion 1107 including a signal output unit such as a Cathode Ray Tube (CRT), a Liquid Crystal Display (LCD), and a speaker; a storage section 1108 including a hard disk and the like; and a communication section 1109 including a network interface card such as a LAN card, a modem, or the like. The communication section 1109 performs communication processing via a network such as the internet. A driver 1110 is also connected to the I/O interface 1105 as necessary. A removable medium 1111 such as a magnetic disk, an optical disk, a magneto-optical disk, a semiconductor memory, or the like is mounted on the drive 1110 as necessary, so that a computer program read out therefrom is mounted into the storage section 1108 as necessary. The processing unit 1901 may be implemented as a CPU, a GPU, a FPAG, an NPU, or other processing units.

In particular, the above described methods may be implemented as computer software programs, according to embodiments of the present disclosure. For example, embodiments of the present disclosure include a computer program product comprising a computer program tangibly embodied on a medium readable thereby, the computer program comprising program code for performing the above-described state verification method. In such an embodiment, the computer program can be downloaded and installed from a network through the communication portion 1109 and/or installed from the removable medium 1111.

The flowchart and block diagrams in the figures illustrate the architecture, functionality, and operation of possible implementations of systems, methods and computer program products according to various embodiments of the present disclosure. In this regard, each block in the flowcharts or block diagrams may represent a module, a program segment, or a portion of code, which comprises one or more executable instructions for implementing the specified logical function(s). It should also be noted that, in some alternative implementations, the functions noted in the block may occur out of the order noted in the figures. For example, two blocks shown in succession may, in fact, be executed substantially concurrently, or the blocks may sometimes be executed in the reverse order, depending upon the functionality involved. It will also be noted that each block of the block diagrams and/or flowchart illustration, and combinations of blocks in the block diagrams and/or flowchart illustration, can be implemented by special purpose hardware-based systems which perform the specified functions or acts, or combinations of special purpose hardware and computer instructions.

The units or modules described in the embodiments of the present disclosure may be implemented by software or hardware. The units or modules described may also be provided in a processor, and the names of the units or modules do not in some cases constitute a limitation of the units or modules themselves.

As another aspect, the present disclosure also provides a computer-readable storage medium, which may be the computer-readable storage medium included in the apparatus in the above-described embodiment; or it may be a separate computer readable storage medium not incorporated into the device. The computer readable storage medium stores one or more programs for use by one or more processors in performing the methods described in the present disclosure.

The foregoing description is only exemplary of the preferred embodiments of the disclosure and is illustrative of the principles of the technology employed. It will be appreciated by those skilled in the art that the scope of the invention in the present disclosure is not limited to the specific combination of the above-mentioned features, but also encompasses other embodiments in which any combination of the above-mentioned features or their equivalents is possible without departing from the inventive concept. For example, the above features and (but not limited to) the features disclosed in this disclosure having similar functions are replaced with each other to form the technical solution.

Claims

1. A method of status checking, comprising:

and receiving the status check result returned by the slave member.

2. The status checking method according to claim 1, wherein the obtaining of the status checking parameter is implemented as:

3. The status checking method according to claim 1, wherein the obtaining of the status checking parameter is implemented as:

4. The status checking method according to claim 1, wherein the current status check value is a full status check value or an incremental status check value.

5. The state verification method according to claim 4, wherein when the current state verification value is an incremental state verification value, the calculating the current state verification value according to the state verification parameter is implemented as:

acquiring check incremental information and a previous state check value;

6. The status checking method of claim 1, wherein said synchronously sending said master member expected check value to slave members is implemented as:

7. A method of status checking, comprising:

and returning a state checking result to the main member.

8. The status checking method according to claim 7, wherein the obtaining of the status checking parameter is implemented as:

9. The status checking method according to claim 7, wherein the obtaining of the status checking parameter is implemented as:

10. The status checking method according to claim 7, wherein the current status check value is a full status check value or an incremental status check value.

11. The state verification method according to claim 10, wherein when the current state verification value is an incremental state verification value, the calculating the current state verification value according to the state verification parameter is implemented as:

acquiring check incremental information and a previous state check value;

12. The status checking method of claim 7, wherein the obtaining of the expected check value of the primary member is implemented as:

13. A method of status checking, comprising:

14. The status checking method of claim 13, wherein the obtaining of the status checking parameters by the master member and the slave member is implemented as:

15. The status checking method of claim 13, wherein the obtaining of the status checking parameters by the master member and the slave member is implemented as:

16. The status checking method according to claim 13, wherein the current status check value is a full status check value or an incremental status check value.

17. The state checking method according to claim 16, wherein when the current state check value is an incremental state check value, the calculating the current state check value according to the state check parameter is implemented as:

acquiring check incremental information and a previous state check value;

18. The status checking method of claim 13, wherein the master member synchronously sends the master member expected check value to the slave members, implemented as:

19. A status checking apparatus, comprising:

20. A status checking apparatus, comprising:

21. A status checking apparatus, comprising:

22. An electronic device comprising a memory and a processor; wherein the memory is configured to store one or more computer instructions, wherein the one or more computer instructions are executed by the processor to implement the method steps of any of claims 1-18.

23. A computer-readable storage medium having stored thereon computer instructions, characterized in that the computer instructions, when executed by a processor, carry out the method steps of any of claims 1-18.