| 摘要 |
PROBLEM TO BE SOLVED: To provide a memory management device with improved memory usage efficiency. SOLUTION: The memory management device includes: an allocator generation means 11 for generating a plurality of allocators for allocating a memory area and a memory resource of the memory area to a task, for each allocation/release rule; and a task association means 13 for selecting one of the allocators generated based on allocator specification described in a code of the task, and for setting the selected allocator to allow the use thereof in the task. COPYRIGHT: (C)2011,JPO&INPIT
|
