An operating system (302) is provided with a color change part (305) besides a memory management part (303) and a page migration part (304). The color change part (305) is provided with a migration destination page acquisition section (306) and a page migration instruction section (307). The migration destination page acquisition section (306) acquires a physical page having a color ID designated from a set of unused physical pages. The page migration instruction section (307) instructs migration of the physical page according to various kinds of situations.
展开▼
