Device and method for managing memory resources by using parallel-type garbage collection

A memory resource management device for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process to collect free cells from the heap, comprising:

• a full garbage collection unit checking a state of use of all cells in the heap by the execution of the application program and collecting free cells from the heap based on a checking result;
• a partial garbage collection unit extracting a cell that has been used by the execution of the application program after judgment of the state of use of cells recently made by said full garbage collection unit, checking the state of use of cells by the execution of the application program to the extracted cell and collecting free cells from the heap based on the checking result;
• and
• a full/partial control unit, coupled to said full and partial garbage collection units, to determine performance of a subsequent collection of free cells by one of said full garbage collection unit and said partial garbage collection unit depending on a collection state of free cells previously made by at least one of said full garbage collection unit and said partial garbage collection unit and a notification indicating a change in state of use of the heap during the execution of the application program.

A memory resource management device for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process in order to collect free cells from the heap, comprising:

• a full judgment unit judging whether, as to all cells in the heap, each cell is being used or is not being used by the execution of the application program;
• a full collection unit collecting free cells from the heap based on a judgment result of the full judgment unit;
• a partial extraction unit extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment unit;
• a partial judgment unit judging whether each of the cells extracted by the partial extraction unit is being used by the execution of the application program;
• a partial collection unit collecting free cells from the heap based on the judgment result of the partial judgment unit;
• and
• a partial marking garbage collection control unit determining to collect free cells from the heap by either the full collection unit or the partial collection unit, wherein
• said partial collection unit collects a free cell from the heap based on a second judgment result of the partial judgment unit if a cell judged to be free by the partial judgment unit has never been checked before.

A memory resource management device for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process in order to collect free cells from the heap, comprising:

• a full judgment unit judging whether, as to all cells in the heap, each cell is being used or is not being used by the execution of the application program;
• a full collection unit collecting free cells from the heap based on a judgment result of the full judgment unit;
• a partial extraction unit extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment unit;
• a partial judgment unit judging whether each of the cells extracted by the partial extraction unit is being used by the execution of the application program;
• a partial collection unit collecting free cells from the heap based on the judgment result of the partial judgment unit;
• a partial marking garbage collection control unit determining to collect free cells from the heap by either the full collection unit or the partial collection unit;
• and
• a notification unit notifying the partial judgment unit of a pointer pointing to a cell storing a first pointer if the first pointer that is stored in a cell being used in the heap and that points to another cell in the heap is modified to a second pointer, wherein
• said partial judgment unit newly judges whether a cell pointed to by the second pointer stored in a cell pointed to by the pointer reported by the notification unit is being used by the execution of the application program.

A memory resource management device for managing a heap that is a memory resource managed in units of cells, which are data strings and that is used in units of cells by execution of an application program, and performing a garbage collection process in order to collect free cells from the heap, comprising:

• a full judgment unit judging whether, as to all cells in the heap, each cell is being used or is not being used by the execution of the application program;
• a full collection unit collecting free cells from the heap based on a judgment result of the full judgment unit;
• a partial extraction unit extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment unit;
• a partial judgment unit judging whether each of the cells extracted by the partial extraction unit is being used by the execution of the application program;
• a partial collection unit collecting free cells from the heap based on the judgment result of the partial judgment unit;
• a partial marking garbage collection control unit determining to collect free cells from the heap by either the full collection unit or the partial collection unit;
• and
• a notification unit notifying the partial judgment unit of a first pointer if the first pointer that is stored in a cell being used in the heap and that points to another cell in the heap is modified to a second pointer and if a cell pointed to by the first pointer has never been checked by the full judgment unit or the partial judgment unit, wherein
• said partial judgment unit newly judges whether a cell pointed to by the first pointer reported by the notification unit is being used by the execution of the application program.

A memory resource management device for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process in order to collect free cells from the heap, comprising:

