PacketPassFairQueue.c 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389
  1. /**
  2. * @file PacketPassFairQueue.c
  3. * @author Ambroz Bizjak <ambrop7@gmail.com>
  4. *
  5. * @section LICENSE
  6. *
  7. * This file is part of BadVPN.
  8. *
  9. * BadVPN is free software: you can redistribute it and/or modify
  10. * it under the terms of the GNU General Public License version 2
  11. * as published by the Free Software Foundation.
  12. *
  13. * BadVPN is distributed in the hope that it will be useful,
  14. * but WITHOUT ANY WARRANTY; without even the implied warranty of
  15. * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  16. * GNU General Public License for more details.
  17. *
  18. * You should have received a copy of the GNU General Public License along
  19. * with this program; if not, write to the Free Software Foundation, Inc.,
  20. * 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.
  21. */
  22. #include <stdlib.h>
  23. #include <misc/debug.h>
  24. #include <misc/offset.h>
  25. #include <misc/minmax.h>
  26. #include <flow/PacketPassFairQueue.h>
  27. // reduce this to test time overflow handling
  28. #define FAIRQUEUE_MAX_TIME UINT64_MAX
  29. static int time_comparator (void *user, uint64_t *time1, uint64_t *time2)
  30. {
  31. if (*time1 < *time2) {
  32. return -1;
  33. }
  34. if (*time1 > *time2) {
  35. return 1;
  36. }
  37. return 0;
  38. }
  39. static uint64_t get_current_time (PacketPassFairQueue *m)
  40. {
  41. if (m->sending_flow) {
  42. return m->sending_flow->time;
  43. }
  44. uint64_t time;
  45. int have = 0;
  46. BHeapNode *heap_node = BHeap_GetFirst(&m->queued_heap);
  47. if (heap_node) {
  48. PacketPassFairQueueFlow *first_flow = UPPER_OBJECT(heap_node, PacketPassFairQueueFlow, queued.heap_node);
  49. ASSERT(first_flow->is_queued)
  50. time = first_flow->time;
  51. have = 1;
  52. }
  53. if (m->previous_flow) {
  54. if (!have || m->previous_flow->time < time) {
  55. time = m->previous_flow->time;
  56. have = 1;
  57. }
  58. }
  59. return (have ? time : 0);
  60. }
  61. static void increment_sent_flow (PacketPassFairQueueFlow *flow, uint64_t amount)
  62. {
  63. PacketPassFairQueue *m = flow->m;
  64. ASSERT(amount <= FAIRQUEUE_MAX_TIME)
  65. ASSERT(!flow->is_queued)
  66. ASSERT(!m->sending_flow)
  67. // does time overflow?
  68. if (amount > FAIRQUEUE_MAX_TIME - flow->time) {
  69. // get time to subtract
  70. uint64_t subtract;
  71. BHeapNode *heap_node = BHeap_GetFirst(&m->queued_heap);
  72. if (!heap_node) {
  73. subtract = flow->time;
  74. } else {
  75. PacketPassFairQueueFlow *first_flow = UPPER_OBJECT(heap_node, PacketPassFairQueueFlow, queued.heap_node);
  76. ASSERT(first_flow->is_queued)
  77. subtract = first_flow->time;
  78. }
  79. // subtract time from all flows
  80. LinkedList2Iterator it;
  81. LinkedList2Iterator_InitForward(&it, &m->flows_list);
  82. LinkedList2Node *list_node;
  83. while (list_node = LinkedList2Iterator_Next(&it)) {
  84. PacketPassFairQueueFlow *someflow = UPPER_OBJECT(list_node, PacketPassFairQueueFlow, list_node);
  85. // don't subtract more time than there is, except for the just finished flow,
  86. // where we allow time to underflow and then overflow to the correct value after adding to it
  87. if (subtract > someflow->time && someflow != flow) {
  88. ASSERT(!someflow->is_queued)
  89. someflow->time = 0;
  90. } else {
  91. someflow->time -= subtract;
  92. }
  93. }
  94. }
  95. // add time to flow
  96. flow->time += amount;
  97. }
  98. static void schedule (PacketPassFairQueue *m)
  99. {
  100. ASSERT(!m->sending_flow)
  101. ASSERT(!m->previous_flow)
  102. ASSERT(!m->freeing)
  103. ASSERT(BHeap_GetFirst(&m->queued_heap))
  104. // get first queued flow
  105. PacketPassFairQueueFlow *qflow = UPPER_OBJECT(BHeap_GetFirst(&m->queued_heap), PacketPassFairQueueFlow, queued.heap_node);
  106. ASSERT(qflow->is_queued)
  107. // remove flow from queue
  108. BHeap_Remove(&m->queued_heap, &qflow->queued.heap_node);
  109. qflow->is_queued = 0;
  110. // schedule send
  111. PacketPassInterface_Sender_Send(m->output, qflow->queued.data, qflow->queued.data_len);
  112. m->sending_flow = qflow;
  113. m->sending_len = qflow->queued.data_len;
  114. }
  115. static void schedule_job_handler (PacketPassFairQueue *m)
  116. {
  117. ASSERT(!m->sending_flow)
  118. ASSERT(!m->freeing)
  119. DebugObject_Access(&m->d_obj);
  120. // remove previous flow
  121. m->previous_flow = NULL;
  122. if (BHeap_GetFirst(&m->queued_heap)) {
  123. schedule(m);
  124. }
  125. }
  126. static void input_handler_send (PacketPassFairQueueFlow *flow, uint8_t *data, int data_len)
  127. {
  128. PacketPassFairQueue *m = flow->m;
  129. ASSERT(flow != m->sending_flow)
  130. ASSERT(!flow->is_queued)
  131. ASSERT(!m->freeing)
  132. DebugObject_Access(&flow->d_obj);
  133. if (flow == m->previous_flow) {
  134. // remove from previous flow
  135. m->previous_flow = NULL;
  136. } else {
  137. // raise time
  138. flow->time = BMAX(flow->time, get_current_time(m));
  139. }
  140. // queue flow
  141. flow->queued.data = data;
  142. flow->queued.data_len = data_len;
  143. BHeap_Insert(&m->queued_heap, &flow->queued.heap_node);
  144. flow->is_queued = 1;
  145. if (!m->sending_flow && !BPending_IsSet(&m->schedule_job)) {
  146. schedule(m);
  147. }
  148. }
  149. static void output_handler_done (PacketPassFairQueue *m)
  150. {
  151. ASSERT(m->sending_flow)
  152. ASSERT(!m->previous_flow)
  153. ASSERT(!BPending_IsSet(&m->schedule_job))
  154. ASSERT(!m->freeing)
  155. ASSERT(!m->sending_flow->is_queued)
  156. PacketPassFairQueueFlow *flow = m->sending_flow;
  157. // sending finished
  158. m->sending_flow = NULL;
  159. // remember this flow so the schedule job can remove its time if it didn's send
  160. m->previous_flow = flow;
  161. // update flow time by packet size
  162. increment_sent_flow(flow, (uint64_t)m->packet_weight + m->sending_len);
  163. // schedule schedule
  164. BPending_Set(&m->schedule_job);
  165. // finish flow packet
  166. PacketPassInterface_Done(&flow->input);
  167. // call busy handler if set
  168. if (flow->handler_busy) {
  169. // handler is one-shot, unset it before calling
  170. PacketPassFairQueue_handler_busy handler = flow->handler_busy;
  171. flow->handler_busy = NULL;
  172. // call handler
  173. handler(flow->user);
  174. return;
  175. }
  176. }
  177. void PacketPassFairQueue_Init (PacketPassFairQueue *m, PacketPassInterface *output, BPendingGroup *pg, int use_cancel, int packet_weight)
  178. {
  179. ASSERT(PacketPassInterface_GetMTU(output) <= FAIRQUEUE_MAX_TIME)
  180. ASSERT(packet_weight > 0)
  181. ASSERT(packet_weight <= FAIRQUEUE_MAX_TIME - PacketPassInterface_GetMTU(output))
  182. ASSERT(use_cancel == 0 || use_cancel == 1)
  183. ASSERT(!use_cancel || PacketPassInterface_HasCancel(output))
  184. // init arguments
  185. m->output = output;
  186. m->pg = pg;
  187. m->use_cancel = use_cancel;
  188. m->packet_weight = packet_weight;
  189. // init output
  190. PacketPassInterface_Sender_Init(m->output, (PacketPassInterface_handler_done)output_handler_done, m);
  191. // not sending
  192. m->sending_flow = NULL;
  193. // no previous flow
  194. m->previous_flow = NULL;
  195. // init queued heap
  196. BHeap_Init(&m->queued_heap, OFFSET_DIFF(PacketPassFairQueueFlow, time, queued.heap_node), (BHeap_comparator)time_comparator, NULL);
  197. // init flows list
  198. LinkedList2_Init(&m->flows_list);
  199. // not freeing
  200. m->freeing = 0;
  201. // init schedule job
  202. BPending_Init(&m->schedule_job, m->pg, (BPending_handler)schedule_job_handler, m);
  203. DebugObject_Init(&m->d_obj);
  204. DebugCounter_Init(&m->d_ctr);
  205. }
  206. void PacketPassFairQueue_Free (PacketPassFairQueue *m)
  207. {
  208. ASSERT(LinkedList2_IsEmpty(&m->flows_list))
  209. ASSERT(!BHeap_GetFirst(&m->queued_heap))
  210. ASSERT(!m->previous_flow)
  211. ASSERT(!m->sending_flow)
  212. DebugCounter_Free(&m->d_ctr);
  213. DebugObject_Free(&m->d_obj);
  214. // free schedule job
  215. BPending_Free(&m->schedule_job);
  216. }
  217. void PacketPassFairQueue_PrepareFree (PacketPassFairQueue *m)
  218. {
  219. DebugObject_Access(&m->d_obj);
  220. // set freeing
  221. m->freeing = 1;
  222. }
  223. void PacketPassFairQueueFlow_Init (PacketPassFairQueueFlow *flow, PacketPassFairQueue *m)
  224. {
  225. ASSERT(!m->freeing)
  226. DebugObject_Access(&m->d_obj);
  227. // init arguments
  228. flow->m = m;
  229. // have no canfree handler
  230. flow->handler_busy = NULL;
  231. // init input
  232. PacketPassInterface_Init(&flow->input, PacketPassInterface_GetMTU(flow->m->output), (PacketPassInterface_handler_send)input_handler_send, flow, m->pg);
  233. // set time
  234. flow->time = 0;
  235. // add to flows list
  236. LinkedList2_Append(&m->flows_list, &flow->list_node);
  237. // is not queued
  238. flow->is_queued = 0;
  239. DebugObject_Init(&flow->d_obj);
  240. DebugCounter_Increment(&m->d_ctr);
  241. }
  242. void PacketPassFairQueueFlow_Free (PacketPassFairQueueFlow *flow)
  243. {
  244. PacketPassFairQueue *m = flow->m;
  245. ASSERT(m->freeing || flow != m->sending_flow)
  246. DebugCounter_Decrement(&m->d_ctr);
  247. DebugObject_Free(&flow->d_obj);
  248. // remove from current flow
  249. if (flow == m->sending_flow) {
  250. m->sending_flow = NULL;
  251. }
  252. // remove from previous flow
  253. if (flow == m->previous_flow) {
  254. m->previous_flow = NULL;
  255. }
  256. // remove from queue
  257. if (flow->is_queued) {
  258. BHeap_Remove(&m->queued_heap, &flow->queued.heap_node);
  259. }
  260. // remove from flows list
  261. LinkedList2_Remove(&m->flows_list, &flow->list_node);
  262. // free input
  263. PacketPassInterface_Free(&flow->input);
  264. }
  265. void PacketPassFairQueueFlow_AssertFree (PacketPassFairQueueFlow *flow)
  266. {
  267. PacketPassFairQueue *m = flow->m;
  268. ASSERT(m->freeing || flow != m->sending_flow)
  269. DebugObject_Access(&flow->d_obj);
  270. }
  271. int PacketPassFairQueueFlow_IsBusy (PacketPassFairQueueFlow *flow)
  272. {
  273. PacketPassFairQueue *m = flow->m;
  274. ASSERT(!m->freeing)
  275. DebugObject_Access(&flow->d_obj);
  276. return (flow == m->sending_flow);
  277. }
  278. void PacketPassFairQueueFlow_Release (PacketPassFairQueueFlow *flow)
  279. {
  280. PacketPassFairQueue *m = flow->m;
  281. ASSERT(flow == m->sending_flow)
  282. ASSERT(m->use_cancel)
  283. ASSERT(!m->freeing)
  284. ASSERT(!BPending_IsSet(&m->schedule_job))
  285. DebugObject_Access(&flow->d_obj);
  286. // set no sending flow
  287. m->sending_flow = NULL;
  288. // schedule schedule
  289. BPending_Set(&m->schedule_job);
  290. // cancel current packet
  291. PacketPassInterface_Sender_Cancel(m->output);
  292. }
  293. void PacketPassFairQueueFlow_SetBusyHandler (PacketPassFairQueueFlow *flow, PacketPassFairQueue_handler_busy handler, void *user)
  294. {
  295. PacketPassFairQueue *m = flow->m;
  296. ASSERT(flow == m->sending_flow)
  297. ASSERT(!m->freeing)
  298. DebugObject_Access(&flow->d_obj);
  299. // set handler
  300. flow->handler_busy = handler;
  301. flow->user = user;
  302. }
  303. PacketPassInterface * PacketPassFairQueueFlow_GetInput (PacketPassFairQueueFlow *flow)
  304. {
  305. DebugObject_Access(&flow->d_obj);
  306. return &flow->input;
  307. }