高性能架构设计

高性能架构设计主要集中在两方面：

• 尽量提升单服务器的性能，将单服务器的性能发挥到极致
• 如果单服务器无法支撑性能，设计服务器集群方案
• 最终系统能否实现高性能，还和具体的实现及编码相关
• 架构设计是高性能的基础，如果架构设计没有做到高性能，则后面的具体实现和编码能提升的空间是有限的
• 单服务器高性能的关键之一就是服务器采取的并发模型，并发模型有如下两个关键设计点：
  • 服务器如何管理连接
  • 服务器如何处理请求
• I/O 模型：阻塞、非阻塞、同步、异步
• 进程模型：单进程、多进程、多线程

PPC

• PPC 是 Process Per Connection 的缩写，其含义是指每次有新的连接就新建一个进程去专门处理这个连接的请求，这是传统的 UNIX 网络服务器所采用的模型

  
  
  PPC流程图
  • 父进程接受连接（图中 accept）
  • 父进程“fork”子进程（图中 fork）
  • 子进程处理连接的读写请求（图中子进程 read、业务处理、write）
  • 子进程关闭连接（图中子进程中的 close）
• PPC 模式实现简单，比较适合服务器的连接数没那么多的情况，例如数据库服务器
• 这种模式的弊端，主要体现在这几个方面：
  1. fork 代价高：站在操作系统的角度，创建一个进程的代价是很高的，需要分配很多内核资源，需要将内存映像从父进程复制到子进程。即使现在的操作系统在复制内存映像时用到了 Copy on Write（写时复制）技术，总体来说创建进程的代价还是很大的
  2. 父子进程通信复杂：父进程“fork”子进程时，文件描述符可以通过内存映像复制从父进程传到子进程，但“fork”完成后，父子进程通信就比较麻烦了，需要采用 IPC（Interprocess Communication）之类的进程通信方案。例如，子进程需要在 close 之前告诉父进程自己处理了多少个请求以支撑父进程进行全局的统计，那么子进程和父进程必须采用 IPC 方案来传递信息
  3. 支持的并发连接数量有限：如果每个连接存活时间比较长，而且新的连接又源源不断的进来，则进程数量会越来越多，操作系统进程调度和切换的频率也越来越高，系统的压力也会越来越大。因此，一般情况下，PPC 方案能处理的并发连接数量最大也就几百

Prefork

PPC 模式中，当连接进来时才 fork 新进程来处理连接请求，由于 fork 进程代价高，用户访问时可能感觉比较慢，prefork 模式的出现就是为了解决这个问题

• prefork 就是提前创建进程（pre-fork）。系统在启动的时候就预先创建好进程，然后才开始接受用户的请求，当有新的连接进来的时候，就可以省去 fork 进程的操作，让用户访问更快、体验更好

  
  
  prefork示意图
• prefork 的实现关键就是多个子进程都 accept 同一个 socket，当有新的连接进入时，操作系统保证只有一个进程能最后 accept 成功
• 存在一个小小的问题：“惊群”现象，就是指虽然只有一个子进程能 accept 成功，但所有阻塞在 accept 上的子进程都会被唤醒，这样就导致了不必要的进程调度和上下文切换了
  • 操作系统可以解决这个问题，例如 Linux 2.6 版本后内核已经解决了 accept 惊群问题
• prefork 模式和 PPC 一样，还是存在父子进程通信复杂、支持的并发连接数量有限的问题，因此目前实际应用也不多
• Apache 服务器提供了 MPM prefork 模式，推荐在需要可靠性或者与旧软件兼容的站点时采用这种模式，默认情况下最大支持 256 个并发连接

TPC

TPC 是 Thread Per Connection 的缩写，其含义是指每次有新的连接就新建一个线程去专门处理这个连接的请求

• 与进程相比，线程更轻量级，创建线程的消耗比进程要少得多
• 多线程是共享进程内存空间的，线程通信相比进程通信更简单

• TPC 实际上是解决或者弱化了 PPC fork 代价高的问题和父子进程通信复杂的问题

  
  
  TPC基本流程图
  • 父进程接受连接（图中 accept）
  • 父进程创建子线程（图中 pthread）
  • 子线程处理连接的读写请求（图中子线程 read、业务处理、write）
  • 子线程关闭连接（图中子线程中的 close）
  • 和 PPC 相比，主进程不用“close”连接了。原因是在于子线程是共享主进程的进程空间的，连接的文件描述符并没有被复制，因此只需要一次 close 即可
• TPC 虽然解决了 fork 代价高和进程通信复杂的问题，但是也引入了新的问题，具体表现在：
  • 创建线程虽然比创建进程代价低，但并不是没有代价，高并发时（例如每秒上万连接）还是有性能问题
  • 无须进程间通信，但是线程间的互斥和共享又引入了复杂度，可能一不小心就导致了死锁问题
  • 多线程会出现互相影响的情况，某个线程出现异常时，可能导致整个进程退出（例如内存越界）
• 除了引入了新的问题，TPC 还是存在 CPU 线程调度和切换代价的问题
• TPC 方案本质上和 PPC 方案基本类似，在并发几百连接的场景下，反而更多地是采用 PPC 的方案，因为 PPC 方案不会有死锁的风险，也不会多进程互相影响，稳定性更高

Prethread

TPC 模式中，当连接进来时才创建新的线程来处理连接请求，虽然创建线程比创建进程要更加轻量级，但还是有一定的代价，而 prethread 模式就是为了解决这个问题

• 和 prefork 类似，prethread 模式会预先创建线程，然后才开始接受用户的请求，当有新的连接进来的时候，就可以省去创建线程的操作，让用户感觉更快、体验更好

• 由于多线程之间数据共享和通信比较方便，因此实际上 prethread 的实现方式相比 prefork 要灵活一些，常见的实现方式有下面几种：

  
  
  prethread示意图
• Apache 服务器的 MPM worker 模式本质上就是一种 prethread 方案，但稍微做了改进
• Apache 服务器会首先创建多个进程，每个进程里面再创建多个线程，这样做主要是为了考虑稳定性
  • 即使某个子进程里面的某个线程异常导致整个子进程退出，还会有其他子进程继续提供服务，不会导致整个服务器全部挂掉
• prethread 理论上可以比 prefork 支持更多的并发连接，Apache 服务器 MPM worker 模式默认支持 16 × 25 = 400 个并发处理线程

小结

本文讲了传统的单服务器高性能模式 PPC 与 TPC，希望对你有所帮助