• a full judgment unit judging whether, as to all cells in the heap, each cell is being used or is not being used by the execution of the application program;
• a full collection unit collecting free cells from the heap based on a judgment result of the full judgment unit;
• a partial extraction unit extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment unit;
• a partial judgment unit judging whether each of the cells extracted by the partial extraction unit is being used by the execution of the application program;
• a partial collection unit collecting free cells from the heap based on the judgment result of the partial judgment unit;
• a partial marking garbage collection control unit determining to collect free cells from the heap by either the full collection unit or the partial collection unit;
• and
• a notification unit notifying the partial judgment unit of a second pointer if a first pointer that is stored in a cell being used in the heap and that points to another cell in the heap is modified to the second pointer and if a cell pointed to by the first pointer has been checked by the full judgment unit or the partial judgment unit, wherein
• said partial judgment unit newly judges whether a cell pointed to by the second pointer reported by the notification unit is being used by the execution of the application program.

A memory resource management device for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process in order to collect free cells from the heap, comprising:

• full garbage collection means for checking a state of use of all cells in the heap by the execution of the application program and collecting free cells from the heap based on the judgment result;
• partial garbage collection means for extracting a cell that has been used by the execution of the application program after judgment of the state of use of cells recently made by said full garbage collection means, checking the state of use of cells by the execution of the application program to the extracted cell and collecting free cells from the heap based on the judgment result;
• and
• full/partial control means for determining to perform a subsequent collection of free cells by either said full garbage collection means or said partial garbage collection means depending on a collection state of free cells previously made by said full garbage collection means or said partial garbage collection means and a ratio between a number of cells in the heap, data of which are modified by the execution of the application program while the state of use of cells is previously checked or collected by said full garbage collection unit or said partial garbage collection unit and the number of cells in the heap that are judged to be being used at time of judgment of the state of use of cells made by said full garbage collection unit or said partial garbage collection unit after judgment on the state of use of cells recently made by said full garbage collection unit.

A memory resource management device for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process in order to collect free cells from the heap, comprising:

• full judgment means for judging whether, as to all cells in the heap, each cell is being used or is not being used by the execution of the application program;
• full collection means for collecting free cells from the heap based on a judgment result of the full judgment means;
• partial extraction means for extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment means;
• partial judgment means for judging whether each of the cells extracted by the partial extraction means is being used by the execution of the application program;
• partial collection means for collecting free cells from the heap based on the judgment result of the partial judgment means;
• and
• partial marking garbage collection control means for determining to collect free cells from the heap by either the full collection means or the partial collection means, wherein
• said partial collection means collects a free cell from the heap based on a second judgment result of the partial judgment means if a cell judged to be not used by the partial judgment means has never been checked before.

A memory resource management device for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process in order to collect free cells from the heap, comprising:

• full judgment means for judging whether, as to all cells in the heap, each cell is being used or is not being used by the execution of the application program;
• full collection means for collecting free cells from the heap based on a judgment result of the full judgment means;
• partial extraction means for extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment means;
• partial judgment means for judging whether each of the cells extracted by the partial extraction means is being used by the execution of the application program;
• partial collection means for collecting free cells from the heap based on the judgment result of the partial judgment means;
• partial marking garbage collection control means for determining to collect free cells from the heap by either the full collection means or the partial collection means;
• and
• notification means for notifying the partial judgment means of a pointer pointing to a cell storing a first pointer if the first pointer that is stored in a cell being used in the heap and that points to another cell in the heap is modified to a second pointer, wherein
• said partial judgment means newly judges whether a cell pointed to by the second pointer stored in a cell pointed to by the pointer reported by the notification means is being used by the execution of the application program.

A memory resource management device for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process in order to collect free cells from the heap, comprising:

• full judgment means for judging whether, as to all cells in the heap, each cell is being used or is not being used by the execution of the application program;
• full collection means for collecting free cells from the heap based on a judgment result of the full judgment means;
• partial extraction means for extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment means;
• partial judgment means for judging whether each of the cells extracted by the partial extraction means is being used by the execution of the application program;
• partial collection means for collecting free cells from the heap based on the judgment result of the partial judgment means;
• partial marking garbage collection control means for determining to collect free cells from the heap by either the full collection means or the partial collection means;
• and
• notification means for notifying the partial judgment means of a first pointer if the first pointer that is stored in a cell being used in the heap and that points to another cell in the heap is modified to a second pointer and if a cell pointed to by the first pointer has never been checked by the full judgment means or the partial judgment means, wherein
• said partial judgment means newly judges whether a cell pointed to by the first pointer reported by the notification means is being used by the execution of the application program.

