cowboy_protocol.erl 22 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597
  1. %% Copyright (c) 2011-2013, Loïc Hoguin <essen@ninenines.eu>
  2. %% Copyright (c) 2011, Anthony Ramine <nox@dev-extend.eu>
  3. %%
  4. %% Permission to use, copy, modify, and/or distribute this software for any
  5. %% purpose with or without fee is hereby granted, provided that the above
  6. %% copyright notice and this permission notice appear in all copies.
  7. %%
  8. %% THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
  9. %% WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
  10. %% MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
  11. %% ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
  12. %% WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
  13. %% ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
  14. %% OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  15. %% @doc HTTP protocol handler.
  16. %%
  17. %% The available options are:
  18. %% <dl>
  19. %% <dt>compress</dt><dd>Whether to automatically compress the response
  20. %% body when the conditions are met. Disabled by default.</dd>
  21. %% <dt>env</dt><dd>The environment passed and optionally modified
  22. %% by middlewares.</dd>
  23. %% <dt>max_empty_lines</dt><dd>Max number of empty lines before a request.
  24. %% Defaults to 5.</dd>
  25. %% <dt>max_header_name_length</dt><dd>Max length allowed for header names.
  26. %% Defaults to 64.</dd>
  27. %% <dt>max_header_value_length</dt><dd>Max length allowed for header values.
  28. %% Defaults to 4096.</dd>
  29. %% <dt>max_headers</dt><dd>Max number of headers allowed.
  30. %% Defaults to 100.</dd>
  31. %% <dt>max_keepalive</dt><dd>Max number of requests allowed in a single
  32. %% keep-alive session. Defaults to 100.</dd>
  33. %% <dt>max_request_line_length</dt><dd>Max length allowed for the request
  34. %% line. Defaults to 4096.</dd>
  35. %% <dt>middlewares</dt><dd>The list of middlewares to execute when a
  36. %% request is received.</dd>
  37. %% <dt>onrequest</dt><dd>Optional fun that allows Req interaction before
  38. %% any dispatching is done. Host info, path info and bindings are thus
  39. %% not available at this point.</dd>
  40. %% <dt>onresponse</dt><dd>Optional fun that allows replacing a response
  41. %% sent by the application.</dd>
  42. %% <dt>timeout</dt><dd>Time in milliseconds a client has to send the
  43. %% full request line and headers. Defaults to 5000 milliseconds.</dd>
  44. %% </dl>
  45. %%
  46. %% Note that there is no need to monitor these processes when using Cowboy as
  47. %% an application as it already supervises them under the listener supervisor.
  48. -module(cowboy_protocol).
  49. %% API.
  50. -export([start_link/4]).
  51. %% Internal.
  52. -export([init/4]).
  53. -export([parse_request/3]).
  54. -export([resume/6]).
  55. -type opts() :: [{compress, boolean()}
  56. | {env, cowboy_middleware:env()}
  57. | {max_empty_lines, non_neg_integer()}
  58. | {max_header_name_length, non_neg_integer()}
  59. | {max_header_value_length, non_neg_integer()}
  60. | {max_headers, non_neg_integer()}
  61. | {max_keepalive, non_neg_integer()}
  62. | {max_request_line_length, non_neg_integer()}
  63. | {middlewares, [module()]}
  64. | {onrequest, cowboy:onrequest_fun()}
  65. | {onresponse, cowboy:onresponse_fun()}
  66. | {timeout, timeout()}].
  67. -export_type([opts/0]).
  68. -record(state, {
  69. socket :: inet:socket(),
  70. transport :: module(),
  71. middlewares :: [module()],
  72. compress :: boolean(),
  73. env :: cowboy_middleware:env(),
  74. onrequest :: undefined | cowboy:onrequest_fun(),
  75. onresponse = undefined :: undefined | cowboy:onresponse_fun(),
  76. max_empty_lines :: non_neg_integer(),
  77. req_keepalive = 1 :: non_neg_integer(),
  78. max_keepalive :: non_neg_integer(),
  79. max_request_line_length :: non_neg_integer(),
  80. max_header_name_length :: non_neg_integer(),
  81. max_header_value_length :: non_neg_integer(),
  82. max_headers :: non_neg_integer(),
  83. timeout :: timeout(),
  84. until :: non_neg_integer() | infinity
  85. }).
  86. %% API.
  87. %% @doc Start an HTTP protocol process.
  88. -spec start_link(ranch:ref(), inet:socket(), module(), opts()) -> {ok, pid()}.
  89. start_link(Ref, Socket, Transport, Opts) ->
  90. Pid = spawn_link(?MODULE, init, [Ref, Socket, Transport, Opts]),
  91. {ok, Pid}.
  92. %% Internal.
  93. %% @doc Faster alternative to proplists:get_value/3.
  94. %% @private
  95. get_value(Key, Opts, Default) ->
  96. case lists:keyfind(Key, 1, Opts) of
  97. {_, Value} -> Value;
  98. _ -> Default
  99. end.
  100. %% @private
  101. -spec init(ranch:ref(), inet:socket(), module(), opts()) -> ok.
  102. init(Ref, Socket, Transport, Opts) ->
  103. Compress = get_value(compress, Opts, false),
  104. MaxEmptyLines = get_value(max_empty_lines, Opts, 5),
  105. MaxHeaderNameLength = get_value(max_header_name_length, Opts, 64),
  106. MaxHeaderValueLength = get_value(max_header_value_length, Opts, 4096),
  107. MaxHeaders = get_value(max_headers, Opts, 100),
  108. MaxKeepalive = get_value(max_keepalive, Opts, 100),
  109. MaxRequestLineLength = get_value(max_request_line_length, Opts, 4096),
  110. Middlewares = get_value(middlewares, Opts, [cowboy_router, cowboy_handler]),
  111. Env = [{listener, Ref}|get_value(env, Opts, [])],
  112. OnRequest = get_value(onrequest, Opts, undefined),
  113. OnResponse = get_value(onresponse, Opts, undefined),
  114. Timeout = get_value(timeout, Opts, 5000),
  115. ok = ranch:accept_ack(Ref),
  116. wait_request(<<>>, #state{socket=Socket, transport=Transport,
  117. middlewares=Middlewares, compress=Compress, env=Env,
  118. max_empty_lines=MaxEmptyLines, max_keepalive=MaxKeepalive,
  119. max_request_line_length=MaxRequestLineLength,
  120. max_header_name_length=MaxHeaderNameLength,
  121. max_header_value_length=MaxHeaderValueLength, max_headers=MaxHeaders,
  122. onrequest=OnRequest, onresponse=OnResponse,
  123. timeout=Timeout, until=until(Timeout)}, 0).
  124. -spec until(timeout()) -> non_neg_integer() | infinity.
  125. until(infinity) ->
  126. infinity;
  127. until(Timeout) ->
  128. {Me, S, Mi} = os:timestamp(),
  129. Me * 1000000000 + S * 1000 + Mi div 1000 + Timeout.
  130. %% Request parsing.
  131. %%
  132. %% The next set of functions is the request parsing code. All of it
  133. %% runs using a single binary match context. This optimization ends
  134. %% right after the header parsing is finished and the code becomes
  135. %% more interesting past that point.
  136. -spec recv(inet:socket(), module(), non_neg_integer() | infinity)
  137. -> {ok, binary()} | {error, closed | timeout | atom()}.
  138. recv(Socket, Transport, infinity) ->
  139. Transport:recv(Socket, 0, infinity);
  140. recv(Socket, Transport, Until) ->
  141. {Me, S, Mi} = os:timestamp(),
  142. Now = Me * 1000000000 + S * 1000 + Mi div 1000,
  143. Timeout = Until - Now,
  144. if Timeout < 0 ->
  145. {error, timeout};
  146. true ->
  147. Transport:recv(Socket, 0, Timeout)
  148. end.
  149. -spec wait_request(binary(), #state{}, non_neg_integer()) -> ok.
  150. wait_request(Buffer, State=#state{socket=Socket, transport=Transport,
  151. until=Until}, ReqEmpty) ->
  152. case recv(Socket, Transport, Until) of
  153. {ok, Data} ->
  154. parse_request(<< Buffer/binary, Data/binary >>, State, ReqEmpty);
  155. {error, _} ->
  156. terminate(State)
  157. end.
  158. %% @private
  159. -spec parse_request(binary(), #state{}, non_neg_integer()) -> ok.
  160. %% Empty lines must be using \r\n.
  161. parse_request(<< $\n, _/binary >>, State, _) ->
  162. error_terminate(400, State);
  163. %% We limit the length of the Request-line to MaxLength to avoid endlessly
  164. %% reading from the socket and eventually crashing.
  165. parse_request(Buffer, State=#state{max_request_line_length=MaxLength,
  166. max_empty_lines=MaxEmpty}, ReqEmpty) ->
  167. case match_eol(Buffer, 0) of
  168. nomatch when byte_size(Buffer) > MaxLength ->
  169. error_terminate(414, State);
  170. nomatch ->
  171. wait_request(Buffer, State, ReqEmpty);
  172. 1 when ReqEmpty =:= MaxEmpty ->
  173. error_terminate(400, State);
  174. 1 ->
  175. << _:16, Rest/binary >> = Buffer,
  176. parse_request(Rest, State, ReqEmpty + 1);
  177. _ ->
  178. parse_method(Buffer, State, <<>>)
  179. end.
  180. match_eol(<< $\n, _/bits >>, N) ->
  181. N;
  182. match_eol(<< _, Rest/bits >>, N) ->
  183. match_eol(Rest, N + 1);
  184. match_eol(_, _) ->
  185. nomatch.
  186. parse_method(<< C, Rest/bits >>, State, SoFar) ->
  187. case C of
  188. $\r -> error_terminate(400, State);
  189. $\s -> parse_uri(Rest, State, SoFar);
  190. _ -> parse_method(Rest, State, << SoFar/binary, C >>)
  191. end.
  192. parse_uri(<< $\r, _/bits >>, State, _) ->
  193. error_terminate(400, State);
  194. parse_uri(<< "* ", Rest/bits >>, State, Method) ->
  195. parse_version(Rest, State, Method, <<"*">>, <<>>);
  196. parse_uri(<< "http://", Rest/bits >>, State, Method) ->
  197. parse_uri_skip_host(Rest, State, Method);
  198. parse_uri(<< "https://", Rest/bits >>, State, Method) ->
  199. parse_uri_skip_host(Rest, State, Method);
  200. parse_uri(Buffer, State, Method) ->
  201. parse_uri_path(Buffer, State, Method, <<>>).
  202. parse_uri_skip_host(<< C, Rest/bits >>, State, Method) ->
  203. case C of
  204. $\r -> error_terminate(400, State);
  205. $/ -> parse_uri_path(Rest, State, Method, <<"/">>);
  206. _ -> parse_uri_skip_host(Rest, State, Method)
  207. end.
  208. parse_uri_path(<< C, Rest/bits >>, State, Method, SoFar) ->
  209. case C of
  210. $\r -> error_terminate(400, State);
  211. $\s -> parse_version(Rest, State, Method, SoFar, <<>>);
  212. $? -> parse_uri_query(Rest, State, Method, SoFar, <<>>);
  213. $# -> skip_uri_fragment(Rest, State, Method, SoFar, <<>>);
  214. _ -> parse_uri_path(Rest, State, Method, << SoFar/binary, C >>)
  215. end.
  216. parse_uri_query(<< C, Rest/bits >>, S, M, P, SoFar) ->
  217. case C of
  218. $\r -> error_terminate(400, S);
  219. $\s -> parse_version(Rest, S, M, P, SoFar);
  220. $# -> skip_uri_fragment(Rest, S, M, P, SoFar);
  221. _ -> parse_uri_query(Rest, S, M, P, << SoFar/binary, C >>)
  222. end.
  223. skip_uri_fragment(<< C, Rest/bits >>, S, M, P, Q) ->
  224. case C of
  225. $\r -> error_terminate(400, S);
  226. $\s -> parse_version(Rest, S, M, P, Q);
  227. _ -> skip_uri_fragment(Rest, S, M, P, Q)
  228. end.
  229. parse_version(<< "HTTP/1.1\r\n", Rest/bits >>, S, M, P, Q) ->
  230. parse_header(Rest, S, M, P, Q, 'HTTP/1.1', []);
  231. parse_version(<< "HTTP/1.0\r\n", Rest/bits >>, S, M, P, Q) ->
  232. parse_header(Rest, S, M, P, Q, 'HTTP/1.0', []);
  233. parse_version(_, State, _, _, _) ->
  234. error_terminate(505, State).
  235. %% Stop receiving data if we have more than allowed number of headers.
  236. wait_header(_, State=#state{max_headers=MaxHeaders}, _, _, _, _, Headers)
  237. when length(Headers) >= MaxHeaders ->
  238. error_terminate(400, State);
  239. wait_header(Buffer, State=#state{socket=Socket, transport=Transport,
  240. until=Until}, M, P, Q, V, H) ->
  241. case recv(Socket, Transport, Until) of
  242. {ok, Data} ->
  243. parse_header(<< Buffer/binary, Data/binary >>,
  244. State, M, P, Q, V, H);
  245. {error, timeout} ->
  246. error_terminate(408, State);
  247. {error, _} ->
  248. terminate(State)
  249. end.
  250. parse_header(<< $\r, $\n, Rest/bits >>, S, M, P, Q, V, Headers) ->
  251. request(Rest, S, M, P, Q, V, lists:reverse(Headers));
  252. parse_header(Buffer, State=#state{max_header_name_length=MaxLength},
  253. M, P, Q, V, H) ->
  254. case match_colon(Buffer, 0) of
  255. nomatch when byte_size(Buffer) > MaxLength ->
  256. error_terminate(400, State);
  257. nomatch ->
  258. wait_header(Buffer, State, M, P, Q, V, H);
  259. _ ->
  260. parse_hd_name(Buffer, State, M, P, Q, V, H, <<>>)
  261. end.
  262. match_colon(<< $:, _/bits >>, N) ->
  263. N;
  264. match_colon(<< _, Rest/bits >>, N) ->
  265. match_colon(Rest, N + 1);
  266. match_colon(_, _) ->
  267. nomatch.
  268. %% I know, this isn't exactly pretty. But this is the most critical
  269. %% code path and as such needs to be optimized to death.
  270. %%
  271. %% ... Sorry for your eyes.
  272. %%
  273. %% But let's be honest, that's still pretty readable.
  274. parse_hd_name(<< C, Rest/bits >>, S, M, P, Q, V, H, SoFar) ->
  275. case C of
  276. $: -> parse_hd_before_value(Rest, S, M, P, Q, V, H, SoFar);
  277. $\s -> parse_hd_name_ws(Rest, S, M, P, Q, V, H, SoFar);
  278. $\t -> parse_hd_name_ws(Rest, S, M, P, Q, V, H, SoFar);
  279. $A -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $a >>);
  280. $B -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $b >>);
  281. $C -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $c >>);
  282. $D -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $d >>);
  283. $E -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $e >>);
  284. $F -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $f >>);
  285. $G -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $g >>);
  286. $H -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $h >>);
  287. $I -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $i >>);
  288. $J -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $j >>);
  289. $K -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $k >>);
  290. $L -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $l >>);
  291. $M -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $m >>);
  292. $N -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $n >>);
  293. $O -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $o >>);
  294. $P -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $p >>);
  295. $Q -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $q >>);
  296. $R -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $r >>);
  297. $S -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $s >>);
  298. $T -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $t >>);
  299. $U -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $u >>);
  300. $V -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $v >>);
  301. $W -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $w >>);
  302. $X -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $x >>);
  303. $Y -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $y >>);
  304. $Z -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, $z >>);
  305. C -> parse_hd_name(Rest, S, M, P, Q, V, H, << SoFar/binary, C >>)
  306. end.
  307. parse_hd_name_ws(<< C, Rest/bits >>, S, M, P, Q, V, H, Name) ->
  308. case C of
  309. $\s -> parse_hd_name_ws(Rest, S, M, P, Q, V, H, Name);
  310. $\t -> parse_hd_name_ws(Rest, S, M, P, Q, V, H, Name);
  311. $: -> parse_hd_before_value(Rest, S, M, P, Q, V, H, Name)
  312. end.
  313. wait_hd_before_value(Buffer, State=#state{
  314. socket=Socket, transport=Transport, until=Until},
  315. M, P, Q, V, H, N) ->
  316. case recv(Socket, Transport, Until) of
  317. {ok, Data} ->
  318. parse_hd_before_value(<< Buffer/binary, Data/binary >>,
  319. State, M, P, Q, V, H, N);
  320. {error, timeout} ->
  321. error_terminate(408, State);
  322. {error, _} ->
  323. terminate(State)
  324. end.
  325. parse_hd_before_value(<< $\s, Rest/bits >>, S, M, P, Q, V, H, N) ->
  326. parse_hd_before_value(Rest, S, M, P, Q, V, H, N);
  327. parse_hd_before_value(<< $\t, Rest/bits >>, S, M, P, Q, V, H, N) ->
  328. parse_hd_before_value(Rest, S, M, P, Q, V, H, N);
  329. parse_hd_before_value(Buffer, State=#state{
  330. max_header_value_length=MaxLength}, M, P, Q, V, H, N) ->
  331. case match_eol(Buffer, 0) of
  332. nomatch when byte_size(Buffer) > MaxLength ->
  333. error_terminate(400, State);
  334. nomatch ->
  335. wait_hd_before_value(Buffer, State, M, P, Q, V, H, N);
  336. _ ->
  337. parse_hd_value(Buffer, State, M, P, Q, V, H, N, <<>>)
  338. end.
  339. %% We completely ignore the first argument which is always
  340. %% the empty binary. We keep it there because we don't want
  341. %% to change the other arguments' position and trigger costy
  342. %% operations for no reasons.
  343. wait_hd_value(_, State=#state{
  344. socket=Socket, transport=Transport, until=Until},
  345. M, P, Q, V, H, N, SoFar) ->
  346. case recv(Socket, Transport, Until) of
  347. {ok, Data} ->
  348. parse_hd_value(Data, State, M, P, Q, V, H, N, SoFar);
  349. {error, timeout} ->
  350. error_terminate(408, State);
  351. {error, _} ->
  352. terminate(State)
  353. end.
  354. %% Pushing back as much as we could the retrieval of new data
  355. %% to check for multilines allows us to avoid a few tests in
  356. %% the critical path, but forces us to have a special function.
  357. wait_hd_value_nl(_, State=#state{
  358. socket=Socket, transport=Transport, until=Until},
  359. M, P, Q, V, Headers, Name, SoFar) ->
  360. case recv(Socket, Transport, Until) of
  361. {ok, << C, Data/bits >>} when C =:= $\s; C =:= $\t ->
  362. parse_hd_value(Data, State, M, P, Q, V, Headers, Name, SoFar);
  363. {ok, Data} ->
  364. parse_header(Data, State, M, P, Q, V, [{Name, SoFar}|Headers]);
  365. {error, timeout} ->
  366. error_terminate(408, State);
  367. {error, _} ->
  368. terminate(State)
  369. end.
  370. parse_hd_value(<< $\r, Rest/bits >>, S, M, P, Q, V, Headers, Name, SoFar) ->
  371. case Rest of
  372. << $\n >> ->
  373. wait_hd_value_nl(<<>>, S, M, P, Q, V, Headers, Name, SoFar);
  374. << $\n, C, Rest2/bits >> when C =:= $\s; C =:= $\t ->
  375. parse_hd_value(Rest2, S, M, P, Q, V, Headers, Name, SoFar);
  376. << $\n, Rest2/bits >> ->
  377. parse_header(Rest2, S, M, P, Q, V, [{Name, SoFar}|Headers])
  378. end;
  379. parse_hd_value(<< C, Rest/bits >>, S, M, P, Q, V, H, N, SoFar) ->
  380. parse_hd_value(Rest, S, M, P, Q, V, H, N, << SoFar/binary, C >>);
  381. parse_hd_value(<<>>, State=#state{max_header_value_length=MaxLength},
  382. _, _, _, _, _, _, SoFar) when byte_size(SoFar) > MaxLength ->
  383. error_terminate(400, State);
  384. parse_hd_value(<<>>, S, M, P, Q, V, H, N, SoFar) ->
  385. wait_hd_value(<<>>, S, M, P, Q, V, H, N, SoFar).
  386. request(B, State=#state{transport=Transport}, M, P, Q, Version, Headers) ->
  387. case lists:keyfind(<<"host">>, 1, Headers) of
  388. false when Version =:= 'HTTP/1.1' ->
  389. error_terminate(400, State);
  390. false ->
  391. request(B, State, M, P, Q, Version, Headers,
  392. <<>>, default_port(Transport:name()));
  393. {_, RawHost} ->
  394. case catch parse_host(RawHost, false, <<>>) of
  395. {'EXIT', _} ->
  396. error_terminate(400, State);
  397. {Host, undefined} ->
  398. request(B, State, M, P, Q, Version, Headers,
  399. Host, default_port(Transport:name()));
  400. {Host, Port} ->
  401. request(B, State, M, P, Q, Version, Headers,
  402. Host, Port)
  403. end
  404. end.
  405. -spec default_port(atom()) -> 80 | 443.
  406. default_port(ssl) -> 443;
  407. default_port(_) -> 80.
  408. %% Another hurtful block of code. :)
  409. %%
  410. %% Same code as cow_http:parse_fullhost/1, but inline because we
  411. %% really want this to go fast.
  412. parse_host(<< $[, Rest/bits >>, false, <<>>) ->
  413. parse_host(Rest, true, << $[ >>);
  414. parse_host(<<>>, false, Acc) ->
  415. {Acc, undefined};
  416. parse_host(<< $:, Rest/bits >>, false, Acc) ->
  417. {Acc, list_to_integer(binary_to_list(Rest))};
  418. parse_host(<< $], Rest/bits >>, true, Acc) ->
  419. parse_host(Rest, false, << Acc/binary, $] >>);
  420. parse_host(<< C, Rest/bits >>, E, Acc) ->
  421. case C of
  422. $A -> parse_host(Rest, E, << Acc/binary, $a >>);
  423. $B -> parse_host(Rest, E, << Acc/binary, $b >>);
  424. $C -> parse_host(Rest, E, << Acc/binary, $c >>);
  425. $D -> parse_host(Rest, E, << Acc/binary, $d >>);
  426. $E -> parse_host(Rest, E, << Acc/binary, $e >>);
  427. $F -> parse_host(Rest, E, << Acc/binary, $f >>);
  428. $G -> parse_host(Rest, E, << Acc/binary, $g >>);
  429. $H -> parse_host(Rest, E, << Acc/binary, $h >>);
  430. $I -> parse_host(Rest, E, << Acc/binary, $i >>);
  431. $J -> parse_host(Rest, E, << Acc/binary, $j >>);
  432. $K -> parse_host(Rest, E, << Acc/binary, $k >>);
  433. $L -> parse_host(Rest, E, << Acc/binary, $l >>);
  434. $M -> parse_host(Rest, E, << Acc/binary, $m >>);
  435. $N -> parse_host(Rest, E, << Acc/binary, $n >>);
  436. $O -> parse_host(Rest, E, << Acc/binary, $o >>);
  437. $P -> parse_host(Rest, E, << Acc/binary, $p >>);
  438. $Q -> parse_host(Rest, E, << Acc/binary, $q >>);
  439. $R -> parse_host(Rest, E, << Acc/binary, $r >>);
  440. $S -> parse_host(Rest, E, << Acc/binary, $s >>);
  441. $T -> parse_host(Rest, E, << Acc/binary, $t >>);
  442. $U -> parse_host(Rest, E, << Acc/binary, $u >>);
  443. $V -> parse_host(Rest, E, << Acc/binary, $v >>);
  444. $W -> parse_host(Rest, E, << Acc/binary, $w >>);
  445. $X -> parse_host(Rest, E, << Acc/binary, $x >>);
  446. $Y -> parse_host(Rest, E, << Acc/binary, $y >>);
  447. $Z -> parse_host(Rest, E, << Acc/binary, $z >>);
  448. _ -> parse_host(Rest, E, << Acc/binary, C >>)
  449. end.
  450. %% End of request parsing.
  451. %%
  452. %% We create the Req object and start handling the request.
  453. request(Buffer, State=#state{socket=Socket, transport=Transport,
  454. req_keepalive=ReqKeepalive, max_keepalive=MaxKeepalive,
  455. compress=Compress, onresponse=OnResponse},
  456. Method, Path, Query, Version, Headers, Host, Port) ->
  457. case Transport:peername(Socket) of
  458. {ok, Peer} ->
  459. Req = cowboy_req:new(Socket, Transport, Peer, Method, Path,
  460. Query, Version, Headers, Host, Port, Buffer,
  461. ReqKeepalive < MaxKeepalive, Compress, OnResponse),
  462. onrequest(Req, State);
  463. {error, _} ->
  464. %% Couldn't read the peer address; connection is gone.
  465. terminate(State)
  466. end.
  467. %% Call the global onrequest callback. The callback can send a reply,
  468. %% in which case we consider the request handled and move on to the next
  469. %% one. Note that since we haven't dispatched yet, we don't know the
  470. %% handler, host_info, path_info or bindings yet.
  471. -spec onrequest(cowboy_req:req(), #state{}) -> ok.
  472. onrequest(Req, State=#state{onrequest=undefined}) ->
  473. execute(Req, State);
  474. onrequest(Req, State=#state{onrequest=OnRequest}) ->
  475. Req2 = OnRequest(Req),
  476. case cowboy_req:get(resp_state, Req2) of
  477. waiting -> execute(Req2, State);
  478. _ -> next_request(Req2, State, ok)
  479. end.
  480. -spec execute(cowboy_req:req(), #state{}) -> ok.
  481. execute(Req, State=#state{middlewares=Middlewares, env=Env}) ->
  482. execute(Req, State, Env, Middlewares).
  483. -spec execute(cowboy_req:req(), #state{}, cowboy_middleware:env(), [module()])
  484. -> ok.
  485. execute(Req, State, Env, []) ->
  486. next_request(Req, State, get_value(result, Env, ok));
  487. execute(Req, State, Env, [Middleware|Tail]) ->
  488. case Middleware:execute(Req, Env) of
  489. {ok, Req2, Env2} ->
  490. execute(Req2, State, Env2, Tail);
  491. {suspend, Module, Function, Args} ->
  492. erlang:hibernate(?MODULE, resume,
  493. [State, Env, Tail, Module, Function, Args]);
  494. {halt, Req2} ->
  495. next_request(Req2, State, ok);
  496. {error, Code, Req2} ->
  497. error_terminate(Code, Req2, State)
  498. end.
  499. %% @private
  500. -spec resume(#state{}, cowboy_middleware:env(), [module()],
  501. module(), module(), [any()]) -> ok.
  502. resume(State, Env, Tail, Module, Function, Args) ->
  503. case apply(Module, Function, Args) of
  504. {ok, Req2, Env2} ->
  505. execute(Req2, State, Env2, Tail);
  506. {suspend, Module2, Function2, Args2} ->
  507. erlang:hibernate(?MODULE, resume,
  508. [State, Env, Tail, Module2, Function2, Args2]);
  509. {halt, Req2} ->
  510. next_request(Req2, State, ok);
  511. {error, Code, Req2} ->
  512. error_terminate(Code, Req2, State)
  513. end.
  514. -spec next_request(cowboy_req:req(), #state{}, any()) -> ok.
  515. next_request(Req, State=#state{req_keepalive=Keepalive, timeout=Timeout},
  516. HandlerRes) ->
  517. cowboy_req:ensure_response(Req, 204),
  518. %% If we are going to close the connection,
  519. %% we do not want to attempt to skip the body.
  520. case cowboy_req:get(connection, Req) of
  521. close ->
  522. terminate(State);
  523. _ ->
  524. Buffer = case cowboy_req:skip_body(Req) of
  525. {ok, Req2} -> cowboy_req:get(buffer, Req2);
  526. _ -> close
  527. end,
  528. %% Flush the resp_sent message before moving on.
  529. receive {cowboy_req, resp_sent} -> ok after 0 -> ok end,
  530. if HandlerRes =:= ok, Buffer =/= close ->
  531. ?MODULE:parse_request(Buffer,
  532. State#state{req_keepalive=Keepalive + 1,
  533. until=until(Timeout)}, 0);
  534. true ->
  535. terminate(State)
  536. end
  537. end.
  538. -spec error_terminate(cowboy:http_status(), #state{}) -> ok.
  539. error_terminate(Status, State=#state{socket=Socket, transport=Transport,
  540. compress=Compress, onresponse=OnResponse}) ->
  541. error_terminate(Status, cowboy_req:new(Socket, Transport,
  542. undefined, <<"GET">>, <<>>, <<>>, 'HTTP/1.1', [], <<>>,
  543. undefined, <<>>, false, Compress, OnResponse), State).
  544. -spec error_terminate(cowboy:http_status(), cowboy_req:req(), #state{}) -> ok.
  545. error_terminate(Status, Req, State) ->
  546. cowboy_req:maybe_reply(Status, Req),
  547. terminate(State).
  548. -spec terminate(#state{}) -> ok.
  549. terminate(#state{socket=Socket, transport=Transport}) ->
  550. Transport:close(Socket),
  551. ok.