scheduler.c 23 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697
  1. /* Copyright (c) 2013-2017, The Tor Project, Inc. */
  2. /* See LICENSE for licensing information */
  3. #include "or.h"
  4. #include "config.h"
  5. #include "compat_libevent.h"
  6. #define SCHEDULER_PRIVATE_
  7. #define SCHEDULER_KIST_PRIVATE
  8. #include "scheduler.h"
  9. #include "main.h"
  10. #include <event2/event.h>
  11. /**
  12. * \file scheduler.c
  13. * \brief Channel scheduling system: decides which channels should send and
  14. * receive when.
  15. *
  16. * This module is the global/common parts of the scheduling system. This system
  17. * is what decides what channels get to send cells on their circuits and when.
  18. *
  19. * Terms:
  20. * - "Scheduling system": the collection of scheduler*.{h,c} files and their
  21. * aggregate behavior.
  22. * - "Scheduler implementation": a scheduler_t. The scheduling system has one
  23. * active scheduling implementation at a time.
  24. *
  25. * In this file you will find state that any scheduler implementation can have
  26. * access to as well as the functions the rest of Tor uses to interact with the
  27. * scheduling system.
  28. *
  29. * The earliest versions of Tor approximated a kind of round-robin system
  30. * among active connections, but only approximated it. It would only consider
  31. * one connection (roughly equal to a channel in today's terms) at a time, and
  32. * thus could only prioritize circuits against others on the same connection.
  33. *
  34. * Then in response to the KIST paper[0], Tor implemented a global
  35. * circuit scheduler. It was supposed to prioritize circuits across many
  36. * channels, but wasn't effective. It is preserved in scheduler_vanilla.c.
  37. *
  38. * [0]: http://www.robgjansen.com/publications/kist-sec2014.pdf
  39. *
  40. * Then we actually got around to implementing KIST for real. We decided to
  41. * modularize the scheduler so new ones can be implemented. You can find KIST
  42. * in scheduler_kist.c.
  43. *
  44. * Channels have one of four scheduling states based on whether or not they
  45. * have cells to send and whether or not they are able to send.
  46. *
  47. * <ol>
  48. * <li>
  49. * Not open for writes, no cells to send.
  50. * <ul><li> Not much to do here, and the channel will have scheduler_state
  51. * == SCHED_CHAN_IDLE
  52. * <li> Transitions from:
  53. * <ul>
  54. * <li>Open for writes/has cells by simultaneously draining all circuit
  55. * queues and filling the output buffer.
  56. * </ul>
  57. * <li> Transitions to:
  58. * <ul>
  59. * <li> Not open for writes/has cells by arrival of cells on an attached
  60. * circuit (this would be driven from append_cell_to_circuit_queue())
  61. * <li> Open for writes/no cells by a channel type specific path;
  62. * driven from connection_or_flushed_some() for channel_tls_t.
  63. * </ul>
  64. * </ul>
  65. *
  66. * <li> Open for writes, no cells to send
  67. * <ul>
  68. * <li>Not much here either; this will be the state an idle but open
  69. * channel can be expected to settle in. It will have scheduler_state
  70. * == SCHED_CHAN_WAITING_FOR_CELLS
  71. * <li> Transitions from:
  72. * <ul>
  73. * <li>Not open for writes/no cells by flushing some of the output
  74. * buffer.
  75. * <li>Open for writes/has cells by the scheduler moving cells from
  76. * circuit queues to channel output queue, but not having enough
  77. * to fill the output queue.
  78. * </ul>
  79. * <li> Transitions to:
  80. * <ul>
  81. * <li>Open for writes/has cells by arrival of new cells on an attached
  82. * circuit, in append_cell_to_circuit_queue()
  83. * </ul>
  84. * </ul>
  85. *
  86. * <li>Not open for writes, cells to send
  87. * <ul>
  88. * <li>This is the state of a busy circuit limited by output bandwidth;
  89. * cells have piled up in the circuit queues waiting to be relayed.
  90. * The channel will have scheduler_state == SCHED_CHAN_WAITING_TO_WRITE.
  91. * <li> Transitions from:
  92. * <ul>
  93. * <li>Not open for writes/no cells by arrival of cells on an attached
  94. * circuit
  95. * <li>Open for writes/has cells by filling an output buffer without
  96. * draining all cells from attached circuits
  97. * </ul>
  98. * <li> Transitions to:
  99. * <ul>
  100. * <li>Opens for writes/has cells by draining some of the output buffer
  101. * via the connection_or_flushed_some() path (for channel_tls_t).
  102. * </ul>
  103. * </ul>
  104. *
  105. * <li>Open for writes, cells to send
  106. * <ul>
  107. * <li>This connection is ready to relay some cells and waiting for
  108. * the scheduler to choose it. The channel will have scheduler_state ==
  109. * SCHED_CHAN_PENDING.
  110. * <li>Transitions from:
  111. * <ul>
  112. * <li>Not open for writes/has cells by the connection_or_flushed_some()
  113. * path
  114. * <li>Open for writes/no cells by the append_cell_to_circuit_queue()
  115. * path
  116. * </ul>
  117. * <li> Transitions to:
  118. * <ul>
  119. * <li>Not open for writes/no cells by draining all circuit queues and
  120. * simultaneously filling the output buffer.
  121. * <li>Not open for writes/has cells by writing enough cells to fill the
  122. * output buffer
  123. * <li>Open for writes/no cells by draining all attached circuit queues
  124. * without also filling the output buffer
  125. * </ul>
  126. * </ul>
  127. * </ol>
  128. *
  129. * Other event-driven parts of the code move channels between these scheduling
  130. * states by calling scheduler functions. The scheduling system builds up a
  131. * list of channels in the SCHED_CHAN_PENDING state that the scheduler
  132. * implementation should then use when it runs. Scheduling implementations need
  133. * to properly update channel states during their scheduler_t->run() function
  134. * as that is the only opportunity for channels to move from SCHED_CHAN_PENDING
  135. * to any other state.
  136. *
  137. * The remainder of this file is a small amount of state that any scheduler
  138. * implementation should have access to, and the functions the rest of Tor uses
  139. * to interact with the scheduling system.
  140. */
  141. /*****************************************************************************
  142. * Scheduling system state
  143. *
  144. * State that can be accessed from any scheduler implementation (but not
  145. * outside the scheduling system)
  146. *****************************************************************************/
  147. /** DOCDOC */
  148. STATIC const scheduler_t *the_scheduler;
  149. /**
  150. * We keep a list of channels that are pending - i.e, have cells to write
  151. * and can accept them to send. The enum scheduler_state in channel_t
  152. * is reserved for our use.
  153. *
  154. * Priority queue of channels that can write and have cells (pending work)
  155. */
  156. STATIC smartlist_t *channels_pending = NULL;
  157. /**
  158. * This event runs the scheduler from its callback, and is manually
  159. * activated whenever a channel enters open for writes/cells to send.
  160. */
  161. STATIC struct event *run_sched_ev = NULL;
  162. /*****************************************************************************
  163. * Scheduling system static function definitions
  164. *
  165. * Functions that can only be accessed from this file.
  166. *****************************************************************************/
  167. /** Return a human readable string for the given scheduler type. */
  168. static const char *
  169. get_scheduler_type_string(scheduler_types_t type)
  170. {
  171. switch (type) {
  172. case SCHEDULER_VANILLA:
  173. return "Vanilla";
  174. case SCHEDULER_KIST:
  175. return "KIST";
  176. case SCHEDULER_KIST_LITE:
  177. return "KISTLite";
  178. case SCHEDULER_NONE:
  179. /* fallthrough */
  180. default:
  181. tor_assert_unreached();
  182. return "(N/A)";
  183. }
  184. }
  185. /**
  186. * Scheduler event callback; this should get triggered once per event loop
  187. * if any scheduling work was created during the event loop.
  188. */
  189. static void
  190. scheduler_evt_callback(evutil_socket_t fd, short events, void *arg)
  191. {
  192. (void) fd;
  193. (void) events;
  194. (void) arg;
  195. log_debug(LD_SCHED, "Scheduler event callback called");
  196. /* Run the scheduler. This is a mandatory function. */
  197. /* We might as well assert on this. If this function doesn't exist, no cells
  198. * are getting scheduled. Things are very broken. scheduler_t says the run()
  199. * function is mandatory. */
  200. tor_assert(the_scheduler->run);
  201. the_scheduler->run();
  202. /* Schedule itself back in if it has more work. */
  203. /* Again, might as well assert on this mandatory scheduler_t function. If it
  204. * doesn't exist, there's no way to tell libevent to run the scheduler again
  205. * in the future. */
  206. tor_assert(the_scheduler->schedule);
  207. the_scheduler->schedule();
  208. }
  209. /** Using the global options, select the scheduler we should be using. */
  210. static void
  211. select_scheduler(void)
  212. {
  213. scheduler_t *new_scheduler = NULL;
  214. #ifdef TOR_UNIT_TESTS
  215. /* This is hella annoying to set in the options for every test that passes
  216. * through the scheduler and there are many so if we don't explicitly have
  217. * a list of types set, just put the vanilla one. */
  218. if (get_options()->SchedulerTypes_ == NULL) {
  219. the_scheduler = get_vanilla_scheduler();
  220. return;
  221. }
  222. #endif /* defined(TOR_UNIT_TESTS) */
  223. /* This list is ordered that is first entry has the first priority. Thus, as
  224. * soon as we find a scheduler type that we can use, we use it and stop. */
  225. SMARTLIST_FOREACH_BEGIN(get_options()->SchedulerTypes_, int *, type) {
  226. switch (*type) {
  227. case SCHEDULER_VANILLA:
  228. new_scheduler = get_vanilla_scheduler();
  229. goto end;
  230. case SCHEDULER_KIST:
  231. if (!scheduler_can_use_kist()) {
  232. #ifdef HAVE_KIST_SUPPORT
  233. log_notice(LD_SCHED, "Scheduler type KIST has been disabled by "
  234. "the consensus or no kernel support.");
  235. #else /* !(defined(HAVE_KIST_SUPPORT)) */
  236. log_info(LD_SCHED, "Scheduler type KIST not built in");
  237. #endif /* defined(HAVE_KIST_SUPPORT) */
  238. continue;
  239. }
  240. new_scheduler = get_kist_scheduler();
  241. scheduler_kist_set_full_mode();
  242. goto end;
  243. case SCHEDULER_KIST_LITE:
  244. new_scheduler = get_kist_scheduler();
  245. scheduler_kist_set_lite_mode();
  246. goto end;
  247. case SCHEDULER_NONE:
  248. /* fallthrough */
  249. default:
  250. /* Our option validation should have caught this. */
  251. tor_assert_unreached();
  252. }
  253. } SMARTLIST_FOREACH_END(type);
  254. end:
  255. if (new_scheduler == NULL) {
  256. log_err(LD_SCHED, "Tor was unable to select a scheduler type. Please "
  257. "make sure Schedulers is correctly configured with "
  258. "what Tor does support.");
  259. /* We weren't able to choose a scheduler which means that none of the ones
  260. * set in Schedulers are supported or usable. We will respect the user
  261. * wishes of using what it has been configured and don't do a sneaky
  262. * fallback. Because this can be changed at runtime, we have to stop tor
  263. * right now. */
  264. exit(1); // XXXX bad exit
  265. }
  266. /* Set the chosen scheduler. */
  267. the_scheduler = new_scheduler;
  268. }
  269. /**
  270. * Helper function called from a few different places. It changes the
  271. * scheduler implementation, if necessary. And if it did, it then tells the
  272. * old one to free its state and the new one to initialize.
  273. */
  274. static void
  275. set_scheduler(void)
  276. {
  277. const scheduler_t *old_scheduler = the_scheduler;
  278. scheduler_types_t old_scheduler_type = SCHEDULER_NONE;
  279. /* We keep track of the type in order to log only if the type switched. We
  280. * can't just use the scheduler pointers because KIST and KISTLite share the
  281. * same object. */
  282. if (the_scheduler) {
  283. old_scheduler_type = the_scheduler->type;
  284. }
  285. /* From the options, select the scheduler type to set. */
  286. select_scheduler();
  287. tor_assert(the_scheduler);
  288. /* We look at the pointer difference in case the old sched and new sched
  289. * share the same scheduler object, as is the case with KIST and KISTLite. */
  290. if (old_scheduler != the_scheduler) {
  291. /* Allow the old scheduler to clean up, if needed. */
  292. if (old_scheduler && old_scheduler->free_all) {
  293. old_scheduler->free_all();
  294. }
  295. /* Initialize the new scheduler. */
  296. if (the_scheduler->init) {
  297. the_scheduler->init();
  298. }
  299. }
  300. /* Finally we notice log if we switched schedulers. We use the type in case
  301. * two schedulers share a scheduler object. */
  302. if (old_scheduler_type != the_scheduler->type) {
  303. log_notice(LD_CONFIG, "Scheduler type %s has been enabled.",
  304. get_scheduler_type_string(the_scheduler->type));
  305. }
  306. }
  307. /*****************************************************************************
  308. * Scheduling system private function definitions
  309. *
  310. * Functions that can only be accessed from scheduler*.c
  311. *****************************************************************************/
  312. /** Return the pending channel list. */
  313. smartlist_t *
  314. get_channels_pending(void)
  315. {
  316. return channels_pending;
  317. }
  318. /** Comparison function to use when sorting pending channels. */
  319. MOCK_IMPL(int,
  320. scheduler_compare_channels, (const void *c1_v, const void *c2_v))
  321. {
  322. const channel_t *c1 = NULL, *c2 = NULL;
  323. /* These are a workaround for -Wbad-function-cast throwing a fit */
  324. const circuitmux_policy_t *p1, *p2;
  325. uintptr_t p1_i, p2_i;
  326. tor_assert(c1_v);
  327. tor_assert(c2_v);
  328. c1 = (const channel_t *)(c1_v);
  329. c2 = (const channel_t *)(c2_v);
  330. if (c1 != c2) {
  331. if (circuitmux_get_policy(c1->cmux) ==
  332. circuitmux_get_policy(c2->cmux)) {
  333. /* Same cmux policy, so use the mux comparison */
  334. return circuitmux_compare_muxes(c1->cmux, c2->cmux);
  335. } else {
  336. /*
  337. * Different policies; not important to get this edge case perfect
  338. * because the current code never actually gives different channels
  339. * different cmux policies anyway. Just use this arbitrary but
  340. * definite choice.
  341. */
  342. p1 = circuitmux_get_policy(c1->cmux);
  343. p2 = circuitmux_get_policy(c2->cmux);
  344. p1_i = (uintptr_t)p1;
  345. p2_i = (uintptr_t)p2;
  346. return (p1_i < p2_i) ? -1 : 1;
  347. }
  348. } else {
  349. /* c1 == c2, so always equal */
  350. return 0;
  351. }
  352. }
  353. /*****************************************************************************
  354. * Scheduling system global functions
  355. *
  356. * Functions that can be accessed from anywhere in Tor.
  357. *****************************************************************************/
  358. /**
  359. * This is how the scheduling system is notified of Tor's configuration
  360. * changing. For example: a SIGHUP was issued.
  361. */
  362. void
  363. scheduler_conf_changed(void)
  364. {
  365. /* Let the scheduler decide what it should do. */
  366. set_scheduler();
  367. /* Then tell the (possibly new) scheduler that we have new options. */
  368. if (the_scheduler->on_new_options) {
  369. the_scheduler->on_new_options();
  370. }
  371. }
  372. /**
  373. * Whenever we get a new consensus, this function is called.
  374. */
  375. void
  376. scheduler_notify_networkstatus_changed(const networkstatus_t *old_c,
  377. const networkstatus_t *new_c)
  378. {
  379. /* Maybe the consensus param made us change the scheduler. */
  380. set_scheduler();
  381. /* Then tell the (possibly new) scheduler that we have a new consensus */
  382. if (the_scheduler->on_new_consensus) {
  383. the_scheduler->on_new_consensus(old_c, new_c);
  384. }
  385. }
  386. /**
  387. * Free everything scheduling-related from main.c. Note this is only called
  388. * when Tor is shutting down, while scheduler_t->free_all() is called both when
  389. * Tor is shutting down and when we are switching schedulers.
  390. */
  391. void
  392. scheduler_free_all(void)
  393. {
  394. log_debug(LD_SCHED, "Shutting down scheduler");
  395. if (run_sched_ev) {
  396. if (event_del(run_sched_ev) < 0) {
  397. log_warn(LD_BUG, "Problem deleting run_sched_ev");
  398. }
  399. tor_event_free(run_sched_ev);
  400. run_sched_ev = NULL;
  401. }
  402. if (channels_pending) {
  403. /* We don't have ownership of the objects in this list. */
  404. smartlist_free(channels_pending);
  405. channels_pending = NULL;
  406. }
  407. if (the_scheduler && the_scheduler->free_all) {
  408. the_scheduler->free_all();
  409. }
  410. the_scheduler = NULL;
  411. }
  412. /** Mark a channel as no longer ready to accept writes. */
  413. MOCK_IMPL(void,
  414. scheduler_channel_doesnt_want_writes,(channel_t *chan))
  415. {
  416. IF_BUG_ONCE(!chan) {
  417. return;
  418. }
  419. IF_BUG_ONCE(!channels_pending) {
  420. return;
  421. }
  422. /* If it's already in pending, we can put it in waiting_to_write */
  423. if (chan->scheduler_state == SCHED_CHAN_PENDING) {
  424. /*
  425. * It's in channels_pending, so it shouldn't be in any of
  426. * the other lists. It can't write any more, so it goes to
  427. * channels_waiting_to_write.
  428. */
  429. smartlist_pqueue_remove(channels_pending,
  430. scheduler_compare_channels,
  431. offsetof(channel_t, sched_heap_idx),
  432. chan);
  433. chan->scheduler_state = SCHED_CHAN_WAITING_TO_WRITE;
  434. log_debug(LD_SCHED,
  435. "Channel " U64_FORMAT " at %p went from pending "
  436. "to waiting_to_write",
  437. U64_PRINTF_ARG(chan->global_identifier), chan);
  438. } else {
  439. /*
  440. * It's not in pending, so it can't become waiting_to_write; it's
  441. * either not in any of the lists (nothing to do) or it's already in
  442. * waiting_for_cells (remove it, can't write any more).
  443. */
  444. if (chan->scheduler_state == SCHED_CHAN_WAITING_FOR_CELLS) {
  445. chan->scheduler_state = SCHED_CHAN_IDLE;
  446. log_debug(LD_SCHED,
  447. "Channel " U64_FORMAT " at %p left waiting_for_cells",
  448. U64_PRINTF_ARG(chan->global_identifier), chan);
  449. }
  450. }
  451. }
  452. /** Mark a channel as having waiting cells. */
  453. MOCK_IMPL(void,
  454. scheduler_channel_has_waiting_cells,(channel_t *chan))
  455. {
  456. IF_BUG_ONCE(!chan) {
  457. return;
  458. }
  459. IF_BUG_ONCE(!channels_pending) {
  460. return;
  461. }
  462. /* First, check if it's also writeable */
  463. if (chan->scheduler_state == SCHED_CHAN_WAITING_FOR_CELLS) {
  464. /*
  465. * It's in channels_waiting_for_cells, so it shouldn't be in any of
  466. * the other lists. It has waiting cells now, so it goes to
  467. * channels_pending.
  468. */
  469. chan->scheduler_state = SCHED_CHAN_PENDING;
  470. smartlist_pqueue_add(channels_pending,
  471. scheduler_compare_channels,
  472. offsetof(channel_t, sched_heap_idx),
  473. chan);
  474. log_debug(LD_SCHED,
  475. "Channel " U64_FORMAT " at %p went from waiting_for_cells "
  476. "to pending",
  477. U64_PRINTF_ARG(chan->global_identifier), chan);
  478. /* If we made a channel pending, we potentially have scheduling work to
  479. * do. */
  480. the_scheduler->schedule();
  481. } else {
  482. /*
  483. * It's not in waiting_for_cells, so it can't become pending; it's
  484. * either not in any of the lists (we add it to waiting_to_write)
  485. * or it's already in waiting_to_write or pending (we do nothing)
  486. */
  487. if (!(chan->scheduler_state == SCHED_CHAN_WAITING_TO_WRITE ||
  488. chan->scheduler_state == SCHED_CHAN_PENDING)) {
  489. chan->scheduler_state = SCHED_CHAN_WAITING_TO_WRITE;
  490. log_debug(LD_SCHED,
  491. "Channel " U64_FORMAT " at %p entered waiting_to_write",
  492. U64_PRINTF_ARG(chan->global_identifier), chan);
  493. }
  494. }
  495. }
  496. /** Add the scheduler event to the set of pending events with next_run being
  497. * the longest time libevent should wait before triggering the event. */
  498. void
  499. scheduler_ev_add(const struct timeval *next_run)
  500. {
  501. tor_assert(run_sched_ev);
  502. tor_assert(next_run);
  503. if (BUG(event_add(run_sched_ev, next_run) < 0)) {
  504. log_warn(LD_SCHED, "Adding to libevent failed. Next run time was set to: "
  505. "%ld.%06ld", next_run->tv_sec, (long)next_run->tv_usec);
  506. return;
  507. }
  508. }
  509. /** Make the scheduler event active with the given flags. */
  510. void
  511. scheduler_ev_active(int flags)
  512. {
  513. tor_assert(run_sched_ev);
  514. event_active(run_sched_ev, flags, 1);
  515. }
  516. /*
  517. * Initialize everything scheduling-related from config.c. Note this is only
  518. * called when Tor is starting up, while scheduler_t->init() is called both
  519. * when Tor is starting up and when we are switching schedulers.
  520. */
  521. void
  522. scheduler_init(void)
  523. {
  524. log_debug(LD_SCHED, "Initting scheduler");
  525. // Two '!' because we really do want to check if the pointer is non-NULL
  526. IF_BUG_ONCE(!!run_sched_ev) {
  527. log_warn(LD_SCHED, "We should not already have a libevent scheduler event."
  528. "I'll clean the old one up, but this is odd.");
  529. tor_event_free(run_sched_ev);
  530. run_sched_ev = NULL;
  531. }
  532. run_sched_ev = tor_event_new(tor_libevent_get_base(), -1,
  533. 0, scheduler_evt_callback, NULL);
  534. channels_pending = smartlist_new();
  535. set_scheduler();
  536. }
  537. /*
  538. * If a channel is going away, this is how the scheduling system is informed
  539. * so it can do any freeing necessary. This ultimately calls
  540. * scheduler_t->on_channel_free() so the current scheduler can release any
  541. * state specific to this channel.
  542. */
  543. MOCK_IMPL(void,
  544. scheduler_release_channel,(channel_t *chan))
  545. {
  546. IF_BUG_ONCE(!chan) {
  547. return;
  548. }
  549. IF_BUG_ONCE(!channels_pending) {
  550. return;
  551. }
  552. if (chan->scheduler_state == SCHED_CHAN_PENDING) {
  553. if (smartlist_pos(channels_pending, chan) == -1) {
  554. log_warn(LD_SCHED, "Scheduler asked to release channel %" PRIu64 " "
  555. "but it wasn't in channels_pending",
  556. chan->global_identifier);
  557. } else {
  558. smartlist_pqueue_remove(channels_pending,
  559. scheduler_compare_channels,
  560. offsetof(channel_t, sched_heap_idx),
  561. chan);
  562. }
  563. }
  564. if (the_scheduler->on_channel_free) {
  565. the_scheduler->on_channel_free(chan);
  566. }
  567. chan->scheduler_state = SCHED_CHAN_IDLE;
  568. }
  569. /** Mark a channel as ready to accept writes */
  570. void
  571. scheduler_channel_wants_writes(channel_t *chan)
  572. {
  573. IF_BUG_ONCE(!chan) {
  574. return;
  575. }
  576. IF_BUG_ONCE(!channels_pending) {
  577. return;
  578. }
  579. /* If it's already in waiting_to_write, we can put it in pending */
  580. if (chan->scheduler_state == SCHED_CHAN_WAITING_TO_WRITE) {
  581. /*
  582. * It can write now, so it goes to channels_pending.
  583. */
  584. log_debug(LD_SCHED, "chan=%" PRIu64 " became pending",
  585. chan->global_identifier);
  586. smartlist_pqueue_add(channels_pending,
  587. scheduler_compare_channels,
  588. offsetof(channel_t, sched_heap_idx),
  589. chan);
  590. chan->scheduler_state = SCHED_CHAN_PENDING;
  591. log_debug(LD_SCHED,
  592. "Channel " U64_FORMAT " at %p went from waiting_to_write "
  593. "to pending",
  594. U64_PRINTF_ARG(chan->global_identifier), chan);
  595. /* We just made a channel pending, we have scheduling work to do. */
  596. the_scheduler->schedule();
  597. } else {
  598. /*
  599. * It's not in SCHED_CHAN_WAITING_TO_WRITE, so it can't become pending;
  600. * it's either idle and goes to WAITING_FOR_CELLS, or it's a no-op.
  601. */
  602. if (!(chan->scheduler_state == SCHED_CHAN_WAITING_FOR_CELLS ||
  603. chan->scheduler_state == SCHED_CHAN_PENDING)) {
  604. chan->scheduler_state = SCHED_CHAN_WAITING_FOR_CELLS;
  605. log_debug(LD_SCHED,
  606. "Channel " U64_FORMAT " at %p entered waiting_for_cells",
  607. U64_PRINTF_ARG(chan->global_identifier), chan);
  608. }
  609. }
  610. }
  611. #ifdef TOR_UNIT_TESTS
  612. /*
  613. * Notify scheduler that a channel's queue position may have changed.
  614. */
  615. void
  616. scheduler_touch_channel(channel_t *chan)
  617. {
  618. IF_BUG_ONCE(!chan) {
  619. return;
  620. }
  621. if (chan->scheduler_state == SCHED_CHAN_PENDING) {
  622. /* Remove and re-add it */
  623. smartlist_pqueue_remove(channels_pending,
  624. scheduler_compare_channels,
  625. offsetof(channel_t, sched_heap_idx),
  626. chan);
  627. smartlist_pqueue_add(channels_pending,
  628. scheduler_compare_channels,
  629. offsetof(channel_t, sched_heap_idx),
  630. chan);
  631. }
  632. /* else no-op, since it isn't in the queue */
  633. }
  634. #endif /* defined(TOR_UNIT_TESTS) */