A memory resource management device for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process in order to collect free cells from the heap, comprising:

• full judgment means for judging whether, as to all cells in the heap, each cell is being used or is not being used by the execution of the application program;
• full collection means for collecting free cells from the heap based on a judgment result of the full judgment means;
• partial extraction means for extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment means;
• partial judgment means for judging whether each of the cells extracted by the partial extraction means is being used by the execution of the application program;
• partial collection means for collecting free cells from the heap based on the judgment result of the partial judgment means;
• partial marking garbage collection control means for determining to collect free cells from the heap by either the full collection means or the partial collection means;
• and
• notification means for notifying the partial judgment means of a second pointer if a first pointer that is stored in a cell being used in the heap and that points to another cell in the heap is modified to the second pointer and if a cell pointed to by the first pointer has been checked by the full judgment means or the partial judgment means, wherein
• said partial judgment means newly judges whether a cell pointed to by the second pointer reported by the notification means is being used by the execution of the application program.

A memory resource management method for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process in order to collect free cells from the heap, comprising:

• a full garbage collection operation of checking a state of use of all cells in the heap during the execution of the application program and collecting free cells from the heap based on a judgment result;
• a partial garbage collection operation of extracting a cell that has been used by the execution of the application program after judgment of the state of use of cells recently made by the full garbage collection operation, checking the state of use of cells by the execution of the application program and collecting free cells from the heap based on the judgment result;
• and
• a full/partial control operation of determining to perform a subsequent collection of free cells by either the full garbage collection operation or the partial garbage collection operation depending on a collection state of free cells previously made by the full garbage collection operation or the partial garbage collection operation and a ratio between a number of cells in the heap, data of which are modified by the execution of the application program while the state of use of cells is previously checked or collected by said full garbage collection unit or said partial garbage collection unit and the number of cells in the heap that are judged to be being used at time of judgment of the state of use of cells made by said full garbage collection unit or said partial garbage collection unit after judgment on the state of use of cells recently made by said full garbage collection unit.

A memory resource management method for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process in order to collect free cells from the heap, comprising:

• a full judgment operation of judging whether, as to all cells in the heap, each cell is being used by the execution of the application program;
• a full collection operation of collecting free cells from the heap based on a judgment result of the full judgment operation;
• a partial extraction operation of extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment operation;
• a partial judgment operation of judging whether each of the cells extracted by the partial extraction operation is being used by the execution of the application program;
• a partial collection operation of collecting free cells from the heap based on the judgment result of the partial judgment operation;
• and
• a partial marking garbage collection control operation of determining to collect free cells from the heap by either the full collection operation or the partial collection operation, wherein
• said partial collection operation collects a free cell from the heap based on a second judgment result of the partial judgment operation if a cell judged to be free by the partial judgment operation has never been checked before.

A memory resource management method for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process in order to collect free cells from the heap, comprising:

• a full judgment operation of judging whether, as to all cells in the heap, each cell is being used or is not being used by the execution of the application program;
• a full collection operation of collecting free cells from the heap based on a judgment result of the full judgment operation;
• a partial extraction operation of extracting a cell that has been used during the execution of the application program after judgment of a state of use of cells recently made by the full judgment operation;
• a partial judgment operation of judging whether each of the cells extracted by the partial extraction operation is being used by the execution of the application program;
• a partial collection operation of collecting free cells from the heap based on the judgment result of the partial judgment operation;
• a partial marking garbage collection control operation of determining to collect free cells from the heap by either the full collection operation or the partial collection operation;
• and
• a notification operation of notifying the partial judgment operation of a pointer pointing to a cell storing a first pointer if the first pointer that is stored in a cell being used in the heap and that points to another cell in the heap is modified to a second pointer, wherein
• said partial judgment operation newly judges whether a cell pointed to by the second pointer stored in a cell pointed to by the pointer reported by the notification operation is being used by the execution of the application program.

