cowboy_websocket.erl 17 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425
  1. %% Copyright (c) 2011-2017, Loïc Hoguin <essen@ninenines.eu>
  2. %%
  3. %% Permission to use, copy, modify, and/or distribute this software for any
  4. %% purpose with or without fee is hereby granted, provided that the above
  5. %% copyright notice and this permission notice appear in all copies.
  6. %%
  7. %% THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
  8. %% WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
  9. %% MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
  10. %% ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
  11. %% WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
  12. %% ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
  13. %% OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
  14. %% Cowboy supports versions 7 through 17 of the Websocket drafts.
  15. %% It also supports RFC6455, the proposed standard for Websocket.
  16. -module(cowboy_websocket).
  17. -behaviour(cowboy_sub_protocol).
  18. -export([upgrade/4]).
  19. -export([upgrade/5]).
  20. -export([takeover/7]).
  21. -export([handler_loop/3]).
  22. -type call_result(State) :: {ok, State}
  23. | {ok, State, hibernate}
  24. | {reply, cow_ws:frame() | [cow_ws:frame()], State}
  25. | {reply, cow_ws:frame() | [cow_ws:frame()], State, hibernate}
  26. | {stop, State}.
  27. -type terminate_reason() :: normal | stop | timeout
  28. | remote | {remote, cow_ws:close_code(), binary()}
  29. | {error, badencoding | badframe | closed | atom()}
  30. | {crash, error | exit | throw, any()}.
  31. -callback init(Req, any())
  32. -> {ok | module(), Req, any()}
  33. | {module(), Req, any(), any()}
  34. when Req::cowboy_req:req().
  35. -callback websocket_init(State)
  36. -> call_result(State) when State::any().
  37. -optional_callbacks([websocket_init/1]).
  38. -callback websocket_handle({text | binary | ping | pong, binary()}, State)
  39. -> call_result(State) when State::any().
  40. -callback websocket_info(any(), State)
  41. -> call_result(State) when State::any().
  42. -callback terminate(any(), cowboy_req:req(), any()) -> ok.
  43. -optional_callbacks([terminate/3]).
  44. -type opts() :: #{
  45. compress => boolean(),
  46. idle_timeout => timeout(),
  47. req_filter => fun((cowboy_req:req()) -> map())
  48. }.
  49. -export_type([opts/0]).
  50. -record(state, {
  51. socket = undefined :: inet:socket() | undefined,
  52. transport = undefined :: module(),
  53. handler :: module(),
  54. key = undefined :: undefined | binary(),
  55. timeout = infinity :: timeout(),
  56. timeout_ref = undefined :: undefined | reference(),
  57. compress = false :: boolean(),
  58. messages = undefined :: undefined | {atom(), atom(), atom()},
  59. hibernate = false :: boolean(),
  60. frag_state = undefined :: cow_ws:frag_state(),
  61. frag_buffer = <<>> :: binary(),
  62. utf8_state = 0 :: cow_ws:utf8_state(),
  63. extensions = #{} :: map(),
  64. req = #{} :: map()
  65. }).
  66. %% Stream process.
  67. -spec upgrade(Req, Env, module(), any())
  68. -> {ok, Req, Env}
  69. when Req::cowboy_req:req(), Env::cowboy_middleware:env().
  70. upgrade(Req, Env, Handler, HandlerState) ->
  71. upgrade(Req, Env, Handler, HandlerState, #{}).
  72. -spec upgrade(Req, Env, module(), any(), opts())
  73. -> {ok, Req, Env}
  74. when Req::cowboy_req:req(), Env::cowboy_middleware:env().
  75. %% @todo Immediately crash if a response has already been sent.
  76. %% @todo Error out if HTTP/2.
  77. upgrade(Req0, Env, Handler, HandlerState, Opts) ->
  78. Timeout = maps:get(idle_timeout, Opts, 60000),
  79. Compress = maps:get(compress, Opts, false),
  80. FilteredReq = case maps:get(req_filter, Opts, undefined) of
  81. undefined -> maps:with([method, version, scheme, host, port, path, qs, peer], Req0);
  82. FilterFun -> FilterFun(Req0)
  83. end,
  84. State0 = #state{handler=Handler, timeout=Timeout, compress=Compress, req=FilteredReq},
  85. try websocket_upgrade(State0, Req0) of
  86. {ok, State, Req} ->
  87. websocket_handshake(State, Req, HandlerState, Env)
  88. catch _:_ ->
  89. %% @todo Probably log something here?
  90. %% @todo Test that we can have 2 /ws 400 status code in a row on the same connection.
  91. %% @todo Does this even work?
  92. {ok, cowboy_req:reply(400, Req0), Env}
  93. end.
  94. -spec websocket_upgrade(#state{}, Req)
  95. -> {ok, #state{}, Req} when Req::cowboy_req:req().
  96. websocket_upgrade(State, Req) ->
  97. ConnTokens = cowboy_req:parse_header(<<"connection">>, Req),
  98. true = lists:member(<<"upgrade">>, ConnTokens),
  99. %% @todo Should probably send a 426 if the Upgrade header is missing.
  100. [<<"websocket">>] = cowboy_req:parse_header(<<"upgrade">>, Req),
  101. Version = cowboy_req:header(<<"sec-websocket-version">>, Req),
  102. IntVersion = binary_to_integer(Version),
  103. true = (IntVersion =:= 7) orelse (IntVersion =:= 8)
  104. orelse (IntVersion =:= 13),
  105. Key = cowboy_req:header(<<"sec-websocket-key">>, Req),
  106. false = Key =:= undefined,
  107. websocket_extensions(State#state{key=Key}, Req#{websocket_version => IntVersion}).
  108. -spec websocket_extensions(#state{}, Req)
  109. -> {ok, #state{}, Req} when Req::cowboy_req:req().
  110. websocket_extensions(State=#state{compress=Compress}, Req) ->
  111. %% @todo We want different options for this. For example
  112. %% * compress everything auto
  113. %% * compress only text auto
  114. %% * compress only binary auto
  115. %% * compress nothing auto (but still enabled it)
  116. %% * disable compression
  117. case {Compress, cowboy_req:parse_header(<<"sec-websocket-extensions">>, Req)} of
  118. {true, Extensions} when Extensions =/= undefined ->
  119. websocket_extensions(State, Req, Extensions, []);
  120. _ ->
  121. {ok, State, Req}
  122. end.
  123. websocket_extensions(State, Req, [], []) ->
  124. {ok, State, Req};
  125. websocket_extensions(State, Req, [], [<<", ">>|RespHeader]) ->
  126. {ok, State, cowboy_req:set_resp_header(<<"sec-websocket-extensions">>, lists:reverse(RespHeader), Req)};
  127. websocket_extensions(State=#state{extensions=Extensions}, Req=#{pid := Pid},
  128. [{<<"permessage-deflate">>, Params}|Tail], RespHeader) ->
  129. %% @todo Make deflate options configurable.
  130. Opts = #{level => best_compression, mem_level => 8, strategy => default},
  131. case cow_ws:negotiate_permessage_deflate(Params, Extensions, Opts#{owner => Pid}) of
  132. {ok, RespExt, Extensions2} ->
  133. websocket_extensions(State#state{extensions=Extensions2},
  134. Req, Tail, [<<", ">>, RespExt|RespHeader]);
  135. ignore ->
  136. websocket_extensions(State, Req, Tail, RespHeader)
  137. end;
  138. websocket_extensions(State=#state{extensions=Extensions}, Req=#{pid := Pid},
  139. [{<<"x-webkit-deflate-frame">>, Params}|Tail], RespHeader) ->
  140. %% @todo Make deflate options configurable.
  141. Opts = #{level => best_compression, mem_level => 8, strategy => default},
  142. case cow_ws:negotiate_x_webkit_deflate_frame(Params, Extensions, Opts#{owner => Pid}) of
  143. {ok, RespExt, Extensions2} ->
  144. websocket_extensions(State#state{extensions=Extensions2},
  145. Req, Tail, [<<", ">>, RespExt|RespHeader]);
  146. ignore ->
  147. websocket_extensions(State, Req, Tail, RespHeader)
  148. end;
  149. websocket_extensions(State, Req, [_|Tail], RespHeader) ->
  150. websocket_extensions(State, Req, Tail, RespHeader).
  151. -spec websocket_handshake(#state{}, Req, any(), Env)
  152. -> {ok, Req, Env}
  153. when Req::cowboy_req:req(), Env::cowboy_middleware:env().
  154. websocket_handshake(State=#state{key=Key},
  155. Req=#{pid := Pid, streamid := StreamID}, HandlerState, Env) ->
  156. Challenge = base64:encode(crypto:hash(sha,
  157. << Key/binary, "258EAFA5-E914-47DA-95CA-C5AB0DC85B11" >>)),
  158. Headers = cowboy_req:response_headers(#{
  159. <<"connection">> => <<"Upgrade">>,
  160. <<"upgrade">> => <<"websocket">>,
  161. <<"sec-websocket-accept">> => Challenge
  162. }, Req),
  163. Pid ! {{Pid, StreamID}, {switch_protocol, Headers, ?MODULE, {State, HandlerState}}},
  164. {ok, Req, Env}.
  165. %% Connection process.
  166. %% @todo Keep parent and handle system messages.
  167. -spec takeover(pid(), ranch:ref(), inet:socket(), module(), any(), binary(),
  168. {#state{}, any()}) -> ok.
  169. takeover(_Parent, Ref, Socket, Transport, _Opts, Buffer,
  170. {State0=#state{handler=Handler}, HandlerState}) ->
  171. %% @todo We should have an option to disable this behavior.
  172. ranch:remove_connection(Ref),
  173. State1 = handler_loop_timeout(State0#state{socket=Socket, transport=Transport}),
  174. State = State1#state{key=undefined, messages=Transport:messages()},
  175. case erlang:function_exported(Handler, websocket_init, 1) of
  176. true -> handler_call(State, HandlerState, Buffer, websocket_init, undefined, fun handler_before_loop/3);
  177. false -> handler_before_loop(State, HandlerState, Buffer)
  178. end.
  179. -spec handler_before_loop(#state{}, any(), binary())
  180. %% @todo Yeah not env.
  181. -> {ok, cowboy_middleware:env()}.
  182. handler_before_loop(State=#state{
  183. socket=Socket, transport=Transport, hibernate=true},
  184. HandlerState, SoFar) ->
  185. Transport:setopts(Socket, [{active, once}]),
  186. proc_lib:hibernate(?MODULE, handler_loop,
  187. [State#state{hibernate=false}, HandlerState, SoFar]);
  188. handler_before_loop(State=#state{socket=Socket, transport=Transport},
  189. HandlerState, SoFar) ->
  190. Transport:setopts(Socket, [{active, once}]),
  191. handler_loop(State, HandlerState, SoFar).
  192. -spec handler_loop_timeout(#state{}) -> #state{}.
  193. handler_loop_timeout(State=#state{timeout=infinity}) ->
  194. State#state{timeout_ref=undefined};
  195. handler_loop_timeout(State=#state{timeout=Timeout, timeout_ref=PrevRef}) ->
  196. _ = case PrevRef of undefined -> ignore; PrevRef ->
  197. erlang:cancel_timer(PrevRef) end,
  198. TRef = erlang:start_timer(Timeout, self(), ?MODULE),
  199. State#state{timeout_ref=TRef}.
  200. -spec handler_loop(#state{}, any(), binary())
  201. -> {ok, cowboy_middleware:env()}.
  202. handler_loop(State=#state{socket=Socket, messages={OK, Closed, Error},
  203. timeout_ref=TRef}, HandlerState, SoFar) ->
  204. receive
  205. {OK, Socket, Data} ->
  206. State2 = handler_loop_timeout(State),
  207. websocket_data(State2, HandlerState,
  208. << SoFar/binary, Data/binary >>);
  209. {Closed, Socket} ->
  210. terminate(State, HandlerState, {error, closed});
  211. {Error, Socket, Reason} ->
  212. terminate(State, HandlerState, {error, Reason});
  213. {timeout, TRef, ?MODULE} ->
  214. websocket_close(State, HandlerState, timeout);
  215. {timeout, OlderTRef, ?MODULE} when is_reference(OlderTRef) ->
  216. handler_loop(State, HandlerState, SoFar);
  217. Message ->
  218. handler_call(State, HandlerState,
  219. SoFar, websocket_info, Message, fun handler_before_loop/3)
  220. end.
  221. -spec websocket_data(#state{}, any(), binary())
  222. -> {ok, cowboy_middleware:env()}.
  223. websocket_data(State=#state{frag_state=FragState, extensions=Extensions}, HandlerState, Data) ->
  224. case cow_ws:parse_header(Data, Extensions, FragState) of
  225. %% All frames sent from the client to the server are masked.
  226. {_, _, _, _, undefined, _} ->
  227. websocket_close(State, HandlerState, {error, badframe});
  228. {Type, FragState2, Rsv, Len, MaskKey, Rest} ->
  229. websocket_payload(State#state{frag_state=FragState2}, HandlerState, Type, Len, MaskKey, Rsv, undefined, <<>>, 0, Rest);
  230. more ->
  231. handler_before_loop(State, HandlerState, Data);
  232. error ->
  233. websocket_close(State, HandlerState, {error, badframe})
  234. end.
  235. websocket_payload(State=#state{frag_state=FragState, utf8_state=Incomplete, extensions=Extensions},
  236. HandlerState, Type, Len, MaskKey, Rsv, CloseCode, Unmasked, UnmaskedLen, Data) ->
  237. case cow_ws:parse_payload(Data, MaskKey, Incomplete, UnmaskedLen, Type, Len, FragState, Extensions, Rsv) of
  238. {ok, CloseCode2, Payload, Utf8State, Rest} ->
  239. websocket_dispatch(State#state{utf8_state=Utf8State},
  240. HandlerState, Type, << Unmasked/binary, Payload/binary >>, CloseCode2, Rest);
  241. {ok, Payload, Utf8State, Rest} ->
  242. websocket_dispatch(State#state{utf8_state=Utf8State},
  243. HandlerState, Type, << Unmasked/binary, Payload/binary >>, CloseCode, Rest);
  244. {more, CloseCode2, Payload, Utf8State} ->
  245. websocket_payload_loop(State#state{utf8_state=Utf8State},
  246. HandlerState, Type, Len - byte_size(Data), MaskKey, Rsv, CloseCode2,
  247. << Unmasked/binary, Payload/binary >>, UnmaskedLen + byte_size(Data));
  248. {more, Payload, Utf8State} ->
  249. websocket_payload_loop(State#state{utf8_state=Utf8State},
  250. HandlerState, Type, Len - byte_size(Data), MaskKey, Rsv, CloseCode,
  251. << Unmasked/binary, Payload/binary >>, UnmaskedLen + byte_size(Data));
  252. Error = {error, _Reason} ->
  253. websocket_close(State, HandlerState, Error)
  254. end.
  255. websocket_payload_loop(State=#state{socket=Socket, transport=Transport,
  256. messages={OK, Closed, Error}, timeout_ref=TRef},
  257. HandlerState, Type, Len, MaskKey, Rsv, CloseCode, Unmasked, UnmaskedLen) ->
  258. Transport:setopts(Socket, [{active, once}]),
  259. receive
  260. {OK, Socket, Data} ->
  261. State2 = handler_loop_timeout(State),
  262. websocket_payload(State2, HandlerState,
  263. Type, Len, MaskKey, Rsv, CloseCode, Unmasked, UnmaskedLen, Data);
  264. {Closed, Socket} ->
  265. terminate(State, HandlerState, {error, closed});
  266. {Error, Socket, Reason} ->
  267. terminate(State, HandlerState, {error, Reason});
  268. {timeout, TRef, ?MODULE} ->
  269. websocket_close(State, HandlerState, timeout);
  270. {timeout, OlderTRef, ?MODULE} when is_reference(OlderTRef) ->
  271. websocket_payload_loop(State, HandlerState,
  272. Type, Len, MaskKey, Rsv, CloseCode, Unmasked, UnmaskedLen);
  273. Message ->
  274. handler_call(State, HandlerState,
  275. <<>>, websocket_info, Message,
  276. fun (State2, HandlerState2, _) ->
  277. websocket_payload_loop(State2, HandlerState2,
  278. Type, Len, MaskKey, Rsv, CloseCode, Unmasked, UnmaskedLen)
  279. end)
  280. end.
  281. websocket_dispatch(State=#state{socket=Socket, transport=Transport, frag_state=FragState, frag_buffer=SoFar, extensions=Extensions},
  282. HandlerState, Type0, Payload0, CloseCode0, RemainingData) ->
  283. case cow_ws:make_frame(Type0, Payload0, CloseCode0, FragState) of
  284. %% @todo Allow receiving fragments.
  285. {fragment, nofin, _, Payload} ->
  286. websocket_data(State#state{frag_buffer= << SoFar/binary, Payload/binary >>}, HandlerState, RemainingData);
  287. {fragment, fin, Type, Payload} ->
  288. handler_call(State#state{frag_state=undefined, frag_buffer= <<>>}, HandlerState, RemainingData,
  289. websocket_handle, {Type, << SoFar/binary, Payload/binary >>}, fun websocket_data/3);
  290. close ->
  291. websocket_close(State, HandlerState, remote);
  292. {close, CloseCode, Payload} ->
  293. websocket_close(State, HandlerState, {remote, CloseCode, Payload});
  294. Frame = ping ->
  295. Transport:send(Socket, cow_ws:frame(pong, Extensions)),
  296. handler_call(State, HandlerState, RemainingData, websocket_handle, Frame, fun websocket_data/3);
  297. Frame = {ping, Payload} ->
  298. Transport:send(Socket, cow_ws:frame({pong, Payload}, Extensions)),
  299. handler_call(State, HandlerState, RemainingData, websocket_handle, Frame, fun websocket_data/3);
  300. Frame ->
  301. handler_call(State, HandlerState, RemainingData, websocket_handle, Frame, fun websocket_data/3)
  302. end.
  303. -spec handler_call(#state{}, any(), binary(), atom(), any(), fun()) -> no_return().
  304. handler_call(State=#state{handler=Handler}, HandlerState,
  305. RemainingData, Callback, Message, NextState) ->
  306. try case Callback of
  307. websocket_init -> Handler:websocket_init(HandlerState);
  308. _ -> Handler:Callback(Message, HandlerState)
  309. end of
  310. {ok, HandlerState2} ->
  311. NextState(State, HandlerState2, RemainingData);
  312. {ok, HandlerState2, hibernate} ->
  313. NextState(State#state{hibernate=true}, HandlerState2, RemainingData);
  314. {reply, Payload, HandlerState2} ->
  315. case websocket_send(Payload, State) of
  316. ok ->
  317. NextState(State, HandlerState2, RemainingData);
  318. stop ->
  319. terminate(State, HandlerState2, stop);
  320. Error = {error, _} ->
  321. terminate(State, HandlerState2, Error)
  322. end;
  323. {reply, Payload, HandlerState2, hibernate} ->
  324. case websocket_send(Payload, State) of
  325. ok ->
  326. NextState(State#state{hibernate=true},
  327. HandlerState2, RemainingData);
  328. stop ->
  329. terminate(State, HandlerState2, stop);
  330. Error = {error, _} ->
  331. terminate(State, HandlerState2, Error)
  332. end;
  333. {stop, HandlerState2} ->
  334. websocket_close(State, HandlerState2, stop)
  335. catch Class:Reason ->
  336. websocket_send_close(State, {crash, Class, Reason}),
  337. handler_terminate(State, HandlerState, {crash, Class, Reason}),
  338. erlang:raise(Class, Reason, erlang:get_stacktrace())
  339. end.
  340. -spec websocket_send(cow_ws:frame(), #state{}) -> ok | stop | {error, atom()}.
  341. websocket_send(Frames, State) when is_list(Frames) ->
  342. websocket_send_many(Frames, State, []);
  343. websocket_send(Frame, #state{socket=Socket, transport=Transport, extensions=Extensions}) ->
  344. Res = Transport:send(Socket, cow_ws:frame(Frame, Extensions)),
  345. case is_close_frame(Frame) of
  346. true -> stop;
  347. false -> Res
  348. end.
  349. websocket_send_many([], #state{socket=Socket, transport=Transport}, Acc) ->
  350. Transport:send(Socket, lists:reverse(Acc));
  351. websocket_send_many([Frame|Tail], State=#state{socket=Socket, transport=Transport,
  352. extensions=Extensions}, Acc0) ->
  353. Acc = [cow_ws:frame(Frame, Extensions)|Acc0],
  354. case is_close_frame(Frame) of
  355. true ->
  356. _ = Transport:send(Socket, lists:reverse(Acc)),
  357. stop;
  358. false ->
  359. websocket_send_many(Tail, State, Acc)
  360. end.
  361. is_close_frame(close) -> true;
  362. is_close_frame({close, _}) -> true;
  363. is_close_frame({close, _, _}) -> true;
  364. is_close_frame(_) -> false.
  365. -spec websocket_close(#state{}, any(), terminate_reason()) -> no_return().
  366. websocket_close(State, HandlerState, Reason) ->
  367. websocket_send_close(State, Reason),
  368. terminate(State, HandlerState, Reason).
  369. websocket_send_close(#state{socket=Socket, transport=Transport,
  370. extensions=Extensions}, Reason) ->
  371. _ = case Reason of
  372. Normal when Normal =:= stop; Normal =:= timeout ->
  373. Transport:send(Socket, cow_ws:frame({close, 1000, <<>>}, Extensions));
  374. {error, badframe} ->
  375. Transport:send(Socket, cow_ws:frame({close, 1002, <<>>}, Extensions));
  376. {error, badencoding} ->
  377. Transport:send(Socket, cow_ws:frame({close, 1007, <<>>}, Extensions));
  378. {crash, _, _} ->
  379. Transport:send(Socket, cow_ws:frame({close, 1011, <<>>}, Extensions));
  380. remote ->
  381. Transport:send(Socket, cow_ws:frame(close, Extensions));
  382. {remote, Code, _} ->
  383. Transport:send(Socket, cow_ws:frame({close, Code, <<>>}, Extensions))
  384. end,
  385. ok.
  386. -spec terminate(#state{}, any(), terminate_reason()) -> no_return().
  387. terminate(State, HandlerState, Reason) ->
  388. handler_terminate(State, HandlerState, Reason),
  389. exit(normal).
  390. handler_terminate(#state{handler=Handler, req=Req}, HandlerState, Reason) ->
  391. cowboy_handler:terminate(Reason, Req, HandlerState, Handler).