impl_base.hpp 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540
  1. //
  2. // Copyright (c) 2016-2019 Vinnie Falco (vinnie dot falco at gmail dot com)
  3. //
  4. // Distributed under the Boost Software License, Version 1.0. (See accompanying
  5. // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
  6. //
  7. // Official repository: https://github.com/boostorg/beast
  8. //
  9. #ifndef BOOST_BEAST_WEBSOCKET_DETAIL_IMPL_BASE_HPP
  10. #define BOOST_BEAST_WEBSOCKET_DETAIL_IMPL_BASE_HPP
  11. #include <boost/beast/websocket/option.hpp>
  12. #include <boost/beast/websocket/detail/frame.hpp>
  13. #include <boost/beast/websocket/detail/pmd_extension.hpp>
  14. #include <boost/beast/core/buffer_traits.hpp>
  15. #include <boost/beast/core/role.hpp>
  16. #include <boost/beast/http/empty_body.hpp>
  17. #include <boost/beast/http/message.hpp>
  18. #include <boost/beast/http/string_body.hpp>
  19. #include <boost/beast/zlib/deflate_stream.hpp>
  20. #include <boost/beast/zlib/inflate_stream.hpp>
  21. #include <boost/beast/core/buffers_suffix.hpp>
  22. #include <boost/beast/core/error.hpp>
  23. #include <boost/beast/core/detail/clamp.hpp>
  24. #include <boost/asio/buffer.hpp>
  25. #include <cstdint>
  26. #include <memory>
  27. #include <stdexcept>
  28. namespace boost {
  29. namespace beast {
  30. namespace websocket {
  31. namespace detail {
  32. //------------------------------------------------------------------------------
  33. template<bool deflateSupported>
  34. struct impl_base;
  35. template<>
  36. struct impl_base<true>
  37. {
  38. // State information for the permessage-deflate extension
  39. struct pmd_type
  40. {
  41. // `true` if current read message is compressed
  42. bool rd_set = false;
  43. std::uint8_t rd_eb_consumed = 0;
  44. zlib::deflate_stream zo;
  45. zlib::inflate_stream zi;
  46. };
  47. std::unique_ptr<pmd_type> pmd_; // pmd settings or nullptr
  48. permessage_deflate pmd_opts_; // local pmd options
  49. detail::pmd_offer pmd_config_; // offer (client) or negotiation (server)
  50. // return `true` if current message is deflated
  51. bool
  52. rd_deflated() const
  53. {
  54. return pmd_ && pmd_->rd_set;
  55. }
  56. // set whether current message is deflated
  57. // returns `false` on protocol violation
  58. bool
  59. rd_deflated(bool rsv1)
  60. {
  61. if(pmd_)
  62. {
  63. pmd_->rd_set = rsv1;
  64. pmd_->rd_eb_consumed = 0;
  65. return true;
  66. }
  67. return ! rsv1; // pmd not negotiated
  68. }
  69. // Compress a buffer sequence
  70. // Returns: `true` if more calls are needed
  71. //
  72. template<class ConstBufferSequence>
  73. bool
  74. deflate(
  75. net::mutable_buffer& out,
  76. buffers_suffix<ConstBufferSequence>& cb,
  77. bool fin,
  78. std::size_t& total_in,
  79. error_code& ec)
  80. {
  81. BOOST_ASSERT(out.size() >= 6);
  82. auto& zo = this->pmd_->zo;
  83. zlib::z_params zs;
  84. zs.avail_in = 0;
  85. zs.next_in = nullptr;
  86. zs.avail_out = out.size();
  87. zs.next_out = out.data();
  88. for(auto in : beast::buffers_range_ref(cb))
  89. {
  90. zs.avail_in = in.size();
  91. if(zs.avail_in == 0)
  92. continue;
  93. zs.next_in = in.data();
  94. zo.write(zs, zlib::Flush::none, ec);
  95. if(ec)
  96. {
  97. if(ec != zlib::error::need_buffers)
  98. return false;
  99. BOOST_ASSERT(zs.avail_out == 0);
  100. BOOST_ASSERT(zs.total_out == out.size());
  101. ec = {};
  102. break;
  103. }
  104. if(zs.avail_out == 0)
  105. {
  106. BOOST_ASSERT(zs.total_out == out.size());
  107. break;
  108. }
  109. BOOST_ASSERT(zs.avail_in == 0);
  110. }
  111. total_in = zs.total_in;
  112. cb.consume(zs.total_in);
  113. if(zs.avail_out > 0 && fin)
  114. {
  115. auto const remain = buffer_bytes(cb);
  116. if(remain == 0)
  117. {
  118. // Inspired by Mark Adler
  119. // https://github.com/madler/zlib/issues/149
  120. //
  121. // VFALCO We could do this flush twice depending
  122. // on how much space is in the output.
  123. zo.write(zs, zlib::Flush::block, ec);
  124. BOOST_ASSERT(! ec || ec == zlib::error::need_buffers);
  125. if(ec == zlib::error::need_buffers)
  126. ec = {};
  127. if(ec)
  128. return false;
  129. if(zs.avail_out >= 6)
  130. {
  131. zo.write(zs, zlib::Flush::sync, ec);
  132. BOOST_ASSERT(! ec);
  133. // remove flush marker
  134. zs.total_out -= 4;
  135. out = net::buffer(out.data(), zs.total_out);
  136. return false;
  137. }
  138. }
  139. }
  140. ec = {};
  141. out = net::buffer(out.data(), zs.total_out);
  142. return true;
  143. }
  144. void
  145. do_context_takeover_write(role_type role)
  146. {
  147. if((role == role_type::client &&
  148. this->pmd_config_.client_no_context_takeover) ||
  149. (role == role_type::server &&
  150. this->pmd_config_.server_no_context_takeover))
  151. {
  152. this->pmd_->zo.reset();
  153. }
  154. }
  155. void
  156. inflate(
  157. zlib::z_params& zs,
  158. error_code& ec)
  159. {
  160. pmd_->zi.write(zs, zlib::Flush::sync, ec);
  161. }
  162. // append the empty block codes and inflate
  163. void
  164. inflate_with_eb(
  165. zlib::z_params& zs,
  166. error_code& ec)
  167. {
  168. const std::uint8_t eb[4] = { 0x00, 0x00, 0xff, 0xff };
  169. zs.next_in = eb + pmd_->rd_eb_consumed;
  170. zs.avail_in = sizeof(eb) - pmd_->rd_eb_consumed;
  171. inflate(zs, ec);
  172. pmd_->rd_eb_consumed += zs.total_in;
  173. BOOST_ASSERT(pmd_->rd_eb_consumed <= sizeof(eb));
  174. if(ec == zlib::error::need_buffers)
  175. ec.clear();
  176. }
  177. void
  178. do_context_takeover_read(role_type role)
  179. {
  180. if((role == role_type::client &&
  181. pmd_config_.server_no_context_takeover) ||
  182. (role == role_type::server &&
  183. pmd_config_.client_no_context_takeover))
  184. {
  185. pmd_->zi.clear();
  186. }
  187. }
  188. template<class Body, class Allocator>
  189. void
  190. build_response_pmd(
  191. http::response<http::string_body>& res,
  192. http::request<Body,
  193. http::basic_fields<Allocator>> const& req);
  194. void
  195. on_response_pmd(
  196. http::response<http::string_body> const& res)
  197. {
  198. detail::pmd_offer offer;
  199. detail::pmd_read(offer, res);
  200. // VFALCO see if offer satisfies pmd_config_,
  201. // return an error if not.
  202. pmd_config_ = offer; // overwrite for now
  203. }
  204. template<class Allocator>
  205. void
  206. do_pmd_config(
  207. http::basic_fields<Allocator> const& h)
  208. {
  209. detail::pmd_read(pmd_config_, h);
  210. }
  211. void
  212. set_option_pmd(permessage_deflate const& o)
  213. {
  214. if( o.server_max_window_bits > 15 ||
  215. o.server_max_window_bits < 9)
  216. BOOST_THROW_EXCEPTION(std::invalid_argument{
  217. "invalid server_max_window_bits"});
  218. if( o.client_max_window_bits > 15 ||
  219. o.client_max_window_bits < 9)
  220. BOOST_THROW_EXCEPTION(std::invalid_argument{
  221. "invalid client_max_window_bits"});
  222. if( o.compLevel < 0 ||
  223. o.compLevel > 9)
  224. BOOST_THROW_EXCEPTION(std::invalid_argument{
  225. "invalid compLevel"});
  226. if( o.memLevel < 1 ||
  227. o.memLevel > 9)
  228. BOOST_THROW_EXCEPTION(std::invalid_argument{
  229. "invalid memLevel"});
  230. pmd_opts_ = o;
  231. }
  232. void
  233. get_option_pmd(permessage_deflate& o)
  234. {
  235. o = pmd_opts_;
  236. }
  237. void
  238. build_request_pmd(http::request<http::empty_body>& req)
  239. {
  240. if(pmd_opts_.client_enable)
  241. {
  242. detail::pmd_offer config;
  243. config.accept = true;
  244. config.server_max_window_bits =
  245. pmd_opts_.server_max_window_bits;
  246. config.client_max_window_bits =
  247. pmd_opts_.client_max_window_bits;
  248. config.server_no_context_takeover =
  249. pmd_opts_.server_no_context_takeover;
  250. config.client_no_context_takeover =
  251. pmd_opts_.client_no_context_takeover;
  252. detail::pmd_write(req, config);
  253. }
  254. }
  255. void
  256. open_pmd(role_type role)
  257. {
  258. if(((role == role_type::client &&
  259. pmd_opts_.client_enable) ||
  260. (role == role_type::server &&
  261. pmd_opts_.server_enable)) &&
  262. pmd_config_.accept)
  263. {
  264. detail::pmd_normalize(pmd_config_);
  265. pmd_.reset(::new pmd_type);
  266. if(role == role_type::client)
  267. {
  268. pmd_->zi.reset(
  269. pmd_config_.server_max_window_bits);
  270. pmd_->zo.reset(
  271. pmd_opts_.compLevel,
  272. pmd_config_.client_max_window_bits,
  273. pmd_opts_.memLevel,
  274. zlib::Strategy::normal);
  275. }
  276. else
  277. {
  278. pmd_->zi.reset(
  279. pmd_config_.client_max_window_bits);
  280. pmd_->zo.reset(
  281. pmd_opts_.compLevel,
  282. pmd_config_.server_max_window_bits,
  283. pmd_opts_.memLevel,
  284. zlib::Strategy::normal);
  285. }
  286. }
  287. }
  288. void close_pmd()
  289. {
  290. pmd_.reset();
  291. }
  292. bool pmd_enabled() const
  293. {
  294. return pmd_ != nullptr;
  295. }
  296. bool should_compress(std::size_t n_bytes) const
  297. {
  298. return n_bytes >= pmd_opts_.msg_size_threshold;
  299. }
  300. std::size_t
  301. read_size_hint_pmd(
  302. std::size_t initial_size,
  303. bool rd_done,
  304. std::size_t rd_msg_max,
  305. std::uint64_t rd_remain,
  306. frame_header const& rd_fh) const
  307. {
  308. using beast::detail::clamp;
  309. std::size_t result;
  310. BOOST_ASSERT(initial_size > 0);
  311. if(! pmd_ || (! rd_done && ! pmd_->rd_set))
  312. {
  313. // current message is uncompressed
  314. if(rd_done)
  315. {
  316. // first message frame
  317. result = initial_size;
  318. goto done;
  319. }
  320. else if(rd_fh.fin)
  321. {
  322. // last message frame
  323. BOOST_ASSERT(rd_remain > 0);
  324. result = clamp(rd_remain);
  325. goto done;
  326. }
  327. }
  328. result = (std::max)(
  329. initial_size, clamp(rd_remain));
  330. done:
  331. BOOST_ASSERT(result != 0);
  332. // Ensure offered size does not exceed rd_msg_max
  333. if(rd_msg_max)
  334. result = clamp(result, rd_msg_max);
  335. return result;
  336. }
  337. void
  338. get_config_pmd(detail::pmd_offer &pmd)
  339. {
  340. pmd = pmd_config_;
  341. }
  342. };
  343. //------------------------------------------------------------------------------
  344. template<>
  345. struct impl_base<false>
  346. {
  347. // These stubs are for avoiding linking in the zlib
  348. // code when permessage-deflate is not enabled.
  349. bool
  350. rd_deflated() const
  351. {
  352. return false;
  353. }
  354. bool
  355. rd_deflated(bool rsv1)
  356. {
  357. return ! rsv1;
  358. }
  359. template<class ConstBufferSequence>
  360. bool
  361. deflate(
  362. net::mutable_buffer&,
  363. buffers_suffix<ConstBufferSequence>&,
  364. bool,
  365. std::size_t&,
  366. error_code&)
  367. {
  368. return false;
  369. }
  370. void
  371. do_context_takeover_write(role_type)
  372. {
  373. }
  374. void
  375. inflate(
  376. zlib::z_params&,
  377. error_code&)
  378. {
  379. }
  380. void
  381. inflate_with_eb(
  382. zlib::z_params&,
  383. error_code&)
  384. {
  385. }
  386. void
  387. do_context_takeover_read(role_type)
  388. {
  389. }
  390. template<class Body, class Allocator>
  391. void
  392. build_response_pmd(
  393. http::response<http::string_body>&,
  394. http::request<Body,
  395. http::basic_fields<Allocator>> const&);
  396. void
  397. on_response_pmd(
  398. http::response<http::string_body> const&)
  399. {
  400. }
  401. template<class Allocator>
  402. void
  403. do_pmd_config(http::basic_fields<Allocator> const&)
  404. {
  405. }
  406. void
  407. set_option_pmd(permessage_deflate const& o)
  408. {
  409. if(o.client_enable || o.server_enable)
  410. {
  411. // Can't enable permessage-deflate
  412. // when deflateSupported == false.
  413. //
  414. BOOST_THROW_EXCEPTION(std::invalid_argument{
  415. "deflateSupported == false"});
  416. }
  417. }
  418. void
  419. get_option_pmd(permessage_deflate& o)
  420. {
  421. o = {};
  422. o.client_enable = false;
  423. o.server_enable = false;
  424. }
  425. void
  426. build_request_pmd(
  427. http::request<http::empty_body>&)
  428. {
  429. }
  430. void open_pmd(role_type)
  431. {
  432. }
  433. void close_pmd()
  434. {
  435. }
  436. bool pmd_enabled() const
  437. {
  438. return false;
  439. }
  440. bool should_compress(std::size_t) const
  441. {
  442. return false;
  443. }
  444. std::size_t
  445. read_size_hint_pmd(
  446. std::size_t initial_size,
  447. bool rd_done,
  448. std::size_t rd_msg_max,
  449. std::uint64_t rd_remain,
  450. frame_header const& rd_fh) const
  451. {
  452. using beast::detail::clamp;
  453. std::size_t result;
  454. BOOST_ASSERT(initial_size > 0);
  455. // compression is not supported
  456. if(rd_done)
  457. {
  458. // first message frame
  459. result = initial_size;
  460. }
  461. else if(rd_fh.fin)
  462. {
  463. // last message frame
  464. BOOST_ASSERT(rd_remain > 0);
  465. result = clamp(rd_remain);
  466. }
  467. else
  468. {
  469. result = (std::max)(
  470. initial_size, clamp(rd_remain));
  471. }
  472. BOOST_ASSERT(result != 0);
  473. // Ensure offered size does not exceed rd_msg_max
  474. if(rd_msg_max)
  475. result = clamp(result, rd_msg_max);
  476. return result;
  477. }
  478. void
  479. get_config_pmd(detail::pmd_offer &pmd)
  480. {
  481. pmd = {};
  482. }
  483. };
  484. } // detail
  485. } // websocket
  486. } // beast
  487. } // boost
  488. #endif