Reserve as much free space as possible for a specific memory block. The termination candidate process selection unit (204) selects a plurality of processes as termination candidate process groups for each of a plurality of memory blocks, and the termination process determination unit (206) holds the selected termination candidate process group already. It is determined whether or not it should be preferentially terminated with respect to the termination candidate process group, and the process group termination possibility determination unit (205) determines the termination candidate process that is determined to be terminated. The end process determining unit (206) rewrites the retained end candidate process group to the end candidate process group determined to be endable, and determines whether the group can be ended. When the selection of the end candidate process group for the memory block is completed, the retained end candidate process group is determined as the process group to be ended.
展开▼