A memory resource management method for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process in order to collect free cells from the heap, comprising:

• a full judgment operation of judging whether, as to all cells in the heap, each cell is being used by the execution of the application program;
• a full collection operation of collecting free cells from the heap based on a judgment result of the full judgment operation;
• a partial extraction operation of extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment operation;
• partial judgment operation of judging whether each of the cells extracted by the partial extraction operation is being used by the execution of the application program;
• a partial collection operation of collecting free cells from the heap based on the judgment result of the partial judgment operation;
• a partial marking garbage collection control operation of determining to collect free cells from the heap by either the full collection operation or the partial collection operation;
• and
• a notification operation of notifying the partial judgment operation of a first pointer if the first pointer that is stored in a cell being used in the heap and that points to another cell in the heap is modified to a second pointer and if a cell pointed to by the first pointer has never been checked by the full judgment operation or the partial judgment operation, wherein
• said partial judgment operation newly judges whether a cell pointed to by the first pointer reported by the notification unit is being used by the execution of the application program.

A memory resource management method for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process in order to collect free cells from the heap, comprising:

• a full judgment operation of judging whether, as to all cells in the heap, each cell is being used by the execution of the application program;
• a full collection operation of collecting free cells from the heap based on a judgment result of the full judgment operation;
• a partial extraction operation of extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment operation;
• a partial judgment operation of judging whether each of the cells extracted by the partial extraction operation is being used by the execution of the application program;
• a partial collection operation of collecting free cells from the heap based on the judgment result of the partial judgment operation;
• a partial marking garbage collection control operation of determining to collect free cells from the heap by either the full collection operation or the partial collection operation;
• and
• a notification operation of notifying the partial judgment operation of a second pointer if a first pointer that is stored in a cell being used in the heap and that points to another cell in the heap is modified to the second pointer and if a cell pointed to by the first pointer has been checked by the full judgment operation or the partial judgment operation, wherein
• said partial judgment operation newly judges whether a cell pointed to by the second pointer reported by the notification operation is being used by the execution of the application program.

A computer-readable storage medium on which is recorded a memory resource management program for enabling a computer to manage a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and to perform a garbage collection process in order to collect free cells from the heap, said memory resource management program directing the computer to execute:

• a full garbage collection process of checking a state of use of all cells in the heap during the execution of the application program and collecting free cells from the heap based on a checking result;
• a partial garbage collection process of extracting a cell that has been used by the execution of the application program after judgment of the state of use of cells recently made by the full garbage collection process, checking the state of use of cells by the execution of the application program and collecting free cells from the heap based on the checking result;
• and
• a full/partial control process of determining to perform a subsequent collection of free cells by either the full garbage collection process or the partial garbage collection process depending on a collection state of free cells previously made by the full garbage collection process or the partial garbage collection process and a ratio between a number of cells in the heap, data of which are modified by the execution of the application program while the state of use of cells is previously checked or collected by said full garbage collection unit or said partial garbage collection unit and the number of cells in the heap that are judged to be being used at time of judgment of the state of use of cells made by said full garbage collection unit or said partial garbage collection unit after judgment on the state of use of cells recently made by said full garbage collection unit.

A computer-readable storage medium on which is recorded a memory resource management program for enabling a computer to manage a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and to perform a garbage collection process in order to collect free cells from the heap, said memory resource management program directing the computer to execute:

• a full judgment process of judging whether, as to all cells in the heap, each cell is being used by the execution of the application program;
• a full collection process of collecting free cells from the heap based on a judgment result of the full judgment process;
• a partial extraction process of extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment process;
• a partial judgment process of judging whether each of the cells extracted by the partial extraction process is being used by the execution of the application program;
• a partial collection process of collecting free cells from the heap based on the judgment result of the partial judgment process;
• and
• a partial marking garbage collection control process of determining to collect free cells from the heap by either the full collection process or the partial collection process, wherein
• said partial collection process collects a free cell from the heap based on a second judgment result of the partial judgment process if a cell judged to be free by the partial judgment process has never been checked before.

