A task scheduling algorithm for parallel logic programming systems
Jie Tao, Jiubin Ju · 2000
A task scheduling algorithm for parallel logic programming systems and its implementation in an AND-parallel Prolog system are described. This algorithm schedules all of the parallel subtasks which are created during the execution of a program, under centralized control, and allows the processors to choose to give their priorities to some tasks so that the solution to a question can be acquired as quickly as possible and so that the parallel system obtains a higher speedup. In this algorithm, co-scheduling is introduced and the load balancing of processors is considered.