Searched refs:task_pre_queue (Results 1 – 5 of 5) sorted by relevance
39 struct aws_linked_list task_pre_queue; in s_process_task_pre_queue() local40 aws_linked_list_init(&task_pre_queue); in s_process_task_pre_queue()41 _(wrap(&task_pre_queue.head)) in s_process_task_pre_queue()42 _(wrap(&task_pre_queue.tail)) in s_process_task_pre_queue()43 _(wrap(&task_pre_queue)) in s_process_task_pre_queue()60 aws_linked_list_swap_contents(&epoll_loop->task_pre_queue, &task_pre_queue); in s_process_task_pre_queue()65 _(invariant 0 <= task_pre_queue.length) in s_process_task_pre_queue()66 _(invariant \wrapped(&task_pre_queue)) in s_process_task_pre_queue()85 _(unwrap(&task_pre_queue)) in s_process_task_pre_queue()86 _(unwrap(&task_pre_queue.head)) in s_process_task_pre_queue()[all …]
126 aws_linked_list_init(&epoll_loop->task_pre_queue); in aws_event_loop_new_default_with_options()188 _(wrap(&epoll_loop->task_pre_queue.head)) in aws_event_loop_new_default_with_options()189 _(wrap(&epoll_loop->task_pre_queue.tail)) in aws_event_loop_new_default_with_options()190 _(wrap(&epoll_loop->task_pre_queue)) in aws_event_loop_new_default_with_options()277 _(assert \wrapped(&epoll_loop->task_pre_queue)) in s_destroy()287 _(invariant 0 <= epoll_loop->task_pre_queue.length) in s_destroy()288 _(invariant \wrapped(&epoll_loop->task_pre_queue)) in s_destroy()289 _(writes &epoll_loop->task_pre_queue) in s_destroy()321 &epoll_loop->task_pre_queue, in s_destroy()330 &epoll_loop->task_pre_queue.head, in s_destroy()[all …]
75 _(assert epoll_loop->task_pre_queue.\owner == \me) in s_schedule_task_common()79 bool is_first_task = aws_linked_list_empty(&epoll_loop->task_pre_queue); in s_schedule_task_common()81 aws_linked_list_push_back(&epoll_loop->task_pre_queue, &task->node _(ghost task)); in s_schedule_task_common()
543 _(:queue) struct aws_linked_list task_pre_queue; member561 _(invariant task_pre_queue_mutex.protected_obj == &task_pre_queue)651 && \fresh(&loop->task_pre_queue) \
88 struct aws_linked_list task_pre_queue; member144 aws_linked_list_init(&epoll_loop->task_pre_queue); in aws_event_loop_new_default_with_options()246 while (!aws_linked_list_empty(&epoll_loop->task_pre_queue)) { in s_destroy()247 struct aws_linked_list_node *node = aws_linked_list_pop_front(&epoll_loop->task_pre_queue); in s_destroy()356 bool is_first_task = aws_linked_list_empty(&epoll_loop->task_pre_queue); in s_schedule_task_common()358 aws_linked_list_push_back(&epoll_loop->task_pre_queue, &task->node); in s_schedule_task_common()517 struct aws_linked_list task_pre_queue; in s_process_task_pre_queue() local518 aws_linked_list_init(&task_pre_queue); in s_process_task_pre_queue()529 aws_linked_list_swap_contents(&epoll_loop->task_pre_queue, &task_pre_queue); in s_process_task_pre_queue()533 while (!aws_linked_list_empty(&task_pre_queue)) { in s_process_task_pre_queue()[all …]