Nginx学习（8）—— upstream模块_nginx upstream

upstream模块简介

• nginx模块一般被分成三大类：handler、filter和upstream。前面的章节中，读者已经了解了handler、filter。利用这两类模块，可以使nginx轻松完成任何单机工作。
• 而upstream模块，将使nginx跨越单机的限制，完成网络数据的接收、处理和转发。
• 数据转发功能，为nginx提供了跨越单机的横向处理能力，使nginx摆脱只能为终端节点提供单一功能的限制，使它具备了网络应用级别的拆分、封装和整合的功能。
• 数据转发是nginx有能力构建一个网络应用的关键组件。当然，鉴于开发成本的问题，一个网络应用的关键组件一开始往往会采用高级编程语言开发。但是当系统到达一定规模，并且需要更重视性能的时候，为了达到所要求的性能目标，高级语言开发出的组件必须进行结构化修改。
  此时，对于修改代价而言，nginx的upstream模块体现出了它的优势，因为它天生就快。作为附带，nginx的配置系统提供的层次化和松耦合使得系统的扩展性也达到比较高的程度。

upstream模块接口

从本质上说，upstream属于handler，只是他不产生自己的内容，而是通过请求后端服务器得到内容，所以才称为upstream（上游）。请求并取得响应内容的整个过程已经被封装到nginx内部，所以upstream模块只需要开发若干回调函数，完成构造请求和解析响应等具体的工作。

upstream模块回调函数列举如下：

memcached模块分析

• memcache是一款高性能的分布式cache系统，得到了非常广泛的应用。memcache定义了一套私有通信协议，使得不能通过HTTP请求来访问memcache。但协议本身简单高效，而且memcache使用广泛，所以大部分现代开发语言和平台都提供了memcache支持，方便开发者使用memcache。
• nginx提供了ngx_http_memcached模块，提供从memcache读取数据的功能，而不提供向memcache写数据的功能。

upstream模块使用的就是handler模块的接入方式。
同时，upstream模块的指令系统的设计也是遵循handler模块的基本规则：配置该模块才会执行该模块。

那么，upstream模块的特别之处究竟在哪里呢？那就是upstream模块的处理函数，upstream模块的处理函数进行的操作都包含一个固定的流程：（以memcached模块举例，在memcached的处理函数ngx_http_memcached_handler中）

1. 创建upstream数据结构：

   ngx_http_upstream_t            *u;
   if (ngx_http_upstream_create(r) != NGX_OK) {
   	return NGX_HTTP_INTERNAL_SERVER_ERROR;
   }
   u = r->upstream;
   1
   2
   3
   4
   5

2. 设置模块的tag和schema。schema现在只会用于日志，tag会用于buf_chain管理：

   ngx_str_set(&u->schema, "memcached://");
   u->output.tag = (ngx_buf_tag_t) &ngx_http_memcached_module;
   1
   2

3. 设置upstream的后端服务器列表数据结构：

   mlcf = ngx_http_get_module_loc_conf(r, ngx_http_memcached_module);
   u->conf = &mlcf->upstream;
   1
   2

4. 设置upstream回调函数：

   u->create_request = ngx_http_memcached_create_request;
   u->reinit_request = ngx_http_memcached_reinit_request;
   u->process_header = ngx_http_memcached_process_header;
   u->abort_request = ngx_http_memcached_abort_request;
   u->finalize_request = ngx_http_memcached_finalize_request;
      
   u->input_filter_init = ngx_http_memcached_filter_init;
   u->input_filter = ngx_http_memcached_filter;
   1
   2
   3
   4
   5
   6
   7
   8

5. 创建并设置upstream环境数据结构：

   ctx = ngx_palloc(r->pool, sizeof(ngx_http_memcached_ctx_t));
   if (ctx == NULL) {
       return NGX_HTTP_INTERNAL_SERVER_ERROR;
   }
   ctx->request = r;
   
   ngx_http_set_ctx(r, ctx, ngx_http_memcached_module);
   
   u->input_filter_ctx = ctx;
   1
   2
   3
   4
   5
   6
   7
   8
   9

6. 完成upstream初始化并进行收尾工作：

   r->main->count++;
   ngx_http_upstream_init(r);
   return NGX_DONE;
   1
   2
   3

任何upstream模块，简单如memcached，复杂如proxy、fastcgi都是如此。
不同的upstream模块在这6步中的最大差别会出现在第2、3、4、5上。

其中第2、4两步很容易理解，不同的模块设置的标志和使用的回调函数肯定不同。第5步也不难理解。

