scheduler_kist.c 27 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784
  1. /* Copyright (c) 2017, The Tor Project, Inc. */
  2. /* See LICENSE for licensing information */
  3. #define SCHEDULER_KIST_PRIVATE
  4. #include <event2/event.h>
  5. #include "or.h"
  6. #include "buffers.h"
  7. #include "config.h"
  8. #include "connection.h"
  9. #include "networkstatus.h"
  10. #define TOR_CHANNEL_INTERNAL_
  11. #include "channel.h"
  12. #include "channeltls.h"
  13. #define SCHEDULER_PRIVATE_
  14. #include "scheduler.h"
  15. #define TLS_PER_CELL_OVERHEAD 29
  16. #ifdef HAVE_KIST_SUPPORT
  17. /* Kernel interface needed for KIST. */
  18. #include <netinet/tcp.h>
  19. #include <linux/sockios.h>
  20. #endif /* HAVE_KIST_SUPPORT */
  21. /*****************************************************************************
  22. * Data structures and supporting functions
  23. *****************************************************************************/
  24. #ifdef HAVE_KIST_SUPPORT
  25. /* Indicate if KIST lite mode is on or off. We can disable it at runtime.
  26. * Important to have because of the KISTLite -> KIST possible transition. */
  27. static unsigned int kist_lite_mode = 0;
  28. /* Indicate if we don't have the kernel support. This can happen if the kernel
  29. * changed and it doesn't recognized the values passed to the syscalls needed
  30. * by KIST. In that case, fallback to the naive approach. */
  31. static unsigned int kist_no_kernel_support = 0;
  32. #else /* !(defined(HAVE_KIST_SUPPORT)) */
  33. static unsigned int kist_lite_mode = 1;
  34. #endif /* defined(HAVE_KIST_SUPPORT) */
  35. /* Socket_table hash table stuff. The socket_table keeps track of per-socket
  36. * limit information imposed by kist and used by kist. */
  37. static uint32_t
  38. socket_table_ent_hash(const socket_table_ent_t *ent)
  39. {
  40. return (uint32_t)ent->chan->global_identifier;
  41. }
  42. static unsigned
  43. socket_table_ent_eq(const socket_table_ent_t *a, const socket_table_ent_t *b)
  44. {
  45. return a->chan == b->chan;
  46. }
  47. typedef HT_HEAD(socket_table_s, socket_table_ent_s) socket_table_t;
  48. static socket_table_t socket_table = HT_INITIALIZER();
  49. HT_PROTOTYPE(socket_table_s, socket_table_ent_s, node, socket_table_ent_hash,
  50. socket_table_ent_eq)
  51. HT_GENERATE2(socket_table_s, socket_table_ent_s, node, socket_table_ent_hash,
  52. socket_table_ent_eq, 0.6, tor_reallocarray, tor_free_)
  53. /* outbuf_table hash table stuff. The outbuf_table keeps track of which
  54. * channels have data sitting in their outbuf so the kist scheduler can force
  55. * a write from outbuf to kernel periodically during a run and at the end of a
  56. * run. */
  57. typedef struct outbuf_table_ent_s {
  58. HT_ENTRY(outbuf_table_ent_s) node;
  59. channel_t *chan;
  60. } outbuf_table_ent_t;
  61. static uint32_t
  62. outbuf_table_ent_hash(const outbuf_table_ent_t *ent)
  63. {
  64. return (uint32_t)ent->chan->global_identifier;
  65. }
  66. static unsigned
  67. outbuf_table_ent_eq(const outbuf_table_ent_t *a, const outbuf_table_ent_t *b)
  68. {
  69. return a->chan->global_identifier == b->chan->global_identifier;
  70. }
  71. HT_PROTOTYPE(outbuf_table_s, outbuf_table_ent_s, node, outbuf_table_ent_hash,
  72. outbuf_table_ent_eq)
  73. HT_GENERATE2(outbuf_table_s, outbuf_table_ent_s, node, outbuf_table_ent_hash,
  74. outbuf_table_ent_eq, 0.6, tor_reallocarray, tor_free_)
  75. /*****************************************************************************
  76. * Other internal data
  77. *****************************************************************************/
  78. /* Store the last time the scheduler was run so we can decide when to next run
  79. * the scheduler based on it. */
  80. static monotime_t scheduler_last_run;
  81. /* This is a factor for the extra_space calculation in kist per-socket limits.
  82. * It is the number of extra congestion windows we want to write to the kernel.
  83. */
  84. static double sock_buf_size_factor = 1.0;
  85. /* How often the scheduler runs. */
  86. STATIC int32_t sched_run_interval = 10;
  87. /*****************************************************************************
  88. * Internally called function implementations
  89. *****************************************************************************/
  90. /* Little helper function to get the length of a channel's output buffer */
  91. static inline size_t
  92. channel_outbuf_length(channel_t *chan)
  93. {
  94. /* In theory, this can not happen because we can not scheduler a channel
  95. * without a connection that has its outbuf initialized. Just in case, bug
  96. * on this so we can understand a bit more why it happened. */
  97. if (BUG(BASE_CHAN_TO_TLS(chan)->conn == NULL)) {
  98. return 0;
  99. }
  100. return buf_datalen(TO_CONN(BASE_CHAN_TO_TLS(chan)->conn)->outbuf);
  101. }
  102. /* Little helper function for HT_FOREACH_FN. */
  103. static int
  104. each_channel_write_to_kernel(outbuf_table_ent_t *ent, void *data)
  105. {
  106. (void) data; /* Make compiler happy. */
  107. channel_write_to_kernel(ent->chan);
  108. return 0; /* Returning non-zero removes the element from the table. */
  109. }
  110. /* Free the given outbuf table entry ent. */
  111. static int
  112. free_outbuf_info_by_ent(outbuf_table_ent_t *ent, void *data)
  113. {
  114. (void) data; /* Make compiler happy. */
  115. log_debug(LD_SCHED, "Freeing outbuf table entry from chan=%" PRIu64,
  116. ent->chan->global_identifier);
  117. tor_free(ent);
  118. return 1; /* So HT_FOREACH_FN will remove the element */
  119. }
  120. /* Free the given socket table entry ent. */
  121. static int
  122. free_socket_info_by_ent(socket_table_ent_t *ent, void *data)
  123. {
  124. (void) data; /* Make compiler happy. */
  125. log_debug(LD_SCHED, "Freeing socket table entry from chan=%" PRIu64,
  126. ent->chan->global_identifier);
  127. tor_free(ent);
  128. return 1; /* So HT_FOREACH_FN will remove the element */
  129. }
  130. /* Clean up socket_table. Probably because the KIST sched impl is going away */
  131. static void
  132. free_all_socket_info(void)
  133. {
  134. HT_FOREACH_FN(socket_table_s, &socket_table, free_socket_info_by_ent, NULL);
  135. }
  136. static socket_table_ent_t *
  137. socket_table_search(socket_table_t *table, const channel_t *chan)
  138. {
  139. socket_table_ent_t search, *ent = NULL;
  140. search.chan = chan;
  141. ent = HT_FIND(socket_table_s, table, &search);
  142. return ent;
  143. }
  144. /* Free a socket entry in table for the given chan. */
  145. static void
  146. free_socket_info_by_chan(socket_table_t *table, const channel_t *chan)
  147. {
  148. socket_table_ent_t *ent = NULL;
  149. ent = socket_table_search(table, chan);
  150. if (!ent)
  151. return;
  152. log_debug(LD_SCHED, "scheduler free socket info for chan=%" PRIu64,
  153. chan->global_identifier);
  154. HT_REMOVE(socket_table_s, table, ent);
  155. free_socket_info_by_ent(ent, NULL);
  156. }
  157. /* Perform system calls for the given socket in order to calculate kist's
  158. * per-socket limit as documented in the function body. */
  159. MOCK_IMPL(void,
  160. update_socket_info_impl, (socket_table_ent_t *ent))
  161. {
  162. #ifdef HAVE_KIST_SUPPORT
  163. int64_t tcp_space, extra_space;
  164. const tor_socket_t sock =
  165. TO_CONN(BASE_CHAN_TO_TLS((channel_t *) ent->chan)->conn)->s;
  166. struct tcp_info tcp;
  167. socklen_t tcp_info_len = sizeof(tcp);
  168. if (kist_no_kernel_support || kist_lite_mode) {
  169. goto fallback;
  170. }
  171. /* Gather information */
  172. if (getsockopt(sock, SOL_TCP, TCP_INFO, (void *)&(tcp), &tcp_info_len) < 0) {
  173. if (errno == EINVAL) {
  174. /* Oops, this option is not provided by the kernel, we'll have to
  175. * disable KIST entirely. This can happen if tor was built on a machine
  176. * with the support previously or if the kernel was updated and lost the
  177. * support. */
  178. log_notice(LD_SCHED, "Looks like our kernel doesn't have the support "
  179. "for KIST anymore. We will fallback to the naive "
  180. "approach. Set KISTSchedRunInterval=-1 to disable "
  181. "KIST.");
  182. kist_no_kernel_support = 1;
  183. }
  184. goto fallback;
  185. }
  186. if (ioctl(sock, SIOCOUTQNSD, &(ent->notsent)) < 0) {
  187. if (errno == EINVAL) {
  188. log_notice(LD_SCHED, "Looks like our kernel doesn't have the support "
  189. "for KIST anymore. We will fallback to the naive "
  190. "approach. Set KISTSchedRunInterval=-1 to disable "
  191. "KIST.");
  192. /* Same reason as the above. */
  193. kist_no_kernel_support = 1;
  194. }
  195. goto fallback;
  196. }
  197. ent->cwnd = tcp.tcpi_snd_cwnd;
  198. ent->unacked = tcp.tcpi_unacked;
  199. ent->mss = tcp.tcpi_snd_mss;
  200. /* In order to reduce outbound kernel queuing delays and thus improve Tor's
  201. * ability to prioritize circuits, KIST wants to set a socket write limit
  202. * that is near the amount that the socket would be able to immediately send
  203. * into the Internet.
  204. *
  205. * We first calculate how much the socket could send immediately (assuming
  206. * completely full packets) according to the congestion window and the number
  207. * of unacked packets.
  208. *
  209. * Then we add a little extra space in a controlled way. We do this so any
  210. * when the kernel gets ACKs back for data currently sitting in the "TCP
  211. * space", it will already have some more data to send immediately. It will
  212. * not have to wait for the scheduler to run again. The amount of extra space
  213. * is a factor of the current congestion window. With the suggested
  214. * sock_buf_size_factor value of 1.0, we allow at most 2*cwnd bytes to sit in
  215. * the kernel: 1 cwnd on the wire waiting for ACKs and 1 cwnd ready and
  216. * waiting to be sent when those ACKs finally come.
  217. *
  218. * In the below diagram, we see some bytes in the TCP-space (denoted by '*')
  219. * that have be sent onto the wire and are waiting for ACKs. We have a little
  220. * more room in "TCP space" that we can fill with data that will be
  221. * immediately sent. We also see the "extra space" KIST calculates. The sum
  222. * of the empty "TCP space" and the "extra space" is the kist-imposed write
  223. * limit for this socket.
  224. *
  225. * <----------------kernel-outbound-socket-queue----------------|
  226. * <*********---------------------------------------------------|
  227. * <----TCP-space-----|----extra-space-----|
  228. * <------------------|
  229. * ^ ((cwnd - unacked) * mss) bytes
  230. * |--------------------|
  231. * ^ ((cwnd * mss) * factor) bytes
  232. */
  233. /* Assuming all these values from the kernel are uint32_t still, they will
  234. * always fit into a int64_t tcp_space variable. */
  235. tcp_space = (ent->cwnd - ent->unacked) * (int64_t)ent->mss;
  236. if (tcp_space < 0) {
  237. tcp_space = 0;
  238. }
  239. /* The clamp_double_to_int64 makes sure the first part fits into an int64_t.
  240. * In fact, if sock_buf_size_factor is still forced to be >= 0 in config.c,
  241. * then it will be positive for sure. Then we subtract a uint32_t. At worst
  242. * we end up negative, but then we just set extra_space to 0 in the sanity
  243. * check.*/
  244. extra_space =
  245. clamp_double_to_int64(
  246. (ent->cwnd * (int64_t)ent->mss) * sock_buf_size_factor) -
  247. ent->notsent;
  248. if (extra_space < 0) {
  249. extra_space = 0;
  250. }
  251. /* Finally we set the limit. Adding two positive int64_t together will always
  252. * fit in an uint64_t. */
  253. ent->limit = (uint64_t)tcp_space + (uint64_t)extra_space;
  254. return;
  255. #else /* !(defined(HAVE_KIST_SUPPORT)) */
  256. goto fallback;
  257. #endif /* defined(HAVE_KIST_SUPPORT) */
  258. fallback:
  259. /* If all of a sudden we don't have kist support, we just zero out all the
  260. * variables for this socket since we don't know what they should be.
  261. * We also effectively allow the socket write as much as it wants to the
  262. * kernel, effectively returning it to vanilla scheduler behavior. Writes
  263. * are still limited by the lower layers of Tor: socket blocking, full
  264. * outbuf, etc. */
  265. ent->cwnd = ent->unacked = ent->mss = ent->notsent = 0;
  266. ent->limit = INT_MAX;
  267. }
  268. /* Given a socket that isn't in the table, add it.
  269. * Given a socket that is in the table, reinit values that need init-ing
  270. * every scheduling run
  271. */
  272. static void
  273. init_socket_info(socket_table_t *table, const channel_t *chan)
  274. {
  275. socket_table_ent_t *ent = NULL;
  276. ent = socket_table_search(table, chan);
  277. if (!ent) {
  278. log_debug(LD_SCHED, "scheduler init socket info for chan=%" PRIu64,
  279. chan->global_identifier);
  280. ent = tor_malloc_zero(sizeof(*ent));
  281. ent->chan = chan;
  282. HT_INSERT(socket_table_s, table, ent);
  283. }
  284. ent->written = 0;
  285. }
  286. /* Add chan to the outbuf table if it isn't already in it. If it is, then don't
  287. * do anything */
  288. static void
  289. outbuf_table_add(outbuf_table_t *table, channel_t *chan)
  290. {
  291. outbuf_table_ent_t search, *ent;
  292. search.chan = chan;
  293. ent = HT_FIND(outbuf_table_s, table, &search);
  294. if (!ent) {
  295. log_debug(LD_SCHED, "scheduler init outbuf info for chan=%" PRIu64,
  296. chan->global_identifier);
  297. ent = tor_malloc_zero(sizeof(*ent));
  298. ent->chan = chan;
  299. HT_INSERT(outbuf_table_s, table, ent);
  300. }
  301. }
  302. static void
  303. outbuf_table_remove(outbuf_table_t *table, channel_t *chan)
  304. {
  305. outbuf_table_ent_t search, *ent;
  306. search.chan = chan;
  307. ent = HT_FIND(outbuf_table_s, table, &search);
  308. if (ent) {
  309. HT_REMOVE(outbuf_table_s, table, ent);
  310. free_outbuf_info_by_ent(ent, NULL);
  311. }
  312. }
  313. /* Set the scheduler running interval. */
  314. static void
  315. set_scheduler_run_interval(const networkstatus_t *ns)
  316. {
  317. int32_t old_sched_run_interval = sched_run_interval;
  318. sched_run_interval = kist_scheduler_run_interval(ns);
  319. if (old_sched_run_interval != sched_run_interval) {
  320. log_info(LD_SCHED, "Scheduler KIST changing its running interval "
  321. "from %" PRId32 " to %" PRId32,
  322. old_sched_run_interval, sched_run_interval);
  323. }
  324. }
  325. /* Return true iff the channel associated socket can write to the kernel that
  326. * is hasn't reach the limit. */
  327. static int
  328. socket_can_write(socket_table_t *table, const channel_t *chan)
  329. {
  330. socket_table_ent_t *ent = NULL;
  331. ent = socket_table_search(table, chan);
  332. IF_BUG_ONCE(!ent) {
  333. return 1; // Just return true, saying that kist wouldn't limit the socket
  334. }
  335. /* We previously caclulated a write limit for this socket. In the below
  336. * calculation, first determine how much room is left in bytes. Then divide
  337. * that by the amount of space a cell takes. If there's room for at least 1
  338. * cell, then KIST will allow the socket to write. */
  339. int64_t kist_limit_space =
  340. (int64_t) (ent->limit - ent->written) /
  341. (CELL_MAX_NETWORK_SIZE + TLS_PER_CELL_OVERHEAD);
  342. return kist_limit_space > 0;
  343. }
  344. /* Update the channel's socket kernel information. */
  345. static void
  346. update_socket_info(socket_table_t *table, const channel_t *chan)
  347. {
  348. socket_table_ent_t *ent = NULL;
  349. ent = socket_table_search(table, chan);
  350. IF_BUG_ONCE(!ent) {
  351. return; // Whelp. Entry didn't exist for some reason so nothing to do.
  352. }
  353. update_socket_info_impl(ent);
  354. }
  355. /* Increament the channel's socket written value by the number of bytes. */
  356. static void
  357. update_socket_written(socket_table_t *table, channel_t *chan, size_t bytes)
  358. {
  359. socket_table_ent_t *ent = NULL;
  360. ent = socket_table_search(table, chan);
  361. IF_BUG_ONCE(!ent) {
  362. return; // Whelp. Entry didn't exist so nothing to do.
  363. }
  364. log_debug(LD_SCHED, "chan=%" PRIu64 " wrote %lu bytes, old was %" PRIi64,
  365. chan->global_identifier, (unsigned long) bytes, ent->written);
  366. ent->written += bytes;
  367. }
  368. /*
  369. * A naive KIST impl would write every single cell all the way to the kernel.
  370. * That would take a lot of system calls. A less bad KIST impl would write a
  371. * channel's outbuf to the kernel only when we are switching to a different
  372. * channel. But if we have two channels with equal priority, we end up writing
  373. * one cell for each and bouncing back and forth. This KIST impl avoids that
  374. * by only writing a channel's outbuf to the kernel if it has 8 cells or more
  375. * in it.
  376. */
  377. MOCK_IMPL(int, channel_should_write_to_kernel,
  378. (outbuf_table_t *table, channel_t *chan))
  379. {
  380. outbuf_table_add(table, chan);
  381. /* CELL_MAX_NETWORK_SIZE * 8 because we only want to write the outbuf to the
  382. * kernel if there's 8 or more cells waiting */
  383. return channel_outbuf_length(chan) > (CELL_MAX_NETWORK_SIZE * 8);
  384. }
  385. /* Little helper function to write a channel's outbuf all the way to the
  386. * kernel */
  387. MOCK_IMPL(void, channel_write_to_kernel, (channel_t *chan))
  388. {
  389. log_debug(LD_SCHED, "Writing %lu bytes to kernel for chan %" PRIu64,
  390. (unsigned long)channel_outbuf_length(chan),
  391. chan->global_identifier);
  392. connection_handle_write(TO_CONN(BASE_CHAN_TO_TLS(chan)->conn), 0);
  393. }
  394. /* Return true iff the scheduler has work to perform. */
  395. static int
  396. have_work(void)
  397. {
  398. smartlist_t *cp = get_channels_pending();
  399. IF_BUG_ONCE(!cp) {
  400. return 0; // channels_pending doesn't exist so... no work?
  401. }
  402. return smartlist_len(cp) > 0;
  403. }
  404. /* Function of the scheduler interface: free_all() */
  405. static void
  406. kist_free_all(void)
  407. {
  408. free_all_socket_info();
  409. }
  410. /* Function of the scheduler interface: on_channel_free() */
  411. static void
  412. kist_on_channel_free(const channel_t *chan)
  413. {
  414. free_socket_info_by_chan(&socket_table, chan);
  415. }
  416. /* Function of the scheduler interface: on_new_consensus() */
  417. static void
  418. kist_scheduler_on_new_consensus(const networkstatus_t *old_c,
  419. const networkstatus_t *new_c)
  420. {
  421. (void) old_c;
  422. (void) new_c;
  423. set_scheduler_run_interval(new_c);
  424. }
  425. /* Function of the scheduler interface: on_new_options() */
  426. static void
  427. kist_scheduler_on_new_options(void)
  428. {
  429. sock_buf_size_factor = get_options()->KISTSockBufSizeFactor;
  430. /* Calls kist_scheduler_run_interval which calls get_options(). */
  431. set_scheduler_run_interval(NULL);
  432. }
  433. /* Function of the scheduler interface: init() */
  434. static void
  435. kist_scheduler_init(void)
  436. {
  437. kist_scheduler_on_new_options();
  438. IF_BUG_ONCE(sched_run_interval <= 0) {
  439. log_warn(LD_SCHED, "We are initing the KIST scheduler and noticed the "
  440. "KISTSchedRunInterval is telling us to not use KIST. That's "
  441. "weird! We'll continue using KIST, but at %dms.",
  442. KIST_SCHED_RUN_INTERVAL_DEFAULT);
  443. sched_run_interval = KIST_SCHED_RUN_INTERVAL_DEFAULT;
  444. }
  445. }
  446. /* Function of the scheduler interface: schedule() */
  447. static void
  448. kist_scheduler_schedule(void)
  449. {
  450. struct monotime_t now;
  451. struct timeval next_run;
  452. int64_t diff;
  453. if (!have_work()) {
  454. return;
  455. }
  456. monotime_get(&now);
  457. /* If time is really monotonic, we can never have now being smaller than the
  458. * last scheduler run. The scheduler_last_run at first is set to 0. */
  459. diff = monotime_diff_msec(&scheduler_last_run, &now);
  460. IF_BUG_ONCE(diff < 0) {
  461. diff = 0;
  462. }
  463. if (diff < sched_run_interval) {
  464. next_run.tv_sec = 0;
  465. /* Takes 1000 ms -> us. This will always be valid because diff can NOT be
  466. * negative and can NOT be smaller than sched_run_interval so values can
  467. * only go from 1000 usec (diff set to interval - 1) to 100000 usec (diff
  468. * set to 0) for the maximum allowed run interval (100ms). */
  469. next_run.tv_usec = (int) ((sched_run_interval - diff) * 1000);
  470. /* Readding an event reschedules it. It does not duplicate it. */
  471. scheduler_ev_add(&next_run);
  472. } else {
  473. scheduler_ev_active(EV_TIMEOUT);
  474. }
  475. }
  476. /* Function of the scheduler interface: run() */
  477. static void
  478. kist_scheduler_run(void)
  479. {
  480. /* Define variables */
  481. channel_t *chan = NULL; // current working channel
  482. /* The last distinct chan served in a sched loop. */
  483. channel_t *prev_chan = NULL;
  484. int flush_result; // temporarily store results from flush calls
  485. /* Channels to be readding to pending at the end */
  486. smartlist_t *to_readd = NULL;
  487. smartlist_t *cp = get_channels_pending();
  488. outbuf_table_t outbuf_table = HT_INITIALIZER();
  489. /* For each pending channel, collect new kernel information */
  490. SMARTLIST_FOREACH_BEGIN(cp, const channel_t *, pchan) {
  491. init_socket_info(&socket_table, pchan);
  492. update_socket_info(&socket_table, pchan);
  493. } SMARTLIST_FOREACH_END(pchan);
  494. log_debug(LD_SCHED, "Running the scheduler. %d channels pending",
  495. smartlist_len(cp));
  496. /* The main scheduling loop. Loop until there are no more pending channels */
  497. while (smartlist_len(cp) > 0) {
  498. /* get best channel */
  499. chan = smartlist_pqueue_pop(cp, scheduler_compare_channels,
  500. offsetof(channel_t, sched_heap_idx));
  501. IF_BUG_ONCE(!chan) {
  502. /* Some-freaking-how a NULL got into the channels_pending. That should
  503. * never happen, but it should be harmless to ignore it and keep looping.
  504. */
  505. continue;
  506. }
  507. outbuf_table_add(&outbuf_table, chan);
  508. /* if we have switched to a new channel, consider writing the previous
  509. * channel's outbuf to the kernel. */
  510. if (!prev_chan) {
  511. prev_chan = chan;
  512. }
  513. if (prev_chan != chan) {
  514. if (channel_should_write_to_kernel(&outbuf_table, prev_chan)) {
  515. channel_write_to_kernel(prev_chan);
  516. outbuf_table_remove(&outbuf_table, prev_chan);
  517. }
  518. prev_chan = chan;
  519. }
  520. /* Only flush and write if the per-socket limit hasn't been hit */
  521. if (socket_can_write(&socket_table, chan)) {
  522. /* flush to channel queue/outbuf */
  523. flush_result = (int)channel_flush_some_cells(chan, 1); // 1 for num cells
  524. /* flush_result has the # cells flushed */
  525. if (flush_result > 0) {
  526. update_socket_written(&socket_table, chan, flush_result *
  527. (CELL_MAX_NETWORK_SIZE + TLS_PER_CELL_OVERHEAD));
  528. }
  529. /* XXX What if we didn't flush? */
  530. }
  531. /* Decide what to do with the channel now */
  532. if (!channel_more_to_flush(chan) &&
  533. !socket_can_write(&socket_table, chan)) {
  534. /* Case 1: no more cells to send, and cannot write */
  535. /*
  536. * You might think we should put the channel in SCHED_CHAN_IDLE. And
  537. * you're probably correct. While implementing KIST, we found that the
  538. * scheduling system would sometimes lose track of channels when we did
  539. * that. We suspect it has to do with the difference between "can't
  540. * write because socket/outbuf is full" and KIST's "can't write because
  541. * we've arbitrarily decided that that's enough for now." Sometimes
  542. * channels run out of cells at the same time they hit their
  543. * kist-imposed write limit and maybe the rest of Tor doesn't put the
  544. * channel back in pending when it is supposed to.
  545. *
  546. * This should be investigated again. It is as simple as changing
  547. * SCHED_CHAN_WAITING_FOR_CELLS to SCHED_CHAN_IDLE and seeing if Tor
  548. * starts having serious throughput issues. Best done in shadow/chutney.
  549. */
  550. chan->scheduler_state = SCHED_CHAN_WAITING_FOR_CELLS;
  551. log_debug(LD_SCHED, "chan=%" PRIu64 " now waiting_for_cells",
  552. chan->global_identifier);
  553. } else if (!channel_more_to_flush(chan)) {
  554. /* Case 2: no more cells to send, but still open for writes */
  555. chan->scheduler_state = SCHED_CHAN_WAITING_FOR_CELLS;
  556. log_debug(LD_SCHED, "chan=%" PRIu64 " now waiting_for_cells",
  557. chan->global_identifier);
  558. } else if (!socket_can_write(&socket_table, chan)) {
  559. /* Case 3: cells to send, but cannot write */
  560. /*
  561. * We want to write, but can't. If we left the channel in
  562. * channels_pending, we would never exit the scheduling loop. We need to
  563. * add it to a temporary list of channels to be added to channels_pending
  564. * after the scheduling loop is over. They can hopefully be taken care of
  565. * in the next scheduling round.
  566. */
  567. chan->scheduler_state = SCHED_CHAN_WAITING_TO_WRITE;
  568. if (!to_readd) {
  569. to_readd = smartlist_new();
  570. }
  571. smartlist_add(to_readd, chan);
  572. log_debug(LD_SCHED, "chan=%" PRIu64 " now waiting_to_write",
  573. chan->global_identifier);
  574. } else {
  575. /* Case 4: cells to send, and still open for writes */
  576. chan->scheduler_state = SCHED_CHAN_PENDING;
  577. smartlist_pqueue_add(cp, scheduler_compare_channels,
  578. offsetof(channel_t, sched_heap_idx), chan);
  579. }
  580. } /* End of main scheduling loop */
  581. /* Write the outbuf of any channels that still have data */
  582. HT_FOREACH_FN(outbuf_table_s, &outbuf_table, each_channel_write_to_kernel,
  583. NULL);
  584. /* We are done with it. */
  585. HT_FOREACH_FN(outbuf_table_s, &outbuf_table, free_outbuf_info_by_ent, NULL);
  586. HT_CLEAR(outbuf_table_s, &outbuf_table);
  587. log_debug(LD_SCHED, "len pending=%d, len to_readd=%d",
  588. smartlist_len(cp),
  589. (to_readd ? smartlist_len(to_readd) : -1));
  590. /* Readd any channels we need to */
  591. if (to_readd) {
  592. SMARTLIST_FOREACH_BEGIN(to_readd, channel_t *, readd_chan) {
  593. readd_chan->scheduler_state = SCHED_CHAN_PENDING;
  594. if (!smartlist_contains(cp, readd_chan)) {
  595. smartlist_pqueue_add(cp, scheduler_compare_channels,
  596. offsetof(channel_t, sched_heap_idx), readd_chan);
  597. }
  598. } SMARTLIST_FOREACH_END(readd_chan);
  599. smartlist_free(to_readd);
  600. }
  601. monotime_get(&scheduler_last_run);
  602. }
  603. /*****************************************************************************
  604. * Externally called function implementations not called through scheduler_t
  605. *****************************************************************************/
  606. /* Stores the kist scheduler function pointers. */
  607. static scheduler_t kist_scheduler = {
  608. .free_all = kist_free_all,
  609. .on_channel_free = kist_on_channel_free,
  610. .init = kist_scheduler_init,
  611. .on_new_consensus = kist_scheduler_on_new_consensus,
  612. .schedule = kist_scheduler_schedule,
  613. .run = kist_scheduler_run,
  614. .on_new_options = kist_scheduler_on_new_options,
  615. };
  616. /* Return the KIST scheduler object. If it didn't exists, return a newly
  617. * allocated one but init() is not called. */
  618. scheduler_t *
  619. get_kist_scheduler(void)
  620. {
  621. return &kist_scheduler;
  622. }
  623. /* Check the torrc for the configured KIST scheduler run interval.
  624. * - If torrc < 0, then return the negative torrc value (shouldn't even be
  625. * using KIST)
  626. * - If torrc > 0, then return the positive torrc value (should use KIST, and
  627. * should use the set value)
  628. * - If torrc == 0, then look in the consensus for what the value should be.
  629. * - If == 0, then return -1 (don't use KIST)
  630. * - If > 0, then return the positive consensus value
  631. * - If consensus doesn't say anything, return 10 milliseconds
  632. */
  633. int32_t
  634. kist_scheduler_run_interval(const networkstatus_t *ns)
  635. {
  636. int32_t run_interval = (int32_t)get_options()->KISTSchedRunInterval;
  637. if (run_interval != 0) {
  638. log_debug(LD_SCHED, "Found KISTSchedRunInterval in torrc. Using that.");
  639. return run_interval;
  640. }
  641. log_debug(LD_SCHED, "Turning to the consensus for KISTSchedRunInterval");
  642. run_interval = networkstatus_get_param(ns, "KISTSchedRunInterval",
  643. KIST_SCHED_RUN_INTERVAL_DEFAULT,
  644. KIST_SCHED_RUN_INTERVAL_MIN,
  645. KIST_SCHED_RUN_INTERVAL_MAX);
  646. if (run_interval <= 0)
  647. return -1;
  648. return run_interval;
  649. }
  650. /* Set KISTLite mode that is KIST without kernel support. */
  651. void
  652. scheduler_kist_set_lite_mode(void)
  653. {
  654. kist_lite_mode = 1;
  655. log_info(LD_SCHED,
  656. "Setting KIST scheduler without kernel support (KISTLite mode)");
  657. }
  658. /* Set KIST mode that is KIST with kernel support. */
  659. void
  660. scheduler_kist_set_full_mode(void)
  661. {
  662. kist_lite_mode = 0;
  663. log_info(LD_SCHED,
  664. "Setting KIST scheduler with kernel support (KIST mode)");
  665. }
  666. #ifdef HAVE_KIST_SUPPORT
  667. /* Return true iff the scheduler subsystem should use KIST. */
  668. int
  669. scheduler_can_use_kist(void)
  670. {
  671. if (kist_no_kernel_support) {
  672. /* We have no kernel support so we can't use KIST. */
  673. return 0;
  674. }
  675. /* We do have the support, time to check if we can get the interval that the
  676. * consensus can be disabling. */
  677. int64_t run_interval = kist_scheduler_run_interval(NULL);
  678. log_debug(LD_SCHED, "Determined KIST sched_run_interval should be "
  679. "%" PRId64 ". Can%s use KIST.",
  680. run_interval, (run_interval > 0 ? "" : " not"));
  681. return run_interval > 0;
  682. }
  683. #else /* !(defined(HAVE_KIST_SUPPORT)) */
  684. int
  685. scheduler_can_use_kist(void)
  686. {
  687. return 0;
  688. }
  689. #endif /* defined(HAVE_KIST_SUPPORT) */