[发明专利]状态校验方法、装置、电子设备及计算机可读存储介质

说明书

本公开实施例公开了一种状态校验方法、装置、电子设备及计算机可读存储介质，所述状态校验方法包括：获取状态校验参数，并根据所述状态校验参数计算得到当前状态校验值，作为主成员预期校验值；将所述主成员预期校验值同步发送给从成员，使得所述从成员根据所述主成员预期校验值与从成员计算得到的本成员计算校验值确定状态校验结果；接收所述从成员返回的状态校验结果。该技术方案不需要借助其他工具即可实现状态的校验，不需要耗费过多的系统资源，能够保证校验操作的及时性和正确性，避免故障扩大化进而带来不必要的损失，还能够方便、可靠地记录历史校验数据，以方便信息的追溯。

技术领域

本公开涉及分布式系统技术领域，具体涉及一种状态校验方法、装置、电子设备及计算机可读存储介质。

背景技术

在分布式系统中，为了实现角色的高可用且强一致性，经常使用状态机复制方法实现状态的同步，该方法是将一个系统角色的多个实例组成一组，动态选举出一个主成员(Leader)和多个从成员(Follower)，主成员将对自己状态机即关键内存状态的修改记录成日志写入文件(LogEntry)复制给包括自己的所有成员，将其持久化写入各自的日志文件(Log)，当成员间通过分布式一致性算法对日志内容达成一致后，按照日志索引(LogIndex)逐个将日志写入文件的修改应用到自己的内存状态中。理论上，成员间协商出的内容一致的日志文件保证了成员按照统一的、确定性的逻辑应用日志写入文件后会得到相同的状态，即成员间状态机一致。但是在工程实践中，由于成员间的程序版本、运行环境、软件缺陷等因素的影响，成员应用相同的日志写入文件后产生的状态可能并不一致，进而可能会造成数据错误等严重问题。因此，需要对成员间状态的一致性进行校验，在测试甚至生产过程中及时检测出状态不一致问题，以阻止问题的进一步扩大。

现有技术中采用的解决方案为：让每个成员分别定期生成一个全量状态文件，然后逐个成员地使用工具加载该文件并应用其后的所有日志写入文件到某个相同的日志索引上，生成此时的状态摘要值，然后比较各个成员得到的摘要值是否相同，若不相同则表示出现了状态不一致问题。该方案存在多个缺点：1、耗费资源：需要额外的工具和系统资源来传输、加载全量状态文件并生成摘要值；2、及时性差：计算全量状态的摘要耗时长，导致发现一致性问题的耗时长，问题有更大的时间窗口进行扩大化；3、正确性难保障：成员间生成全量状态文件的日志位置不一定相同，需要工具应用一部分全量状态文件之后的日志写入文件才能得到成员间相同日志位置的状态，但此时应用日志写入文件使用的逻辑与成员实际运行的逻辑却不一定相同；4、历史难追溯：状态校验的历史无法方便、可靠的保存下来以供后续分析使用。

发明内容

本公开实施例提供一种状态校验方法、装置、电子设备及计算机可读存储介质。

第一方面，本公开实施例中提供了一种状态校验方法。

具体的，所述状态校验方法，包括：

获取状态校验参数，并根据所述状态校验参数计算得到当前状态校验值，作为主成员预期校验值；

将所述主成员预期校验值同步发送给从成员，使得所述从成员根据所述主成员预期校验值与从成员计算得到的本成员计算校验值确定状态校验结果；

接收所述从成员返回的状态校验结果。

结合第一方面，本公开在第一方面的第一种实现方式中，所述获取状态校验参数，被实施为：

响应于接收到状态校验请求，生成初始日志写入文件，其中，所述初始日志写入文件包含状态校验参数；

将所述初始日志写入文件写入日志文件中，并将所述初始日志写入文件同步写入至从成员的日志文件中；

响应于所述初始日志写入文件被应用，获取所述状态校验参数。

结合第一方面和第一方面的第一种实现方式，本发明实施例在第一方面的第二种实现方式中，所述获取状态校验参数，被实施为：