Information processing device, information processing system, memory management method, and program recording medium

1. An information processing device comprising:

one or more processors acting as memory processing control unit configured to, when receiving a memory-reserving request for a memory to be used in operation processing written in an application, determine whether an area size requested by the memory-reserving request can be reserved in a free area of the memory, and, when receiving a memory-freeing request for the memory used in the operation processing written in the application, determines whether there is the memory-reserving request that is left pending;

the one or more processors acting as reserving request processing unit configured to leave the memory-reserving request pending when the memory processing control unit determines that the area size cannot be reserved; and

the one or more processors acting as freeing request processing unit configured to delete or leave pending the memory-freeing request when the memory processing control unit determines that there is no memory-reserving request that is left pending.

2. The information processing device according to claim 1 ,

wherein the memory processing control unit, when receiving the memory-reserving request, determines whether the memory is reserved for information which requests memory reserving by the memory-reserving request; and

the reserving request processing unit deletes the memory-reserving request if the memory processing control unit determines that the memory is reserved.

3. The information processing device according to claim 1 , wherein, if the memory processing control unit determines that there is the memory-reserving request that is left pending as the result of determining whether there is the memory-reserving request that is left pending in response to the memory-freeing request, the freeing request processing unit executes a freeing processing in accordance with the memory-freeing request and the reserving request processing unit executes reserving processing in accordance with the memory-reserving request that is left pending.

4. The information processing device according to claim 3 ,

wherein the reserving request processing unit, in execution of reserving processing in accordance with the memory-reserving request that is left pending, executes reserving processing in accordance with a memory-reserving request that has a highest priority in the memory-reserving requests.

5. The information processing device according to claim 1 ,

wherein, if the memory processing control unit determines that there is no memory-reserving request that is left pending as the result of determining whether there is the memory-reserving request that is left pending in response to the memory-freeing request, the freeing request processing unit leaves pending the memory-freeing request, and

if the memory processing control unit determines that an area size requested by the memory-reserving request cannot be reserved in a free area of the memory as the result of determining whether the area size can be reserved in response to the memory-reserving request, the freeing request processing unit executes a freeing processing in accordance with the memory-freeing request that is left pending.

6. The information processing device according to claim 5 ,

wherein, in response to the memory-reserving request, the memory processing control unit determines whether the memory is reserved for information which requests memory reserving by the memory-reserving request; and

if the memory processing control unit determines that the memory is reserved, the reserving request processing unit deletes the memory-reserving request, and

the freeing request processing unit deletes the memory-freeing request that is left pending, the memory-freeing request being from the information which requests the memory-reserving request by the reserving request deleted by the reserving request processing unit.

7. The information processing device according to claim 5 ,

wherein, in response to the memory-reserving request, if the memory processing control unit determines that the area size requested by the memory-reserving request cannot be reserved in the free area of the memory as the result of determining whether the area size can be reserved, the freeing request processing unit executes the freeing processing in accordance with a memory-freeing request with a lowest priority in the memory-freeing requests that are left pending.

8. An information processing system comprising:

the information processing device according to claim 1 ; and

an accelerator that is connected to the information processing device via a communication channel and comprises a second memory used for operation processing written in the application,

wherein the memory processing control unit included in the information processing device, in response to a second memory-reserving request for the second memory to be used for the operation processing written in the application, determines whether an area size that is requested by the second memory-reserving request can be reserved in a free area of the second memory and, in response to a second memory-freeing request for the second memory used for the operation processing written in the application, determines whether there is the second memory-reserving request that is left pending;

if the memory processing control unit determines that the area size cannot be reserved, the freeing request processing unit included in the information processing device leaves pending the second memory-reserving request; and

if the memory processing control unit determines that there is no second memory-reserving request that is left pending, the freeing request processing unit included in the information processing device deletes or leaves pending the second memory-freeing request.

9. A memory management method comprising:

when receiving a memory-reserving request for a memory to be used in operation processing written in an application, determining whether an area size requested by the memory-reserving request can be reserved in a free area of the memory, and, when receiving a memory-freeing request for the memory used in the operation processing written in the application, determines whether there is the memory-reserving request that is left pending;

leaving the memory-reserving request pending when determined that the area size cannot be reserved; and

deleting or leaving pending the memory-freeing request when determined that there is no memory-reserving request that is left pending.

10. A non-transitory program storage medium storing a memory management program that causes a computer to execute:

when receiving a memory-reserving request for a memory to be used in operation processing written in an application, a process that determines whether an area size requested by the memory-reserving request can be reserved in a free area of the memory, and, when receiving a memory-freeing request for the memory used in the operation processing written in the application, determines whether there is the memory-reserving request that is left pending;

a process that leaves the memory-reserving request pending when determined that the area size cannot be reserved; and

a process that deletes or leaves pending the memory-freeing request when determined that there is no memory-reserving request that is left pending.