void resume_suspension_frame(susp_fr_ptr resume_fr, or_fr_ptr top_or_fr) { CACHE_REGS or_fr_ptr or_frame; sg_fr_ptr sg_frame; /* copy suspended stacks */ memmove(SuspFr_global_reg(resume_fr), SuspFr_global_start(resume_fr), SuspFr_global_size(resume_fr)); memmove(SuspFr_local_reg(resume_fr), SuspFr_local_start(resume_fr), SuspFr_local_size(resume_fr)); memmove(SuspFr_trail_reg(resume_fr), SuspFr_trail_start(resume_fr), SuspFr_trail_size(resume_fr)); OPTYAP_ERROR_CHECKING(resume_suspension_frame, DepFr_cons_cp(SuspFr_top_dep_fr(resume_fr))->cp_h != SuspFr_global_reg(resume_fr) + SuspFr_global_size(resume_fr)); OPTYAP_ERROR_CHECKING(resume_suspension_frame, DepFr_cons_cp(SuspFr_top_dep_fr(resume_fr))->cp_tr != SuspFr_trail_reg(resume_fr) + SuspFr_trail_size(resume_fr)); OPTYAP_ERROR_CHECKING(resume_suspension_frame, DepFr_cons_cp(SuspFr_top_dep_fr(resume_fr)) != SuspFr_local_reg(resume_fr)); OPTYAP_ERROR_CHECKING(resume_suspension_frame, (void *)Get_LOCAL_top_cp() < SuspFr_local_reg(resume_fr) + SuspFr_local_size(resume_fr)); /* update shared nodes */ or_frame = top_or_fr; while (or_frame != LOCAL_top_or_fr) { LOCK_OR_FRAME(or_frame); OrFr_owners(or_frame)++; UNLOCK_OR_FRAME(or_frame); or_frame = OrFr_next_on_stack(or_frame); } or_frame = top_or_fr; while (or_frame != LOCAL_top_or_fr) { LOCK_OR_FRAME(or_frame); BITMAP_insert(OrFr_members(or_frame), worker_id); BRANCH(worker_id, OrFr_depth(or_frame)) = 1; UNLOCK_OR_FRAME(or_frame); or_frame = OrFr_next(or_frame); } /* adjust top pointers */ LOCAL_top_or_fr = top_or_fr; SetOrFr_node(top_or_fr, Get_LOCAL_top_cp()); LOCAL_top_sg_fr = SuspFr_top_sg_fr(resume_fr); LOCAL_top_dep_fr = SuspFr_top_dep_fr(resume_fr); Set_LOCAL_top_cp_on_stack( GetOrFr_node(SuspFr_top_or_fr_on_stack(resume_fr)) ); sg_frame = LOCAL_top_sg_fr; while (sg_frame && YOUNGER_CP(SgFr_gen_cp(sg_frame), Get_LOCAL_top_cp_on_stack())) { SgFr_gen_worker(sg_frame) = worker_id; sg_frame = SgFr_next(sg_frame); } /* adjust freeze registers */ adjust_freeze_registers(); /* free suspension frame */ FREE_SUSPENSION_FRAME(resume_fr); return; }
static void share_private_nodes(int worker_q) { choiceptr sharing_node = B; #ifdef DEBUG_OPTYAP OPTYAP_ERROR_CHECKING(share_private_nodes, YOUNGER_CP(LOCAL_top_cp, LOCAL_top_cp_on_stack)); { choiceptr aux_cp = B; while (aux_cp != LOCAL_top_cp) { OPTYAP_ERROR_CHECKING(share_private_nodes, YOUNGER_CP(LOCAL_top_cp, aux_cp)); OPTYAP_ERROR_CHECKING(share_private_nodes, EQUAL_OR_YOUNGER_CP(LOCAL_top_cp_on_stack, aux_cp)); aux_cp = aux_cp->cp_b; } } #endif /* DEBUG_OPTYAP */ #ifdef TABLING /* check if the branch is already shared */ if (EQUAL_OR_YOUNGER_CP(LOCAL_top_cp_on_stack, sharing_node)) { or_fr_ptr or_frame; sg_fr_ptr sg_frame; dep_fr_ptr dep_frame; #ifdef DEBUG_OPTYAP { or_fr_ptr aux_or_fr; aux_or_fr = LOCAL_top_or_fr; while (aux_or_fr != REMOTE_top_or_fr(worker_q)) { OPTYAP_ERROR_CHECKING(share_private_nodes, YOUNGER_CP(OrFr_node(REMOTE_top_or_fr(worker_q)), OrFr_node(aux_or_fr))); aux_or_fr = OrFr_next_on_stack(aux_or_fr); } } #endif /* DEBUG_OPTYAP */ /* update old shared nodes */ or_frame = LOCAL_top_or_fr; while (or_frame != REMOTE_top_or_fr(worker_q)) { LOCK_OR_FRAME(or_frame); BRANCH(worker_q, OrFr_depth(or_frame)) = BRANCH(worker_id, OrFr_depth(or_frame)); OrFr_owners(or_frame)++; if (BITMAP_member(OrFr_members(or_frame), worker_id)) BITMAP_insert(OrFr_members(or_frame), worker_q); UNLOCK_OR_FRAME(or_frame); or_frame = OrFr_next_on_stack(or_frame); } /* update worker Q top subgoal frame */ sg_frame = LOCAL_top_sg_fr; while (sg_frame && YOUNGER_CP(SgFr_gen_cp(sg_frame), sharing_node)) { sg_frame = SgFr_next(sg_frame); } REMOTE_top_sg_fr(worker_q) = sg_frame; /* update worker Q top dependency frame */ dep_frame = LOCAL_top_dep_fr; while (YOUNGER_CP(DepFr_cons_cp(dep_frame), sharing_node)) { dep_frame = DepFr_next(dep_frame); } REMOTE_top_dep_fr(worker_q) = dep_frame; /* update worker Q top shared nodes */ REMOTE_top_cp_on_stack(worker_q) = REMOTE_top_cp(worker_q) = LOCAL_top_cp; REMOTE_top_or_fr(worker_q) = LOCAL_top_or_fr; } else #endif /* TABLING */ { int depth; bitmap bm_workers; or_fr_ptr or_frame, previous_or_frame; #ifdef TABLING choiceptr consumer_cp, next_node_on_branch; dep_fr_ptr dep_frame; sg_fr_ptr sg_frame; CELL *stack, *stack_limit; /* find top dependency frame above current choice point */ dep_frame = LOCAL_top_dep_fr; while (EQUAL_OR_YOUNGER_CP(DepFr_cons_cp(dep_frame), sharing_node)) { dep_frame = DepFr_next(dep_frame); } /* initialize tabling auxiliary variables */ consumer_cp = DepFr_cons_cp(dep_frame); next_node_on_branch = NULL; stack_limit = (CELL *)TR; stack = (CELL *)LOCAL_TrailTop; #endif /* TABLING */ /* initialize auxiliary variables */ BITMAP_clear(bm_workers); BITMAP_insert(bm_workers, worker_id); BITMAP_insert(bm_workers, worker_q); previous_or_frame = NULL; depth = OrFr_depth(LOCAL_top_or_fr); /* sharing loop */ #ifdef TABLING while (YOUNGER_CP(sharing_node, LOCAL_top_cp_on_stack)) { #else while (sharing_node != LOCAL_top_cp) { #endif /* TABLING */ #ifdef DEBUG_OPTYAP if (next_node_on_branch) { choiceptr aux_cp = B; while (aux_cp != next_node_on_branch) { OPTYAP_ERROR_CHECKING(share_private_nodes, sharing_node == aux_cp); OPTYAP_ERROR_CHECKING(share_private_nodes, YOUNGER_CP(next_node_on_branch, aux_cp)); aux_cp = aux_cp->cp_b; } } else { choiceptr aux_cp = B; while (aux_cp != sharing_node) { OPTYAP_ERROR_CHECKING(share_private_nodes, YOUNGER_CP(sharing_node, aux_cp)); aux_cp = aux_cp->cp_b; } } #endif /* DEBUG_OPTYAP */ ALLOC_OR_FRAME(or_frame); if (previous_or_frame) { #ifdef TABLING OrFr_next_on_stack(previous_or_frame) = #endif /* TABLING */ OrFr_nearest_livenode(previous_or_frame) = OrFr_next(previous_or_frame) = or_frame; } previous_or_frame = or_frame; depth++; INIT_LOCK(OrFr_lock(or_frame)); OrFr_node(or_frame) = sharing_node; OrFr_alternative(or_frame) = sharing_node->cp_ap; OrFr_pend_prune_cp(or_frame) = NULL; OrFr_nearest_leftnode(or_frame) = LOCAL_top_or_fr; OrFr_qg_solutions(or_frame) = NULL; #ifdef TABLING_INNER_CUTS OrFr_tg_solutions(or_frame) = NULL; #endif /* TABLING_INNER_CUTS */ #ifdef TABLING OrFr_suspensions(or_frame) = NULL; OrFr_nearest_suspnode(or_frame) = or_frame; OrFr_owners(or_frame) = 2; if (next_node_on_branch) BITMAP_clear(OrFr_members(or_frame)); else #endif /* TABLING */ OrFr_members(or_frame) = bm_workers; YAPOR_ERROR_CHECKING(share_private_nodes, sharing_node->cp_ap == GETWORK || sharing_node->cp_ap == GETWORK_SEQ); if (sharing_node->cp_ap && YAMOP_SEQ(sharing_node->cp_ap)) { sharing_node->cp_ap = GETWORK_SEQ; } else { sharing_node->cp_ap = GETWORK; } sharing_node->cp_or_fr = or_frame; sharing_node = sharing_node->cp_b; #ifdef TABLING /* when next_node_on_branch is not NULL the ** ** sharing_node belongs to a frozen branch. */ if (YOUNGER_CP(consumer_cp, sharing_node)) { /* frozen stack segment */ if (! next_node_on_branch) next_node_on_branch = sharing_node; STACK_PUSH_UP(or_frame, stack); STACK_CHECK_EXPAND(stack, stack_limit); STACK_PUSH_UP(sharing_node, stack); STACK_CHECK_EXPAND(stack, stack_limit); sharing_node = consumer_cp; dep_frame = DepFr_next(dep_frame); consumer_cp = DepFr_cons_cp(dep_frame); } else if (consumer_cp == sharing_node) { dep_frame = DepFr_next(dep_frame); consumer_cp = DepFr_cons_cp(dep_frame); } if (next_node_on_branch == sharing_node) next_node_on_branch = NULL; #endif /* TABLING */ OPTYAP_ERROR_CHECKING(share_private_nodes, next_node_on_branch && YOUNGER_CP(next_node_on_branch, sharing_node)); } /* initialize last or-frame pointer */ or_frame = sharing_node->cp_or_fr; if (previous_or_frame) { #ifdef TABLING OrFr_next_on_stack(previous_or_frame) = #endif /* TABLING */ OrFr_nearest_livenode(previous_or_frame) = OrFr_next(previous_or_frame) = or_frame; } #ifdef TABLING /* update or-frames stored in auxiliary stack */ while (STACK_NOT_EMPTY(stack, (CELL *)LOCAL_TrailTop)) { next_node_on_branch = (choiceptr) STACK_POP_DOWN(stack); or_frame = (or_fr_ptr) STACK_POP_DOWN(stack); OrFr_nearest_livenode(or_frame) = OrFr_next(or_frame) = next_node_on_branch->cp_or_fr; } #endif /* TABLING */ /* update depth */ if (depth >= MAX_BRANCH_DEPTH) Yap_Error(SYSTEM_ERROR_INTERNAL, TermNil, "maximum depth exceded (share_private_nodes)"); or_frame = B->cp_or_fr; #ifdef TABLING previous_or_frame = LOCAL_top_cp_on_stack->cp_or_fr; while (or_frame != previous_or_frame) { #else while (or_frame != LOCAL_top_or_fr) { #endif /* TABLING */ unsigned int branch; if (OrFr_alternative(or_frame)) { branch = YAMOP_OR_ARG(OrFr_alternative(or_frame)) + 1; } else { branch = 1; } branch |= YAMOP_CUT_FLAG; /* in doubt, assume cut */ BRANCH(worker_id, depth) = BRANCH(worker_q, depth) = branch; OrFr_depth(or_frame) = depth--; or_frame = OrFr_next_on_stack(or_frame); } YAPOR_ERROR_CHECKING(share_private_nodes, depth != OrFr_depth(LOCAL_top_or_fr)); #ifdef DEBUG_OPTYAP { or_fr_ptr aux_or_fr = B->cp_or_fr; choiceptr aux_cp; while (aux_or_fr != LOCAL_top_cp_on_stack->cp_or_fr) { aux_cp = OrFr_node(aux_or_fr); OPTYAP_ERROR_CHECKING(share_private_nodes, OrFr_next(aux_or_fr) != aux_cp->cp_b->cp_or_fr); OPTYAP_ERROR_CHECKING(share_private_nodes, OrFr_nearest_livenode(aux_or_fr) != aux_cp->cp_b->cp_or_fr); aux_or_fr = OrFr_next_on_stack(aux_or_fr); } aux_or_fr = B->cp_or_fr; while (aux_or_fr != LOCAL_top_cp_on_stack->cp_or_fr) { or_fr_ptr nearest_leftnode = OrFr_nearest_leftnode(aux_or_fr); aux_cp = OrFr_node(aux_or_fr); while (OrFr_node(nearest_leftnode) != aux_cp) { OPTYAP_ERROR_CHECKING(share_private_nodes, YOUNGER_CP(OrFr_node(nearest_leftnode), aux_cp)); aux_cp = aux_cp->cp_b; } aux_or_fr = OrFr_next_on_stack(aux_or_fr); } } #endif /* DEBUG_OPTYAP */ /* update old shared nodes */ while (or_frame != REMOTE_top_or_fr(worker_q)) { LOCK_OR_FRAME(or_frame); BRANCH(worker_q, OrFr_depth(or_frame)) = BRANCH(worker_id, OrFr_depth(or_frame)); #ifdef TABLING OrFr_owners(or_frame)++; if (BITMAP_member(OrFr_members(or_frame), worker_id)) #endif /* TABLING */ BITMAP_insert(OrFr_members(or_frame), worker_q); UNLOCK_OR_FRAME(or_frame); or_frame = OrFr_next_on_stack(or_frame); } LOCK_OR_FRAME(REMOTE_top_or_fr(worker_q)); or_fr_ptr old_top = REMOTE_top_or_fr(worker_q); Set_REMOTE_top_cp(worker_q,B); Set_LOCAL_top_cp(B); REMOTE_top_or_fr(worker_q) = LOCAL_top_or_fr = Get_LOCAL_top_cp()->cp_or_fr; UNLOCK_OR_FRAME(old_top); #ifdef TABLING /* update subgoal frames in the maintained private branches */ sg_frame = LOCAL_top_sg_fr; while (sg_frame && YOUNGER_CP(SgFr_gen_cp(sg_frame), B)) { choiceptr top_cp_on_branch; top_cp_on_branch = SgFr_gen_cp(sg_frame); while (YOUNGER_CP(top_cp_on_branch, B)) { top_cp_on_branch = top_cp_on_branch->cp_b; } SgFr_gen_top_or_fr(sg_frame) = top_cp_on_branch->cp_or_fr; sg_frame = SgFr_next(sg_frame); } /* update worker Q top subgoal frame */ REMOTE_top_sg_fr(worker_q) = sg_frame; /* update subgoal frames in the recently shared branches */ while (sg_frame && YOUNGER_CP(SgFr_gen_cp(sg_frame), LOCAL_top_cp_on_stack)) { SgFr_gen_worker(sg_frame) = MAX_WORKERS; SgFr_gen_top_or_fr(sg_frame) = SgFr_gen_cp(sg_frame)->cp_or_fr; sg_frame = SgFr_next(sg_frame); } /* update dependency frames in the maintained private branches */ dep_frame = LOCAL_top_dep_fr; while (YOUNGER_CP(DepFr_cons_cp(dep_frame), B)) { choiceptr top_cp_on_branch; top_cp_on_branch = DepFr_cons_cp(dep_frame); while (YOUNGER_CP(top_cp_on_branch, B)) { top_cp_on_branch = top_cp_on_branch->cp_b; } DepFr_top_or_fr(dep_frame) = top_cp_on_branch->cp_or_fr; dep_frame = DepFr_next(dep_frame); } /* update worker Q top dependency frame */ REMOTE_top_dep_fr(worker_q) = dep_frame; /* update dependency frames in the recently shared branches */ while (YOUNGER_CP(DepFr_cons_cp(dep_frame), LOCAL_top_cp_on_stack)) { DepFr_top_or_fr(dep_frame) = DepFr_cons_cp(dep_frame)->cp_or_fr; dep_frame = DepFr_next(dep_frame); } #endif /* TABLING */ #ifdef DEBUG_OPTYAP { dep_fr_ptr aux_dep_fr = LOCAL_top_dep_fr; while(aux_dep_fr != GLOBAL_root_dep_fr) { choiceptr top_cp_on_branch; top_cp_on_branch = DepFr_cons_cp(aux_dep_fr); while (YOUNGER_CP(top_cp_on_branch, B)) { top_cp_on_branch = top_cp_on_branch->cp_b; } OPTYAP_ERROR_CHECKING(share_private_nodes, top_cp_on_branch->cp_or_fr != DepFr_top_or_fr(aux_dep_fr)); aux_dep_fr = DepFr_next(aux_dep_fr); } } #endif /* DEBUG_OPTYAP */ /* update top shared nodes */ #ifdef TABLING REMOTE_top_cp_on_stack(worker_q) = LOCAL_top_cp_on_stack = #endif /* TABLING */ REMOTE_top_cp(worker_q) = LOCAL_top_cp = B; REMOTE_top_or_fr(worker_q) = LOCAL_top_or_fr = LOCAL_top_cp->cp_or_fr; } #ifdef TABLING_INNER_CUTS /* update worker Q pruning scope */ if (LOCAL_pruning_scope && EQUAL_OR_YOUNGER_CP(LOCAL_top_cp, LOCAL_pruning_scope)) { REMOTE_pruning_scope(worker_q) = LOCAL_pruning_scope; PUT_IN_PRUNING(worker_q); } else { PUT_OUT_PRUNING(worker_q); REMOTE_pruning_scope(worker_q) = NULL; } #endif /* TABLING_INNER_CUTS */ /* update worker Q prune request */ if (LOCAL_prune_request) { CUT_send_prune_request(worker_q, LOCAL_prune_request); } /* update load and return */ REMOTE_load(worker_q) = LOCAL_load = 0; return; }
void Yap_init_global(int max_table_size, int n_workers, int sch_loop, int delay_load) { int i; /* global data related to memory management */ #ifdef LIMIT_TABLING if (max_table_size) GLOBAL_MAX_PAGES = ((max_table_size - 1) * 1024 * 1024 / SHMMAX + 1) * SHMMAX / Yap_page_size; else GLOBAL_MAX_PAGES = -1; #endif /* LIMIT_TABLING */ INIT_PAGES(GLOBAL_PAGES_void, void *); #ifdef YAPOR INIT_PAGES(GLOBAL_PAGES_or_fr, struct or_frame); INIT_PAGES(GLOBAL_PAGES_qg_sol_fr, struct query_goal_solution_frame); INIT_PAGES(GLOBAL_PAGES_qg_ans_fr, struct query_goal_answer_frame); #endif /* YAPOR */ #ifdef TABLING_INNER_CUTS INIT_PAGES(GLOBAL_PAGES_tg_sol_fr, struct table_subgoal_solution_frame); INIT_PAGES(GLOBAL_PAGES_tg_ans_fr, struct table_subgoal_answer_frame); #endif /* TABLING_INNER_CUTS */ #ifdef TABLING #ifdef GLOBAL_TRIE INIT_PAGES(GLOBAL_PAGES_gt_node, struct global_trie_node); INIT_PAGES(GLOBAL_PAGES_gt_hash, struct global_trie_hash); #endif /* GLOBAL_TRIE */ INIT_PAGES(GLOBAL_PAGES_tab_ent, struct table_entry); INIT_PAGES(GLOBAL_PAGES_sg_fr, struct subgoal_frame); INIT_PAGES(GLOBAL_PAGES_sg_node, struct subgoal_trie_node); INIT_PAGES(GLOBAL_PAGES_ans_node, struct answer_trie_node); INIT_PAGES(GLOBAL_PAGES_sg_hash, struct subgoal_trie_hash); INIT_PAGES(GLOBAL_PAGES_ans_hash, struct answer_trie_hash); INIT_PAGES(GLOBAL_PAGES_dep_fr, struct dependency_frame); #endif /* TABLING */ #if defined(YAPOR) && defined(TABLING) INIT_PAGES(GLOBAL_PAGES_susp_fr, struct suspension_frame); #endif /* YAPOR && TABLING */ #ifdef YAPOR /* global static data */ number_workers = n_workers; worker_pid(0) = getpid(); for (i = 1; i < number_workers; i++) worker_pid(i) = 0; SCHEDULER_LOOP = sch_loop; DELAYED_RELEASE_LOAD = delay_load; /* global data related to or-performance */ GLOBAL_number_goals = 0; GLOBAL_best_times(0) = 0; GLOBAL_performance_mode = PERFORMANCE_OFF; /* global data related to or-parallelism */ BITMAP_clear(GLOBAL_bm_present_workers); for (i = 0; i < number_workers; i++) BITMAP_insert(GLOBAL_bm_present_workers, i); BITMAP_copy(GLOBAL_bm_idle_workers, GLOBAL_bm_present_workers); BITMAP_clear(GLOBAL_bm_root_cp_workers); BITMAP_clear(GLOBAL_bm_invisible_workers); BITMAP_clear(GLOBAL_bm_requestable_workers); BITMAP_clear(GLOBAL_bm_executing_workers); BITMAP_copy(GLOBAL_bm_finished_workers, GLOBAL_bm_present_workers); INIT_LOCK(GLOBAL_LOCKS_bm_idle_workers); INIT_LOCK(GLOBAL_LOCKS_bm_root_cp_workers); INIT_LOCK(GLOBAL_LOCKS_bm_invisible_workers); INIT_LOCK(GLOBAL_LOCKS_bm_requestable_workers); INIT_LOCK(GLOBAL_LOCKS_bm_executing_workers); INIT_LOCK(GLOBAL_LOCKS_bm_finished_workers); #ifdef TABLING_INNER_CUTS INIT_LOCK(GLOBAL_LOCKS_bm_pruning_workers); #endif /* TABLING_INNER_CUTS */ GLOBAL_LOCKS_who_locked_heap = MAX_WORKERS; INIT_LOCK(GLOBAL_LOCKS_heap_access); INIT_LOCK(GLOBAL_LOCKS_alloc_block); #if defined(YAPOR_ERRORS) || defined(TABLING_ERRORS) INIT_LOCK(GLOBAL_LOCKS_stderr_messages); #endif /* YAPOR_ERRORS || TABLING_ERRORS */ if (number_workers == 1) PARALLEL_EXECUTION_MODE = FALSE; else PARALLEL_EXECUTION_MODE = TRUE; #endif /* YAPOR */ #ifdef TABLING /* global data related to tabling */ GLOBAL_root_tab_ent = NULL; #ifdef GLOBAL_TRIE new_global_trie_node(GLOBAL_root_gt, 0, NULL, NULL, NULL); #endif /* GLOBAL_TRIE */ #ifdef LIMIT_TABLING GLOBAL_first_sg_fr = NULL; GLOBAL_last_sg_fr = NULL; GLOBAL_check_sg_fr = NULL; #endif /* LIMIT_TABLING */ GLOBAL_root_dep_fr = NULL; for (i = 0; i < MAX_TABLE_VARS; i++) { CELL *pt = GLOBAL_table_var_enumerator_addr(i); RESET_VARIABLE(pt); } #ifdef TABLE_LOCK_AT_WRITE_LEVEL for (i = 0; i < TABLE_LOCK_BUCKETS; i++) INIT_LOCK(GLOBAL_table_lock(i)); #endif /* TABLE_LOCK_AT_WRITE_LEVEL */ #endif /* TABLING */ return; }
void Yap_init_global_optyap_data(int max_table_size, int n_workers, int sch_loop, int delay_load) { int i; /* global data related to memory management */ #ifdef USE_PAGES_MALLOC INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_alloc, void *); INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_void, void *); #endif /* USE_PAGES_MALLOC */ #ifdef TABLING INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_tab_ent, struct table_entry); #if defined(THREADS_FULL_SHARING) || defined(THREADS_CONSUMER_SHARING) INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_sg_ent, struct subgoal_entry); #endif INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_sg_fr, struct subgoal_frame); INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_dep_fr, struct dependency_frame); INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_sg_node, struct subgoal_trie_node); INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_sg_hash, struct subgoal_trie_hash); INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_ans_node, struct answer_trie_node); INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_ans_hash, struct answer_trie_hash); #if defined(THREADS_FULL_SHARING) INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_ans_ref_node, struct answer_ref_node); #endif INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_gt_node, struct global_trie_node); INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_gt_hash, struct global_trie_hash); #endif /* TABLING */ #ifdef YAPOR INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_or_fr, struct or_frame); INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_qg_sol_fr, struct query_goal_solution_frame); INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_qg_ans_fr, struct query_goal_answer_frame); #ifdef TABLING INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_susp_fr, struct suspension_frame); #endif #ifdef TABLING_INNER_CUTS INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_tg_sol_fr, struct table_subgoal_solution_frame); INIT_GLOBAL_PAGE_ENTRY(GLOBAL_pages_tg_ans_fr, struct table_subgoal_answer_frame); #endif #endif /* YAPOR */ #ifdef YAPOR /* global static data */ GLOBAL_number_workers = n_workers; GLOBAL_worker_pid(0) = getpid(); for (i = 1; i < GLOBAL_number_workers; i++) GLOBAL_worker_pid(i) = 0; GLOBAL_scheduler_loop = sch_loop; GLOBAL_delayed_release_load = delay_load; /* global data related to or-parallelism */ ALLOC_OR_FRAME(GLOBAL_root_or_fr); BITMAP_clear(GLOBAL_bm_present_workers); for (i = 0; i < GLOBAL_number_workers; i++) BITMAP_insert(GLOBAL_bm_present_workers, i); BITMAP_copy(GLOBAL_bm_idle_workers, GLOBAL_bm_present_workers); BITMAP_clear(GLOBAL_bm_root_cp_workers); BITMAP_clear(GLOBAL_bm_invisible_workers); BITMAP_clear(GLOBAL_bm_requestable_workers); BITMAP_copy(GLOBAL_bm_finished_workers, GLOBAL_bm_present_workers); INIT_LOCK(GLOBAL_locks_bm_idle_workers); INIT_LOCK(GLOBAL_locks_bm_root_cp_workers); INIT_LOCK(GLOBAL_locks_bm_invisible_workers); INIT_LOCK(GLOBAL_locks_bm_requestable_workers); INIT_LOCK(GLOBAL_locks_bm_finished_workers); #ifdef TABLING_INNER_CUTS INIT_LOCK(GLOBAL_locks_bm_pruning_workers); #endif /* TABLING_INNER_CUTS */ GLOBAL_locks_who_locked_heap = MAX_WORKERS; INIT_LOCK(GLOBAL_locks_heap_access); INIT_LOCK(GLOBAL_locks_alloc_block); if (GLOBAL_number_workers == 1) GLOBAL_parallel_mode = PARALLEL_MODE_OFF; else GLOBAL_parallel_mode = PARALLEL_MODE_ON; #endif /* YAPOR */ #ifdef TABLING /* global data related to tabling */ GLOBAL_root_gt = NULL; GLOBAL_root_tab_ent = NULL; #ifdef LIMIT_TABLING if (max_table_size) GLOBAL_max_pages = ((max_table_size - 1) * 1024 * 1024 / SHMMAX + 1) * SHMMAX / Yap_page_size; else GLOBAL_max_pages = -1; GLOBAL_first_sg_fr = NULL; GLOBAL_last_sg_fr = NULL; GLOBAL_check_sg_fr = NULL; #endif /* LIMIT_TABLING */ #ifdef YAPOR new_dependency_frame(GLOBAL_root_dep_fr, FALSE, NULL, NULL, NULL, NULL, FALSE, NULL); #endif /* YAPOR */ for (i = 0; i < MAX_TABLE_VARS; i++) { CELL *pt = GLOBAL_table_var_enumerator_addr(i); RESET_VARIABLE(pt); } #ifdef TRIE_LOCK_USING_GLOBAL_ARRAY for (i = 0; i < TRIE_LOCK_BUCKETS; i++) INIT_LOCK(GLOBAL_trie_locks(i)); #endif /* TRIE_LOCK_USING_GLOBAL_ARRAY */ #endif /* TABLING */ return; }
static void share_private_nodes(int worker_q) { int depth; choiceptr AuxB; or_fr_ptr or_frame, previous_or_frame; /* initialize auxiliary variables */ AuxB = B; previous_or_frame = NULL; depth = OrFr_depth(LOCAL_top_or_fr); /* sharing loop */ while (AuxB != LOCAL_top_cp) { depth++; ALLOC_OR_FRAME(or_frame); INIT_LOCK(OrFr_lock(or_frame)); SetOrFr_node(or_frame, AuxB); OrFr_alternative(or_frame) = AuxB->cp_ap; OrFr_pend_prune_cp(or_frame) = NULL; OrFr_nearest_leftnode(or_frame) = LOCAL_top_or_fr; OrFr_qg_solutions(or_frame) = NULL; BITMAP_clear(OrFr_members(or_frame)); BITMAP_insert(OrFr_members(or_frame), worker_id); BITMAP_insert(OrFr_members(or_frame), worker_q); if (AuxB->cp_ap && YAMOP_SEQ(AuxB->cp_ap)) { AuxB->cp_ap = GETWORK_SEQ; } else { AuxB->cp_ap = GETWORK; } AuxB->cp_or_fr = or_frame; AuxB = AuxB->cp_b; if (previous_or_frame) { OrFr_nearest_livenode(previous_or_frame) = OrFr_next(previous_or_frame) = or_frame; } previous_or_frame = or_frame; } /* initialize last or-frame pointer */ or_frame = AuxB->cp_or_fr; if (previous_or_frame) { OrFr_nearest_livenode(previous_or_frame) = OrFr_next(previous_or_frame) = or_frame; } /* update depth */ if (depth >= MAX_BRANCH_DEPTH) Yap_Error(INTERNAL_ERROR, TermNil, "maximum depth exceded (share_private_nodes)"); or_frame = B->cp_or_fr; while (or_frame != LOCAL_top_or_fr) { unsigned int branch; if (OrFr_alternative(or_frame)) { branch = YAMOP_OR_ARG(OrFr_alternative(or_frame)) + 1; } else { branch = 1; } branch |= YAMOP_CUT_FLAG; /* in doubt, assume cut */ BRANCH(worker_id, depth) = BRANCH(worker_q, depth) = branch; OrFr_depth(or_frame) = depth--; or_frame = OrFr_next_on_stack(or_frame); } /* update old shared nodes */ while (or_frame != REMOTE_top_or_fr(worker_q)) { LOCK_OR_FRAME(or_frame); BRANCH(worker_q, OrFr_depth(or_frame)) = BRANCH(worker_id, OrFr_depth(or_frame)); BITMAP_insert(OrFr_members(or_frame), worker_q); UNLOCK_OR_FRAME(or_frame); or_frame = OrFr_next_on_stack(or_frame); } /* update top shared nodes */ REMOTE_top_cp(worker_q) = LOCAL_top_cp = B; REMOTE_top_or_fr(worker_q) = LOCAL_top_or_fr = LOCAL_top_cp->cp_or_fr; /* update prune request */ if (LOCAL_prune_request) { CUT_send_prune_request(worker_q, LOCAL_prune_request); } /* update load and return */ REMOTE_load(worker_q) = LOCAL_load = 0; return; }
static void share_private_nodes(int worker_q) { int depth; choiceptr AuxB; or_fr_ptr or_frame, previous_or_frame; /* initialize auxiliary variables */ AuxB = B; previous_or_frame = NULL; depth = OrFr_depth(LOCAL_top_or_fr); /* sharing loop */ while (AuxB != LOCAL_top_cp) { depth++; ALLOC_OR_FRAME(or_frame); INIT_LOCK(OrFr_lock(or_frame)); OrFr_node(or_frame) = AuxB; OrFr_alternative(or_frame) = AuxB->cp_ap; OrFr_pend_prune_cp(or_frame) = NULL; OrFr_nearest_leftnode(or_frame) = LOCAL_top_or_fr; OrFr_qg_solutions(or_frame) = NULL; BITMAP_clear(OrFr_members(or_frame)); BITMAP_insert(OrFr_members(or_frame), worker_id); BITMAP_insert(OrFr_members(or_frame), worker_q); if (AuxB->cp_ap && YAMOP_SEQ(AuxB->cp_ap)) { AuxB->cp_ap = GETWORK_SEQ; } else { AuxB->cp_ap = GETWORK; } AuxB->cp_or_fr = or_frame; AuxB = AuxB->cp_b; if (previous_or_frame) { OrFr_nearest_livenode(previous_or_frame) = OrFr_next(previous_or_frame) = or_frame; } previous_or_frame = or_frame; } /* initialize last or-frame pointer */ or_frame = AuxB->cp_or_fr; if (previous_or_frame) { OrFr_nearest_livenode(previous_or_frame) = OrFr_next(previous_or_frame) = or_frame; } /* update depth */ if (depth >= MAX_BRANCH_DEPTH) Yap_Error(INTERNAL_ERROR, TermNil, "maximum depth exceded (share_private_nodes)"); or_frame = B->cp_or_fr; while (or_frame != LOCAL_top_or_fr) { unsigned int branch; if (OrFr_alternative(or_frame)) { branch = YAMOP_OR_ARG(OrFr_alternative(or_frame)) + 1; } else { branch = 1; } branch |= YAMOP_CUT_FLAG; /* in doubt, assume cut */ BRANCH(worker_id, depth) = BRANCH(worker_q, depth) = branch; OrFr_depth(or_frame) = depth--; or_frame = OrFr_next_on_stack(or_frame); } /* update old shared nodes */ while (or_frame != REMOTE_top_or_fr(worker_q)) { LOCK_OR_FRAME(or_frame); BRANCH(worker_q, OrFr_depth(or_frame)) = BRANCH(worker_id, OrFr_depth(or_frame)); BITMAP_insert(OrFr_members(or_frame), worker_q); UNLOCK_OR_FRAME(or_frame); or_frame = OrFr_next_on_stack(or_frame); } /* move conditional bindings to BA */ { tr_fr_ptr top, tr_ptr; top = LOCAL_top_cp->cp_tr; tr_ptr = TR; while (tr_ptr != top) { CELL aux_cell = TrailTerm(--tr_ptr); if (IsVarTerm(aux_cell) && ((CELL *)aux_cell < B->cp_h || (choiceptr)aux_cell > B) && !((CELL *)aux_cell < H_FZ || (choiceptr)aux_cell > B_FZ)) { CELL *ptr = STACK_TO_SBA(aux_cell); *ptr = TrailVal(tr_ptr); *(CELL *)aux_cell = (CELL)ptr; } else if (IsPairTerm(aux_cell) && (ADDR) RepPair(aux_cell) > HeapTop) { /* avoid frozen segments */ aux_cell = (CELL) RepPair(aux_cell); tr_ptr = (tr_fr_ptr) aux_cell; #ifdef MULTI_ASSIGNMENT_VARIABLES } else { CELL *cell_ptr = RepAppl(aux_cell); /* first do as a for a standard cell */ if ((cell_ptr < B->cp_h || cell_ptr > (CELL *)B) && !(cell_ptr < H_FZ || (choiceptr)cell_ptr > B_FZ)) { CELL *ptr = STACK_TO_SBA(cell_ptr); /* we may have several bindings in the trail */ if ((CELL)ptr != *cell_ptr) { *ptr = TrailVal(tr_ptr); *cell_ptr = (CELL)ptr; } } /* but we also need to skip the old value */ tr_ptr--; #endif /* MULTI_ASSIGNMENT_VARIABLES */ } } } /* update frozen registers */ B_FZ = B; H_FZ = B->cp_h; TR_FZ = B->cp_tr; /* update top shared nodes */ REMOTE_top_cp(worker_q) = LOCAL_top_cp = B; REMOTE_top_or_fr(worker_q) = LOCAL_top_or_fr = LOCAL_top_cp->cp_or_fr; /* update prune request */ if (LOCAL_prune_request) { CUT_send_prune_request(worker_q, LOCAL_prune_request); } /* update load and return */ REMOTE_load(worker_q) = LOCAL_load = 0; }