只有第3步是有点费解的，不同的模块在取得后端服务器列表时，策略的差异非常大，有如memcached这样简单明了的，也有如proxy那样逻辑复杂的。

第6步不同模块之间通常是一致的。将count加1，然后返回NGX_DONE。
nginx遇到这种情况，虽然会认为当前请求的处理已经结束，但是不会释放请求使用的内存资源，也不会关闭与客户端的连接。
之所以需要这样，是因为nginx建立了upstream请求和客户端请求之间一对一的关系，在后续使用ngx_event_pipe将upstream响应发送回客户端时，还要使用到这些保存着客户端信息的数据结构。
将upstream请求和客户端请求进行一对一绑定，这个设计有优势也有缺陷。优势就是简化模块开发，可以将精力集中在模块逻辑上，而缺陷同样明显，一对一的设计很多时候都不能满足复杂逻辑的需要。

回调函数：(依然是以memcached模块的处理函数为例)

1. ngx_http_memcached_create_request：很简单的按照设置的内容生成一个key，接着生成一个“get $key”的请求，放在r->upstream->request_bufs里面。

2. ngx_http_memcached_reinit_request：无需初始化。

3. ngx_http_memcached_abort_request：无需额外操作。

4. ngx_http_memcached_finalize_request：无需额外操作。

5. ngx_http_memcached_process_header：模块的业务重点函数。memcache协议的头部信息被定义为第一行文本，代码如下：

   #define LF     (u_char) '\n'
   for (p = u->buffer.pos; p < u->buffer.last; p++) {
       if (*p == LF) {
           goto found;
       }
   }
   1
   2
   3
   4
   5
   6

   如果在已读入缓冲的数据中没有发现LF(‘\n’)字符，函数返回NGX_AGAIN，表示头部未完全读入，需要继续读取数据。nginx在收到新的数据以后会再次调用该函数。

   nginx处理后端服务器的响应头时只会使用一块缓存，所有数据都在这块缓存中，所以解析头部信息时不需要考虑头部信息跨越多块缓存的情况。而如果头部过大，不能保存在这块缓存中，nginx会返回错误信息给客户端，并记录error log，提示缓存不够大。

   ngx_http_memcached_process_header的重要职责是将后端服务器返回的状态翻译成返回给客户端的状态。例如：

   u->headers_in.content_length_n = ngx_atoof(start, p - start);
   ···
   u->headers_in.status_n = 200;
   u->state->status = 200;
   ···
   u->headers_in.status_n = 404;
   u->state->status = 404;
   1
   2
   3
   4
   5
   6
   7

   u->state用于计算upstream相关的变量。比如u->state->status将被用于计算变量“upstream_status”的值。u->headers_in将被作为返回给客户端的响应返回状态码。而u->headers_in.content_length_n则是设置返回给客户端的响应的长度。

   在这个函数中一定要在处理完头部信息以后需要将读指针pos后移，否则这段数据也将被复制到返回给客户端的响应的正文中，进而导致正文内容不正确。

   ngx_http_memcached_process_header函数完成响应头的正确处理，应该返回NGX_OK。如果返回NGX_AGAIN，表示未读取完整数据，需要从后端服务器继续读取数据。返回NGX_DECLINED无意义，其他任何返回值都被认为是出错状态，nginx将结束upstream请求并返回错误信息。

6. ngx_http_memcached_filter_init：修正从后端服务器收到的内容长度。因为在处理header时没有加上这部分长度。

7. ngx_http_memcached_filter：
   memcached模块是少有的带有处理正文的回调函数的模块。
   因为memcached模块需要过滤正文末尾CRLF “END” CRLF，所以实现了自己的filter回调函数。

   处理正文的实际意义是将从后端服务器收到的正文有效内容封装成ngx_chain_t，并加在u->out_bufs末尾。

   nginx并不进行数据拷贝，而是建立ngx_buf_t数据结构指向这些数据内存区，然后由ngx_chain_t组织这些buf。这种实现避免了内存大量搬迁，也是nginx高效的原因之一。

小结

• 以上就是upstream模块的基本组成。upstream模块是从handler模块发展而来，指令系统和模块生效方式与handler模块无异。
• 不同之处在于，upstream模块在handler函数中设置众多回调函数。实际工作都是由这些回调函数完成的。
• 每个回调函数都是在upstream的某个固定阶段执行，各司其职，大部分回调函数一般不会真正用到。
• upstream最重要的回调函数是ngx_http_upstream_t->create_request、ngx_http_upstream_t->process_header和ngx_http_upstream_t->input_filter，他们共同实现了与后端服务器的协议的解析部分。