写点什么

关于软件分层设计的思考

  • 2021-07-28
  • 本文字数:4766 字

    阅读完需:约 16 分钟

关于软件分层设计的思考

在日常开发中,经常听到大家说一句话:“任何需求都可以通过增加一个间接的中间层来解决。”


今天通过几个案例就“分层”话题来梳理下自己的思考,有些例子比较直观,有些不那么直观,甚至有些微妙,需要我们自己多品味。在学习的过程中,我们需要不断将新的知识与旧的知识做关联,形成自己的体系,而不是一个个知识孤岛。

分层设计是什么?有什么好处?


分层设计将软件划分成若干层,每一层只解决一部分问题,通过所有层的协作来完成整体的目标。一个复杂的问题通过分解成一系统子问题,这样就有效的降低了每个子问题的规模与复杂度。


分层设计带来的好处是:


  • 降低了系统软件的复杂度。将一个复杂问题通过分解,分而治之。

  • 功能的复用和封装。

计算机语言的发展


  • 机器语言

  • 早期的软件开发是机器语言,直接使用二进制 0 和 1 表示机器可以识别的指令和数据,看起来像这样:0010000100100011这就是计算机 CPU 唯一可以理解的语言。

  • 对人类为说,二进制的程序是不可读的。

  • 汇编语言

  • 为了解决语言可读性的问题,汇编程序诞生了。汇编程序是人类可读的机器代码。它又称为‘符号语言’,使用助记符来代替机器的操作码。

  • 汇编语言是二进制的文本形式,与 CPU 的指令是一一对应的关系。而我们不同的 CPU 体系结构(比如 PC 的 x86,嵌入式的 ARM)是不同的,面向机器的语言 带来的问题就是:对于不同的 CPU 体系架构,就需要不同的汇编语言。

  • 高级语言

  • 为了解决语言对机器的无关性,高级语言诞生了。一条高级语言通常由若干条机器语言实现的,并且不具有对应性。

  • 高级语言让开发者不需要关注底层 CPU 体系结构与指令,只关注业务即可。


计算机语言的发展就是不断的抽象,只有通过抽象,将一个复杂的的系统变成一层层的接口集合,让我们每次只需要考虑关注当前层集合内的逻辑,而不用去考虑当前层次以上或者以下的复杂度,才有可能让我们从复杂系统中解放出来,逐步理解以及构造一个复杂系统。

Linux 内核

内核功能层与内核硬件层


操作系统内核简化理解成三大层:


  • 内核接口层

  • 向上对用户态应用程序提供一套接口子集。开发者使用的系统调用 APIs。

  • 内核功能层

  • 这一层完成各种实际的功能,我们知道 OS 主要负责资源管理,内存,进程这些资源。物理内存如何申请,释放,进程如何调度。具体来说进程管理,内存管理,中断管理,设备管理。

  • 内核硬件层

  • 分离硬件的相关性,我们知道一个 OS 可以运行不同的指令集,也就是运行在不同的硬件平台。不管是 ARM 体系结构,还是 x86,选择一个进程调度的算法是可以相同的,需要改变的进程切换相关代码,因为不同的硬件平台的上下文是不同的,CPU 的寄存器也不同。这时候最好的设计是分层,当操作系统运行在不同的硬件平台时,就只需要修改硬件平台相关层代码,实现操作系统的高可移植性。


操作系统有两个关键设计:


  1. 内核接口层区分用户态与内核态,来保护硬件资源受限访问。

  2. 内核硬件层分离多种硬件平台相关性。这种分层的架构,极大提升了系统的稳定性和扩展性。

MMU 抽象层

操作系统负责管理物理内存,而用户进程使用虚拟内存。操作系统呈现给用户进程的是连续的虚拟空间,但不一定是连续的物理空间,因为物理内存被整个 OS 共享。


  • 什么是 MMU 呢?它是硬件,即内存管理单元,它对 CPU 发出的访存地址进行映射与检查,可以让处理器发出的访存地址访问不同的物理内存单元。

  • 如果将计算机上有限的物理内存分配给多个应用程序使用,如果让应用程序直接访问物理内存,如果没有 MMU 这层抽象呢?带来的问题是每个应用程序地址空间不隔离,内存使用率低,程序运行地址也无法固定。



  • 解决的问题:虚拟内存 VA 与物理内存 PA 的映射。

  • 通过在 CPU 与内存之间加入 MMU 抽象层让 CPU 在运行指令时发出的 VA 虚拟地址通过 MMU 转换后变成 PA 物理地址然后再去访问物理内存