A computer-readable storage medium on which is recorded a memory resource management program for enabling a computer to manage a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and to perform a garbage collection process in order to collect free cells from the heap, said memory resource management program directing the computer to execute:

• a full judgment process of judging whether, as to all cells in the heap, each cell is being used by the execution of the application program;
• a full collection process of collecting free cells from the heap based on a judgment result of the full judgment process;
• a partial extraction process of extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment process;
• a partial judgment process of judging whether each of the cells extracted by the partial extraction process is being used by the execution of the application program;
• a partial collection process of collecting free cells from the heap based on the judgment result of the partial judgment process;
• a partial marking garbage collection control process of determining to collect free cells from the heap by either the full collection process or the partial collection process;
• and
• a notification process of notifying the partial judgment process of a pointer pointing to a cell storing a first pointer if the first pointer that is stored in a cell being used in the heap and that points to another cell in the heap is modified to a second pointer, wherein
• said partial judgment process newly judges whether a cell pointed to by the second pointer stored in a cell pointed to by the pointer reported by the notification process is being used by the execution of the application program.

A computer-readable storage medium on which is recorded a memory resource management program for enabling a computer to manage a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and to perform a garbage collection process in order to collect free cells from the heap, said memory resource management program directing the computer to execute:

• a full judgment process of judging whether, as to all cells in the heap, each cell is being used by the execution of the application program;
• a full collection process of collecting free cells from the heap based on a judgment result of the full judgment process;
• a partial extraction process of extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment process;
• a partial judgment process of judging whether each of the cells extracted by the partial extraction process is being used by the execution of the application program;
• a partial collection process of collecting free cells from the heap based on the judgment result of the partial judgment process;
• a partial marking garbage collection control process of determining to collect free cells from the heap by either the full collection process or the partial collection process;
• and
• a notification process of notifying the partial judgment process of a first pointer if the first pointer that is stored in a cell being used in the heap and that points to another cell in the heap is modified to a second pointer and if a cell pointed to by the first pointer has never been checked by the full judgment process or the partial judgment process, wherein
• said partial judgment process newly judges whether a cell pointed to by the first pointer reported by the notification unit is being used by the execution of the application program.

A computer-readable storage medium on which is recorded a memory resource management program for enabling a computer to manage a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and to perform a garbage collection process in order to collect free cells from the heap, said memory resource management program directing the computer to execute:

• a full judgment process of judging whether, as to all cells in the heap, each cell is being used by the execution of the application program;
• a full collection process of collecting free cells from the heap based on a judgment result of the full judgment process;
• a partial extraction process of extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment process;
• a partial judgment process of judging whether each of the cells extracted by the partial extraction process is being used by the execution of the application program;
• a partial collection process of collecting free cells from the heap based on the judgment result of the partial judgment process;
• a partial marking garbage collection control process of determining to collect free cells from the heap by either the full collection process or the partial collection process;
• and
• a notification process of notifying the partial judgment process of a second pointer if a first pointer that is stored in a cell being used in the heap and that points to another cell in the heap is modified to the second pointer and if a cell pointed to by the first pointer has been checked by the full judgment process or the partial judgment process, wherein
• said partial judgment process newly judges whether a cell pointed to by the second pointer reported by the notification process is being used by the execution of the application program.

A computer data signal embodied in a carrier wave and representing a memory resource management program for enabling a computer to manage a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and to perform a garbage collection process in order to collect free cells from the heap, said memory resource management program directing the computer to execute:

