VIRTUAL COMPUTER SYSTEM, VIRTUAL COMPUTER CONTROL METHOD, VIRTUAL COMPUTER CONTROL PROGRAM, RECORDING MEDIUM, AND INTEGRATED CIRCUIT

摘要

This virtual computer system is provided with a processor which executes a secure OS and a normal OS, and a cache memory. The cache memory, for data to store, performs storage so that it is possible to identify whether or not the data has been read out from a secure storage area in external main memory. In addition, the cache memory performs write-back of the data to the main memory so as to suppress the number of times of intermittent execution of write-back to the secure storage area which occurs when the processor is executing the normal OS.