MMU 引入带来的好处是:


  1. 权限控制。可以对一些虚拟地址进行访问控制,比较代码段为只读,用户程序代可写。

  2. 提升内存使用率:物理内存按需申请。fork 子进程的对应的物理空间是能过写时复制才进行真正的物理内存分配。

  3. 不同进程之间可以使用相同的虚拟内存地址空间,而进程的物理内存又可以隔离。

  4. 系统运行多个进程,所分配的内存之和可以大于实际物理内存大小。


这是我认为最经典最本质最受启发的中间抽象层的设计

CPU 与外设的通信

CPU 访问外设有两种方法:


  • IO 与内存统一编址

  • IO 与内存的独立编址



外设接口中的 IO 寄存器(即 IO 端口)与主存单元一样看待,每个端口占用一个存储单元的地址,将主存的一部分划分出来用作 IO 的地址空间。


  • 把外设的寄存器当做是一个内存地址,从而 CPU 以类似访问内存相同的方式来操作外设。

  • 对 IO 外设的端口映射到一个物理内存单元地址,在 CPU 与外设之间的‘内存’抽象层,带来好处是访问内存一样去访问外设。

小结:

Linux 中的内核硬件层设计、MMU、CPU 与 IO 外设通信设计处处体现了分层/中间层的设计思想。

TCP/IP 网络协议堆栈

从最底层的物理链路层层层向上封装抽象,解决了复杂的网络通信的问题。同样的,任何复杂的问题,通过分层最终总能够回归最本质。


这个分层架构,对所有开发者而言,再熟悉不过,它的引入是想与后续介绍的 Netty 形成对比。这里先卖个关子,后面解开谜底。



举例说明:


来自杭州西湖区某个小区的商务人士来京出差后,被确诊新冠肺炎,实施在京隔离措施,同时北京将此报告先发给浙江省,接着浙江省发给杭州市政府,然后市政府再向西湖区发送,最后到达某小区。这个发送报告过程也是分层报告思想。

DNS 中间层


DNS(Domain Name System)是域名系统,是用来将主机转换为 IP 地址的服务。我们有至少三种方式在互联网上标识一台主机,主机名、IP 地址以及 MAC 地址。为什么有引入 DNS 中间抽象层呢?


主要是主机名便于记忆,而 IP 地址方便于在计算机网络设备的处理,因此需要设计出一个 DNS 协议(中间层)来做主机名到 IP 地址的转换。

ARP 中间层


ARP(Address Resolution Protocol)是地址解析协议,它根据 IP 地址来获取物理地址。上面也谈到,MAC 与 IP 都可以用来标识一台主机。那这二者区别是什么?


  • 同一个局域网中的一台主机和另一台主机通信的时候,需要通过 MAC 地址进行定位,之后才能进行数据包的传送。

  • 而在网络层和传输层中,主机之间是通过 IP 地址来定位的,对应的数据包中必须携带目标主机的 IP 地址,而没有 MAC 地址。


因此,ARP 协议(中间层)用来实现从 IP 到 MAC 地址的转换。

Netty

Netty 提供了异步的,基于事件驱动的网络应用程序框架。目前分布式搜索引擎,Spark 框架底层是扩展使用 Netty 框架。


Netty 本身的架构理解有些曲线,为了讲清楚,我还是希望循序渐进方式,通过它的发展历史来一步步介绍。先铺垫再介绍,大家需要一些耐心。

传统阻塞 IO 服务模型


思路:


  • 采用阻塞 IO 模式获取输入数据。

  • 每个连接都需要独立的线程完成数据的输入,业务的处理和数据返回。


问题:


  • 当并发数很大的时候,就会创建大量的线程,占用了很大的系统资源。

  • 连接创建后,如果当前线程没有数据可读,这个线程会阻塞在 read 方法上,造成资源浪费。

单 Reactor 单线程


思路:


  • 通过引入 Selector 事件选择器来监听多路连接的请求。

  • Reactor 对象通过 Selector 监控客户端请求事件后,通过 Dispatch 进行分发。

  • 如果建立连接请求事件,则由 Acceptor 负责建立一个连接,然后创建一个 Handler 对象处理连接完成后的业务处理。


问题:


  • 模型简单,没有多线程,资源竞争的问题。所以工作在一个线程完成。

  • 性能问题,一个线程,无法发挥多核 CPU 的性能。

  • 可靠性问题,线程 crash,会导致整个系统不可用。

主从 Reactor 多线程

主 React 处理所有 socket 连接事件的监听和响应,而从 React 处理所有 socket 的读写事件的监听与响应。主从 React 都在多线程中运行。


Netty 模型

Netty 主要基于主从 Reactor 多线程模型发展出来的。


Netty 逻辑架构