• a full garbage collection process of checking a state of use of all cells in the heap by the execution of the application program and collecting free cells from the heap based on a judgment result;
• a partial garbage collection process of extracting a cell that has been used by the execution of the application program after judgment of the state of use of cells recently made by the full garbage collection process, checking the state of use of cells by the execution of the application program and collecting free cells from the heap based on the judgment result;
• and
• a full/partial control process of determining to perform a subsequent collection of free cells by either the full garbage collection process or the partial garbage collection process depending on a collection state of free cells previously made by the full garbage collection process or the partial garbage collection process and a ratio between a number of cells in the heap, data of which are modified by the execution of the application program while the state of use of cells is previously checked or collected by said full garbage collection unit or said partial garbage collection unit and the number of cells in the heap that are judged to be being used at time of judgment of the state of use of cells made by said full garbage collection unit or said partial garbage collection unit after judgment on the state of use of cells recently made by said full garbage collection unit.

A computer data signal embodied in a carrier wave and representing a memory resource management program for enabling a computer to manage a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and to perform a garbage collection process in order to collect free cells from the heap, said memory resource management program directing the computer to execute:

• a full judgment process of judging whether, as to all cells in the heap, each cell is being used by the execution of the application program;
• a full collection process of collecting free cells from the heap based on a judgment result of the full judgment process;
• a partial extraction process of extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment process;
• a partial judgment process of judging whether each of the cells extracted by the partial extraction process is being used by the execution of the application program;
• a partial collection process of collecting free cells from the heap based on the judgment result of the partial judgment process;
• and
• a partial marking garbage collection control process of determining to collect free cells from the heap by either the full collection process or the partial collection process, wherein
• said partial collection process collects a free cell from the heap based on a second judgment result of the partial judgment process if a cell judged to be free by the partial judgment process has never been checked before.

A computer data signal embodied in a carrier wave and representing a memory resource management program for enabling a computer to manage a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and to perform a garbage collection process in order to collect free cells from the heap, said memory resource management program directing the computer to execute:

• a full judgment process of judging whether, as to all cells in the heap, each cell is being used by the execution of the application program;
• a full collection process of collecting free cells from the heap based on a judgment result of the full judgment process;
• a partial extraction process of extracting a cell that has been used during the execution of the application program after judgment of a state of use of cells recently made by the full judgment process;
• a partial judgment process of judging whether each of the cells extracted by the partial extraction process is being used by the execution of the application program;
• a partial collection process of collecting free cells from the heap based on the judgment result of the partial judgment process;
• a partial marking garbage collection control process of determining to collect free cells from the heap by either the full collection process or the partial collection process;
• and
• a notification process of notifying the partial judgment process of a pointer pointing to a cell storing a first pointer if the first pointer that is stored in a cell being used in the heap and that points to another cell in the heap is modified to a second pointer, wherein
• said partial judgment process newly judges whether a cell pointed to by the second pointer stored in a cell pointed to by the pointer reported by the notification process is being used by the execution of the application program.

A computer data signal embodied in a carrier wave and representing a memory resource management program for enabling a computer to manage a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and to perform a garbage collection process in order to collect free cells from the heap, said memory resource management program directing the computer to execute:

• a full judgment process of judging whether, as to all cells in the heap, each cell is being used by the execution of the application program;
• a full collection process of collecting free cells from the heap based on a judgment result of the full judgment process;
• a partial extraction process of extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment process;
• a partial judgment process of judging whether each of the cells extracted by the partial extraction process is being used by the execution of the application program;
• a partial collection process of collecting free cells from the heap based on the judgment result of the partial judgment process;
• a partial marking garbage collection control process of determining to collect free cells from the heap by either the full collection process or the partial collection process;
• and
• a notification process of notifying the partial judgment process of a first pointer if the first pointer that is stored in a cell being used in the heap and that points to another cell in the heap is modified to a second pointer and if a cell pointed to by the first pointer has never been checked by the full judgment process or the partial judgment process, wherein
• said partial judgment process newly judges whether a cell pointed to by the first pointer reported by the notification unit is being used by the execution of the application program.

A computer data signal embodied in a carrier wave and representing a memory resource management program for enabling a computer to manage a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and to perform a garbage collection process in order to collect free cells from the heap, said memory resource management program directing the computer to execute:

