PacketPassFairQueue.c 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459
  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 <flow/PacketPassFairQueue.h>
  26. static int call_send (PacketPassFairQueue *m, uint8_t *data, int data_len)
  27. {
  28. DebugIn_GoIn(&m->in_output);
  29. DEAD_ENTER(m->dead)
  30. int res = PacketPassInterface_Sender_Send(m->output, data, data_len);
  31. if (DEAD_LEAVE(m->dead)) {
  32. return -1;
  33. }
  34. DebugIn_GoOut(&m->in_output);
  35. ASSERT(!m->freeing)
  36. ASSERT(res == 0 || res == 1)
  37. return res;
  38. }
  39. static int call_cancel (PacketPassFairQueue *m)
  40. {
  41. DebugIn_GoIn(&m->in_output);
  42. DEAD_ENTER(m->dead)
  43. PacketPassInterface_Sender_Cancel(m->output);
  44. if (DEAD_LEAVE(m->dead)) {
  45. return -1;
  46. }
  47. DebugIn_GoOut(&m->in_output);
  48. ASSERT(!m->freeing)
  49. return 0;
  50. }
  51. static int call_done (PacketPassFairQueue *m, PacketPassFairQueueFlow *flow)
  52. {
  53. DEAD_ENTER_N(m, m->dead)
  54. DEAD_ENTER_N(flow, flow->dead)
  55. PacketPassInterface_Done(&flow->input);
  56. DEAD_LEAVE_N(m, m->dead);
  57. DEAD_LEAVE_N(flow, flow->dead);
  58. if (DEAD_KILLED_N(m)) {
  59. return -1;
  60. }
  61. ASSERT(!m->freeing)
  62. if (!DEAD_KILLED_N(flow)) {
  63. ASSERT(flow->have_time)
  64. if (flow != m->sending_flow && !flow->is_queued) {
  65. flow->have_time = 0;
  66. }
  67. }
  68. return 0;
  69. }
  70. static void increment_sent_flow (PacketPassFairQueueFlow *flow, int iamount)
  71. {
  72. ASSERT(iamount >= 0)
  73. ASSERT(iamount <= UINT64_MAX)
  74. ASSERT(flow->have_time)
  75. ASSERT(!flow->is_queued)
  76. ASSERT(!flow->m->sending_flow)
  77. PacketPassFairQueue *m = flow->m;
  78. uint64_t amount = iamount;
  79. // does time overflow?
  80. if (!(flow->time + amount < flow->time)) {
  81. flow->time += amount;
  82. } else {
  83. // get flow with lowest time
  84. BHeapNode *heap_node = BHeap_GetFirst(&m->queued_heap);
  85. if (!heap_node) {
  86. flow->time = amount;
  87. } else {
  88. PacketPassFairQueueFlow *first_flow = UPPER_OBJECT(heap_node, PacketPassFairQueueFlow, queued.heap_node);
  89. ASSERT(first_flow->is_queued)
  90. ASSERT(first_flow->have_time)
  91. // subtract lowest time from all queued flows
  92. uint64_t subtract = first_flow->time;
  93. LinkedList2Iterator it;
  94. LinkedList2Iterator_InitForward(&it, &m->queued_list);
  95. LinkedList2Node *list_node;
  96. while (list_node = LinkedList2Iterator_Next(&it)) {
  97. PacketPassFairQueueFlow *queue_flow = UPPER_OBJECT(list_node, PacketPassFairQueueFlow, queued.list_node);
  98. ASSERT(queue_flow->is_queued)
  99. ASSERT(queue_flow->have_time)
  100. queue_flow->time -= subtract;
  101. }
  102. // update the given flow's time; note we subtract because it isn't in the queue
  103. // TODO: prove this is correct
  104. flow->time = flow->time - subtract + amount;
  105. }
  106. }
  107. }
  108. static void process_queue (PacketPassFairQueue *m)
  109. {
  110. ASSERT(!m->freeing)
  111. ASSERT(!m->sending_flow)
  112. do {
  113. // get first queued flow
  114. BHeapNode *heap_node = BHeap_GetFirst(&m->queued_heap);
  115. if (!heap_node) {
  116. return;
  117. }
  118. PacketPassFairQueueFlow *qflow = UPPER_OBJECT(heap_node, PacketPassFairQueueFlow, queued.heap_node);
  119. ASSERT(qflow->is_queued)
  120. ASSERT(qflow->have_time)
  121. // remove flow from queue
  122. BHeap_Remove(&m->queued_heap, &qflow->queued.heap_node);
  123. LinkedList2_Remove(&m->queued_list, &qflow->queued.list_node);
  124. qflow->is_queued = 0;
  125. // try to send the packet
  126. int res = call_send(m, qflow->queued.data, qflow->queued.data_len);
  127. if (res < 0) {
  128. return;
  129. }
  130. if (res == 0) {
  131. // sending in progress
  132. m->sending_flow = qflow;
  133. m->sending_len = qflow->queued.data_len;
  134. return;
  135. }
  136. // increment flow time
  137. increment_sent_flow(qflow, qflow->queued.data_len);
  138. // notify sender
  139. if (call_done(m, qflow) < 0) {
  140. return;
  141. }
  142. } while (!m->sending_flow);
  143. }
  144. static int time_comparator (void *user, uint64_t *time1, uint64_t *time2)
  145. {
  146. if (*time1 < *time2) {
  147. return -1;
  148. }
  149. if (*time1 > *time2) {
  150. return 1;
  151. }
  152. return 0;
  153. }
  154. static int input_handler_send (PacketPassFairQueueFlow *flow, uint8_t *data, int data_len)
  155. {
  156. ASSERT(!flow->m->freeing)
  157. ASSERT(flow != flow->m->sending_flow)
  158. ASSERT(!flow->is_queued)
  159. DebugIn_AmOut(&flow->m->in_output);
  160. PacketPassFairQueue *m = flow->m;
  161. // assign time if needed
  162. int had_time = flow->have_time;
  163. if (!flow->have_time) {
  164. flow->time = (m->sending_flow ? m->sending_flow->time : 0);
  165. flow->have_time = 1;
  166. }
  167. // if nothing is being sent and queue is empty, send immediately without queueing
  168. if (!m->sending_flow && !BHeap_GetFirst(&m->queued_heap)) {
  169. int res = call_send(m, data, data_len);
  170. if (res < 0) {
  171. return -1;
  172. }
  173. if (res == 0) {
  174. // output busy, continue in output_handler_done
  175. m->sending_flow = flow;
  176. m->sending_len = data_len;
  177. return 0;
  178. }
  179. // if flow had no time before it shouldn't have after
  180. if (!had_time) {
  181. flow->have_time = 0;
  182. }
  183. return 1;
  184. }
  185. // add flow to queue
  186. flow->queued.data = data;
  187. flow->queued.data_len = data_len;
  188. BHeap_Insert(&m->queued_heap, &flow->queued.heap_node);
  189. LinkedList2_Append(&m->queued_list, &flow->queued.list_node);
  190. flow->is_queued = 1;
  191. return 0;
  192. }
  193. static void output_handler_done (PacketPassFairQueue *m)
  194. {
  195. ASSERT(!m->freeing)
  196. ASSERT(m->sending_flow)
  197. ASSERT(!m->sending_flow->is_queued)
  198. ASSERT(m->sending_flow->have_time)
  199. DebugIn_AmOut(&m->in_output);
  200. PacketPassFairQueueFlow *flow = m->sending_flow;
  201. // sending finished
  202. m->sending_flow = NULL;
  203. // update flow time by packet size
  204. increment_sent_flow(flow, m->sending_len);
  205. // call busy handler if set
  206. if (flow->handler_busy) {
  207. // handler is one-shot, unset it before calling
  208. PacketPassFairQueue_handler_busy handler = flow->handler_busy;
  209. flow->handler_busy = NULL;
  210. // call handler
  211. DEAD_ENTER_N(m, m->dead)
  212. DEAD_ENTER_N(flow, flow->dead)
  213. handler(flow->user);
  214. DEAD_LEAVE_N(m, m->dead);
  215. DEAD_LEAVE_N(flow, flow->dead);
  216. if (DEAD_KILLED_N(m)) {
  217. return;
  218. }
  219. if (DEAD_KILLED_N(flow)) {
  220. flow = NULL;
  221. }
  222. ASSERT(!m->freeing)
  223. }
  224. // report completion to sender
  225. if (flow) {
  226. if (call_done(m, flow) < 0) {
  227. return;
  228. }
  229. }
  230. // process queued flows
  231. if (!m->sending_flow) {
  232. process_queue(m);
  233. return;
  234. }
  235. }
  236. static void job_handler (PacketPassFairQueue *m)
  237. {
  238. ASSERT(!m->freeing)
  239. if (!m->sending_flow) {
  240. process_queue(m);
  241. return;
  242. }
  243. }
  244. void PacketPassFairQueue_Init (PacketPassFairQueue *m, PacketPassInterface *output, BPendingGroup *pg)
  245. {
  246. // init arguments
  247. m->output = output;
  248. // init dead var
  249. DEAD_INIT(m->dead);
  250. // init output
  251. PacketPassInterface_Sender_Init(m->output, (PacketPassInterface_handler_done)output_handler_done, m);
  252. // not sending
  253. m->sending_flow = NULL;
  254. // init queued heap
  255. BHeap_Init(&m->queued_heap, OFFSET_DIFF(PacketPassFairQueueFlow, time, queued.heap_node), (BHeap_comparator)time_comparator, NULL);
  256. // init queued list
  257. LinkedList2_Init(&m->queued_list);
  258. // not freeing
  259. m->freeing = 0;
  260. // not using cancel
  261. m->use_cancel = 0;
  262. // init continue job
  263. BPending_Init(&m->continue_job, pg, (BPending_handler)job_handler, m);
  264. // init debug counter
  265. DebugCounter_Init(&m->d_ctr);
  266. // init debug in output
  267. DebugIn_Init(&m->in_output);
  268. // init debug object
  269. DebugObject_Init(&m->d_obj);
  270. }
  271. void PacketPassFairQueue_Free (PacketPassFairQueue *m)
  272. {
  273. ASSERT(!BHeap_GetFirst(&m->queued_heap))
  274. ASSERT(LinkedList2_IsEmpty(&m->queued_list))
  275. ASSERT(!m->sending_flow)
  276. DebugCounter_Free(&m->d_ctr);
  277. DebugObject_Free(&m->d_obj);
  278. // free continue job
  279. BPending_Free(&m->continue_job);
  280. // free dead var
  281. DEAD_KILL(m->dead);
  282. }
  283. void PacketPassFairQueue_EnableCancel (PacketPassFairQueue *m)
  284. {
  285. ASSERT(!m->use_cancel)
  286. ASSERT(PacketPassInterface_HasCancel(m->output))
  287. // using cancel
  288. m->use_cancel = 1;
  289. }
  290. void PacketPassFairQueue_PrepareFree (PacketPassFairQueue *m)
  291. {
  292. m->freeing = 1;
  293. }
  294. void PacketPassFairQueueFlow_Init (PacketPassFairQueueFlow *flow, PacketPassFairQueue *m)
  295. {
  296. ASSERT(!m->freeing)
  297. DebugIn_AmOut(&m->in_output);
  298. // init arguments
  299. flow->m = m;
  300. // init dead var
  301. DEAD_INIT(flow->dead);
  302. // have no canfree handler
  303. flow->handler_busy = NULL;
  304. // init input
  305. PacketPassInterface_Init(&flow->input, PacketPassInterface_GetMTU(flow->m->output), (PacketPassInterface_handler_send)input_handler_send, flow);
  306. // doesn't have time
  307. flow->have_time = 0;
  308. // is not queued
  309. flow->is_queued = 0;
  310. // increment debug counter
  311. DebugCounter_Increment(&m->d_ctr);
  312. // init debug object
  313. DebugObject_Init(&flow->d_obj);
  314. }
  315. void PacketPassFairQueueFlow_Free (PacketPassFairQueueFlow *flow)
  316. {
  317. if (!flow->m->freeing) {
  318. ASSERT(flow != flow->m->sending_flow)
  319. DebugIn_AmOut(&flow->m->in_output);
  320. }
  321. DebugCounter_Decrement(&flow->m->d_ctr);
  322. DebugObject_Free(&flow->d_obj);
  323. PacketPassFairQueue *m = flow->m;
  324. // remove current flow
  325. if (flow == flow->m->sending_flow) {
  326. flow->m->sending_flow = NULL;
  327. }
  328. // remove from queue
  329. if (flow->is_queued) {
  330. BHeap_Remove(&m->queued_heap, &flow->queued.heap_node);
  331. LinkedList2_Remove(&m->queued_list, &flow->queued.list_node);
  332. }
  333. // free input
  334. PacketPassInterface_Free(&flow->input);
  335. // free dead var
  336. DEAD_KILL(flow->dead);
  337. }
  338. int PacketPassFairQueueFlow_IsBusy (PacketPassFairQueueFlow *flow)
  339. {
  340. ASSERT(!flow->m->freeing)
  341. DebugIn_AmOut(&flow->m->in_output);
  342. return (flow == flow->m->sending_flow);
  343. }
  344. void PacketPassFairQueueFlow_Release (PacketPassFairQueueFlow *flow)
  345. {
  346. ASSERT(flow->m->use_cancel)
  347. ASSERT(flow == flow->m->sending_flow)
  348. ASSERT(!flow->m->freeing)
  349. DebugIn_AmOut(&flow->m->in_output);
  350. PacketPassFairQueue *m = flow->m;
  351. // cancel current packet
  352. if (call_cancel(m) < 0) {
  353. return;
  354. }
  355. // set no sending flow
  356. m->sending_flow = NULL;
  357. // set continue job
  358. BPending_Set(&m->continue_job);
  359. }
  360. void PacketPassFairQueueFlow_SetBusyHandler (PacketPassFairQueueFlow *flow, PacketPassFairQueue_handler_busy handler, void *user)
  361. {
  362. ASSERT(flow == flow->m->sending_flow)
  363. ASSERT(!flow->m->freeing)
  364. DebugIn_AmOut(&flow->m->in_output);
  365. flow->handler_busy = handler;
  366. flow->user = user;
  367. }
  368. PacketPassInterface * PacketPassFairQueueFlow_GetInput (PacketPassFairQueueFlow *flow)
  369. {
  370. return &flow->input;
  371. }