前面 Netty 的发展阶段都是铺垫,Nettty 逻辑架构为典型网络分层架构设计,从下到上分别为网络通信层、事件调度层、服务编排层。



  • 网络通信层:它执行网络 I/O 操作,核心组件包含 BootStrap、ServerBootStrap、Channel。

  • Channel 通道,提供了基础的 API 用于操作网络 IO,比如 bind、connect、read、write、flush 等等。它以 JDK NIO Channel 为基础,提供了更高层次的抽象,同时屏蔽了底层 Socket 的复杂性。

  • Channel 有多种状态,比如连接建立、数据读写、连接断开。随着状态的变化,Channel 处于不同的生命周期,背后绑定相应的事件回调函数。

  • 事件调度层:它的核心组件包含 EventLoopGroup、EventLoop。

  • EventLoop 本质是一个线程池,主要负责接收 Socket I/O 请求,并分配事件循环器来处理连接生命周期中所发生的各种事件。

  • 服务编排层:它的职责实现网络事件的动态编排和有序传播。

  • ChannelPipeline 基于责任链模式,方便业务逻辑的拦截和扩展。

  • 本质上它是一个双向链表将不同的 ChannelHandler 链接在一块,当 I/O 读写事件发生时,会依次调用 ChannelHandler 对 Channel(Socket)读取的数据进行处理。

ChannelPipeline 私有协议栈 vsTCP/IP 协议栈


前面铺垫这么久就是为了自然过渡到上面的图请务必与 TCP/IP 协议栈进行对比


  1. socket。read 经过 TCP/IP 协议栈后,进入 Netty 的网络通信层,事件调度层,最后来到服务编排层。而服务编排层的 ChannelPipeline 的设计也是一个 upstream/downstream 的 stack,一进一出的两个 Pipeline,负责处理流入/流出的数据包。

  2. 上面的 stack 就非常类似 TCP/IP 协议栈。根据公司组织的需要可以定制分层的私有协议栈,比如 authentication-handler、message-validation-handler、message-encode-handler、message-decoder-handler。

微服务分层


  1. gRPC-Gateway

  2. 它是一个开源框架,读取 Protobuf 接口定义并生成一个反向代理服务器,此时服务器一步将 RESTful API 转换成 gRPC 服务。

  3. Middleware

  4. 实现鉴权功能,比如哪些 URL 需要权限检验

  5. Handler 通用处理层

  6. 参数检验:Handler 层负责执行与客户端约定参数的检验,检验通过后再组装成后端服务需要的数据结构发往后端。

  7. 接口聚合/组合服务:Handler 层可以根据业务需要,调用多个后端服务的 endpoint 来组合实现一个新的接口,同时将下层返回的数据进行聚合处理。

  8. service/model 业务逻辑层

  9. 对业务逻辑的封装,负责将多个 DAO 数据结构转换和封装成一个有逻辑意义的模型。

  10. 可以引入缓存策略,优化数据存取效率。

  11. DAO 层

  12. 数据访问层,主要负责操作 DB 中某张表并映射到内存中某个 DAO 模型。

  13. 与数据表结构一一对应,通过 DAO 内存模型向上层传递数据源的对象。

  14. 数据访问层 DAL

  15. 对底层的数据源做统一的抽象,屏蔽数据库。如果没有 DAL 的存在,那么几乎所有的业务逻辑层都会去与具体的数据库存储强绑定,耦合性就很高。


还有一个补充点


业务逻辑层中的服务在实际场景中不可避免的会出现互相调用的场景,这种情况往往需要将耦合/公共的功能进行下沉。比如数据请求下沉为数据访问层服务,而业务下沉为稳定的通用业务服务,被其它服务稳定依赖。

Rails On Rack

熟悉 Ruby On Rails Web 应用框架的开发者,肯定知道 Rack 是如何成为应用容器(Web Server)和应用框架之间的桥梁。



Rack 在 Web Server 和应用框架之间提供了一套最小的 API 接口,如果 Web Server 都遵循 Rack 提供的这套规则,那么所有的框架都能通过协议任意地改变底层。



Rack 分层设计非常类似 Decorate pattern 或者 Chain-of-responsibility pattern。

总结

本文作者结合自身工作经验,总结一些典型分层设计案例:


  • 计算机语言的发展。

  • Linux 内核设计(内核功能层与内核硬件层,MMU 抽象层,CPU 与外设的通信)。

  • TCP/IP 网络协议堆栈(DNS 和 ARP 协议)。

  • Netty 框架发展以及分层私有协议栈分析。

  • 微服务分层。

  • 应用框架 Rails on Rack。


这些案例充分说明了计算机系统本身就是通过一层一层抽象构造出来的。


  • 硬件方面是从一个个小的晶体管,抽象成一个个门电路,再到 CPU 器件,最后抽象组成计算机。

  • 软件设计也是由一个层次一个层次的功能完善叠加的,无论是自顶向下还是自底向上。


