微服务是一种新兴的按服务划分模块的软件架构设计原则,当业务流程需要跨越多个服务构成一个执行单元就出现了微服务事务的概念。开发人员往往依赖一致性异常检测工具来发现微服务事务并发执行中的不一致数据。本文提出一个通用的一致性异常检测系统的设计方案并实现,主要的工作和创新点如下:1.针对以往其他一致性异常检测方案都是从数据校验角度出发,只能根据不同业务定制数据校验规则,必须投入较多人力、时间成本的问题,论文提出的方案从事务执行历史可串行化验证出发,基于学术界公认的分布式事务并发执行正确性标准——全局可串行性和Quasi可串行性理论,利用事务间的冲突关系构建优先图,在优先图中检测出所有简单环就可以找到出现“一致性异常”的事务,不依赖任何实际业务。2.针对目前获取冲突关系的方案中需要修改源代码,对系统侵入过大的问题,本文设计了基于数据源代理的技术方案并实现。该方案利用AOP编程思想获取JDBC实例,不需要修改源代码,在业内广泛使用的微服务开发框架中修改配置文件即可快速集成,真正做到了可插拔。为了验证这个系统对一致性异常的检测效果,我们在由四个微服务构成的电商系统基础上设计了一致性异常的测试用例。实验结果表明,本文提出的一致性异常检测系统可以有效识别执行历史不满足全局可串行性和Quasi可串行性标准之一,即存在“一致性异常”的事务,并准确地识别涉及的具体业务和数据项反馈给开发人员。