微服务架构和 SOA 区别
微服务现在辣么火, 业界流行的对比的却都是所谓的 Monolithic 单体应用, 而大量的系统在十几年前都是已经是分布式系统了, 那么微服务作为新的理念和原来的分布式系统, 或者说 SOA(面向服务架构)是什么区别呢?
我们先看相同点:
1. 需要 Registry, 实现动态的服务注册发现机制;
2. 需要考虑分布式下面的事务一致性, CAP 原则下, 两段式提交不能保证性能, 事务补偿机制需要考虑;
3. 同步调用还是异步消息传递, 如何保证消息可靠性? SOA 由 ESB 来集成所有的消息;
4. 都需要统一的 Gateway 来汇聚, 编排接口, 实现统一认证机制, 对外提供 APP 使用的 RESTful 接口;
5. 同样的要关注如何再分布式下定位系统问题, 如何做日志跟踪, 就像我们电信领域做了十几年的信令跟踪的功能;
那么差别在哪?
1. 是持续集成, 持续部署? 对于 CI,CD(持续集成, 持续部署), 这本身和敏捷, DevOps 是交织在一起的, 我认为这更倾向于软件工程的领域而不是微服务技术本身;
2. 使用不同的通讯协议是不是区别? 微服务的标杆通讯协议是 RESTful, 而传统的 SOA 一般是 SOAP, 不过目前来说采用轻量级的 RPC 框架 Dubbo,Thrift,gRPC 非常多, 在 Spring Cloud 中也有 Feign 框架将标准 RESTful 转为代码的 API 这种仿 RPC 的行为, 这些通讯协议不应该是区分微服务架构和 SOA 的核心差别;
3. 是流行的基于容器框架还是虚拟机为主? Docker 和虚拟机还是物理机都是架构实现的一种方式, 不是核心区别;
微服务架构的精髓在切分
1. 服务的切分上有比较大的区别, SOA 原本是以一种 "集成" 技术出现的, 很多技术方案是将原有企业内部服务封装为一个独立进程, 这样新的业务开发就可重用这些服务, 这些服务很可能是类似供应链, CRM 这样的非常大的颗粒; 而微服务这个 "微", 就说明了他在切分上有讲究, 不妥协. 无数的案例证明, 如果你的切分是错误的, 那么你得不到微服务承诺的 "低耦合, 升级不影响, 可靠性高" 之类的优势, 而会比使用 Monolithic 有更多的麻烦.
2. 不拆分存储的微服务是伪服务: 在实践中, 我们常常见到一种架构, 后端存储是全部和在一个数据库中, 仅仅把前端的业务逻辑拆分到不同的服务进程中, 本质上和一个 Monolithic 一样, 只是把模块之间的进程内调用改为进程间调用, 这种切分不可取, 违反了分布式第一原则, 模块耦合没有解决, 性能却受到了影响.
分布式设计第一原则 - "不要分布你的对象"
. 微服务的 "Micro" 这个词并不是越小越好, 而是相对 SOA 那种粗粒度的服务, 我们需要更小更合适的粒度, 这种 Micro 不是无限制的小.
如果我们将两路 (同步) 通信与小 / 微服务结合使用, 并根据比如 "1 个类 = 1 个服务" 的原则, 那么我们实际上回到了使用 Corba,J2EE 和分布式对象的 20 世纪 90 年代. 遗憾的是, 新生代的开发人员没有使用分布式对象的经验, 因此也就没有认识到这个主意多么糟糕, 他们正试图重复历史, 只是这次使用了新技术, 比如用 HTTP 取代了 RMI 或 IIOP.
微服务和 Domain Driven Design
一个简单的图书管理系统肯定无需微服务架构. 既然采用了微服务架构, 那么面对的问题空间必然是比较宏大, 比如整个电商, CRM.
如何拆解服务呢?
使用什么样的方法拆解服务? 业界流行 1 个类 = 1 个服务, 1 个方法 = 1 个服务, 2 Pizza 团队, 2 周能重写完成等方法, 但是这些都缺乏实施基础. 我们必须从一些软件设计方法中寻找, 面向对象和设计模式适用的问题空间是一个模块, 而函数式编程的理念更多的是在代码层面的微观上起作用.
Eric Evans 的《领域驱动设计》这本书对微服务架构有很大借鉴意义, 这本书提出了一个能将一个大问题空间拆解分为领域和实体之间的关系和行为的技术. 目前来说, 这是一个最合理的解决拆分问题的方案, 透过限界上下文 (Bounded Context, 下文简称为 BC) 这个概念, 我们能将实现细节封装起来, 让 BC 都能够实现 SRP(单一职责)原则. 而每个微服务正是 BC 在实际世界的物理映射, 符合 BC 思路的微服务互相独立松耦合.
微服务架构是一件好事, 逼着大家关注设计软件的合理性, 如果原来在 Monolithic 中领域分析, 面向对象设计做不好, 换微服务会把这个问题成倍的放大
以电商中的订单和商品两个领域举例, 按照 DDD 拆解, 他们应该是两个独立的限界上下文, 但是订单中肯定是包含商品的, 如果贸然拆为两个 BC, 查询, 调用关系就耦合在一起了, 甚至有了麻烦的分布式事务的问题, 这个关联如何拆解? BC 理论认为在不同的 BC 中, 即使是一个术语, 他的关注点也不一样, 在商品 BC 中, 关注的是属性, 规格, 详情等等(实际上商品 BC 这个领域有价格, 库存, 促销等等, 把他作为单独一个 BC 也是不合理的, 这里为了简化例子, 大家先认为商品 BC 就是商品基础信息), 而在订单 BC 中更关注商品的库存, 价格. 所以在实际编码设计中, 订单服务往往将关注的商品名称, 价格等等属性冗余在订单中, 这个设计解脱了和商品 BC 的强关联, 两个 BC 可以独立提供服务, 独立数据存储
小结
微服务架构首先要关注的不是 RPC/ServiceDiscovery/Circuit Breaker 这些概念, 也不是 Eureka/Docker/SpringCloud/Zipkin 这些技术框架, 而是服务的边界, 职责划分, 划分错误就会陷入大量的服务间的相互调用和分布式事务中, 这种情况微服务带来的不是便利而是麻烦.
DDD 给我们带来了合理的划分手段, 但是 DDD 的概念众多, 晦涩难以理解, 如何抓住重点, 合理的运用到微服务架构中呢?
我认为如下的几个架构思想是重中之重
1. 充血模型 2. 事件驱动
上文我们聊了微服务的 DDD 之间的关系, 很多人还是觉得很虚幻, DDD 那么复杂的理论, 聚合根, 值对象, 事件溯源, 到底我们该怎么入手呢?
实际上 DDD 和面向对象设计, 设计模式等等理论有千丝万缕的联系, 如果不熟悉 OOA,OOD,DDD 也是使用不好的. 不过学习这些 OO 理论的时候, 大家往往感觉到无用武之地, 因为大部分的 Java 程序员开发生涯是从学习 J2EE 经典的分层理论开始的(Action,Service,Dao), 在这种分层理论中, 我们基本没有啥机会使用那些所谓的 "行为型" 的设计模式, 这里的核心原因, 就是 J2EE 经典分层的开发方式是 "贫血模型".
Martin Fowler 在他的《企业应用架构模式》这本书中提出了两种开发方式 "事务脚本" 和 "领域模型", 这两种开发分别对应了 "贫血模型" 和 "充血模型".
事务脚本开发模式
事务脚本的核心是过程, 可以认为大部分的业务处理都是一条条的 SQL, 事务脚本把单个 SQL 组织成为一段业务逻辑, 在逻辑执行的时候, 使用事务来保证逻辑的 ACID. 最典型的就是存储过程. 当然我们在平时 J2EE 经典分层架构中, 经常在 Service 层使用事务脚本.
使用这种开发方式, 对象只用于在各层之间传输数据用, 这里的对象就是 "贫血模型", 只有数据字段和 Get/Set 方法, 没有逻辑在对象中.
我们以一个库存扣减的场景来举例: 业务场景
首先谈一下业务场景, 一个下订单扣减库存(锁库存), 这个很简单先判断库存是否足够, 然后扣减可销售库存, 增加订单占用库存, 然后再记录一个库存变动记录日志(作为凭证)
贫血模型的设计
首先设计一个库存表 Stock, 有如下字段
设计一个 Stock 对象 (Getter 和 Setter 省略)
Service 入口
设计一个 StockService, 在其中的 lock 方法中写逻辑
入参为 (spuId, skuId, num)
实现伪代码
ok, 打完收工, 如果做的好一些, 可以把 update 和 select count 合一, 这样可以利用一条语句完成自旋, 解决并发问题(高手).
小结一下:
有没有发现, 在这个业务领域非常重要的核心逻辑 - 下订单扣减库存中操作过程中, Stock 对象根本不用出现, 全部是数据库操作 SQL, 所谓的业务逻辑就是由多条 SQL 构成. Stock 只是 CRUD 的数据对象而已, 没逻辑可言.
马丁福勒定义的 "贫血模型" 是反模式, 面对简单的小系统用事务脚本方式开发没问题, 业务逻辑复杂了, 业务逻辑, 各种状态散布在大量的函数中, 维护扩展的成本一下子就上来, 贫血模型没有实施微服务的基础.
虽然我们用 Java 这样的面向对象语言来开发, 但是其实和过程型语言是一样的, 所以很多情况下大家用数据库的存储过程来替代 Java 写逻辑反而效果会更好,(ps: 用了 Spring boot 也不是微服务).
如果你也想在 IT 行业拿高薪, 可以参加我们的训练营课程, 选择最适合自己的课程学习, 技术大牛亲授, 7 个月后, 进入名企拿高薪. 我们的课程内容有: Java 工程化, 高性能及分布式, 高性能, 深入浅出. 高架构. 性能调优, Spring,MyBatis,Netty 源码分析和大数据等多个知识点. 如果你想拿高薪的, 想学习的, 想就业前景好的, 想跟别人竞争能取得优势的, 想进阿里面试但担心面试不过的, 你都可以来, 群号为: 575745314
领域模型的开发模式
领域模型是将数据和行为封装在一起, 并与现实世界的业务对象相映射. 各类具备明确的职责划分, 使得逻辑分散到合适对象中. 这样的对象就是 "充血模型" .
在具体实践中, 我们需要明确一个概念, 就是领域模型是有状态的, 他代表一个实际存在的事物. 还是接着上面的例子, 我们设计 Stock 对象需要代表一种商品的实际库存, 并在这个对象上面加上业务逻辑的方法.
这样做下单锁库存业务逻辑的时候, 每次必须先从 Repository 根据主键 load 还原 Inventory 这个对象, 然后执行对应的 lock(num) 方法改变这个 Inventory 对象的状态(属性也是状态的一种), 然后再通过 Repository 的 save 方法把这个对象持久化到存储去.
完成上述一系列操作的是 Application,Application 对外提供了这种集成操作的接口
领域模型开发方法最重要的是把扣减造成的状态变化的细节放到了 Inventory 对象执行, 这就是对业务逻辑的封装.
Application 对象的 lock 方法可以和事务脚本方法的 StockService 的 lock 来做个对比, StockService 是完全掌握所有细节, 一旦有了变化(比如库存为 0 也可以扣减),Service 方法要跟着变; 而 Application 这种方式不需要变化, 只要在 Inventory 对象内部计算就可以了. 代码放到了合适的地方, 计算在合适层次, 一切都很合理. 这种设计可以充分利用各种 OOD,OOP 的理论把业务逻辑实现的很漂亮.
充血模型的缺点
从上面的例子, 在 Repository 的 load 到执行业务方法, 再到 save 回去, 这是需要耗费一定时间的, 但是这个过程中如果多个线程同时请求对 Inventory 库存的锁定, 那就会导致状态的不一致, 麻烦的是针对库存的并发不仅难处理而且很常见.
贫血模型完全依靠数据库对并发的支撑, 实现可以简化很多, 但充血模型就得自己实现了, 不管是在内存中通过锁对象, 还是使用 Redis 的远程锁机制, 都比贫血模型复杂而且可靠性下降, 这是充血模型带来的挑战. 更好的办法是可以通过事件驱动的架构来取消并发.
领域模型和微服务的关系
上面讲了领域模型的实现, 但是他和微服务是什么关系呢? 在实践中, 这个 Inventory 是一个限界上下文的聚合根, 我们可以认为一个聚合根就是一个微服务进程.
不过问题又来了, 一个库存的 Inventory 一定和商品信息是有关联的, 仅仅靠 Inventory 中的冗余那点商品 ID 是不够的, 商品的上下架状态等等都是业务逻辑需要的, 那不是又把商品 Sku 这样的重型对象引入了这个微服务? 两个重型的对象在一个服务中? 这样的微服务拆不开啊, 还是必须依靠商品库?!
接上文, 我们采用了领域驱动的开发方式, 使用了充血模型, 享受了他的好处, 但是也不得不面对他带来的弊端. 这个弊端在分布式的微服务架构下面又被放大.
事务一致性
事务一致性的问题在 Monolithic 下面不是大问题, 在微服务下面却是很致命, 我们回顾一下所谓的 ACID 原则
1:Atomicity - 原子性, 改变数据状态要么是一起完成, 要么一起失败
2:Consistency - 一致性, 数据的状态是完整一致的
3:Isolation - 隔离线, 即使有并发事务, 互相之间也不影响
4:Durability - 持久性, 一旦事务提交, 不可撤销
在单体服务和关系型数据库的时候, 我们很容易通过数据库的特性去完成 ACID. 但是一旦你按照 DDD 拆分聚合根 - 微服务架构, 他们的数据库就已经分离开了, 你就要独立面对分布式事务, 要在自己的代码里面满足 ACID.
对于分布式事务, 大家一般会想到以前的 JTA 标准, 2PC 两段式提交. 我记得当年在 Dubbo 群里面, 基本每周都会有人询问 Dubbo 啥时候支撑分布式事务. 实际上根据分布式系统中 CAP 原则, 当 P(分区容忍) 发生的时候, 强行追求 C(一致性), 会导致 (A) 可用性, 吞吐量下降, 此时我们一般用最终一致性来保证我们系统的 AP 能力. 当然不是说放弃 C, 而是在一般情况下 CAP 都能保证, 在发生分区的情况下, 我们可以通过最终一致性来保证数据一致.
例:
在电商业务的下订单冻结库存场景. 需要根据库存情况确定订单是否成交.
假设你已经采用了分布式系统, 这里订单模块和库存模块是两个服务, 分别拥有自己的存储(关系型数据库),
在一个数据库的时候, 一个事务就能搞定两张表的修改, 但是微服务中, 就没法这么做了.
在 DDD 理念中, 一次事务只能改变一个聚合内部的状态, 如果多个聚合之间需要状态一致, 那么就要通过最终一致性. 订单和库存明显是分属于两个不同的限界上下文的聚合, 这里需要实现最终一致性, 就需要使用事件驱动的架构.
事件驱动实现最终一致性
事件驱动架构在领域对象之间通过异步的消息来同步状态, 有些消息也可以同时发布给多个服务, 在消息引起了一个服务的同步后可能会引起另外消息, 事件会扩散开. 严格意义上的事件驱动是没有同步调用的.
例子:
在订单服务新增订单后, 订单的状态是 "已开启", 然后发布一个 Order Created 事件到消息队列上
库存服务在接收到 Order Created 事件后, 将库存表格中的某 sku 减掉可销售库存, 增加订单占用库存, 然后再发送一个 Inventory Locked 事件给消息队列
订单服务接收到 Inventory Locked 事件, 将订单的状态改为 " 已确认.
有人问, 如果库存不足, 锁定不成功怎么办? 简单, 库存服务发送一个 Lock Fail 事件, 订单服务接收后, 把订单置为 "已取消".
好消息, 我们可以不用锁!
事件驱动有个很大的优势就是取消了并发, 所有请求都是排队进来, 这对我们实施充血模型有很大帮助, 我们可以不需要自己来管理内存中的锁了. 取消锁, 队列处理效率很高, 事件驱动可以用在高并发场景下, 比如抢购.
是的, 用户体验有改变,
用了这个事件驱动, 用户的体验有可能会有改变, 比如原来同步架构的时候没有库存, 就马上告诉你条件不满足无法下单, 不会生成订单; 但是改了事件机制, 订单是立即生成的, 很可能过了一会系统通知你订单被取消掉. 就像抢购 "小米手机" 一样, 几十万人在排队, 排了很久告诉你没货了, 明天再来吧. 如果希望用户立即得到结果, 可以在前端想办法, 在 BFF(Backend For Frontend)使用 CountDownLatch 这样的锁把后端的异步转成前端同步, 当然这样 BFF 消耗比较大.
没办法, 产品经理不接受,
产品经理说用户的体验必须是没有库存就不会生成订单, 这个方案会不断的生成取消的订单, 他不能接受, 怎么办? 那就在订单列表查询的时候, 略过这些 cancel 状态的订单吧, 也许需要一个额外的视图来做. 我并不是一个理想主义者, 解决当前的问题是我首先要考虑的, 我们设计微服务的目的是本想是解决业务并发量. 而现在面临的却是用户体验的问题, 所以架构设计也是需要妥协的:( 但是至少分析完了, 我知道我妥协在什么地方, 为什么妥协, 未来还有可能改变. 推荐一个交流学习群: 575745314 里面会分享一些资深架构师录制的视频录像: 有 Spring,MyBatis,Netty 源码分析, 高并发, 高性能, 分布式, 微服务架构的原理, JVM 性能优化这些成为架构师必备的知识体系. 还能领取免费的学习资源, 目前受益良多:
多个领域多表 Join 查询
我个人认为聚合根这样的模式对修改状态是特别合适, 但是对搜索数据的确是不方便, 比如筛选出一批符合条件的订单这样的需求, 本身聚合根对象不能承担批量的查询任务, 因为这不是他的职责. 那就必须依赖 "领域服务(Domain Service)" 这种设施.
当一个方法不便放在实体或者值对象上, 使用领域服务便是最佳的解决方法, 请确保领域服务是无状态的.
我们的查询任务往往很复杂, 比如查询商品列表, 要求按照上个月的销售额进行排序; 要按照商品的退货率排序等等. 但是在微服务和 DDD 之后, 我们的存储模型已经被拆离开, 上述的查询都是要涉及订单, 用户, 商品多个领域的数据. 如何搞? 此时我们要引入一个视图的概念. 比如下面的, 查询用户名下订单的操作, 直接调用两个服务自己在内存中 join 效率无疑是很低的, 再加上一些 filter 条件, 分页, 没法做了. 于是我们将事件广播出去, 由一个单独的视图服务来接收这些事件, 并形成一个物化视图(materialized view), 这些数据已经 join 过, 处理过, 放在一个单独的查询库中, 等待查询, 这是一个典型的以空间换时间的处理方式.
经过分析, 除了简单的根据主键 Find 或者没有太多关联的 List 查询, 我们大部分的查询任务可以放到单独的查询库中, 这个查询库可以是关系数据库的 ReadOnly 库, 也可以是 NoSQL 的数据库, 实际上我们在项目中使用了 ElasticSearch 作为专门的查询视图, 效果很不错
限界上下文 (Bounded Context) 和数据耦合
除了多领域 join 的问题, 我们在业务中还会经常碰到一些场景, 比如电商中的商品信息是基础信息, 属于单独的 BC, 而其他 BC, 不管是营销服务, 价格服务, 购物车服务, 订单服务都是需要引用这个商品信息的. 但是需要的商品信息只是全部的一小部分而已, 营销服务需要商品的 id 和名称, 上下架状态; 订单服务需要商品 id, 名称, 目录, 价格等等. 这比起商品中心定义一个商品 (商品 id, 名称, 规格, 规格值, 详情等等) 只是一个很小的子集. 这说明不同的限界上下文的同样的术语, 但是所指的概念不一样. 这样的问题映射到我们的实现中, 每次在订单, 营销模块中直接查询商品模块, 肯定是不合适, 因为商品中心需要适配每个服务需要的数据, 提供不同的接口并发量必然很大, 服务之间的耦合严重, 一旦宕机, 升级影响的范围很大.
特别是最后一条, 严重限制了我们获得微服务提供的优势 "松耦合, 每个服务自己可以频繁升级不影响其他模块". 这就需要我们通过事件驱动方法, 适当冗余一些数据到不同的 BC 去, 把这种耦合拆解开. 这种耦合有时候是通过 Value Object 嵌入到实体中的方式, 在生成实体的时候就冗余, 比如订单在生成的时候就冗余了商品的信息; 有时候是通过额外的 Value Object 列表方式, 营销中心冗余一部分相关的商品列表数据, 并随时关注监听商品的上下级状态, 同步替换掉本限界上下文的商品列表.
下图一个下单场景分析, 在电商系统中, 我们可以认为会员和商品是所有业务的基础数据, 他们的变更应该是通过广播的方式发布到各个领域, 每个领域保留自己需要的信息.
保证最终一致性
最终一致性成功依赖很多条件
1: 依赖消息传递的可靠性, 可能 A 系统变更了状态, 消息发到 B 系统的时候丢失了, 导致 AB 的状态不一致
2: 依赖服务的可靠性, 如果 A 系统变更了自己的状态, 但是还没来得及发送消息就挂了. 也会导致状态不一致
我记得 JavaEE 规范中的 JMS 中有针对这两种问题的处理要求, 一个是 JMS 通过各种确认消息 (Client Acknowledge 等) 来保证消息的投递可靠性, 另外是 JMS 的消息投递操作可以加入到数据库的事务中 - 即没有发送消息, 会引起数据库的回滚(没有查资料, 不是很准确的描述, 请专家指正). 不过现在符合 JMS 规范的 MQ 没几个, 特别是保一致性需要降低性能, 现在标榜高吞吐量的 MQ 都把问题抛给了我们自己的应用解决. 所以这里介绍几个常见的方法, 来提升最终一致性的效果.
使用本地事务还是以上面的订单扣取信用的例子
订单服务开启本地事务, 首先新增订单; 然后将 Order Created 事件插入一张专门 Event 表, 事务提交; 有一个单独的定时任务线程, 定期扫描 Event 表, 扫出来需要发送的就丢到 MQ, 同时把 Event 设置为 "已发送".
方案的优势是使用了本地数据库的事务, 如果 Event 没有插入成功, 那么订单也不会被创建; 线程扫描后把 event 置为已发送, 也确保了消息不会被漏发(我们的目标是宁可重发, 也不要漏发, 因为 Event 处理会被设计为幂等).
缺点是需要单独处理 Event 发布在业务逻辑中, 繁琐容易忘记; Event 发送有些滞后; 定时扫描性能消耗大, 而且会产生数据库高水位隐患; 我们稍作改进, 使用数据库特有的 MySQL Binlog 跟踪 (阿里的 Canal) 或者 Oracle 的 GoldenGate 技术可以获得数据库的 Event 表的变更通知, 这样就可以避免通过定时任务来扫描了.
不过用了这些数据库日志的工具, 会和具体的数据库实现 (甚至是特定的版本) 绑定, 决策的时候请慎重.
使用 Event Sourcing 事件溯源
事件溯源对我们来说是一个特别的思路, 他并不持久化 Entity 对象, 而是只把初始状态和每次变更的 Event 记录下来, 并在内存中根据 Event 还原 Entity 对象的最新状态, 具体实现很类似数据库的 Redolog 的实现, 只是他把这种机制放到了应用层来.
虽然事件溯源有很多宣称的优势, 引入这种技术要特别小心, 首先他不一定适合大部分的业务场景, 一旦变更很多的情况下, 效率的确是个大问题; 另外一些查询的问题也是困扰.
我们仅仅在个别的业务上探索性的使用 Event Souring 和 AxonFramework, 由于实现起来比较复杂, 具体的情况还需要等到实践一段时间后再来总结, 也许需要额外的一篇文章来详细描述
来源: https://juejin.im/entry/5a6edc785188257342172831