关于作者

杨敏,Freewheel 首席工程师,负责 SFX 团队的整体工作。目前从事服务化框架、容器化平台相关。关注与感兴趣的技术主要有 Python/Java 虚拟机、Golang、K8s、分布式数据库、分布式搜索引擎 ElasticSearch。

2021-07-28 11:466513
用户头像
罗燕珊 InfoQ中文站编辑

发布了 446 篇内容, 共 268.9 次阅读, 收获喜欢 772 次。

关注

评论 2 条评论

发布
用户头像
很好的文章,自从有了有了计算机有了通信,分层的思路一脉相承延续不断
2021-08-06 11:23
回复
用户头像
牛牛牛
2021-07-28 16:14
回复
没有更多了
发现更多内容

解决制造业痛点,数据化方案助力高效生产!

搞大屏的小北

数据分析 数据可视化 制造业

TDengine 与煤科院五大系统实现兼容性互认,助力煤矿智能化安全体系搭建

TDengine

tdengine 时序数据库

Snagit for mac(屏幕截图工具) 2023.2.4中文激活版

mac

苹果mac Windows软件 Snagit 屏幕截图视频录制软件

多面板文件管理器:QSpace Pro中文版

mac大玩家j

文件管理 Mac软件 文件管理器

纺织行业如何利用数智人力迈向新型工业化

用友BIP

数智人力

国内外四款强大的远控使用体验:ToDesk、向日葵、AnyDesk、Microsoft 远程桌面横向比较

挚爱光小胖

远程控制 ToDesk 居家办公软件

从混乱到优雅:基于DDD的六边形架构的代码翻新指南 | 京东物流技术团队

京东科技开发者

架构 DDD 分层架构 企业号11月PK榜

Enfocus PitStop Pro 2022 for Mac(pdf增强插件) v22.0.1378944永久激活版

mac

苹果mac Windows软件 Enfocus PitStop Pro Acrobat插件

如何构建可视化设计中的视觉层次?

搞大屏的小北

数据可视化 视觉交互 大屏设计 设计规范

许多朋友问我有没有好用的海外代理IP

Geek_ccdd7f

使用Python调用API接口获取淘宝商品数据

Noah

怎样阅读 h2 数据库源码 | 京东物流技术团队

京东科技开发者

数据库 源码 h2database 企业号11月PK榜

Final Cut Pro 10.6.10 mac破解版下载

iMac小白

一台亚马逊EC2对开发者而言意味着什么?

申屠鹏会

ROLA-IP在HTTP海外IP代理市场的优势

Geek_ccdd7f

ROLA-IP海外IP代理全球动态ip代理用途分析

Geek_ccdd7f

SpringBoot 项目优雅实现读写分离 | 京东云技术团队

京东科技开发者

数据库 spring Spring Boot 读写分离 企业号11月PK榜

IPQ9574 vs IPQ9554 vs QCN9274 vs QCN6274 Industrial Applications|WiFi 7 Use Case

wallyslilly

ipq9554 qcn9274 qcn6274 ipq9574

Java表达式引擎选型调研分析 | 京东云技术团队

京东科技开发者

Java 后端 企业号11月PK榜 表达式引擎 Java表达式

IPQ8072: The future of high-performance Network Acceleration - Wireless Communications

wifi6-yiyi

5G wifi6 IPQ8072 6G

SpringCloud全链路灰色发布具体实现!

王磊

Java SpringCloud

数据可视化新秀 DataEase 可否替代 Tableau?

搞大屏的小北

数据可视化 Tableau 替换 DataEase

火山引擎DataLeap计算治理自动化解决方案实践和思考

字节跳动数据平台

大数据 数据中台 数据治理

纯CSS实现魔法渐变边框卡片

南城FE

CSS css3 前端 用户体验

全球代理HTTP的使用范围?罗拉ROLA-IP表现突出

Geek_ccdd7f

mac Office2021中文破解版 Office LTSC 2021完整激活版下载

影影绰绰一往直前

Adobe Media Encoder 2024 for mac 中文破解版下载

影影绰绰一往直前

The Unarchiver mac解压软件 支持M1/M2

影影绰绰一往直前

Mac电脑快速切换工具 One Switch激活中文最新版

胖墩儿不胖y

Mac软件 切换工具 Mac软件切换软件

Python标准库中隐藏的利器

EquatorCoco

Python 编程语言 标准框架

IntelliJ IDEA 2023.2.5最新汉化版 支持M1

繁星

Java 开发 IntelliJ IDEA 2023

关于软件分层设计的思考_文化 & 方法_杨敏_InfoQ精选文章