• a full judgment process of judging whether, as to all cells in the heap, each cell is being used by the execution of the application program;
• a full collection process of collecting free cells from the heap based on a judgment result of the full judgment process;
• a partial extraction process of extracting a cell that has been used by the execution of the application program after judgment of a state of use of cells recently made by the full judgment process;
• a partial judgment process of judging whether each of the cells extracted by the partial extraction process is being used by the execution of the application program;
• a partial collection process of collecting free cells from the heap based on the judgment result of the partial judgment process;
• a partial marking garbage collection control process of determining to collect free cells from the heap by either the full collection process or the partial collection process;
• and
• a notification process of notifying the partial judgment process of a second pointer if a first pointer that is stored in a cell being used in the heap and that points to another cell in the heap is modified to the second pointer and if a cell pointed to by the first pointer has been checked by the full judgment process or the partial judgment process, wherein
• said partial judgment process newly judges whether a cell pointed to by the second pointer reported by the notification process is being used by the execution of the application program.

A memory resource management device for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process to collect free cells from the heap, comprising:

• full garbage collection means for checking a state of use of all cells in the heap by the execution of the application program and collecting free cells from the heap based on a checking result;
• partial garbage collection means for extracting a cell that has been used by the execution of the application program after judgment of the state of use of cells recently made by said full garbage collection means, checking the state of use of cells by the execution of the application program to the extracted cell and collecting free cells from the heap based on the checking result;
• and
• full/partial control means for determining performance of a subsequent collection of free cells by one of said full garbage collection means and said partial garbage collection means depending on a collection state of free cells previously made by at least one of said full garbage collection means and said partial garbage collection means and a notification indicating a change in state of use of the heap during the execution of the application program.

A memory resource management method for managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process to collect free cells from the heap, comprising:

• a full garbage collection operation of checking a state of use of all cells in the heap by the execution of the application program and collecting free cells from the heap based on a checking result;
• a partial garbage collection operation of extracting a cell that has been used by the execution of the application program after judgment of the state of use of cells recently made by said full garbage collection means, checking the state of use of cells by the execution of the application program to the extracted cell and collecting free cells from the heap based on the checking result;
• and
• a full/partial control operation of determining performance of a subsequent collection of free cells by one of said full garbage collection means and said partial garbage collection means depending on a collection state of free cells previously made by at least one of said full garbage collection means and said partial garbage collection means and a notification indicating a change in state of use of the heap during the execution of the application program.

A computer-readable storage medium on which is recorded a memory resource management program for enabling a computer to perform a method of managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process to collect free cells from the heap, the method comprising:

• a full garbage collection operation of checking a state of use of all cells in the heap by the execution of the application program and collecting free cells from the heap based on a checking result;
• a partial garbage collection operation of extracting a cell that has been used by the execution of the application program after judgment of the state of use of cells recently made by said full garbage collection means, checking the state of use of cells by the execution of the application program to the extracted cell and collecting free cells from the heap based on the checking result;
• and
• a full/partial control operation of determining performance of a subsequent collection of free cells by one of said full garbage collection means and said partial garbage collection means depending on a collection state of free cells previously made by at least one of said full garbage collection means and said partial garbage collection means and a notification indicating a change in state of use of the heap during the execution of the application program.

A computer data signal embodied in a carrier wave and representing a memory resource management program for enabling a computer to perform a method of managing a heap that is a memory resource managed in units of cells, which are data strings, and that is used in units of cells by execution of an application program, and performing a garbage collection process to collect free cells from the heap, the method comprising:

• a full garbage collection operation of checking a state of use of all cells in the heap by the execution of the application program and collecting free cells from the heap based on a checking result;
• a partial garbage collection operation of extracting a cell that has been used by the execution of the application program after judgment of the state of use of cells recently made by said full garbage collection means, checking the state of use of cells by the execution of the application program to the extracted cell and collecting free cells from the heap based on the checking result;
• and
• a full/partial control operation of determining performance of a subsequent collection of free cells by one of said full garbage collection means and said partial garbage collection means depending on a collection state of free cells previously made by at least one of said full garbage collection means and said partial garbage collection means and a notification indicating a change in state of use of the heap during the execution of the application program.